Как использовать квантификаторы | Учебник символической логики | Аттическая философия

Описание: В этом обучающем видео мы начнём изучать логику первого порядка (также известную как квантификаторная логика или логика предикатов). Я расскажу о квантификаторах EVERY и SOME, а также расскажу о том, как они работают и почему они нужны для получения большего количества допустимых аргументов.

00:00 — Введение
01:22 — Зачем использовать квантификаторы?
02:44 — Квантификаторы
05:18 — Язык логики первого порядка
09:36 — Правила формирования
10:49 — Связывание и область действия
14:26 — Синтаксические деревья
16:25 — Далее…

Это первое видео из серии по логике первого порядка. Скоро:

Перевод предложений в логике первого порядка
Отношения в логике первого порядка
Семантика логики первого порядка
Эквивалентность кванторов
Нормальные формы в логике первого порядка

Если вы хотели бы увидеть освещение какой-либо темы, оставьте комментарий ниже!

Ссылки:

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

Свяжитесь со мной в социальных сетях!

Instagram:   / atticphilosophy  
Twitter:   / philosophyattic  

#логика #квантификаторы #firstorderlogic