Логика и процедуры поиска вывода

##plugins.themes.bootstrap3.article.main##

V.N. Bryushinkin

Abstract

The article deals with the capacity of the proof-search theory for the simulating creativity and solving logico-philosophical problems. The ideas of prominent Russian logician Vladimir Smirnov are analyzed. The proof-search theory emergence is explained in the light of the Boris Gryasnov’s model of development of scientific theories. The explanation is based on a new interpretation of unexpected consequences (porism) of Hilbert’s proof theory, in particular from the constructing proofs bottoin-up in sequential style logical systems, subformula principle and it’s interpretation in the field of automatic proof-search procedures.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Статьи

References

Аристотель. Первая аналитика // Сочинения в 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.