hypothetical proposition
21Antecedent — An te*ced ent, n. [Cf. F. ant[ e]c[ e]dent.] 1. That which goes before in time; that which precedes. South. [1913 Webster] The Homeric mythology, as well as the Homeric language, has surely its antecedents. Max Miller. [1913 Webster] 2. One who… …
22Consequence — may refer to: In logic, consequence relation, also known as logical consequence, or entailment In operant conditioning, a result of some behavior Consequentialism, a theory in philosophy in which the morality of an act is determined by its… …
23Antecedent — An antecedent is a preceding event, condition, cause, phrase, or word. *Antecedent moisture is a hydrologic term describing the relative wetness condition of a sewershed. *In logic, an antecedent is the first half of a hypothetical proposition.… …
24antecedent — /æntəˈsidnt/ (say antuh seednt) adjective 1. (sometimes followed by to) going or being before; preceding; prior: an antecedent event. –noun 2. (plural) a. ancestry. b. one s past history. 3. a preceding circumstance, event, etc. 4 …
25Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… …
26Mill, John Stuart: Logic and metaphysics — J.S.Mill Logic and metaphysics John Skorupski ENLIGHTENMENT AND ROMANTICISM IN MILL’S PHILOSOPHY Mill’s importance as one of the major figures of nineteenth century politics and culture, and the current interest in him as a moral and political… …
27applied logic — Introduction the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… …
28Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… …
29Categorical imperative — Part of a series on Immanue …
30Critique of Pure Reason — Part of a series on Immanuel …
