In this tutorial video, we look at how Definite Descriptions - phrases like ‘the lecturer’ or ‘the best show on TV right now’ - work in logic. We’ll meet a philosophical problem for understanding definite descriptions, and how Bertrand Russell solved it, using identity in first order logic.
00:00 - Intro
01:05 - Definite descriptions
02:00 - The problem
04:27 - Russell’s analysis
05:45 - Excluded middle
07:08 - The idea behind logical analysis
08:38 - Problem 1: uniqueness
09:39 - Quantifier domain restriction
12:19 - Problem 2: Presuppositions
16:32 - Wrap-up
Related videos:
How Identity Works in Logic • How Identity Works | S...
How Identity Works in Logic • How to Count in Logic ...
If there’s a topic you’d like to see covered, leave me a comment below!
Links:
My academic philosophy page: markjago.net
My book What Truth Is: bit.ly/JagoTruth
Most of my publications are available freely here: philpapers.org/s/Mark%20Jago
Get in touch on Social media!
Instagram: / atticphilosophy
Twitter: / philosophyattic
#identity #logic #philosophy
Негізгі бет How Definite Descriptions work | Symbolic Logic Tutorial | Attic Philosophy
Пікірлер: 18