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