Схема логики

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

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

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

Отрасли логики

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

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

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

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

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

Заблуждения

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

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

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

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

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

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

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

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

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

Предложение

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

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

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

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

Метаязык

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

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

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

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

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

Отношения

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

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

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

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

Металогика

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

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

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

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

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

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

Теория вычислимости — раздел математической логики, зародившийся в 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