Soundness and completeness are central results about any logic. They both concern the relationship between proof and entailment. Soundness is our guarantee that the things we can prove are genuinely valid. Completeness, on the other hand, says that our proof system is powerful enough to prove all the valid entailments. In this video, I'll explain soundness and completeness in more detail, and why they are important. We'll look at how to prove them in future videos.
00:00 - Intro
01:31 - Soundness
03:05 - Why soundness & completeness are important
04:15 - Some logics aren’t complete
05:27 - Which proof system?
06:30 - Which logic?
07:25 - (In)complete logics
08:27 - Looking ahead
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
Негізгі бет Soundness and Completeness Tutorial | Attic Philosophy
Пікірлер: 28