Открыть Электронные книги
Категории
Открыть Аудиокниги
Категории
Открыть Журналы
Категории
Открыть Документы
Категории
Грегор Рейш. «Логика представляет её центральные темы», Margarita Philosophica, 1503/08 (?). Две
собаки veritas (с лат. — «истина») и falsitas (с лат. — «ложь») преследуют зайца problema (с лат. —
«проблема»), логика, вооружённая мечом силлогизма, спешит позади. Слева внизу
в гроте изображён Парменид, с которым логическая аргументация проложила себе путь в философию.
Содержание
1Сущность логики
o 1.1Значение слова
o 1.2Неформальная, формальная, символическая и диалектическая логика
o 1.3Отношение к другим наукам
2Металогика
o 2.1Метатеоретические проблемы логики
o 2.2Концепции логики
o 2.3Проблемы аксиоматизации теории множеств
3История логики
o 3.1Логика в Древнем Китае
o 3.2Индийская логика
o 3.3Европейская и ближневосточная логика
3.3.1Логика античности
3.3.2Логика в Средневековье
3.3.3Логика в эпоху Возрождения и в Новое время
o 3.4Современная логика
4Основные понятия науки логики
5Традиционная логика
o 5.1Дедуктивное и индуктивное рассуждение в традиционной логике
o 5.2Силлогистика
6Классическая математическая логика
o 6.1Аппарат математической логики
o 6.2Пропозициональная логика
o 6.3Логика предикатов
o 6.4Исчисления и логические методы
o 6.5Логическая семантика
o 6.6Законы логики
o 6.7Теория моделей
o 6.8Теория доказательств
o 6.9Теории логического вывода
7Неклассические логики
o 7.1Логики с неклассическим пониманием следования
o 7.2Логики, отменяющие закон исключённого третьего
o 7.3Логики, меняющие таблицы истинности
o 7.4Логики, расширяющие состав высказывания
o 7.5Модальная логика
o 7.6Недедуктивные логические теории
o 7.7Другие неклассические логики
8Приложения логики
o 8.1Приложения логики в анализе познавательных процедур
o 8.2Приложения логики в методологии науки
o 8.3Приложения логики в философии
o 8.4Приложения логики в психологии
o 8.5Приложения логики в лингвистике
o 8.6Приложения логики в компьютерных науках
9См. также
10Примечания
11Литература
o 11.1Исследования
o 11.2Учебная и справочная литература
o 11.3Литература по истории логики
12Ссылки
Психологизм
Логицизм
Формализм (математика)
Интуиционизм
Конструктивная математика
Консерватизм (логика)
Проблемы аксиоматизации теории множеств[править | править код]
Логические парадоксы
Семантические парадоксы
Древнекитайская логика
Индийская логика
Европейская и ближневосточная логика: традиционная логика (в широком смысле)
o Античная и раннесредневековая логика: диалектика
o Средневековая логика
Арабская и еврейская средневековая логика
Восточнохристианская средневековая логика
Западноевропейская средневековая логика: схоластическая логика, диалектика
o Логика европейского Возрождения; диалектика
o Логика Нового времени: традиционная логика (в узком смысле), формальная логика
Современная логика (общемировая, со второй половины XIX века): математическая
логика, символическая логика, логистика (последнее — как правило, в западной
литературе).
Логика в своём развитии прошла три порога:
Абстракция
Адаптация
Аналогия
Антиномия
Аргументация
Ассоциация
Гипотеза
Дедукция
Доказательство
Доказуемость
Законы логики
Индукция
Истинность
Классификация
Обобщение
Определение
Опровержение
Парадокс
Паралогия
Понятие
Признак
Семантика
Силлогизм
Софизм
Софистика
Суждение
Тавтология
Теория
Умозаключение
Формальный язык
Индукция
Дедукция
Трансдукция
Силлогистика[править | править код]
Основная статья: Силлогистика
Силлогизм
Силлогистические теории
(Пропозициональная логика)
Логика предикатов[править | править код]
Основная статья: Логика предикатов
Логика кванторов
Логика первого порядка
Логика второго порядка
Исчисления и логические методы[править | править код]
Разрешимость
Семантическое древо
Таблицы Бета
Аксиоматика
Натуральный вывод
Исчисление секвенций
Логическая семантика[править | править код]
Основная статья: Логическая семантика
Алгебраические семантики
Теоретико-множественные семантики
Реляционные семантики возможных миров
Проблема содержательности семантик логических систем
Категорная семантика
Теория семантических категорий
Законы логики[править | править код]
Закон тождества
Закон исключённого третьего
Закон противоречия
Закон достаточного основания
Законы де Моргана
Законы дедуктивных умозаключений
Закон Клавия
Законы деления
Закон Дунса Скота
Теория моделей[править | править код]
Основная статья: Теория моделей
Теория доказательств[править | править код]
Основная статья: Теория доказательств
Теории логического вывода[править | править код]
Релевантная логика
Паранепротиворечивая логика
Немонотонные логики
o Динамическая логика
Логики, отменяющие закон исключённого третьего[править | править код]
Интуиционистская логика
Конструктивная логика
Логика квантовой механики
Логики, меняющие таблицы истинности[править | править код]
Основная статья: Многозначные логики
Многозначная логика
Двузначная логика
Трёхзначная логика
Логики, расширяющие состав высказывания[править | править код]
Логика вопросов
Логика оценок
Логика норм
Модальная логика[править | править код]
Основная статья: Модальная логика
Модальность
Алетические модальности (алетическая модальность, алетическая модальная
логика, алетические модальные логики)
Деонтические модальности (деонтическая модальность, деонтическая модальная
логика, деонтические модальные логики)
Эпистемологические модальности (эпистемологическая
модальность, эпистемологическая модальная логика, эпистемологические модальные
логики)
Временные модальности (временная модальность, временные модальные
логики, временная модальная логика)
Строгая импликация
Материальная импликация
Недедуктивные логические теории[править | править код]
Индуктивная логика
Вероятностная логика
Логика решений
Логика нечётких понятий (логика нечётких множеств, нечёткая логика)
Аналогия (умозаключение по аналогии).
Другие неклассические логики[править | править код]
Категориальная логика
Комбинаторная логика — это логика, которая заменяет переменные функциями с целью
прояснить такие интуитивные операции с переменными, как подстановка. Построенная на
базе комбинаторной логики система арифметики содержит все частично рекурсивные
функции и избегает гёделевской неполноты.
Кондициональная логика (условная логика). Её предмет — истинность условных
предложений (в частности, сослагательного наклонения). Логика контрафактических
утверждений.
Формы мышления
Определение
Классификация
Абстракция
Идеализация
Аксиоматизация
Формализация
Логические проблемы аргументации
Логика доказательств
Приложения логики в методологии науки[править | править код]
Методология науки
Логика науки
Логика и эмпиризм
Приложения логики в философии[править | править код]
Основная статья: Философская логика
Когнитивная наука
Когнитивная психология
Логика открытий
Поскольку логика устанавливает законы и схемы мышления, существует проблема
соотнесения логики с творчеством, которое опирается на интуицию. Творчество без
ограничений является идеализацией: оно ограничено психологическими
закономерностями восприятия или, например, законами композиции в изобразительном
искусстве. Творчество предполагает не только способность выдвинуть интересную идею, но и
умение убедительно обосновать её и претворить в жизнь по определённым правилам,
следовательно, должно следовать каким-то правилам мышления.
Приложения логики в лингвистике[править | править код]