Интуитивистская логика
- Интуиционистская логика основана на принципе исключенного третьего и избегает неконструктивных доказательств.
- Интуиционистская логика является более консервативной, чем классическая логика, позволяя делать выводы, но не допуская новых выводов.
- Двойное отрицание является тавтологией в интуиционистской логике, но не всегда в классической логике.
- Интуиционистская логика доказывает стабильность только для ограниченных типов утверждений.
- Перевод формулы с двойным отрицанием является ключевым шагом в переводе с интуиционистской логики на классическую логику первого порядка.
- Интуиционистскую логику можно рассматривать как средство расширения классической логики конструктивной семантикой.
- Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.
Полный текст статьи: