![]() In selecting a book for classroom use, I recommend checking one thing: how much meta-theory is included, so that the book is neither below nor above the level students can handle. Instructors will have their own favorites. Meta-theoretical results for propositional logic are also generally classified as "proof theory," "model theory," "mathematical logic," etc.īecause of the age of propositional logic there are literally hundreds of introductions to logic which cover this subject reasonably well. a proposition is either true or false, not neither, and not both. Also appropriate here are modest extensions of propositional logic, provided that Boole's three laws of thought are not violated, viz. As such, non-standard propositional logics are not normally classified in this category-unless a comparison between classical logic and another logic is being drawn or one is reduced to the other-although restrictions of propositional logic in which nothing not a theorem in ordinary propositional logic is a theorem in the restriction do fit here. This leaf node is a sub-category of classical logic. The principle by which the meaning or truth conditions of compound propositions can be recovered by this "building up" process is known as compositionality. ![]() In classical propositional logic, molecular or compound propositions are built up from atomic propositions by means of the connectives, whose meaning is given by their truth tables. It ignores entirely the structure within propositions. ![]() Propositional logic is the simpler of the two modern classical logics.
0 Comments
Leave a Reply. |