25
edits
Changes
Jump to navigation
Jump to search
Line 12:
Line 12: − COCKSUCKERS+ + + + + +
Undo revision 422729 by Special:Contributions/GordonFreeman (User talk:GordonFreeman)
== Uses of logic in other disciplines ==
Logic is a necessary discipline in [[philosophy]], because it deals with how we study and interact with the world and with other people in it. Logic is also an integral part of [[mathematics]], dealing as it does with why certain mathematical facts follow from other, more basic facts. For example, given a standard definition of the area of a [[rectangle]] as "a measure of the interior of the rectangle, expressed as the product of the lengths of any two adjacent sides of it," one can use logic to prove area formulas for the [[parallelogram]], the [[triangle]], and the [[circle]], to name three examples. All of these formulas follow, directly or indirectly, from that initial definition of the area of a rectangle.
In [[computer science]], logic dictates how a machine will follow a set of instructions, including how to test its "world," evaluate it, and act according to that evaluation. Every computer language includes its own version of the language of symbolic logic, except that instead of establishing propositions, a computer following a program is usually choosing between and among different commands to execute.
Logic, and especially formal logic, inform the discipline of [[critical thinking]]--which, by no coincidence, takes its name from the [[Greek]] word for a judge. Indeed, judges and juries in courts of [[law]] must apply logic, both formal and informal, to arrive at their decisions. Formal logic will usually serve to state what obedience to a given body of law requires; informal logic must usually serve a trier of fact charged with deciding whether a given person was in obedience or in violation. The latter principle holds primarily because plaintiff and defendant in a court of law quite often ''do not'' agree on matters of fact.
==Logic and common sense==
==Logic and common sense==