Siteadmin, Bureaucrats, Check users, nsAm_Govt_101RO, nsAm_Govt_101RW, nsAm_Govt_101_ta, nsJudgesRO, nsJudgesRW, nsJudges_talkRO, nsJudges_talkRW, nsTeam2RO, nsTeam2RW, nsTeam2_talkRO, nsTeam2_talkRW, oversight, Administrators
125,794
edits
Changes
Jump to navigation
Jump to search
Line 1:
Line 1: − + + + Line 50:
Line 52: − + − +
The most logical book ever written is the Bible, but some people reject or avoid it because they dislike being told they are wrong.
[[Logic]] ([[Greek language|Greek]] λογίζω I reckon, I count, from λόγος a word) is a branch of [[philosophy]] that deals with and attempts to guide the faculty of human reason.
[[Logic]] ([[Greek language|Greek]] λογίζω I reckon, I count, from λόγος a word) is a branch of [[philosophy]] that deals with and attempts to guide the faculty of human reason.
[[Aristotle]] was the first to formalize the practice of reasoning. In particular, Aristotle developed a formalization of the [[syllogism]] and the [[Square of Opposition]]. While [[Modus ponens]] and its complement [[Modus tollens]] were known to the Medievals, it is not clear when these central laws of deduction were first formalized.{{fact}}
The most logical book ever written is the [[Bible]], but some people reject or avoid it because they dislike being told they are wrong.
[[Aristotle]] was the first to formalize the practice of reasoning. In particular, Aristotle developed a formalization of the [[syllogism]] and the Square of Opposition. While Modus ponens and its complement [[Modus tollens]] were known to the Medievals, it is not clear when these central laws of deduction were first formalized.
The next easily-identifiable major development in logic comes from [[Boole]] in 1847 with the creation of [[Boolean algebra]]. In the 1870's, Peirce introduces a logic of quantifiers, followed by [[Gottlob Frege]]'s 1879 ''Begriffsschrift'', which contains the first complete formalization of the propositional calculus. Frege's work was developed in service of his [[logicism|logicist]] project, which was shown to be inconsistent by [[Bertrand Russell]] in 1903 with what is famously called [[Russell's paradox]].
The next easily-identifiable major development in logic comes from [[Boole]] in 1847 with the creation of [[Boolean algebra]]. In the 1870's, Peirce introduces a logic of quantifiers, followed by [[Gottlob Frege]]'s 1879 ''Begriffsschrift'', which contains the first complete formalization of the propositional calculus. Frege's work was developed in service of his [[logicism|logicist]] project, which was shown to be inconsistent by [[Bertrand Russell]] in 1903 with what is famously called [[Russell's paradox]].
* [[Aristotle]], "Organon"
* [[Aristotle]], "Organon"
* [[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"
* [[Bas van Fraassen]] and [[J C Beall]], "Possibility and Paradox"
* Bas van Fraassen and J C Beall, "Possibility and Paradox"
* Geoffrey Hunter, "Metalogic"
* Geoffrey Hunter, "Metalogic"
[[Category:Philosophy]]
[[Category:Philosophy]]