Скачать с ютуб Axioms in logic в хорошем качестве

Axioms in logic

You can request a video from me by starting an AbleBees petition: https://www.ablebees.com/team/atticph... You can support the channel and help it grow by contributing on my Ko-fi page: https://ko-fi.com/atticphilosophy 00:00 - Intro 01:57 - Why use axioms? 03:56 - Typical Axioms 06:42 - Axioms vs schemes 08:03 - Axiomatic systems 08:35 - Proofs 09:18 - Different axiomatic systems 10:39 - Example: the identity axiom 15:04 - Working out axiom instances 15:34 - Example: explosion 19:25 - Difficult case: permutation 20:33 - Proof recipes 21:25 - The Deduction Theorem If there’s a topic you’d like to see covered, leave me a comment below. Links: My academic philosophy page: http://markjago.net My book What Truth Is: http://bit.ly/JagoTruth Most of my publications are available freely here: https://philpapers.org/s/Mark%20Jago Get in touch on Social media! Twitter:   / philosophyattic   #logic