Философия Науки. Хрестоматия

Основные результаты Смирнова в области методологии и философии науки определяются применением к ее проблематике логических методов анализа, нередко им же самим разработанных. Особое внимание Смирнов уделял анализу научных теорий: способам их построения, введения новых терминов, логической структуре и сравнению теорий между собой. Им разработан понятийный аппарат, позволяющий осуществлять строго научный анализ соизмеримости различных теорий. Ряд работ посвящен проблемам философии математики, в последние годы жизни Смирнов активно интересовался проблемами логики и методологии диагностики в медицине, в результате появилась коллективная монография «Логика и клиническая диагностика. Теоретические основы». Обширная научно-педагогическая деятельность Смирнова привела к появлению Научной школы логики В.А. Смирнова.

В. А. Смирнов был блестящим организатором, с его именем во многом связаны успешное участие делегаций советских, а затем российских философов в работе Международных конгрессов по логике, методологии и философии науки; реализация идеи Объединенных международных конференций по истории и философии науки; организация Всесоюзных, а затем Всероссийских конференций по логике, методологии и философии науки.

Основные труды Смирнова по методологии и философии науки: «Генетический метод построения научных теорий» // Философские проблемы современной формальной логики. М., 1962; «Проблемы логики и философии математики» // Вопросы философии. 1980, № 8; «О логических отношениях между теориями» // Идеалы и нормы научного исследования. Минск, 1981; «Логические методы сравнения научных теорий» // Вопросы философии. 1983, № 6; «Творчество, открытие и логические методы поиска доказательств» // Природа научного открытия. М., 1986; «Логические методы анализа научного знания». М., 1987 (монография); «Логический анализ научных теорий и отношений между ними» //Логика научного познания: актуальные проблемы. М., 1987; «Логикометодологическая модель диагноза» //Логика и клиническая диагностика. Теоретические основы. М., 1994.

П.Н. Грифцова

Тексты даны по изданию:

Логико-философские труды В.А. Смирнова / Под ред. В.И. Шалака. М, 2001.

Генетический метод построения научной теории

I

Важнейшей частью метаматематики является раздел, изучающий научные теории. Эту дисциплину вполне естественно назвать метатеорией. Ясно, что она не тождественна метанауке (иногда такое отождествление проводится), так же как наука не тождественна научной теории.

Как правило, метатеория строится не для одной содержательной теории — хотя возможна такая метатеория, - а охватывает определенный класс теорий. Создать единую метатеорию, рассматривающую все возможные типы теорий - оставляя вопрос о принципиальной возможности открытым, — на данном этапе нельзя. Выход один - разбить известные теории на ряд классов и дать метатеорию для каждого класса. Очевидно, что при отсутствии единой метатеории разбиение будет содержательным и не будет претендовать на полноту. Каковы же мыслимые основания для подобного разбиения?

Первое, что можно предложить, это классификация по научным дисциплинам. Мы можем разделить теории на математические, физические, химические, лингвистические и т.д. и соответственно строить теорию математических теорий, теорию физических теорий и т. и. Такое разделение общепризнанно и имеет определенный практический смысл, так как позволяет особенно четко согласовать задачи метатеоретика с задачами теоретика данной области. Но в теоретическом плане подобная классификация не выдерживает критики, так как она основана не на различии между теориями, а на различии предметных областей теорий. Подобная классификация была бы оправданной, если бы специфическому предмету теории соответствовал особый тип теории. Из общих соображений скорее напрашивается иной вывод, а именно - структура теорий разных областей может оказаться одной и той же. Но, повторяем, подобная классификация все же имеет практическое значение, так как каждую область знания интересует прежде всего теория знания данной области.

Второй принцип разбиения, который необходимо иметь в виду, - это Уровень строгости теории. Теория в своем становлении проходит ряд этапов, начиная с комплекса общих схематических идей и предпосылок и кончая логически безупречным построением, элиминирующим все интуитивное. При всей важности такого подхода здесь царит полная неопределенность. На практике ученый не доводит свою теорию до идеала логики. При знании средств и путей перехода от «нестрогой» к «строгой» теории эта незавершенность найдет свое оправдание.

Реальный путь познания - движение от нестрогой к строгой теории, путь же изучения метатеоретика обратный - от строгой к нестрогой теории.