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


Carnap, Cartwright, Gentzen, Stegmüller

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