Оглавление
Парадоксы материального подтекста
-
Парадоксы материальной импликации
- Группа формул, которые кажутся интуитивно ложными при переводе на естественный язык.
- Пример: “Если бы нацисты выиграли Вторую мировую войну, все были бы счастливы”.
- Парадоксы демонстрируют несоответствие между классической логикой и интуитивными представлениями.
-
Парадокс следствия
- Самый известный парадокс, демонстрирующий противоречие между логически обоснованным аргументом и его истинностью.
- Пример: “И следовательно” является логически обоснованным, но не истинным.
-
Строительство
- Определение валидности в классической логике: аргумент верен, если все посылки истинны и вывод следует из них.
- Пример аргумента с противоречивыми посылками, который является валидным.
-
Упрощение
- Материальные формулы парадокса связаны с устранением конъюнкции.
- Проблемы при использовании “if … then …” для перевода на естественный язык.
-
Примеры парадоксов
- Примеры парадоксов, возникающих при использовании “if … then …” в контексте, отличном от классического.
- Примеры включают парадоксы, связанные с логикой релевантности и бессмыслицей.
-
Рекомендации
- Список литературы по условным обозначениям и основам рассуждения.