Changes

'''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. It is often studied as part of [[mathematics]] or alongside of it.

'''Logic''' ([[Greek language|Greek]] λογίζω I reckon, I count, from λόγος a word) refers to undeniable truth.

The most logical book ever written is the [[Bible]], but some people reject or avoid it because they dislike being told they are wrong.

The most logical book ever written is the [[Bible]], but some people reject or avoid it because they dislike being told the truth, and would prefer denying it.

 

In the study of [[philosophy]], logic is a branch that deals with and attempts to guide the faculty of human reason. It is often studied as part of [[mathematics]] or alongside of it.

[[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.

[[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.