Siteadmin, Check users, nsTeam1RO, nsTeam1RW, nsTeam1_talkRO, nsTeam1_talkRW, oversight, Administrators
30,650
edits
Changes
Jump to navigation
Jump to search
Line 6:
Line 6: − #Informal logic consists of "common sense" and other, rather loose rules that people employ while making most decisions and even in debate. It is unstructured, and depends largely on one's view of "the reasonable"--which in turn is that body of facts that one ''reasonably'' expects to exist. Informal logic also includes ''inductive'' reasoning. The thresholds of what is "reasonable" and what is not, are inexact and subject to change with the receipt of sufficient contrary evidence--and again, what constitutes "sufficiency" in this context might vary from person to person. Most [[logical fallacies]] are failures in informal logic. +
→Types of logic: Formal logic and symbolic logic come first - not so sure about informal logic being an "acknowledged branch"
Three major categories or branches of logic are acknowledged to exist:
Three major categories or branches of logic are acknowledged to exist:
#[[Formal logic]] is a highly structured set of rules for ''deductive'' reasoning. Formal logic depends totally on ''mutual agreement between and among parties to any discussion'' on fundamental premises and other facts asserted as evidence. If the parties cannot agree on fact, then formal logic is unavailing. Some [[logical fallacies]] are formal-logical failures.
#[[Formal logic]] is a highly structured set of rules for ''deductive'' reasoning. Formal logic depends totally on ''mutual agreement between and among parties to any discussion'' on fundamental premises and other facts asserted as evidence. If the parties cannot agree on fact, then formal logic is unavailing. Some [[logical fallacies]] are formal-logical failures.
#[[Symbolic logic]] is an abstract language, similar to the language of [[algebra]], that uses variable names for propositions and various symbolic operators to stand for formal logical processes like conjunction (p and q), disjunction (p or q or both), and implication (p implies q or if p, then q). Symbolic logic differs from formal logic only in that the latter is written in the same language in which human beings regularly write and speak, whereas symbolic logic uses a language of its own.
#[[Symbolic logic]] is an abstract language, similar to the language of [[algebra]], that uses variable names for propositions and various symbolic operators to stand for formal logical processes like conjunction (p and q), disjunction (p or q or both), and implication (p implies q or if p, then q). Symbolic logic differs from formal logic only in that the latter is written in the same language in which human beings regularly write and speak, whereas symbolic logic uses a language of its own.
#Informal logic consists of "common sense" and other, rather loose rules that people employ while making most decisions and even in debate. It is unstructured, and depends largely on one's view of "the reasonable"--which in turn is that body of facts that one ''reasonably'' expects to exist. Informal logic also includes ''inductive'' reasoning. The thresholds of what is "reasonable" and what is not, are inexact and subject to change with the receipt of sufficient contrary evidence--and again, what constitutes "sufficiency" in this context might vary from person to person. Most [[logical fallacies]] are failures in informal logic.
== Uses of logic in other disciplines ==
== Uses of logic in other disciplines ==