strict implication
31Lewis, C.I. — ▪ American philosopher and logician in full Clarence Irving Lewis born April 12, 1883, Stoneham, Mass., U.S. died Feb. 3, 1964, Cambridge, Mass. American logician, epistemologist, and moral philosopher. Educated at Harvard… …
32conditional — Any proposition of the form ‘if p then q ’. The condition hypothesized, p, is called the antecedent of the conditional, and q the consequent. Various kinds of conditional have been distinguished. The weakest is that of material implication,… …
33Intensional logic — embraces the logical study of intensional languages. While in extensional languages all of their functors are extensional (and that suffices in many formal languages developed for formalizing special fields in mathematics or science),… …
34Romanian philosophy — is a name covering either a) the philosophy done in Romania or by Romanians, or b) an ethnic philosophy, which expresses at a high level the fundamental features of the Romanian spirituality, or which elevates to a philosophical level the… …
35modality — /moh dal i tee/, n., pl. modalities. 1. the quality or state of being modal. 2. an attribute or circumstance that denotes mode or manner. 3. Also called mode. Logic. the classification of propositions according to whether they are contingently… …
36entailment — The relationship between a set of premises and a conclusion when the conclusion follows from the premises, or may validly be inferred from the premises. Many philosophers identify this with it being logically impossible that the premises should… …
37follow — The essential virtue of a valid argument is that the conclusion should follow from the premises. This is equivalent to the premises entailing the conclusion, and usually although not unanimously equated with it being impossible that the premises… …
38Lewis, Clarence Irving — (1883–1964) American logician and philosopher. After teaching briefly in California, Lewis taught at Harvard from 1920 until his retirement. Although he wrote extensively on most central philosophical topics, he is remembered principally as a… …
39non-contradiction, principle of — (or law of ) The law of logic that it is not the case that (p & not p ). Contradiction is the final logical stopping point: if we can derive a contradiction from a set of premises, then at least one of them is false (see reductio ad absurdum ).… …
40Stricter — Strict Strict, a. [Compar. {Stricter}; superl. {Strictest}.] [L. strictus, p. p. of stringere to draw or bind tight, to strain. See {Strain}, and cf. {Strait}, a.] 1. Strained; drawn close; tight; as, a strict embrace; a strict ligature. Dryden.… …