Схема логики

Обзор и тематическое руководство по логике

Логика — это формальная наука об использовании разума , которая считается разделом как философии , так и математики и, в меньшей степени, компьютерной науки . Логика исследует и классифицирует структуру утверждений и аргументов, как посредством изучения формальных систем вывода, так и посредством изучения аргументов на естественном языке . Поэтому сфера применения логики может быть очень большой, начиная от основных тем, таких как изучение заблуждений и парадоксов , до специализированного анализа рассуждений, таких как вероятность , правильное рассуждение и аргументы, включающие причинность . Одна из целей логики — определить правильные (или действительные ) и неправильные (или ошибочные ) выводы . Логики изучают критерии оценки аргументов .

Основы логики

Философия логики

Разделы логики

Философская логика

Неформальная логика и критическое мышление

Неформальная логика Критическое мышление Теория аргументации

Дедуктивное рассуждение

Теории дедукции

Заблуждения

Заблуждение ( список ) – неправильная аргументация в рассуждении, приводящая к неправильному пониманию или предположению. Случайно или намеренно, заблуждения могут эксплуатировать эмоциональные триггеры у слушателя или собеседника (апелляция к эмоциям) или использовать социальные отношения между людьми (например, аргумент от авторитета). Ошибочные аргументы часто структурированы с использованием риторических шаблонов, которые скрывают любой логический аргумент. Заблуждения могут использоваться для победы в спорах независимо от их достоинств. Существуют десятки типов заблуждений.

Формальная логика

Формальная логика – Математическая логика, символическая логика и формальная логика в значительной степени, если не полностью, являются синонимами. Существенной чертой этой области является использование формальных языков для выражения идей, логическая обоснованность которых изучается.
- Список тем математической логики

Символы и строки символов

Логические символы

Логические связки

Логическая связка

Строки символов

Типы предложений

Предложение

Правила вывода

Правило вывода ( список )

Формальные теории

Выражения на метаязыке

Метаязык

Пропозициональная и булева логика

Логика высказываний

Булева логика

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

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

Отношения

Математическое отношение

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

Теория множеств

Теория множеств ( список )

Металоджик

Металогика – изучение метатеории логики .

Теория доказательств

Теория доказательств – изучение дедуктивного аппарата .

Теория моделей

Теория моделей – изучение интерпретации формальных систем.

Теория вычислимости

Теория вычислимости – раздел математической логики, возникший в 1930-х годах с изучением вычислимых функций и степеней Тьюринга . Область расширилась, включив в себя изучение обобщенной вычислимости и определимости. Основные вопросы, рассматриваемые теорией рекурсии, это «Что означает для функции от натуральных чисел до себя быть вычислимой?» и «Как невычислимые функции могут быть классифицированы в иерархию на основе их уровня невычислимости?». Ответы на эти вопросы привели к богатой теории, которая все еще активно исследуется.

Семантика естественного языка

Формальная семантика (естественный язык)

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

Модальная логика

Неклассическая логика

Концепции логики

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

История логики

Литература о логике

Журналы

Книги

Логические организации

Ассоциация символической логики

Логики

Смотрите также

Глоссарий логики
Индекс статей по логике
Математика
- Список основных тем по математике
- Список статей по математике
Философия
Очерк дискретной математики – для вводной теории множеств и других вспомогательных материалов

Ссылки

^ Марко Айелло ; Ян Пратт-Хартманн; Йохан ван Бентем , ред. (2007). Справочник по пространственной логике . стр. 1. doi :10.1007/978-1-4020-5587-4. любой формальный язык, интерпретируемый над классом структур, включающих геометрические сущности и отношения, в широком смысле толкуемые
^ "octagon of prophecies - Поиск Google". www.google.com . Получено 29.10.2024 .

Внешние ссылки

Таксономия логических ошибок
forall x: введение в формальную логику , автор PD Magnus, охватывает сентенциальную и квантифицированную логику
Советы по переводу , Питер Субер , для перевода с английского языка в логическую нотацию
Математика и логика: История формальных математических, логических, лингвистических и методологических идей. В Словаре истории идей.
Тест на логику Проверьте свои логические навыки
Самоучитель логики: рабочая тетрадь (изначально подготовленная для онлайн-обучения логике)

[1] Марко Айелло ; Ян Пратт-Хартманн; Йохан ван Бентем , ред. (2007). Справочник по пространственной логике . стр. 1. doi :10.1007/978-1-4020-5587-4. любой формальный язык, интерпретируемый над классом структур, включающих геометрические сущности и отношения, в широком смысле толкуемые

[2] "octagon of prophecies - Поиск Google". www.google.com . Получено 29.10.2024 .