Логика интерпретации

От / / Оставьте комментарий

Оглавление1 Логика интерпретируемости1.1 Основы интерпретируемости1.2 Примеры интерпретируемых логик1.3 Аксиомы и правила вывода1.4 Полнота интерпретаций1.5 Рекомендации1.6 Полный текст статьи:2 Логика интерпретации […]

Interpretation (philosophy), Provability logic, Интерпретация (философия), Логика доказуемости

Логика интерпретируемости

  • Основы интерпретируемости

    • Логики интерпретируемости расширяют логику доказуемости для описания метаматематических свойств. 
    • Основные разработчики включают Алессандро Берардуччи, Петра Гаека и других. 

  • Примеры интерпретируемых логик

    • ILM: включает унарный и бинарный модальные операторы, интерпретирует арифметические утверждения. 
    • TOL: расширяет классическую логику высказываний, позволяет использовать произвольные последовательности аргументов. 

  • Аксиомы и правила вывода

    • Аксиомы включают классические тавтологии и правила для модальных операторов. 
    • Правила вывода включают заключение из посылок и отрицания посылок. 

  • Полнота интерпретаций

    • Полнота ILM и TOL в отношении их арифметических интерпретаций была доказана независимо. 

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

    • Для более глубокого изучения темы рекомендуется обратиться к книге “Справочник по теории доказательств”. 

Полный текст статьи:

Логика интерпретации

Похожие статьи:

  1. Теорема Диаконеску Оглавление1 Теорема Дьяконеску1.1 Основы конструктивного анализа1.2 Конструктивные принципы1.3 Конструктивные теории множеств1.4 Конструктивные функции и теорема Цермело1.5...
  2. Аргумент Оглавление1 Аргумент1.1 Определение аргументации1.2 Логический подход1.3 Диалектический подход1.4 Риторический подход1.5 Этимология и формальный/неформальный1.6 Типы аргументов1.7 Допустимость...
  3. Динамическая логика (модальная логика) Оглавление1 Динамическая логика (модальная логика)1.1 Основы динамической логики1.2 Принципы и аксиомы1.3 Правила вывода1.4 Примеры и подтексты1.5...
  4. Аксиома Оглавление1 Аксиома1.1 Основы математической логики1.2 Аксиомы и правила вывода1.3 Примеры аксиом1.4 Логические исчисления1.5 Логика первого порядка1.6...
  5. Ненормальная модальная логика Оглавление1 Ненормальная модальная логика1.1 Определение и история ненормальной модальной логики1.2 Синтаксис и семантика1.3 Защитные системы и...
  6. Доминирующая партийная система Оглавление1 Доминирующая партийная система1.1 Доминирующая партийная система1.2 Развитие и особенности1.3 Критика и теории1.4 Опасности и примеры1.5...
  7. Допустимое правило Оглавление1 Допустимое правило1.1 Основы допустимых правил1.2 Примеры допустимых правил1.3 Разрешимость и полнота1.4 Базисы допустимых правил1.5 Семантика...
  8. United Parcel Service Оглавление1 Единая служба доставки посылок1.1 История и развитие UPS1.2 Структура и операции1.3 Финансовые показатели и конкуренция1.4...
  9. Аксиома Оглавление1 Аксиома1.1 Основы математической логики1.2 Аксиомы и правила вывода1.3 Примеры аксиом1.4 Логические исчисления1.5 Логика первого порядка1.6...
  10. Концептуальное письмо Оглавление1 Бегрифшрифт1.1 Обзор Begriffsschrift1.2 Структура и аксиомы Begriffsschrift1.3 Правила вывода и обозначения1.4 Влияние на математику и...
  11. StageCraft Оглавление1 Сценическое искусство1.1 Технология StageCraft1.2 История и разработка1.3 Процесс создания сцены1.4 Программное обеспечение и партнеры1.5 Развитие...
  12. Промежуточная логика Оглавление1 Промежуточная логика1.1 Определение и классификация логических систем1.2 Примеры логических систем1.3 Логика и математика1.4 Семантика и...
  13. Модальный компаньон Оглавление1 Модальный компаньон1.1 Основы модальных компаньонов1.2 Семантическое описание модальных компаньонов1.3 Сохранение свойств логик1.4 Применение перевода Геделя2...
  14. Динамическая логика (модальная логика) Оглавление1 Динамическая логика (модальная логика)1.1 Основы динамической логики1.2 Принципы и аксиомы1.3 Примеры и выводы1.4 Полный текст...
  15. Тавтология (логика) Тавтология (логика) Тавтология – это предложение, которое всегда истинно.  Тавтологии играют важную роль в логике и...
  16. Общий кадр Оглавление1 Общий каркас1.1 Основы модальной логики1.2 Семантика модальных операторов1.3 Двойственность Йонссона-Тарского1.4 Интуитивистские рамки1.5 Полный текст статьи:2...
  17. Механизм вывода Оглавление1 Механизм логического вывода1.1 Основы логического вывода1.2 Режимы логического вывода1.3 Расширение понятия логического вывода1.4 Архитектура и...
  18. Трехзначная логика Трехзначная логика Троичная логика имеет три значения истинности: истинное, ложное и неизвестное.  Логика Клини и Лукашевича...
  19. Логика в исламской философии Оглавление1 Логика в исламской философии1.1 Раннее исламское право и логика1.2 Развитие исламской логики1.3 Влияние на исламское...
  20. Конечнозначная логика Конечнозначная логика Конечнозначная логика – логическое исчисление высказываний с дискретными истинностными значениями.  Традиционная бивалентная логика Аристотеля...
  21. Бесконечная логика Оглавление1 Бесконечная логика1.1 Основы бесконечной логики1.2 Примеры и аксиомы1.3 Доказательства и модели1.4 Полнота и компактность1.5 Примеры...
  22. Ранг в ранг Оглавление1 От ранга к рангу1.1 Аксиомы теории множеств1.2 Критика аксиом теории множеств1.3 Последовательность множеств Вудина1.4 Рекомендации...

Оставьте комментарий