Rules for Natural Deduction | Attic Philosophy

Natural Deduction might be the simplest way to do proofs in logic. But how does it work? Let's find out! The previous video introduced the general idea. In this video, we go through the rules and how to use them.

You can support the channel and help it grow by contributing on my Ko-fi page:

This is part of a series of videos introducing the basics of logic. If there’s topics you’d like covered, leave me a comment below!

Links:

Get in touch on Social media!

#logic #proof #naturaldeduction

[ReverseXGear]

This will be an evergreen channel for students.

[nadjaflechner]

Hi there! Just wanted to offer my compliments: this is a very well produced series (all of the natural deduction proof videos)! There isn't currently that much out there on more advanced logic topics. It would be helpful if you would also make a video to explain predicate natural proofs maybe, especially covering the universal quantifiers. Overall just good job and keep it up!

[samuelharvey]

I’m recommending your videos to my entire logic class haha. You’re channel is so helpful

[davehendr]

Very well explained! This is the most succinct explanation for natural deduction rules that I’ve heard yet.

[natashacoulis]

Absolutely love your videos. I wish there were more. Only complaint is that the intro and outro end up hurting my ears if I don't turn them down fast enough.

[aycaalyanak]

Thank you so much! These videos helped me so much with my exams. Appreciate it a lot.

[grey]

This is so helpful for understanding my class!!!!

[finalbraincell]

I am just amazed. Thank you for your work. You are soooo helpful and so much better than my prof in uni T_T

[izzirose]

Hey Mark. Firstly, I think that your account is absolutely brilliant. Thanks for all the great content! Also, I have a question that I would like to ask you please. So, I'm currently studying MA Philosophy at King's and I'd really appreciate some advice on how to know when to stop editing an essay! When I'm near a deadline, I often have a moment where I think the paper is probably as good as it's going to get, but I also feel too guilty for stopping work on it ... as if that's not a good use of the short amount of time that I have left before the deadline. I'm aware that there's probably no one straightforward answer for this, but any thoughts on when to just call it 'done' and press submit? Best, Izzi

[Dan-wqid]

great video thanks buddy! helped me a lot

[arthurhill]

Please provide references for or more explanation for the Folsom constant... Thank you....

[GuidoR-slpb]

I've got, as always, questions: why isn't there a rule of replacement of equivalent formulas in this system of natural deduction? And also, why is there a rule for indirect proofs and also a reductio ad absurdum rule, as if they were different beasts?

[xFreshVids]

hey you did that computerphile video on the halting problem

[sstefann]

I cast magic and assume I got a 10 on the exam. Now i just have to prove it. Jk. Although your explanations definitely helped me a lot. Thank you

[vishnudevk]

In OR elimination, How did we conclude C and what is C?

[BillboMC]

6:25 and we’re no longer learning propositional logic but instead Harry Potter spells