Irenaeus, Siteadmin, Check users, oversight, Administrators
351,395
edits
Changes
Jump to navigation
Jump to search
Line 1:
Line 1: + + + +
no edit summary
'''Logic''' ([[Greek language|Greek]] ''λογίζω'' – I think, I reason; from ''λόγος'' – reason) refers the patterns in reasoning behind arguments. In [[philosophy]], logic is a sub-branch of [[epistemology]] that deals with and attempts to guide the faculty of human reason. It is often studied alongside [[mathematics]].
'''Logic''' ([[Greek language|Greek]] ''λογίζω'' – I think, I reason; from ''λόγος'' – reason) refers the patterns in reasoning behind arguments. In [[philosophy]], logic is a sub-branch of [[epistemology]] that deals with and attempts to guide the faculty of human reason. It is often studied alongside [[mathematics]].
''[[Encyclopedia Britannica]]'' declares:
:"Laws of thought, traditionally, the three fundamental laws of [[logic]]: (1) the [[Law of Non-Contradiction|law of contradiction]], (2) the [[Law of the excluded middle|law of excluded middle]] (or third), and (3) the [[Law of identity|principle of identity]]. That is, (1) for all propositions p, it is impossible for both p and not p to be true, or symbolically ∼(p · ∼p), in which ∼ means “not” and · means “and”; (2) either p or ∼p must be true, there being no third or middle true proposition between them, or symbolically p ∨ ∼p, in which ∨ means “or”; and (3) if a propositional function F is true of an individual variable x, then F is indeed true of x, or symbolically F(x) ⊃ F(x), in which ⊃ means “formally implies.” Another formulation of the principle of identity asserts that a thing is identical with itself, or (∀x) (x = x), in which ∀ means “for every”; or simply that x is x."<ref>[https://www.britannica.com/topic/laws-of-thought Laws of Thought], Encyclopedia Britannica</ref>
[[Aristotle]] was the first to formalize the practice of reasoning. In particular, Aristotle developed a formalization of the [[Syllogism|categorical syllogism]], the three laws of logic, and the Square of Opposition. While modus ponens and its complement modus tollens were known to the medieval philosophers, it is not clear when these central laws of deduction were first formalized.
[[Aristotle]] was the first to formalize the practice of reasoning. In particular, Aristotle developed a formalization of the [[Syllogism|categorical syllogism]], the three laws of logic, and the Square of Opposition. While modus ponens and its complement modus tollens were known to the medieval philosophers, it is not clear when these central laws of deduction were first formalized.