Как строить контрмодели из деревьев доказательств | Логика первого порядка | Аттическая философия
Автор: Attic Philosophy
Загружено: 2022-01-15
Просмотров: 3793
Описание:
Как построить контрмодели на основе деревьев первого порядка? Вы можете построить модель на основе любой готовой открытой ветви дерева доказательств. Эта модель будет удовлетворять предпосылкам и отрицанию заключения, а значит, будет контрмоделью для вывода, который вы проверили с помощью дерева. В этом видео я покажу вам, как построить модель.
00:00 — Введение
00:54 — Модели на основе открытых ветвей
02:17 — Пример без тождества
04:31 — Построение модели
05:32 — Интерпретация констант
06:31 — Интерпретация предикатов
09:41 — Пример с тождеством
12:58 — Подробнее о предметной области
Если есть тема, которую вы хотели бы рассмотреть, оставьте комментарий ниже.
Ссылки:
Моя страница, посвящённая академической философии: http://markjago.net
Моя книга «Что такое истина»: http://bit.ly/JagoTruth
Большинство моих публикаций доступны бесплатно здесь: https://philpapers.org/s/Mark%20Jago
Свяжитесь со мной в социальных сетях!
Instagram: / atticphilosophy
Twitter: / philosophyattic
#логика #философия
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
