Главная Обратная связь

Дисциплины:

Архитектура (936)
Биология (6393)
География (744)
История (25)
Компьютеры (1497)
Кулинария (2184)
Культура (3938)
Литература (5778)
Математика (5918)
Медицина (9278)
Механика (2776)
Образование (13883)
Политика (26404)
Правоведение (321)
Психология (56518)
Религия (1833)
Социология (23400)
Спорт (2350)
Строительство (17942)
Технология (5741)
Транспорт (14634)
Физика (1043)
Философия (440)
Финансы (17336)
Химия (4931)
Экология (6055)
Экономика (9200)
Электроника (7621)






Классическая математическая логика



 

Аппарат математической логики

Пропозициональная логика

 

· (Пропозициональная логика)

Логика предикатов

· Логика кванторов

· Логика первого порядка

· Логика второго порядка

Исчисления и логические методы

· Разрешимость

· Семантическое древо

· Таблицы Бета

· Аксиоматика

· Натуральный вывод

· Секвенция (логика)

Логическая семантика

Основная статья: Логическая семантика

· Алгебраические семантики

· Теоретико-множественные семантики

· Реляционные семантики возможных миров

· Проблема содержательности семантик логических систем

· Категорная семантика

· Теория семантических категорий

Законы логики

· Закон тождества

· Закон исключённого третьего

· Закон противоречия

· Закон достаточного основания

· Законы де Моргана

· Законы дедуктивных умозаключений

· Закон Клавия

· Законы деления

Теории логического вывода[править | править исходный текст]

· Теории логического вывода (теория логического вывода)

· Теории следования (теория следования)

· Теории импликаций (теория импликаций)

· Материальная импликация

Неклассические логики[править | править исходный текст]

Логики с неклассическим пониманием следования[править | править исходный текст]

· Релевантная логика

· Паранепротиворечивая логика

· Немонотонные логики

· Динамическая логика

Логики, отменяющие закон исключённого третьего[править | править исходный текст]

· Интуиционистская логика

· Конструктивная логика

· Логика квантовой механики (Квантовая логика)

Логики, меняющие таблицы истинности[править | править исходный текст]

Основная статья: Многозначные логики

· Многозначная логика

· Двузначная логика

· Трёхзначная логика

Логики, расширяющие состав высказывания[править | править исходный текст]

· Логика вопросов

· Логика оценок

· Логика норм

Модальная логика[править | править исходный текст]

Основная статья: Модальная логика

· Модальность

· Алетические модальности (алетическая модальность, алетическая модальная логика, алетические модальные логики)

· Деонтические модальности (деонтическая модальность, деонтическая модальная логика, деонтические модальные логики)

· Эпистемологические модальности (эпистемологическая модальность, эпистемологическая модальная логика, эпистемологические модальные логики)

· Временные модальности (временная модальность, временные модальные логики, временная модальная логика)



· Строгая импликация

· Материальная импликация

Недедуктивные логические теории

· Индуктивная логика

· Вероятностная логика

· Логика решений

· Логика нечётких понятий (логика нечётких множеств, нечёткая логика)

· Аналогия (умозаключение по аналогии).

Другие неклассические логики

· Категориальная логика

· Комбинаторная логика — это логика, которая заменяет переменные функциями с целью прояснить такие интуитивные операции с переменными, как подстановка. Построенная на базе комбинаторной логики система арифметики содержит все частично рекурсивные функции и избегает гёделевской неполноты.

· Кондициональная логика (условная логика). Её предмет — истинность условных предложений (в частности, сослагательного наклонения). Логика контрафактических утверждений.

Приложения логики

Прикладные проблемы логики (см. Прикладная логика) и логической семантики

· Приложения логики в методологии науки

· Приложения логики в философии

· Приложения логики в теологии

· Приложения логики в психологии

· Приложения логики в правовых науках

· Приложения логики в лингвистике

· Приложения логики в других дисциплинах

· Искусственный интеллект

Приложения логики в анализе познавательных процедур

Логический анализ форм и приёмов познания

· Формы мышления

· Определение

· Классификация

· Абстракция

· Идеализация

· Аксиоматизация

· Формализация

· Логические проблемы аргументации

· Логика доказательств

Приложения логики в методологии наукиМетодология науки

· Логика науки

· Логика и эмпиризм

Приложения логики в философии

· Приложения логики в философии

· Приложения логики в онтологии

· Приложения логики в эпистемологии



· Приложения логики в этике

· Логические проблемы аргументации (теория аргументации)

· Аналитическая философия


Эта страница нарушает авторские права

allrefrs.ru - 2019 год. Все права принадлежат их авторам!