Гладких Ю.Г. Логика без экзистенциальных предпосылок

Монография. — М.: Изд-во МГУ, 2006. — 128 с. — ISBN: 5-211-04989-6.Монография посвящена изучению роли предпосылок существования в теориях. Впервые книга была опубликована в 1984 г. Автором систематически излагаются теория моделей, теория доказательств и теория истины для первопорядковых языков с дескрипциями и предикатом существования. Рассматриваются методологические и исторические вопросы логики без экзистенциальных предпосылок.
Для научных работников, преподавателей и студентов, интересующихся современными пpoблемами теоретической логики и методологии науки.Предисловие редактора
Предисловие автораВведениеСтруктура языка логики
Символы, термины и формулы
Категориальные требования
Сфера данного логического исследованияТеория моделей
Семантические альтернативы
Логические теории в каркасе "внутренней" семантики
Логические теории в каркасе "внешней" семантикиТеория доказательств
Аксиоматизации логических теорий
Выводимость и доказуемость в логических системахДескрипции
Минимальная логика дескрипций и ее расширения
Проблема элиминации дескрипцийМетатеоретические вопросы
Проблема адекватности логических систем
Сравнение логических системТеория истины
Проблема корректного определения понятия истины
Определение истины в теориях с нейтральной предикацией
Материальная адекватность теории истины
Определение истины в теориях с экзистенциальной предикациейМетодологические вопросы
О стратегиях в формулировке семантических правил
Критика некоторых трактовок онтологических предикатовИсторические вопросы
Философско-логическая традиция
Обзор современных исследованийЗаключениеПриложенияЛитература