How to use universal quantifiers | proof trees | Attic Philosophy
ฝัง
- เผยแพร่เมื่อ 25 ก.ค. 2024
- One of the hardest things with first-order logic proof trees is using the universal quantifier rule. We need to instantiate the variables (x,y,z,) with names (a,b,c). But which names should go in for which variables? As far as the rule is concerned, any name is good for any variable. But the right choice can make your tree a lot shorter and your life a lot easier! In this video, I go over a strategy for working out which names to use for which variables.
00:00 - Intro
00:50 - [link to FOL trees]
01:52 - The problem
03:21 - The instantiation problem
04:29 - Strategy for instantiating
05:22 - Solving the variables
06:32 - Finishing the tree
07:15 - Recap
07:56 - Summing up
08:24 - Wrap-up
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
#logic #philosophy
Hellooo, I just wanted to let you know that your Logic and set theory vídeos are Great. Despite not being able to gain many views they are immensely entertaining and useful to a lot of people.
Thanks for the kind words, that’s great to hear.
Absolutely spot on! These videos are amazing, and I am so privileged to watch such an educated scholar.
I was just trying to figure this exact question for my assignment and felt totally lost…thank you so much
You’re welcome!
I know it's not really related to philosophical logic, but would you consider making a video on antinatalism?
Sure - although it’s not something I know too much about. I usually focus on the topics I’ve done plenty of research on already - but that’s not to say I won’t think more about this in the future (and did to some extent when thinking through whether to have a kid myself!)