Исследование логических систем [сборник статей]

Abstract

В книге исследуются взаимоотношения формально-логических систем и способы их классификации. Авторы сборника анализируют такие проблемы, как логическое следование, естественные языки и языки логики, взаимоотношения систем многозначной логики и др. Книга открывается статьей известного советского логика и математика С. А. Яновской, памяти которой посвящен данный сборник. В статье рассматривается соотношение математической строгости и критерия практики в творческом развитии математики.

Другие сборники сектора логики Института Философии АН СССР:

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