Axioms in logic

You can request a video from me by starting an AbleBees petition: You can support the channel and help it grow by contributing on my Ko-fi page: 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: My book What Truth Is: Most of my publications are available freely here: Jago Get in touch on Social media! Twitter: #logic