Схема логики

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

Основы логики [ править ]

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

Разделы логики [ править ]

Философская логика [ править ]

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

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

Дедуктивное рассуждение [ править ]

Теории дедукции [ править ]

Заблуждения [ править ]

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

Формальная логика [ править ]

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

Символы и строки символов [ править ]

Логические символы [ править ]

Логические связки [ править ]

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

Строки символов [ править ]

Виды предложений [ править ]

Предложение

Правила вывода [ править ]

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

Формальные теории [ править ]

Выражения в метаязыке [ править ]

Метаязык

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

Пропозициональная логика [ править ]

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

Булева логика [ править ]

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

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

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

Отношения [ править ]

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

Математическая логика [ править ]

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

Теория множеств [ править ]

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

Metalogic[editМеталогика

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

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

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

Теория моделей [ править ]

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

Теория вычислимости [ править ]

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

Семантика естественного языка [ править ]

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

Классическая логика [ править ]

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

Модальная логика [ править ]

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

Неклассическая логика [ править ]

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

Понятия логики [ править ]

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

История логики [ править ]

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

Литература по логике [ править ]

Журналы [ править ]

Книги [ править ]

Логические организации [ править ]

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

Логики [ править ]

См. также [ править ]

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

Внешние ссылки [ править ]

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

v т Это Общие логические связи
Tautology/True $\top$
Alternative denial (NAND gate) $\uparrow$ Converse implication $\leftarrow$ Implication (IMPLY gate) $\rightarrow$ Disjunction (OR gate) $\lor$
Negation (NOT gate) $\neg$ Exclusive or (XOR gate) $\not \leftrightarrow$ Biconditional (XNOR gate) $\leftrightarrow$ Statement (Digital buffer)
Joint denial (NOR gate) $\downarrow$ Nonimplication (NIMPLY gate) $\nrightarrow$ Converse nonimplication $\nleftarrow$ Conjunction (AND gate) $\land$
Contradiction/False $\bot$
Philosophy portal