search

catrincm / forallx-bris

Bristol version of forallx, an introduction to formal logic
Creative Commons Attribution Share Alike 4.0 International
1 stars 0 forks source link

introducing natural deduction #19

Open catrincm opened 3 years ago

catrincm commented 3 years ago

Introduce it as natural reasoning steps, but then that we want to agree on certain steps, everyone should accept them as legitimate, then break all other args to these simple steps.

catrincm commented 3 years ago

Done some parts of this. Should add actual examples from a philosophy paper.

catrincm commented 3 years ago

Maybe use some of the examples I originally had as argument maps. Actually isn't nd essentially another presentation of what I was trying to do with the argument maps thing. Can I talk about that somehow in this course?