Схема логики
(Перенаправлено из Список тем по логике )
Логика является формальной наукой об использовании разума и считается отраслью как философии , так и математики и, в меньшей степени, информатики . Логика исследует и классифицирует структуру утверждений и аргументов как посредством изучения формальных систем вывода, так и посредством изучения аргументов на естественном языке . Таким образом, объем логики может быть очень широким: от основных тем, таких как изучение заблуждений и парадоксов , до специализированного анализа рассуждений, таких как вероятность , правильное рассуждение и аргументы, включающие причинность . Одной из целей логики является выявление правильных (или действительных ) и неправильных (или ошибочных ) выводов . Логики изучают критерии оценки аргументов .
Основы логики [ править ]
- Аналитико-синтетическое различие
- Антиномия
- Априори и апостериори
- Определение
- Описание
- Логическое следствие
- Идентичность (философия)
- Вывод
- Логическая форма
- Логическое следствие
- Логическая истина
- Логическое следствие
- Имя
- Необходимость
- Материал условный
- Значение (лингвистическое)
- Значение (нелингвистическое)
- Парадокс ( список )
- Возможный мир
- Предпосылка
- Вероятность
- Количественная оценка
- Причина
- Рассуждение
- Ссылка
- Семантика
- Строгое условное
- Синтаксис (логика)
- Правда
- Истинное значение
- Срок действия
Разделы логики [ править ]
- Аффинная логика
- Алетическая логика
- Аристотелевская логика
- Булева логика
- Буддийская логика
- Сгруппированная логика
- Категорическая логика
- Классическая логика
- Вычислимая логика
- Деонтическая логика
- Логика зависимости
- Логика описания
- Девиантная логика
- Доксастическая логика
- Эпистемическая логика
- Логика первого порядка
- Формальная логика
- Свободная логика
- Нечеткая логика
- Логика высшего порядка
- Бесконечная логика
- Неформальная логика
- Интенсиональная логика
- Промежуточная логика
- Логика интерпретации
- Интуиционистская логика
- Линейная логика
- Многозначная логика
- Математическая логика
- Металогика
- Минимальная логика
- Модальная логика
- Неаристотелевская логика
- Неклассическая логика
- Некоммутативная логика
- Немонотонная логика
- Упорядоченная логика
- Паранепротиворечивая логика
- Философская логика
- Логика предикатов
- Пропозициональная логика
- Логика доказуемости
- Квантовая логика
- Логика релевантности
- Последовательная логика
- Строгая логика
- Субструктурная логика
- Силлогистическая логика
- Символическая логика
- Временная логика
- Термин логика
- Тематическая логика
- Традиционная логика
- Логика нулевого порядка
Философская логика [ править ]
логика и критическое мышление Неформальная
Неформальная логика Критическое мышление Теория аргументации
- Аргумент
- Карта аргументов
- Точность и точность
- Для этой гипотезы
- Двусмысленность
- Анализ
- Атака на ошибочные рассуждения
- Вера
- Предвзятость убеждений
- Предвзятость
- Когнитивная предвзятость
- Предвзятость подтверждения
- Доверие
- Критическая педагогика
- Критическое чтение
- децидофобия
- Принятие решений
- Диспозиционные и возникающие убеждения
- Эмоциональное рассуждение
- Доказательство
- Эксперт
- Объяснение
- Объяснительная сила
- Факт
- Заблуждение
- Мышление высшего порядка
- Расследование
- Интерпретационная дискуссия
- Бритва Оккама
- Мнение
- Практический силлогизм
- Прецизионный допрос
- Пропаганда
- Методы пропаганды
- Решение проблем
- Благоразумие
- Псевдофилософия
- Рассуждение
- Актуальность
- Риторика
- Строгость
- Сократический допрос
- Достоверность источника
- Критика источника
- Теория оправдания
- Тематическая логика
- Неясность
Дедуктивное рассуждение [ править ]
Теории дедукции [ править ]
- Антипсихологизм
- Концептуализм
- Конструктивизм
- Конвенционализм
- Теория аналога
- Дефляционная теория истины
- Диалетеизм
- фикционализм
- Формализм (философия)
- Теория игр
- Философия иллюзиониста
- Логический атомизм
- Логический холизм
- Логизм
- Модальный фикционализм
- Номинализм
- Полилогизм
- Прагматизм
- Преинтуиционизм
- Теория доказательств
- Психологизм
- Рамизм
- Семантическая теория истины
- Софизм
- Тривиализм
- Ультрафинитизм
Заблуждения [ править ]
- Заблуждение ( список ) – неверная аргументация в рассуждениях, приводящая к заблуждению или презумпции. Случайно или преднамеренно, заблуждения могут эксплуатировать эмоциональные триггеры слушателя или собеседника (апеллируя к эмоциям) или использовать в своих целях социальные отношения между людьми (например, аргументы авторитетов). Ошибочные аргументы часто структурируются с использованием риторических шаблонов, которые скрывают любой логический аргумент. Заблуждения можно использовать для победы в спорах независимо от их сути. Существуют десятки типов заблуждений.
Формальная логика [ править ]
- Формальная логика . Математическая логика, символическая логика и формальная логика во многом, если не полностью, синонимы. Существенной особенностью этой области является использование формальных языков для выражения идей, логическая обоснованность которых изучается.
Символы и строки символов [ править ]
Логические символы [ править ]
Логические связки [ править ]
- Обратная импликация
- Обратная неимпликация
- Эксклюзивный или
- Логическое НО
- Логическое двуусловие
- Логическое соединение
- Логическая дизъюнкция
- Материальное значение
- Материальная непричастность
- Отрицание
- Sheffer stroke
Общие логические связи |
|---|
Строки символов [ править ]
Виды предложений [ править ]
- Аналитическое предложение
- Аксиома
- Атомное предложение
- Предложение (логика)
- Условное предложение
- Противоречие
- Логическая истина
- Пропозициональная формула
- Правило вывода
- Предложение (математическая логика)
- секвентальный
- Утверждение (логика)
- субальтернация
- тавтология
- Теорема
Правила вывода [ править ]
Правило вывода ( список )
- Двуусловное исключение
- Двуусловное введение
- Анализ случая
- Коммутативность соединения
- Знакомство с союзом
- Конструктивная дилемма
- Противопоставление (традиционная логика)
- Преобразование (логика)
- Законы де Моргана
- Разрушительная дилемма
- Устранение дизъюнкции
- Введение в дизъюнкцию
- Дизъюнктивный силлогизм
- Устранение двойного отрицания
- Обобщение (логика)
- Гипотетический силлогизм
- Закон исключенного третьего
- Закон идентичности
- Удаление метода настройки
- Настройка настроения
- Модус толленс
- Обверсия
- Принцип противоречия
- Разрешение (логика)
- Упрощение
- Транспонирование (логика)
Формальные теории [ править ]
Выражения в метаязыке [ править ]
Пропозициональная и булева логика [ править ]
Пропозициональная логика [ править ]
- Закон абсорбции
- Предложение (логика)
- Дедуктивное замыкание
- Распределительная собственность
- Логическое следствие
- Правило формирования
- Функциональная полнота
- Промежуточная логика
- Литерал (математическая логика)
- Логическая связка
- Логическое следствие
- Нормальная форма отрицания
- Открытое предложение
- Пропозициональное исчисление
- Пропозициональная формула
- Пропозициональная переменная
- Правило вывода
- Строгое условное
- Экземпляр замены
- Таблица истинности
- Логика нулевого порядка
Булева логика [ править ]
- Булева алгебра ( список )
- Булева логика
- Булева алгебра (структура)
- Булевы алгебры канонически определены
- Введение в булеву алгебру
- Полная булева алгебра
- Свободная булева алгебра
- Монадическая булева алгебра
- Остаточная булева алгебра
- Двухэлементная булева алгебра
- Модальная алгебра
- Производная алгебра (абстрактная алгебра)
- Алгебра отношений
- Закон абсорбции
- Законы формы
- Законы де Моргана
- Алгебраическая нормальная форма
- Каноническая форма (булева алгебра)
- Логический соединительный запрос
- Логическая модель
- Логический домен
- Логическое выражение
- Булево кольцо
- Булева функция
- Логическая функция
- Функция четности
- Симметричная булева функция
- Условная дизъюнкция
- Поле наборов
- Функциональная полнота
- с участием
- Логический алфавит
- Логическая избыточность
- Логическая связка
- Логическая матрица
- Срок действия продукта
- Истинная количественная булева формула
- Таблица истинности
и предикатов отношения Логика
Логика предикатов [ править ]
- Атомная формула
- Атомное предложение
- Область дискурса
- Пустой домен
- Расширение (логика предикатов)
- Логика первого порядка
- Предикат первого порядка
- Правило формирования
- Свободные переменные и связанные переменные
- Обобщение (логика)
- Монадическое исчисление предикатов
- Предикат (математическая логика)
- Логика предикатов
- Предикатная переменная
- Количественная оценка
- Предикат второго порядка
- Предложение (математическая логика)
- Универсальная реализация
Отношения [ править ]
- Финитарное соотношение
- Антисимметричное отношение
- Асимметричное отношение
- Биекция
- Биекция, инъекция и сюръекция
- Бинарное отношение
- Состав отношений
- Отношение конгруэнтности
- Связанное отношение
- Обратное соотношение
- Корефлексивное отношение
- Покрывающее отношение
- Циклический порядок
- Плотное отношение
- Отношение зависимости
- Отношение зависимости
- Режиссерский набор
- Отношение эквивалентности
- Евклидово соотношение
- Гомогенное отношение
- Идемпотентность
- Нетранзитивность
- Инволютивное отношение
- Отношение частичной эквивалентности
- Частичная функция
- Частично заказанный комплект
- Предварительный заказ
- Предварительный заказ
- Пропозициональная функция
- Квазитранзитивное отношение
- Рефлексивное отношение
- Серийное отношение
- Сюръективная функция
- Симметричное отношение
- Тернарное отношение
- Транзитивное отношение
- Трихотомия (математика)
- Хорошо обоснованное отношение
Математическая логика [ править ]
Теория множеств [ править ]
- Алеф ноль
- Биекция, инъекция и сюръекция
- Двоичный набор
- Диагональный аргумент Кантора
- Первое доказательство несчетности Кантора
- Теорема Кантора
- Мощность континуума
- Кардинальное число
- Кодомен
- Дополнение (теория множеств)
- Сборная вселенная
- Непрерывная гипотеза
- Счетное множество
- Разрешимый набор
- Перечислимый набор
- Непересекающиеся множества
- Непересекающийся союз
- Область определения функции
- Эффективное перечисление
- Элемент (математика)
- Пустая функция
- Пустой набор
- Перечисление
- Экстенсиональность
- Конечный набор
- Принуждение (математика)
- Функция (теория множеств)
- Функциональная композиция
- Обобщенная гипотеза континуума
- Набор индексов
- Бесконечный набор
- Намерение
- Пересечение (теория множеств)
- Обратная функция
- Большой кардинал
- Теорема Левенхайма – Скулема
- Карта (математика)
- Мультисет
- Теория множеств Морса – Келли
- Наивная теория множеств
- Переписка один на один
- Заказанная пара
- Раздел набора
- Остроконечный набор
- Набор мощности
- Проекция (теория множеств)
- Правильное подмножество
- Правильный суперсет
- Диапазон функции
- Парадокс Рассела
- Последовательность (математика)
- Набор (математика)
- Набор всех наборов
- Простые теоремы алгебры множеств
- Синглтон (математика)
- Школьный парадокс
- Подмножество
- Суперсет
- Кортеж
- Бесчисленное множество
- Союз (теория множеств)
- Теория множеств фон Неймана–Бернейса–Гёделя
- Теория множеств Цермело
- Теория множеств Цермело – Френкеля
Металогика [ править ]
Металогика - изучение метатеории логики .
- Полнота (логика)
- Синтаксис (логика)
- Последовательность
- Разрешимость (логика)
- Дедуктивная система
- Интерпретация (логика)
- Теорема Кантора
- Теорема Чёрча
- Диссертация Чёрча
- Эффективный метод
- Формальная система
- Теорема Гёделя о полноте
- Первая теорема Гёделя о неполноте
- Вторая теорема Гёделя о неполноте
- Независимость (математическая логика)
- Логическое следствие
- Теорема Левенхайма – Скулема
- Метаязык
- Метасинтаксическая переменная
- Метатеория
- Объектный язык - см. метаязык.
- Символ (формальный)
- Различие типа и токена
- Используйте–упомяните различие
- Правильно составленная формула
Теория доказательств [ править ]
Теория доказательств – Исследование дедуктивного аппарата .
- Аксиома
- Дедуктивная система
- Формальное доказательство
- Формальная система
- Формальная теорема
- Синтаксическое следствие
- Синтаксис (логика)
- Правила трансформации
Теория моделей [ править ]
Теория моделей – изучение интерпретации формальных систем.
- Интерпретация (логика)
- Логическая обоснованность
- Нестандартная модель
- Нормальная модель
- Модель
- Семантическое следствие
- Истинное значение
Теория вычислимости [ править ]
Теория вычислимости — раздел математической логики, зародившийся в 1930-е годы с изучением вычислимых функций и степеней Тьюринга . Эта область расширилась и теперь включает изучение обобщенной вычислимости и определимости. Основные вопросы, решаемые теорией рекурсии: «Что значит, что функция от натуральных чисел до себя является вычислимой?» и «Как можно классифицировать невычислимые функции в иерархию на основе уровня их невычислимости?». Ответы на эти вопросы привели к созданию богатой теории, которая до сих пор активно исследуется.
- Теория альфа-рекурсии
- Арифметический набор
- Тезис Чёрча – Тьюринга
- Вычислимая логика
- Вычислимая функция
- Вычисление
- Проблема решения
- Эффективный метод
- Проблема решения
- Перечисление
- Принуждение (вычислимость)
- Проблема с остановкой
- История церкви – тезис Тьюринга
- Лямбда-исчисление
- Список неразрешимых проблем
- Проблема с перепиской
- Теорема Поста
- Примитивная рекурсивная функция
- Рекурсия (информатика)
- Рекурсивный язык
- Рекурсивный набор
- Рекурсивно перечислимый язык
- Рекурсивно перечисляемый набор
- Редукция (теория рекурсии)
- Машина Тьюринга
Семантика естественного языка [ править ]
Формальная семантика (естественный язык)
- Формальные системы
- Концепции
Классическая логика [ править ]
- Свойства классической логики:
- Термин логика
- Общие понятия классической логики
- Баралиптон
- Бароко
- Двувалентность
- Булева логика
- Логическая функция
- Категорическое суждение
- Распределение терминов
- Конец срока
- Энтимема
- Немедленный вывод
- Закон противоположностей
- Логическая связка
- Логический куб
- Логическая гировытянутая квадратная бипирамида
- Логический шестиугольник
- Логический икосаэдр
- Логический октаэдр
- Логический пятиугольник
- Логическая пятиугольная бипирамида
- Логический курносый дисеноид
- Логическая триаугментированная треугольная призма
- Логическая треугольная бипирамида
- Логический тетраэдр
- Основной термин
- Средний срок
- Незначительный срок
- Восьмиугольник пророчеств
- орган
- Полисиллогизм
- Порт-Рояль Логик
- Помещение
- Предварительная аналитика
- Относительный срок
- Парадокс Сорита
- Площадь оппозиции
- Треугольник оппозиции
- Сумма логики
- Силлогизм
- Тетралемма
- Функция истины
Модальная логика [ править ]
Неклассическая логика [ править ]
- Аффинная логика
- Сгруппированная логика
- Вычислимая логика
- Теория принятия решений
- Логика описания
- Девиантная логика
- Свободная логика
- Нечеткая логика
- Теория игр
- Интенсиональная логика
- Интуиционистская логика
- Линейная логика
- Многозначная логика
- Минимальная логика
- Немонотонная логика
- Некоммутативная логика
- Паранепротиворечивая логика
- Теория вероятностей
- Квантовая логика
- Логика релевантности
- Строгая логика
- Субструктурная логика
Понятия логики [ править ]
- Теория доказательств
- Теория множеств
- Формальная система
- Булева алгебра
- Аристотелевская логика
- Неаристотелевская логика
- Неформальная логика
- Нечеткая логика
- Бесконечная логика
- Категорическая логика
- Линейная логика
- Металогика
- заказ
- Упорядоченная логика
- Временная логика
- Последовательная логика
- Логика доказуемости
- Квантовая логика
- Соответствующая логика
- Последующий
- Подтверждая следствие
- Антецедент
- Отрицание антецедента
- Теорема
- Аксиома
- Аксиоматическая система
- Аксиоматизация
- Условное доказательство
- Недействительное доказательство
- Степень правды
- Правда
- Условие истинности
- Функция истины
- Двойное отрицание
- Заблуждение
- Теория типов
- Теория игр
- Семантика игры
- Правило вывода
- Процедура вывода
- Правило вывода
- Правило введения
- Закон исключенного третьего
- Закон непротиворечия
- Логическая константа
- Логический вентиль
- тавтология
- Логическое утверждение
- Логическое условное
- Логическое двуусловие
- Логическая эквивалентность
- Логическое И
- Отрицание
- Логическое ИЛИ
- Логическое NAND
- Логическое НО
- Противоречие
- субальтернация
- Логизм
- Полисиллогизм
- Силлогизм
- Гипотетический силлогизм
- Основная предпосылка
- Незначительная предпосылка
- Срок
- Единственный термин
- Основной термин
- Средний срок
- Количественная оценка
- Множественное количественное определение
- Логический аргумент
- Инверсия (логика)
- Это не следует
- Толерантность
- Удовлетворенность
- Логический язык
- Парадокс
- Польские обозначения
- Принципы математики
- Это нужно было продемонстрировать
- Доведение до абсурда
- Риторика
- Самоссылка
- Необходимое и достаточное
- Достаточное условие
- Непервая упорядочиваемость
- Бритва Оккама
- Сократический диалог
- Сократовский метод
- Форма аргумента
- Логическое программирование
- Объединение
История логики [ править ]
Литература по логике [ править ]
Журналы [ править ]
Книги [ править ]
- Система логики
- Атака на ошибочные рассуждения
- Концептуальное письмо
- Категории (Аристотель)
- Библиография Чарльза Сандерса Пирса
- Об интерпретации
- Гёдель, Эшер, Бах
- Введение в математическую философию
- Язык, истина и логика
- Законы формы
- Новый орган
- О формально неразрешимых предложениях Principia Mathematica и родственных системах
- орган
- Философия арифметики
- Польская логика
- Порт-Рояль Логик
- Апостериорная аналитика
- Принципы математики
- Принципы математической логики
- Предварительная аналитика
- Риторика (Аристотель)
- Софистические опровержения
- Сумма логики
- Искусство быть правым
- Основы арифметики
- Темы (Аристотель)
- Логико-философский трактат
Логические организации [ править ]
Логики [ править ]
См. также [ править ]
- Указатель статей по логике
- Математика
- Философия
- Очерк дискретной математики - для вводного курса теории множеств и другого вспомогательного материала.
Внешние ссылки [ править ]
Логика Википедии в родственных проектах
- Таксономия логических ошибок
- forall x: введение в формальную логику П.Д. Магнуса охватывает сентенциальную и количественную логику.
- Советы по переводу Питера Субера для перевода с английского языка в логическую систему обозначений.
- Математика и логика: история формальных математических, логических, лингвистических и методологических идей. В Словаре истории идей.
- Тест на логику Проверьте свои логические навыки
- Самообучение логике: рабочая тетрадь (изначально подготовленная для онлайн-обучения логике)