- relevance 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 from any arbitrary proposition. Logicians regarding these consequences as unacceptable have sought to define relations of entailment stronger (more restrictive) than strict implication, to preserve the distinction between good and bad ways of arguing even in the presence of contradictions and tautologies.
Philosophy dictionary. Academic. 2011.
Look at other dictionaries:
relevance logic — relevance logics … Philosophy dictionary
Relevance 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… … Wikipedia
Relevance — is a term used to describe how pertinent, connected, or applicable something is to a given matter. A thing is relevant if it serves as a mean to a given purpose. Imagine a patient suffering a well defined disease such as scurvy caused by lack of… … Wikipedia
Substructural logic — In mathematical logic, in particular in connection with proof theory, a number of substructural logics have been introduced, as systems of propositional calculus that are weaker than the conventional one. They differ in having fewer structural… … Wikipedia
Material conditional — The material conditional, also known as material implication, is a binary truth function, such that the compound sentence p→q (typically read if p then q or p implies q ) is logically equivalent to the negative compound: not (p and not q). A… … Wikipedia
entailment — 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… … Philosophy dictionary
Paraconsistent logic — A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing paraconsistent (or… … Wikipedia
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
Non-classical logic — Non classical logics (and sometimes alternative logics) is the name given to formal systems which differ in a significant way from standard logical systems such as propositional and predicate logic. There are several ways in which this is done,… … Wikipedia
Ockham’s world and future — Arthur Gibson PHILOSOPHICAL BIOGRAPHY Ockham was born in about 1285, certainly before 1290, probably in the village of Ockham, Surrey, near London. If his epitaph is accurate, he died on 10 April 1347. Yet Conrad of Megenberg, when writing to… … History of philosophy