Логика и процедуры поиска вывода
Article Sidebar
Опубликован:
07.04.2010
Ключевые слова:
логико-математическое доказательство, теория поиска вывода, поризм, аналитическая интерпретация доказательств, принцип подформульности, автоматическое доказательство теорем
Main Article Content
Аннотация
В статье рассматриваются возможности теории поиска доказательств для моделирования творчества и решения логико-философских задач. Анализируются идеи выдающегося русского логика Владимира Смирнова. Появление теории поиска доказательств объясняется в свете модели развития научных теорий Бориса Грязнова. Объяснение основано на новой интерпретации неожиданных последствий (поризма) теории доказательств Гильберта, в частности, на основе построения доказательств снизу вверх в секвенциальных логических системах, принципа подформульности и его интерпретации в области процедур автоматического поиска доказательств.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Брюшинкин В. Логика и процедуры поиска вывода // Логические исследования / Logical Investigations. 2010. Т. 16. C. 85-105.
Выпуск
Раздел
Статьи
Литература
Аристотель. Первая аналитика // Сочинения в 4-х томах. М.: Мысль, 1978. Т. 2. С. 173.
Брюшинкин В.Н. Логика, мышление, информация. Л.: Изд-во ЛГУ, 1988.
Брюшинкин В.Н. О возникновении теорий в логике: теория поиска вывода как поризм // Современная логика: Проблемы теории, истории и применения в науке: Сб. науч. тр. / Под. ред. А.Я Слинина. Л.: Изд-во Ленинградского ун-та, 1990. С.17-18.
Брюшинкин В.Н. Метапсихологизм Канта // Кантовский сборник. Вын. 24. Калининград: Изд-во КГУ, 2004. С. 65-73.
Брюшинкин В.Н. Антропологические измерения логики // Вестник Российского государственного университета имени Иммануила Канта. Вын. 6. Сер. Гуманитарные науки. Калининград: Изд-во РГУ им. И Канта, 2006. С. 6-11.
Брюшинкин В.Н., Ходикова Н.А. Рациональная реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств // Модели рассуждений — 1: Логика и аргументация: Сб. науч. ст. / Под общ. ред. В.Н. Брюшинкина. Калининград: Изд-во РГУ им. И. Канта, 2007. С. 205-219.
Брюшинкин В.Н., Ходикова Н.А. Аналитическая интерпретания доказательств в таблицах Бета и модельных множествах Хинтикки // Аргументация и интерпретация. Исследования по логике, аргументации и истории философии: Сб. научн. статей. / Под ред. В.Н. Брюшинкина. Калинингрсд: Изд-во РГУ им. И. Канта, 2006. С. 39-46.
Гильберт Д., Бернайс П. Основания математики. Логические исчисления и формализация арифметики. М.: Наука, 1979. С. 59.
Грязнов Б.С. Логика, рациональность, творчество. М.: Наука, 1982. С. 114.
Зеленогорский Ф.А. О математическом, метафизическом, индуктивном и критическом методах исследования и доказательства. Харьков, 1877.
Кант И. Критика чистого разума // Кант И. Соч. в шести тт. М.: Мысль, 1966. Т. 3. С. 344.
Маслов С.Ю. Теория дедуктивных систем и ее применения. М.: Радио и связь, 1986.
Поспелов Д.А. Моделирование рассуждений. Опыт анализа мыслительных актов. М.: Радио и связь, 1989.
Серебрянников О.Ф. Эвристики, алгоритмы и правила логики // Проблемы законов науки и логики научного познания: Сб. науч. тр. / Под ред. И.Я. Чупахина, В.П.Рожина. Л.: Изд-во Ленинградского университета, 1980. С. 132.
Смирнов В.А. Творчество, открытие и логические методы поиска доказательства // Природа научного открытия. М.: Наука., 1986. С. 101-114.
Смирнов В.А. Творчество, открытие и логические методы поиска доказательства // Логико-философские труды В.А. Смирнова / Под ред. В.И. Шалака, М.: Эдиториал УРСС, 2001. С. 438-447.
Френкель А., Бар-Хиллел И. Основания теории множеств. М.: Мир, 1966. С. 321.
Ходикова Н.А. Логико-методологическое исследование происхождения теории поиска вывода. Диссертация на соискание ученой степени кандидата философских наук. Калининград, 2004.
Robinson J.A. Logic: form and function. Edinburg, 1979. P. 169.
Брюшинкин В.Н. Логика, мышление, информация. Л.: Изд-во ЛГУ, 1988.
Брюшинкин В.Н. О возникновении теорий в логике: теория поиска вывода как поризм // Современная логика: Проблемы теории, истории и применения в науке: Сб. науч. тр. / Под. ред. А.Я Слинина. Л.: Изд-во Ленинградского ун-та, 1990. С.17-18.
Брюшинкин В.Н. Метапсихологизм Канта // Кантовский сборник. Вын. 24. Калининград: Изд-во КГУ, 2004. С. 65-73.
Брюшинкин В.Н. Антропологические измерения логики // Вестник Российского государственного университета имени Иммануила Канта. Вын. 6. Сер. Гуманитарные науки. Калининград: Изд-во РГУ им. И Канта, 2006. С. 6-11.
Брюшинкин В.Н., Ходикова Н.А. Рациональная реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств // Модели рассуждений — 1: Логика и аргументация: Сб. науч. ст. / Под общ. ред. В.Н. Брюшинкина. Калининград: Изд-во РГУ им. И. Канта, 2007. С. 205-219.
Брюшинкин В.Н., Ходикова Н.А. Аналитическая интерпретания доказательств в таблицах Бета и модельных множествах Хинтикки // Аргументация и интерпретация. Исследования по логике, аргументации и истории философии: Сб. научн. статей. / Под ред. В.Н. Брюшинкина. Калинингрсд: Изд-во РГУ им. И. Канта, 2006. С. 39-46.
Гильберт Д., Бернайс П. Основания математики. Логические исчисления и формализация арифметики. М.: Наука, 1979. С. 59.
Грязнов Б.С. Логика, рациональность, творчество. М.: Наука, 1982. С. 114.
Зеленогорский Ф.А. О математическом, метафизическом, индуктивном и критическом методах исследования и доказательства. Харьков, 1877.
Кант И. Критика чистого разума // Кант И. Соч. в шести тт. М.: Мысль, 1966. Т. 3. С. 344.
Маслов С.Ю. Теория дедуктивных систем и ее применения. М.: Радио и связь, 1986.
Поспелов Д.А. Моделирование рассуждений. Опыт анализа мыслительных актов. М.: Радио и связь, 1989.
Серебрянников О.Ф. Эвристики, алгоритмы и правила логики // Проблемы законов науки и логики научного познания: Сб. науч. тр. / Под ред. И.Я. Чупахина, В.П.Рожина. Л.: Изд-во Ленинградского университета, 1980. С. 132.
Смирнов В.А. Творчество, открытие и логические методы поиска доказательства // Природа научного открытия. М.: Наука., 1986. С. 101-114.
Смирнов В.А. Творчество, открытие и логические методы поиска доказательства // Логико-философские труды В.А. Смирнова / Под ред. В.И. Шалака, М.: Эдиториал УРСС, 2001. С. 438-447.
Френкель А., Бар-Хиллел И. Основания теории множеств. М.: Мир, 1966. С. 321.
Ходикова Н.А. Логико-методологическое исследование происхождения теории поиска вывода. Диссертация на соискание ученой степени кандидата философских наук. Калининград, 2004.
Robinson J.A. Logic: form and function. Edinburg, 1979. P. 169.