В книге исследуются взаимоотношения формально-логических систем и способы их классификации. Авторы сборника анализируют такие проблемы, как логическое следование, естественные языки и языки логики, взаимоотношения систем многозначной логики и др. Книга открывается статьей известного советского логика и математика С. А. Яновской, памяти которой посвящен данный сборник. В статье рассматривается соотношение математической строгости и критерия практики в творческом развитии математики.
Другие сборники сектора логики Института Философии АН СССР:
Применение логики в науке и технике / Отв. ред. П.В. Таванец. М.: Наука, 1960.
Философские вопросы современной формальной логики / Отв. ред. П.В. Таванец. М.: Изд. АН СССР, 1962.
Логическая семантика и модальная логика / Отв. ред. П.В. Таванец. М.: Наука, 1967.
Исследование логических систем / Отв. ред. П.В. Таванец. М.: Наука, 1970.
Неклассическая логика / Отв. ред. П.В. Таванец. М.: Наука, 1970.
Теория логического вывода / Отв. ред. П.В. Таванец. М.: Наука, 1973.
Философия и логика / Отв. ред. П.В. Таванец, В.А. Смирнов. М.: Наука, 1974.
Методы логического анализа / Отв. ред. П.В. Таванец. М.: Наука, 1977.
Логический вывод / Отв. ред. В.А. Смирнов. М.: Наука, 1979.
Семантика модальных и интенсиональных логик / Отв. ред. В.А. Смирнов. М.: Прогресс, 1981. (Перевод с англ.)
Модальные и интенсиональные логики и их применение к проблемам методологии науки / Отв. ред. В.А. Смирнов. М.: Наука, 1984.
Логика научного познания (Актуальные проблемы) / Отв. ред. Д.П. Горский. М.: Наука, 1987.
Синтаксические и семантические исследования неэкстенсиональных логик / Отв. ред. В.А. Смирнов. М.: Наука, 1989.
Исследования по неклассическим логикам / Отв. ред. В.А. Смирнов. М.: Наука, 1989.
Author(s): Таванец П.В. (ред.)
Publisher: Наука
Year: 1970
Language: Russian
Commentary: Scanned, DjVu'ed, OCR'ed, TOC by Envoy
Pages: 335
City: Москва
Горский Д.П. Софья Александровна Яновская ......Page 6
Яновская С.А. О роли математической строгости в истории творческого развития математики и специально о «Геометрии» Декарта ......Page 14
Шмаин И.X. О погружениях классических систем в интуиционистские и минимальные ......Page 52
Смирнов В.А. Силлогистика без закона исключенного третьего и ее погружение в исчисление предикатов ......Page 69
Гастев Ю.А. О выразительных и дедуктивных возможностях логико-арифметических исчислений на базе теории типов ......Page 79
Падучева Е.В. Проблемы семантического сопоставления естественных языков с языками математической логики ......Page 87
Смирнов В.А. Так называемые парадоксы материальной импликации и логические системы с понятием сильного вывода ......Page 123
Ивин А.А. О некоторых формулировках модальных систем ......Page 138
Ивин А.А. Коннексивная импликация ......Page 143
Зиновьев А.А. Комплексная логика ......Page 167
Смирнов Г.А. О видах логического следования ......Page 205
Финн В.К. О некоторых характеристических истинностных таблицах классической логики и трехзначной логики Я. Лукасевича ......Page 216
Зиновьев А.А. Минимальные тавтологии и противоречия в конечномногозначной логике ......Page 263
Солодухин Ю.Н. Понятие функции-аналога и признак функциональной неполноты системы многозначной логики ......Page 272
Кузичев А.С. Решение некоторых задач математической логики с помощью диаграмм Вейна ......Page 283
Оглавление ......Page 333
