Changes

*You shall know the truth, and the truth shall set you free.

*You shall know the truth, and the truth shall set you free.

The forms and methods of logic are codified as ''formal logic'', 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.

The forms and methods of logic are codified as ''[[formal logic]]'', 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 formal logic expressed in an abstract language, similar to the language of [[algebra]]. It 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 does not differ from formal logic, except that 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 formal logic expressed in an abstract language, similar to the language of [[algebra]]. It 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 does not differ from formal logic, except that 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.