Relevant restricted quantification

DOI10.1007/S10992-005-9008-5MaRDI QIDQ853811zbMATH OpenOpenAlexWikidataFDO

Authors Ross T. Brady, Graham Priest, Greg Restall, Jc Beall, A. P. Hazen

Publication date 17 November 2006

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10992-005-9008-5

zbMATH Keywords

paraconsistencyrelevant restricted quantification

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)

Review text

The authors list a plausible set of inferences that should or should not hold for relevant (and more particularly paraconsistent) resticted quantification, before evaluating different options for interpreting: all alphas are betas, some alphas are betas and no alphas are betas. Standard options suffice for ``some and ``no, but they conclude that for the ``all a new conditional is required. They define an enthymematic conditional which appropriately satisfies or fails to satisfy the listed inferences.

Recommendations

• Connexive restricted quantification
• Adding the relevant restricted quantification
• scientific article; zbMATH DE number 589743
• scientific article; zbMATH DE number 48206
• Restricted arrow

Cites work

• An introduction to non-classical logic
• Classical relevant logics. I
• Four-valued semantics for relevant logics (and some of their rivals)
• How to be really contraction free
• scientific article; zbMATH DE number 3437108 (Why is no real title available?)
• scientific article; zbMATH DE number 2150328 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics

Cited in

(26)

• Paradox and logical revision. A short introduction
• Inclosure and intolerance
• A pragmatic dissolution of Curry's paradox
• Connexive restricted quantification
• Aristotelian diagrams for semantic and syntactic consequence
• Indicative conditionals, restricted quantification, and naive truth
• Restriction by noncontraction
• Transfinite cardinals in paraconsistent set theory
• Free of Detachment: Logic, Rationality, and Gluts
• Paths to triviality
• Contradictory concepts
• Paraconsistent or paracomplete?
• The difficulties in using weak relevant logics for naive set theory
• Some Comments and Replies
• Adding the relevant restricted quantification
• Transfinite numbers in paraconsistent set theory
• scientific article; zbMATH DE number 589743 (Why is no real title available?)
• Logical pluralism: another application for chunk and permeate
• Logic—The Big Picture
• Proof-theoretic pluralism
• The nature of information: a relevant approach
• A conceptual approach to restricted quantification in relevant logics
• Introduction: directions and new directions
• Topic transparency and variable sharing in weak relevant logics
• Restricted arrow
• Extensionality and restriction in naive set theory

This page was built for publication: Relevant restricted quantification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q853811)