В. А. Смирнов был блестящим организатором, с его именем во многом связаны успешное участие делегаций советских, а затем российских философов в работе Международных конгрессов по логике, методологии и философии науки; реализация идеи Объединенных международных конференций по истории и философии науки; организация Всесоюзных, а затем Всероссийских конференций по логике, методологии и философии науки.
Основные труды Смирнова по методологии и философии науки: «Генетический метод построения научных теорий» // Философские проблемы современной формальной логики. М., 1962; «Проблемы логики и философии математики» // Вопросы философии. 1980, № 8; «О логических отношениях между теориями» // Идеалы и нормы научного исследования. Минск, 1981; «Логические методы сравнения научных теорий» // Вопросы философии. 1983, № 6; «Творчество, открытие и логические методы поиска доказательств» // Природа научного открытия. М., 1986; «Логические методы анализа научного знания». М., 1987 (монография); «Логический анализ научных теорий и отношений между ними» //Логика научного познания: актуальные проблемы. М., 1987; «Логикометодологическая модель диагноза» //Логика и клиническая диагностика. Теоретические основы. М., 1994.
П.Н. Грифцова
Тексты даны по изданию:
Логико-философские труды В.А. Смирнова / Под ред. В.И. Шалака. М, 2001.
I
Важнейшей частью метаматематики является раздел, изучающий научные теории. Эту дисциплину вполне естественно назвать метатеорией. Ясно, что она не тождественна метанауке (иногда такое отождествление проводится), так же как наука не тождественна научной теории.
Как правило, метатеория строится не для одной содержательной теории — хотя возможна такая метатеория, - а охватывает определенный класс теорий. Создать единую метатеорию, рассматривающую все возможные типы теорий - оставляя вопрос о принципиальной возможности открытым, — на данном этапе нельзя. Выход один - разбить известные теории на ряд классов и дать метатеорию для каждого класса. Очевидно, что при отсутствии единой метатеории разбиение будет содержательным и не будет претендовать на полноту. Каковы же мыслимые основания для подобного разбиения?
Первое, что можно предложить, это классификация по научным дисциплинам. Мы можем разделить теории на математические, физические, химические, лингвистические и т.д. и соответственно строить теорию математических теорий, теорию физических теорий и т. и. Такое разделение общепризнанно и имеет определенный практический смысл, так как позволяет особенно четко согласовать задачи метатеоретика с задачами теоретика данной области. Но в теоретическом плане подобная классификация не выдерживает критики, так как она основана не на различии между теориями, а на различии предметных областей теорий. Подобная классификация была бы оправданной, если бы специфическому предмету теории соответствовал особый тип теории. Из общих соображений скорее напрашивается иной вывод, а именно - структура теорий разных областей может оказаться одной и той же. Но, повторяем, подобная классификация все же имеет практическое значение, так как каждую область знания интересует прежде всего теория знания данной области.
Второй принцип разбиения, который необходимо иметь в виду, - это Уровень строгости теории. Теория в своем становлении проходит ряд этапов, начиная с комплекса общих схематических идей и предпосылок и кончая логически безупречным построением, элиминирующим все интуитивное. При всей важности такого подхода здесь царит полная неопределенность. На практике ученый не доводит свою теорию до идеала логики. При знании средств и путей перехода от «нестрогой» к «строгой» теории эта незавершенность найдет свое оправдание.
Реальный путь познания - движение от нестрогой к строгой теории, путь же изучения метатеоретика обратный - от строгой к нестрогой теории.
Наконец, мы должны обратить внимание и на такое основание, как логический тип теории, т.е. на принципы построения и логические средства научных теорий. Иногда отождествляют всякую строго построенную научную теорию с аксиоматической системой. На наш взгляд, такое отождествление неправомерно, так как исторически известны иные - не менее строгие - способы построения научных теорий. Так, ряд крупных логиков и математиков различают два метода построения математических теорий: аксиоматический и генетический. <...> С. 417-418.