Irenaeus, Siteadmin, Check users, oversight, Administrators
351,392
edits
Changes
Jump to navigation
Jump to search
Line 54:
Line 54: + + + + + Line 59:
Line 64: − * Bas van Fraassen and J C Beall, "Possibility and Paradox" − * Geoffrey Hunter, "Metalogic"
→See Also
Propositional calculus is the study of [[logic]]al propositions, that is, logical statements that might or might not be true under various interpretations. A good deal of the study concerns how to prove theorems in symbolic logic.
Propositional calculus is the study of [[logic]]al propositions, that is, logical statements that might or might not be true under various interpretations. A good deal of the study concerns how to prove theorems in symbolic logic.
[[Lewis Carroll]] wrote a book on it for young students.
[[Lewis Carroll]] wrote a book on it for young students.
== Recommended reading ==
* Bas van Fraassen and J C Beall, "Possibility and Paradox"
* Geoffrey Hunter, "Metalogic"
== See Also ==
== See Also ==
* [[Gottlob Frege]], "Begriffsschrift" and "The Foundations of Arithmetic"
* [[Gottlob Frege]], "Begriffsschrift" and "The Foundations of Arithmetic"
* [[Bertrand Russell]] and Albert N Whitehead, "Principia Mathematica"
* [[Bertrand Russell]] and Albert N Whitehead, "Principia Mathematica"
*[[Atheism and logic]]
*[[Atheism and logic]]
[[Category:Philosophy]]
[[Category:Philosophy]]