Электронный каталог МАУК "МИБС" г. Кемерово

Книга
87.4 Ф56

Философия и логика : Философия в современном мире / АН СССР, Ин-т философии ; [под ред. П. В.Таванец, В. А. Смирнова] . – Москва : Наука, 1974 . – 479 с. – (Академия наук СССР. Институт философии) .

В книге дан анализ широкого круга проблем математической логики и ее взаимосвязей с философией. Рассматривается применение логики в решении вопросов философии математики, методологии науки и теории познания. /кх-1

ББК 87.4

Общий = Логика
Общий = Математическая логика
Общий = Философия
ключевой = Философия и логика
Общий = Конвертация
Общий = Кант, Иммануил (ученый, философ ; 1724-1804)
Общий = Лейбниц, Готфрид Вильгельм (философ ; 1646-1716)
Общий = Символическая логика
ключевой = Математическая философия
ключевой = интуиционистский анализ
ключевой = дедуктивный метод
ключевой = Теория доказательств
ключевой = формальные методы : теория познания
ключевой = понятие факта
ключевой = определяемость предикатов
ключевой = редукционные предложения
ключевой = Лукасевич, Ян ( польский логик ; 1878-1956)
ключевой = Многозначные логики Лукасевича
ключевой = Вероятность и детерминизм
ключевой = Прагматические логики
ключевой = теория индуктивного рассуждения
ключевой = редукция
ключевой = классификация логических форм