<

+
 

Help
Index

 Maarten Maartensz:    Philosophical Dictionary | Filosofisch Woordenboek                      

 A - Consequent

 

Consequent: In logic: What comes after (in an argument): a conclusion or conclusions; the then-part q in an if-then statement or inference (if p then q).

The term consequent is especially used in systems of logic constructed by or according to Gentzen, in which every argument is a sequence of formulas that satisfy certain conditions.

 

See also: Antecedent, Logical terms

Literature:

Carnap, Cartwright, Gentzen, Stegmüller
 

 Original: Oct 26, 2007                                                Last edited: 12 December 2011.   Top