Block, SkipCaptcha, Upload, Automoderated users, delete, edit, rollback
7,537
edits
Changes
→Uses of logic in other disciplines
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 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.
== Propositional calculus ==
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.
== See Also ==
== See Also ==