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