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