Диалектическая интерпретация

• Основы диалектической интерпретации

  • Диалектическая интерпретация — это метод перевода формул интуиционистской логики в арифметику Геделя. 
  • Арифметика Геделя — это система, которая включает в себя арифметику натуральных чисел и логику первого порядка. 
  • Интуиционистская логика — это система, в которой отрицание отрицания не является законом. 

• Перевод формул

  • Формула без квантификатора определяется индуктивно на основе логической структуры. 
  • Интерпретация формулы такова, что если она доказуема в арифметике Хейтинга, то существует последовательность замкнутых терминов, доказуемая в системе T. 

• Расширения и понимание

  • Диалектическая интерпретация была расширена на различные более сильные системы, включая линейную логику. 
  • Спектор расширил диалектическую интерпретацию до полного математического анализа. 

• Рекомендации

  • В статье приведены ссылки на дополнительные ресурсы и варианты диалектической интерпретации.