Как доказать обоснованность деревьев доказательств | Учебник по логике | Attic Philosophy

Описание: Теорема о корректности утверждает, что всё, что мы можем доказать, действительно корректно. Точнее, утверждение о корректности системы доказательств означает, что если вы можете доказать заключение C из посылок X, то эти посылки X действительно логически влекут за собой заключение C.

В этом видео я покажу вам, как доказать теорему о корректности, сосредоточившись на системе дерева доказательств. Методика доказательства корректности аналогична для других систем доказательств. Мы, по сути, последовательно разбираем все правила доказательств, показывая, что каждое из них корректно само по себе. Если каждое правило корректно, то корректна и вся система доказательств в целом. В видео я объясню, что в общем означает корректность правила доказательства и как это применимо к методу дерева доказательств.

Если вы новичок в этих идеях, рекомендуем сначала посмотреть эти обучающие видео:

Обзор корректности и полноты:    • Soundness and Completeness Tutorial | Atti...  
Проверка и полнота для деревьев доказательств:    • Soundness and Completeness for Proof Trees...  

00:00 — Введение
00:56 — Подведение итогов: корректность
01:36 — Демонстрация того, что дерево остаётся открытым
04:04 — Одно правило за раз
05:13 — Демонстрация корректности правила
07:02 — Правило И корректно
09:15 — Правило ИЛИ корректно
12:12 — Подведение итогов
12:52 — Заключение

Если есть тема, которую вы хотели бы рассмотреть, оставьте комментарий ниже.

Ссылки:

Моя страница, посвящённая академической философии: http://markjago.net
Моя книга «Что такое истина»: http://bit.ly/JagoTruth
Большинство моих публикаций доступны бесплатно здесь: https://philpapers.org/s/Mark%20Jago

Свяжитесь со мной в социальных сетях!
Instagram:   / atticphilosophy  
Twitter:   / philosophyattic  

#логика #философия #доказательство