Читать онлайн «Проблемы логики и методологии науки»

АКАДЕМИЯ НАУК СССР СИБИРСКОЕ ОТДЕЛЕНИЕ ИНСТИТУТ ИСТОРИИ, ФИЛОЛОГИИ И ФИЛОСОФИИ ПРОБЛЕМЫ логики и методологии НАУКИ ИЗДАТЕЛЬСТВО «НАУКА» СИБИРСКОЕ ОТДЕЛЕНИЕ Новосибирск • 1982 Проблемы логики и методологии науки. — Новосибирск: Наука, 1982. Сборник посвящен исследованию актуальных проблем логики, методологии науки, применения логических методов к различным областям научного знания. Дается критический анализ критериев эмпирической значимости, проблемы опровержения и подтверждения гипотез в языке науки. Книга рассчитана на специалистов в области философских проблем логики, методологии науки, преподавателей вузов. РЕДКОЛЛЕГИЯ: А. Л. Блинов, канд. филос. наук В. Н. Карпович, д-р филос. наук В. В. Целищев (отв. редактор). П042(02)—82 * 87. 81. 0302020100, ® Издательство «Наука», 1982. ПРЕДИСЛОВИЕ Настоящий сборник включает материалы, обсуждавшиеся на семинаре сектора логики и теории познания Института истории, филологии и . философии СО АН СССР на протяжении 1977—1979 гг. Кроме того, ряд статей представляет собой варианты сделанных на семинарах докладов и сообщений, расширенных по просьбе редакционной коллегии сборника. Сборник представлен тремя разделами. Первый раздел посвящен проблемам логической семантики и методологии математики. Зачастую большой интерес для философского анализа представляют те проблемы, громкая известность которых служит препятствием для понимания сферы их применимости. Так, например, обстоит дело с понятием конвенции. Считается, что справедливая критика утверждения неопозитивистов о конвенциональном характере истин математики и логики делает ненужным детальное исследование механизма конвенционального постулирования. Между тем оказывается, что точное установление конвенций в логике вообще невозможно, а в математике, они являются лишь частью процесса открытия истин. Несостоятельность неопозитивизма подтверждается развитием логики. Другим примером является вторая теорема Геделя, устанавливающая невозможность допущения непротиворечивости формальной арифметики в рамках самой этой арифметики. Предпринятый два десятка лет назад С. Фе- ферманом анализ неявных предположений, лежащих в основании этой теоремы, поднял ряд вопросов. Один из них заключается в выяснении того, нужно ли связывать 3 невозможность доказательства непротиворечивости системы S в самой S с доказательством неполноты этой системы (т. е. с первой теоремой Геделя). Если это предположение и имеет место, оно должно быть четко сформулировано. Наконец, парадокс модальностей У. Куайна, вызвавший к жизни целое направление в философской логике, может трактоваться как вообще не относящийся к модальностям. Три этих проблемы представлены в статьях В. В. Целищева, К. Ф. Самохвалова и В. Н. Самченко. Другая группа проблем рассмотрена в статьях А. Л. Блинова и Г. Л. Тульчинского. Речь идет о новых интерпретациях логических исчислений. Философский интерес к подобного рода интерпретациям заключается в том, что в них по-новому рассматривается соотношение логики и механизмов описания-его материального мира.