- Заглавие: ЛОГИКА МАТЕМАТИЧЕСКАЯ
- Год актуализации: 2017
- УДК: 10 Философия
- ББК: 87 Философия
- Тематики:
- ПЕДАГОГИКА И ОБРАЗОВАНИЕ. ОРГАНИЗАЦИЯ НАУКИ. МУЗЕЙНОЕ ДЕЛО. КОЛЛЕКЦИОНИРОВАНИЕ
- ФИЛОСОФИЯ
- Биб. карточка:
ЛОГИКА МАТЕМАТИЧЕСКАЯ [Специальная и общая философия науки. Энц.словарь:Словарь / В.А.Канке-М.:НИЦ ИНФРА-М,2017.-630 с.(П)]
- Источник публикации: Специальная и общая философия науки: энциклопедический словарь
- Фрагмент статьи: ЛОГИКА МАТЕМАТИЧЕСКАЯ — логика в том ее виде, в котором она сложилась в основном в конце XIX — начале XX в. Характерная особенность математической (символической) логики состоит в представлении логического доказательства в качестве некоторого исчисления. Выдающийся вклад в развитие символической логики внесли Б. Рассел, К. Гёдель, А. Тарский, Р. Карнап, Х. Рейхенбах, А. Чёрч, А.А. Марков, П.Н. Новиков и др. Термин «Л. м.» двусмыслен. В одном случае имеется в виду символическая логика как таковая, в другом — применение логического анализа с целью прояснения оснований математики. По своему статусу Л. м., разумеется, не является математической дисциплиной, ибо она не оперирует математическими концептами.
