Difference between revisions of "Formal logic"

From Conservapedia
Jump to: navigation, search
(New page: '''Formal logic''' (or '''symbolic logic''') is the Western Civilization's system of reasoning. It is used in law, religion, science, and mathematics.)
 
(Rules of inference: clean up & uniformity)
 
(8 intermediate revisions by 6 users not shown)
Line 1: Line 1:
'''Formal logic''' (or '''symbolic logic''') is the Western Civilization's system of reasoning. It is used in law, religion, science, and mathematics.
+
'''Formal logic''' (or '''symbolic logic''') is the Western Civilization's system of reasoning. It is used in [[law]], [[religion]], [[science]], and [[mathematics]].
 +
 
 +
Logic is used in proofs. For example, given that
 +
 
 +
#All men are mortal; and,
 +
#Socrates is a man;
 +
 
 +
we can deduce (and ''prove'') that
 +
#Socrates is mortal.
 +
 
 +
Using one of the same premises, we can prove that [[Lucifer]] is not a man:
 +
 
 +
#Lucifer is immortal (i.e., not mortal)
 +
#Whoever is not mortal, is not a man.
 +
#Hence, Lucifer is not a man.
 +
 
 +
The key element here is the inference from ''All men are mortal'' to ''whoever is not mortal is not a man'' (see [[Syllogism]]s)
 +
 
 +
==Rules of inference==
 +
[[Modus ponens]]:
 +
#If A, then B.
 +
#A
 +
#Therefore, B.
 +
 
 +
[[Modus tollens]]:
 +
#If A, then B.
 +
#Not B
 +
#Therefore, not A.
 +
 
 +
Disjunctive Syllogism:
 +
#A or B
 +
#Not A
 +
#Therefore, B
 +
 
 +
Hypothetical Syllogism (or Chain Argument):
 +
#If A, then B
 +
#If B, then C
 +
#Therefore, if A, then C
 +
[[Category:Logic]]

Latest revision as of 13:04, July 13, 2016

Formal logic (or symbolic logic) is the Western Civilization's system of reasoning. It is used in law, religion, science, and mathematics.

Logic is used in proofs. For example, given that

  1. All men are mortal; and,
  2. Socrates is a man;

we can deduce (and prove) that

  1. Socrates is mortal.

Using one of the same premises, we can prove that Lucifer is not a man:

  1. Lucifer is immortal (i.e., not mortal)
  2. Whoever is not mortal, is not a man.
  3. Hence, Lucifer is not a man.

The key element here is the inference from All men are mortal to whoever is not mortal is not a man (see Syllogisms)

Rules of inference

Modus ponens:

  1. If A, then B.
  2. A
  3. Therefore, B.

Modus tollens:

  1. If A, then B.
  2. Not B
  3. Therefore, not A.

Disjunctive Syllogism:

  1. A or B
  2. Not A
  3. Therefore, B

Hypothetical Syllogism (or Chain Argument):

  1. If A, then B
  2. If B, then C
  3. Therefore, if A, then C