strict implication
21Twelfth century (The) — The twelfth century John Marenbon INTRODUCTION The twelfth century began and ended with events which mark it off, at least symbolically, as a discrete period in the history of Western philosophy. It was in about 1100 that Abelard the most wide… …
22Relevance logic — Relevance logic, also called relevant logic, is a kind of non classical logic requiring the antecedent and consequent of implications be relevantly related. They may be viewed as a family of substructural or modal logics. (It is generally, but… …
23relevance logics — Logics that explore the properties of relations of implication stronger than strict implication . It was shown by C. I. Lewis that with the classical notion of entailment anything whatever follows from a contradiction, and a tautology follows… …
24Ruth Barcan Marcus — (born 1921 in Bronx, New York) is the American philosopher and logician after whom the Barcan formula is named. She is a pioneering figure in the quantification of modal logic and the theory of direct reference. She has written seminal papers on… …
25Ruth Barcan Marcus — (* 2. August 1921 in der Bronx, New York)[1] ist eine US amerikanische Philosophin und Logikerin. Sie ist eine der Begründerinnen der quantifizierten Modallogik (modale Prädikatenlogik) und der Theorie der starren Desigantion ( direct reference ) …
26List of philosophy topics (I-Q) — II and thou I Ching I Ching I proposition I Thou I Thou relationshipIaIamblichus (philosopher)IbYahya Ibn Adi Yahya Ibn Adi Ibn al Arabi Muhyi al Din Ibn al Arabi Abu Bakr Ibn Bajja Abu Bakr Ibn Bājja Abu Bakr Muhammad Ibn Yahya Ibn as Say igh… …
27modal logic — Formal systems incorporating modalities such as necessity, possibility, impossibility, contingency, strict implication, and certain other closely related concepts. The most straightforward way of constructing a modal logic is to add to some… …
28List of philosophy topics (R-Z) — RRaRabad Rabbinic law Rabbinic theology Francois Rabelais François Rabelais race racetrack paradox racism Gustav Radbruch Janet Radcliffe Richards Sarvepalli Radhakrishnan radical Aristotelianism radical behaviourism radical feminism radical… …
29List of topics in logic — This is a list of topics in logic.See also: List of mathematical logic topicsAlphabetical listAAbacus logic Abduction (logic) Abductive validation Affine logic Affirming the antecedent Affirming the consequent Antecedent Antinomy Argument form… …
30Paradox of entailment — The paradox of entailment is an apparent paradox derived from the principle of explosion, a law of classical logic stating that inconsistent premises always make an argument valid; that is, inconsistent premises imply any conclusion at all. This… …
