Логика.

Титульный лист Выходные данные Содержание Часть I. ОСНОВЫ ЛОГИКИ Глава 1. Предмет логики Формы мысли как предмет логики Мышление и язык Рациональное и чувственное в познании Логика как метод Глава 2. Очерк истории логики Введение Логика Индии Логика Древнего Китая Античная логика Логика средневековья Логика эпохи Возрождения Логика Нового времени Логические учения XIX в История логики в России Глава 3. Основные законы логики Закон тождества Закон противоречия Закон исключенного третьего Закон достаточного основания Глава 4. Логика и язык Познание законов мыслительной деятельности: мышление и язык «Сказываться о подлежащем» и «находиться в подлежащем» Первые и вторые сущности Категории мышления и категории языка Глава 5. Понятие Об образовании и употреблении понятий Этимология слова «понятие» Понятие и представление. Понятие и слово. Понятие и термин Определение и структура понятия. Объем и содержание Виды понятий Отношения между понятиями Основные логические операции с понятиями. Обобщение и ограничение. Закон обратного отношения между объемом и содержанием понятий Определение понятий Исторический экскурс в теорию определения Деление понятий Классификация: определение и методы. Классификация и каталогизация Глава 6. Суждение и высказывание Суждение как форма мысли Основные виды суждений Экспликация структуры суждений. Приведение суждений к простому категорическому виду Объединенная классификация суждений по качеству и количеству. Комплексный анализ простого категорического суждения Выделяющие, исключающие и определенно-частные суждения Реляционные суждения (суждения с отношениями, суждения об отношениях) Экзистенциальные суждения (суждения существования) Модельные схемы суждений Глава 7. Учение об умозаключениях. Силлогистика Общие положения Непосредственные умозаключения Теория простого категорического силлогизма. Аристотелевская силлогистика Аксиоматическое построение силлогистики Сокращенные, сложные и сложносокращенные силлогизмы Теория силлогизмов со сложными посылками Глава 8. Доказательство и опровержение Условия логической последовательности рассуждений Общая характеристика доказательства и опровержения Структура и главные элементы доказательства и опровержения Виды доказательства Виды опровержения Глава 9. Сложные суждения. Элементы логики высказываний Синтаксис языка логики высказываний Семантика языка логики высказываний Семантика основных логических связок Построение таблицы истинности для произвольной формулы логики высказываний Естественный вывод в логике высказываний Глава 10. Основы логики предикатов Как и зачем была создана логика предикатов Термины языка как имена функций Язык логики предикатов первого порядка Кванторы и переменные: определения и операции Выразительные возможности языка логики предикатов Некоторые законы логики предикатов Список литературы Глава 11. Индукция. Индуктивные умозаключения Понятие «индукция» в логике Природа индуктивных умозаключений Особенности индуктивных умозаключений Виды индуктивного умозаключения Значение несиллогистических умозаключений Глава 12. Логические парадоксы «Лжец» Решение Буридана Решение Тарского Теория неподвижных точек Крипке Несколько парадоксов вослед «Лжецу» Несколько парадоксов вослед парадоксу Рассела Список литературы Часть II. ОСНОВНЫЕ НАПРАВЛЕНИЯ СОВРЕМЕННОГО РАЗВИТИЯ ЛОГИКИ Глава 1. Историческое введение Алгебраический этап развития логики Становление классической логики Программа Давида Гильберта Теоремы Курта Геделя Возникновение неклассических логик Логика и философия Альфред Тарский и развитие логической семантики Семантика возможных миров Заключение Глава 2. Основы модальной логики Язык пропозициональной модальной логики и его выразительные возможности Семантика возможных миров, или семантика Крипке Определение отношения истинности (выполнимости) Отношение достижимости Общезначимость и выполнимость Структуры миров и общезначимые в них формулы Элементарные умозаключения в модальной логике Список литературы Глава 3. Деонтическая логика Введение в логику норм Предмет и основные понятия логики норм Виды норм и их структура Нормы и оценки Исторический обзор Абсолютные деонтические системы Особенности абсолютных систем Парадоксы абсолютных систем Относительные деонтические системы Список литературы Глава 4. Эротетическая логика Краткое историческое введение Логико-лингвистическая коннотация вопроса Логико-лингвистическая коннотация ответа Логико-гносеологическая коннотация ответа и вопроса Информационно-лингвистические границы вопроса Полная классификация научных вопросов Особенности формализации языка эротетической логики Глава 5. Логика компьютерного диалога Логико-информационный подход к диалогу Общие условия диалога Основы обучающего диалога Компьютер в обучающем диалоге Синтаксис и семантика компьютерного диалога Глава 6. Эпистемическая логика Введение Базовая эпистемическая логика Формализация разновидностей группового знания Список литературы Глава 7. Временная логика Постулаты временной логики Постулаты для выражения кругового характера времени Метатеоретические проблемы временной логики Семантика временной логики Часть III. ЛОГИЧЕСКАЯ ПРАГМАТИКА. ОСНОВЫ ТЕОРИИ АРГУМЕНТАЦИИ Введение Глава 1. Логическая прагматика. Теория речевых актов «Как производить действия при помощи слов» Структура речевого действия Конститутивные правила Импликатура Пресуппозиции Глава 2. Аргумент как речевое действие Аргументация и отношение логического следования Структура иллокутивной силы Семантика аргументативного речевого акта Глава 3. Правила и ошибки аргументации Правила аргументации и логические правила Диалог как способ коммуникации Виды диалогов Классификация правил и ошибок аргументации Процедурные правила, правила тезиса и правила аргументов Правила тезиса Список литературы Предметный указатель Именной указатель