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

В этом обучающем видео мы начнём изучать логику первого порядка (также известную как квантификаторная логика или логика предикатов). Я расскажу о квантификаторах 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