| dc.description.abstract | В книге исследуются взаимоотношения формально-логических систем и способы их классификации. Авторы сборника анализируют такие проблемы, как логическое следование, естественные языки и языки логики, взаимоотношения систем многозначной логики и др. Книга открывается статьей известного советского логика и математика С. А. Яновской, памяти которой посвящен данный сборник. В статье рассматривается соотношение математической строгости и критерия практики в творческом развитии математики.
Другие сборники сектора логики Института Философии АН СССР:
Применение логики в науке и технике / Отв. ред. П.В. Таванец. М.: Наука, 1960.
Философские вопросы современной формальной логики / Отв. ред. П.В. Таванец. М.: Изд. АН СССР, 1962.
Логическая семантика и модальная логика / Отв. ред. П.В. Таванец. М.: Наука, 1967.
Исследование логических систем / Отв. ред. П.В. Таванец. М.: Наука, 1970.
Неклассическая логика / Отв. ред. П.В. Таванец. М.: Наука, 1970.
Теория логического вывода / Отв. ред. П.В. Таванец. М.: Наука, 1973.
Философия и логика / Отв. ред. П.В. Таванец, В.А. Смирнов. М.: Наука, 1974.
Методы логического анализа / Отв. ред. П.В. Таванец. М.: Наука, 1977.
Логический вывод / Отв. ред. В.А. Смирнов. М.: Наука, 1979.
Семантика модальных и интенсиональных логик / Отв. ред. В.А. Смирнов. М.: Прогресс, 1981. (Перевод с англ.)
Модальные и интенсиональные логики и их применение к проблемам методологии науки / Отв. ред. В.А. Смирнов. М.: Наука, 1984.
Логика научного познания (Актуальные проблемы) / Отв. ред. Д.П. Горский. М.: Наука, 1987.
Синтаксические и семантические исследования неэкстенсиональных логик / Отв. ред. В.А. Смирнов. М.: Наука, 1989.
Исследования по неклассическим логикам / Отв. ред. В.А. Смирнов. М.: Наука, 1989. | |
