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
Meaning in Logic
The Book That Started It All
4. Deductive Systems - Logic for Beginners
Logic: The Structure of Reason
Resolution Proofs in Logic
The Beginner's Guide to Formal Logic (and Why You Need It)
®️ Set Theory vs. Type Theory | The Battle for the Logic
How to use Truth Tables | Symbolic Logic Tutorial | Attic Philosophy
Where Does Math Begin? The 9 AXIOMS of Math
Model Collapse Ends AI Hype
Meaning in Intuitionistic Logic | Attic Philosophy
Type Theory in Computer Science, Linguistics, Logic
Intuitionistic Logic | Attic Philosophy
What are the basic Mathematical Axioms?
Wittgenstein's Private Language Argument
The Simplest Ancient Math Problem No One Could Solve
The soundness and completeness of logic
Where Does Logic Come From? @Unsolicited advice
Higher Order Logic
