Извращенная логика
- Девиантная логика – тип логики, несовместимый с классической логикой.
- Философ Сьюзан Хаак использует термин “девиантная логика” для описания некоторых неклассических логических систем.
- В девиантной логике сгенерированный набор правильно сформированных формул равен набору формул, сгенерированных классической логикой.
- Набор теорем девиантной логики может отличаться от набора теорем классической логики любым возможным образом.
- Трехвалентная логика – яркий пример девиантной логики, разработанной Яном Лукашевичем.
- Квазидевиантная и расширенная логика – типы логик, отличающиеся от чисто девиантных логик.
- Расширенная логика дополняет классическую логику, не конкурируя с ней.
- Исследование Хаака не выдержало испытания временем из-за распространения неклассических логик.
Полный текст статьи: