WikiDer > Наброски логики
Outline of logic
Логика это формальная наука об использовании причина и считается ветвью обоих философия и математика и в меньшей степени Информатика. Логика исследует и классифицирует структуру утверждений и аргументов, как посредством изучения формальные системы умозаключений и изучения аргументов в естественный язык. Следовательно, объем логики может быть очень большим, начиная от основных тем, таких как изучение заблуждения и парадоксы, до специализированных анализов рассуждений, таких как вероятность, правильные рассуждения и аргументы, связанные с причинность. Одна из целей логики - определить правильное (или действительный) и неверный (или ошибочный) выводы. Логики изучают критерии оценки аргументы.
Основы логики
- Аналитико-синтетическое различие
- Антиномия
- Априори и апостериори
- Определение
- Описание
- Логическое следствие
- Идентичность (философия)
- Вывод
- Логическая форма
- Логическое следствие
- Логическая правда
- Логическое следствие
- Имя
- Необходимость
- Материал условный
- Значение (лингвистическое)
- Значение (неязыковое)
- Парадокс (список)
- Возможный мир
- Пресуппозиция
- Вероятность
- Количественная оценка
- Причина
- Рассуждение
- Ссылка
- Семантика
- Строгое условное
- Синтаксис (логика)
- Правда
- Ценность правды
- Срок действия
Философская логика
Неформальная логика и критическое мышление
Неформальная логикаКритическое мышлениеТеория аргументации
- Аргумент
- Карта аргументов
- Тщательность и точность
- Специальная гипотеза
- Двусмысленность
- Анализ
- Нападение на ошибочное рассуждение
- Вера
- Предубеждение
- Предвзятость
- Когнитивное искажение
- Подтверждение смещения
- Достоверность
- Критическая педагогика
- Критическое чтение
- Децидофобия
- Принимать решение
- Диспозиционная и встречающаяся вера
- Эмоциональное рассуждение
- Свидетельство
- Эксперт
- Объяснение
- Объяснительная сила
- Факт
- Заблуждение
- Мышление высшего порядка
- Расследование
- Устное обсуждение
- Повествовательная логика
- бритва Оккама
- Мнение
- Практический силлогизм
- Допрос точности
- Пропаганда
- Методы пропаганды
- Благоразумие
- Псевдофилософия
- Рассуждение
- Актуальность
- Риторика
- Строгость
- Сократов допрос
- Достоверность источника
- Критика источников
- Теория оправдания
- Актуальная логика
- Нечеткость
Дедуктивное мышление
Теории дедукции
- Антипсихологизм
- Концептуализм
- Конструктивизм
- Конвенционализм
- Теория двойника
- Дефляционная теория истины
- Диалетеизм
- Художественная литература
- Формализм (философия)
- Теория игры
- Иллюминационистская философия
- Логический атомизм
- Логический холизм
- Логика
- Модальный фикционализм
- Номинализм
- Теория объекта
- Полилогизм
- Прагматизм
- Преинтуиционизм
- Теория доказательств
- Психологизм
- Рамизм
- Семантическая теория истины
- Софизм
- Тривиализм
- Ультрафинитизм
Заблуждения
- Заблуждение (список) - неправильная аргументация в рассуждении, приводящая к заблуждению или презумпции. Случайно или намеренно заблуждения могут использовать эмоциональные триггеры у слушателя или собеседника (апелляция к эмоциям) или использовать преимущества социальных отношений между людьми (например, аргументы авторитета). Ошибочные аргументы часто строятся с использованием риторических шаблонов, которые скрывают любые логические аргументы. Заблуждения можно использовать для выигрыша аргументов независимо от их достоинств. Есть десятки видов заблуждений.
Формальная логика
- Формальная логика - Математическая логика, символическая логика и формальная логика в значительной степени, если не полностью, синонимичны. Существенной особенностью этого поля является использование формальные языки для выражения идей, логическая обоснованность которых изучается.
Символы и цепочки символов
Логические символы
Логические связки
- Обратное значение
- Конверс без импликации
- Эксклюзивный или
- Логическое ИЛИ
- Логическая двусмысленность
- Логическое соединение
- Логическая дизъюнкция
- Материальное значение
- Существенное отсутствие импликации
- Отрицание
- Инсульт Шеффера
 | ||
Строки символов
Типы предложений
- Аналитическое предложение
- Аксиома
- Атомарное предложение
- Пункт (логика)
- Условное предложение
- Противоречие
- Логическая правда
- Пропозициональная формула
- Правило вывода
- Предложение (математическая логика)
- Секвент
- Утверждение (логика)
- Тавтология
- Теорема
Правила вывода
- Двуусловное исключение
- Двузначное введение
- Анализ случая
- Коммутативность конъюнкции
- Введение в соединение
- Конструктивная дилемма
- Противопоставление (традиционная логика)
- Преобразование (логика)
- Законы де Моргана
- Деструктивная дилемма
- Устранение дизъюнкции
- Введение дизъюнкции
- Дизъюнктивный силлогизм
- Устранение двойного отрицания
- Обобщение (логика)
- Гипотетический силлогизм
- Закон исключенного среднего
- Закон идентичности
- Modus ponendo tollens
- Modus ponens
- Modus tollens
- Обверсия
- Принцип противоречия
- Разрешение (логика)
- Упрощение
- Транспонирование (логика)
Формальные теории
Выражения на объектном языке
Выражения на метаязыке
Пропозициональная и логическая логика
Логика высказываний
- Закон поглощения
- Пункт (логика)
- Дедуктивное закрытие
- Логическое следствие
- Правило формирования
- Функциональная полнота
- Промежуточная логика
- Буквальный (математическая логика)
- Логическая связка
- Логическое следствие
- Нормальная форма отрицания
- Открытое предложение
- Исчисление высказываний
- Пропозициональная формула
- Пропозициональная переменная
- Правило вывода
- Строгое условное
- Подстановка экземпляра
- Таблица истинности
- Логика нулевого порядка
Логическая логика
- Булева алгебра (список)
- Логическая логика
- Булева алгебра (структура)
- Канонически определенные булевы алгебры
- Введение в булеву алгебру
- Полная булева алгебра
- Свободная булева алгебра
- Монадическая булева алгебра
- Выведенная булева алгебра
- Двухэлементная булева алгебра
- Модальная алгебра
- Производная алгебра (абстрактная алгебра)
- Алгебра отношений
- Закон поглощения
- Законы формы
- Законы де Моргана
- Алгебраическая нормальная форма
- Каноническая форма (булева алгебра)
- Логический конъюнктивный запрос
- Булевозначная модель
- Логический домен
- Логическое выражение
- Логическое кольцо
- Логическая функция
- Булевозначная функция
- Функция четности
- Симметричная булева функция
- Условная дизъюнкция
- Поле наборов
- Функциональная полнота
- Импликант
- Логический алфавит
- Логическая избыточность
- Логическая связка
- Логическая матрица
- Срок действия продукта
- Истинная количественная логическая формула
- Таблица истинности
Логика предикатов и отношения
Логика предикатов
- Атомная формула
- Атомарное предложение
- Область дискурса
- Пустой домен
- Расширение (логика предиката)
- Логика первого порядка
- Предикат первого порядка
- Правило формирования
- Свободные переменные и связанные переменные
- Обобщение (логика)
- Монадическое исчисление предикатов
- Предикат (математическая логика)
- Логика предикатов
- Переменная предиката
- Количественная оценка
- Предикат второго порядка
- Предложение (математическая логика)
- Универсальное создание
связи
- Финитарное отношение
- Антисимметричное отношение
- Асимметричное отношение
- Биекция
- Биекция, инъекция и сюръекция
- Бинарное отношение
- Состав отношений
- Отношение конгруэнтности
- Обратное отношение
- Coreflexive отношение
- Покрывающее отношение
- Циклический порядок
- Плотное отношение
- Отношение зависимости
- Отношение зависимости
- Режиссерский набор
- Отношение эквивалентности
- Евклидово отношение
- Однородное отношение
- Идемпотентность
- Непроницаемость
- Инволютивное отношение
- Отношение частичной эквивалентности
- Частичная функция
- Частично заказанный набор
- Предварительный заказ
- Предварительный заказ
- Пропозициональная функция
- Квазитранзитивное отношение
- Рефлексивное отношение
- Сюръективная функция
- Симметричное отношение
- Тернарное отношение
- Общее отношение
- Переходное отношение
- Трихотомия (математика)
- Прочные отношения
Математическая логика
Теория множеств
- Алеф ноль
- Биекция, инъекция и сюръекция
- Бинарный набор
- Диагональный аргумент Кантора
- Первое доказательство несчетности Кантора
- Теорема кантора
- Мощность континуума
- количественное числительное
- Codomain
- Дополнение (теория множеств)
- Конструируемая вселенная
- Гипотеза континуума
- Счетный набор
- Разрешаемый набор
- Счетный набор
- Непересекающиеся множества
- Несвязный союз
- Область функции
- Эффективный подсчет
- Элемент (математика)
- Пустая функция
- Пустой набор
- Перечисление
- Расширяемость
- Конечный набор
- Принуждение (математика)
- Функция (теория множеств)
- Состав функций
- Обобщенная гипотеза континуума
- Набор индексов
- Бесконечный набор
- Намерение
- Пересечение (теория множеств)
- Обратная функция
- Большой кардинал
- Теорема Лёвенгейма – Сколема
- Карта (математика)
- Multiset
- Теория множеств Морса – Келли
- Наивная теория множеств
- Индивидуальная переписка
- Упорядоченная пара
- Перегородка набора
- Остроконечный набор
- Набор мощности
- Проекция (теория множеств)
- Правильное подмножество
- Правильный суперсет
- Диапазон функции
- Парадокс Рассела
- Последовательность (математика)
- Набор (математика)
- Комплект всех комплектов
- Простые теоремы алгебры множеств
- Синглтон (математика)
- Сколемский парадокс
- Подмножество
- Суперсет
- Кортеж
- Бесчисленное множество
- Союз (теория множеств)
- Теория множеств фон Неймана – Бернейса – Гёделя.
- Теория множеств Цермело
- Теория множеств Цермело – Френкеля
Metalogic
Metalogic - Изучение метатеория логики.
- Полнота (логика)
- Синтаксис (логика)
- Последовательность
- Разрешимость (логика)
- Дедуктивная система
- Интерпретация (логика)
- Теорема кантора
- Теорема Черча
- Тезис Чёрча
- Эффективный метод
- Формальная система
- Теорема Гёделя о полноте
- Первая теорема Гёделя о неполноте
- Вторая теорема Гёделя о неполноте
- Независимость (математическая логика)
- Логическое следствие
- Теорема Лёвенгейма – Сколема
- Метаязык
- Метасинтаксическая переменная
- Метатеорема
- Язык объекта
- Символ (формальный)
- Различие типа и токена
- Использование – упоминание различия
- Правильная формула
Теория доказательств
Теория доказательств - Изучение дедуктивный аппарат.
- Аксиома
- Дедуктивная система
- Формальное доказательство
- Формальная система
- Формальная теорема
- Синтаксическое следствие
- Синтаксис (логика)
- Правила трансформации
Теория моделей
Теория моделей - Изучение интерпретации формальных систем.
- Интерпретация (логика)
- Логическая обоснованность
- Нестандартная модель
- Нормальная модель
- Модель
- Семантическое следствие
- Ценность правды
Теория вычислимости
Теория вычислимости - раздел математической логики, зародившийся в 1930-х годах с изучением вычислимых функций и Степени Тьюринга. Эта область расширилась и теперь включает изучение обобщенной вычислимости и определимости. Теория рекурсии задает следующие основные вопросы: «Что значит вычислимость функции от натуральных чисел до самих себя?» и «Как можно классифицировать невычислимые функции в иерархию на основе их уровня невычислимости?». Ответы на эти вопросы привели к богатой теории, которая все еще активно исследуется.
- Теория альфа-рекурсии
- Арифметический набор
- Тезис Черча – Тьюринга
- Логика вычислимости
- Вычислимая функция
- Вычисление
- Проблема решения
- Эффективный метод
- Entscheidungsproblem
- Перечисление
- Принуждение (теория рекурсии)
- Проблема с остановкой
- История диссертации Черча – Тьюринга
- Лямбда-исчисление
- Список неразрешимых проблем
- Проблема с почтовой корреспонденцией
- Теорема Поста
- Примитивная рекурсивная функция
- Рекурсия (информатика)
- Рекурсивный язык
- Рекурсивный набор
- Рекурсивно перечисляемый язык
- Рекурсивно перечислимый набор
- Редукция (теория рекурсии)
- Машина Тьюринга
Классическая логика
- Свойства классической логики:
- Термин логика
- Общие понятия классической логики
- Баралиптон
- Бароко
- Бивалентность
- Логическая логика
- Булевозначная функция
- Категорическое предложение
- Распределение сроков
- Конец срока
- Энтимем
- Немедленный вывод
- Закон противоположности
- Логическая связка
- Основной термин
- Средний срок
- Малый срок
- Органон
- Полисиллогизм
- Порт-Ройял Логик
- Посылка
- Предварительная аналитика
- Относительный срок
- Парадокс соритеса
- Площадь оппозиции
- Сумма логики
- Силлогизм
- Тетралемма
- Функция истины
Неклассическая логика
- Аффинная логика
- Сгруппированная логика
- Логика вычислимости
- Теория принятия решений
- Описание логики
- Девиантная логика
- Бесплатная логика
- Нечеткая логика
- Теория игры
- Интенсиональная логика
- Интуиционистская логика
- Линейная логика
- Многозначная логика
- Минимальная логика
- Немонотонная логика
- Некоммутативная логика
- Непротиворечивая логика
- Теория вероятности
- Квантовая логика
- Логика релевантности
- Строгая логика
- Субструктурная логика
Модальная логика
Понятия логики
- Теория доказательств
- Теория множеств
- Формальная система
- Булева алгебра
- Аристотелевская логика
- Неаристотелевская логика
- Неформальная логика
- Нечеткая логика
- Бесконечная логика
- Категориальная логика
- Линейная логика
- Metalogic
- порядок
- Упорядоченная логика
- Временная логика
- Последовательная логика
- Логика доказуемости
- Квантовая логика
- Соответствующая логика
- Последующий
- Утверждая следствие
- Предшествующий
- Отрицание антецедента
- Теорема
- Аксиома
- Аксиоматическая система
- Аксиоматизация
- Условное доказательство
- Недействительное доказательство
- Степень истины
- Правда
- Состояние истины
- Функция истины
- Двойное отрицание
- Заблуждение
- Теория типов
- Теория игры
- Семантика игры
- Правило вывода
- Процедура вывода
- Правило вывода
- Правило введения
- Закон исключенного среднего
- Закон непротиворечия
- Логическая константа
- Логический вентиль
- Тавтология
- Логическое утверждение
- Логическое условное
- Логическая двусмысленность
- Логическая эквивалентность
- Логическое И
- Отрицание
- Логическое ИЛИ
- Логическая И-НЕ
- Логическое ИЛИ
- Противоречие
- Логика
- Полисиллогизм
- Силлогизм
- Гипотетический силлогизм
- Основное помещение
- Второстепенное помещение
- Срок
- Единичный термин
- Основной термин
- Средний срок
- Количественная оценка
- Множественная количественная оценка
- Логический аргумент
- Обратный (логика)
- Non sequitur
- Толерантность
- Удовлетворенность
- Логический язык
- Парадокс
- Польская нотация
- Principia Mathematica
- Quod erat демонстрационный
- Reductio ad absurdum
- Риторика
- Самостоятельная ссылка
- Необходимые и достаточные
- Достаточное состояние
- Неупорядоченность
- Бритва Оккама
- Сократический диалог
- Сократический метод
- Форма аргумента
- Логическое программирование
- Объединение
История логики
Литература о логике
Журналы
Книги
- Система логики
- Нападение на ошибочное рассуждение
- Begriffsschrift
- Категории (Аристотель)
- Библиография Чарльза Сандерса Пирса
- De Interpretatione
- Гедель, Эшер, Бах
- Введение в математическую философию
- Язык, истина и логика
- Законы формы
- Novum Organum
- О формально неразрешимых предложениях Principia Mathematica и родственных систем
- Органон
- Философия арифметики
- Польская логика
- Порт-Ройял Логик
- Последующая аналитика
- Principia Mathematica
- Принципы математической логики
- Предварительная аналитика
- Риторика (Аристотель)
- Софистические опровержения
- Сумма логики
- Искусство быть правым
- Основы арифметики
- Темы (Аристотель)
- Логико-философский трактат
Логические организации
Логики
Смотрите также
- Указатель статей по логике
- Математика
- Философия
- Очерк дискретной математики - за вводную теорию множеств и другой вспомогательный материал
внешняя ссылка
Логикав Википедии родственные проекты
Определения из Викисловаря
Средства массовой информации из Wikimedia Commons
Новости из Викиновостей
Котировки из Wikiquote
Тексты из Wikisource
Учебники из Викиучебников
Ресурсы из Викиверситета
- Таксономия логических заблуждений
- forall x: введение в формальную логику, к P.D. Магнус, охватывает сентенциальную и количественную логику
- Советы по переводуот Питера Субера за перевод с английского языка в логическую нотацию
- Математика и логика: история формальных математических, логических, лингвистических и методологических идей. В Словарь истории идей.
- Логический тест Проверьте свои логические навыки
- Самоучитель по логике: рабочая тетрадь (изначально подготовлено для интерактивной логической инструкции)
| Поля |
| ||||
|---|---|---|---|---|---|
| Фонды | |||||
| Списки |
| ||||