Transfinite meta-inferences

DOI10.1007/S10992-020-09548-7MaRDI QIDQ830392zbMATH OpenOpenAlexFDO

Authors Chris Scambler

Publication date 7 May 2021

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

Full work available at URL https://doi.org/10.1007/s10992-020-09548-7

zbMATH Keywords

strict-tolerant logicnon-classical logictruth theoryclassification of logics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Classical logic and the strict tolerant hierarchy
• A fully classical truth theory characterized by substructural means
• A hierarchy of classical and paraconsistent logics
• Conservatively extending classical logic with transparent truth
• A family of metainferential logics

Cites work

• A hierarchy of classical and paraconsistent logics
• Classical logic and the strict tolerant hierarchy

Cited in

(14)

• Inferences and metainferences in \(\mathsf{ST}\)
• Anti-exceptionalism, truth and the BA-plan
• Metainferential paraconsistency
• Translating metainferences into formulae: satisfaction operators and sequent calculi
• A fully classical truth theory characterized by substructural means
• Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates
• (Meta)inferential levels of entailment beyond the Tarskian paradigm
• PREDICATIVITY THROUGH TRANSFINITE REFLECTION
• Classical logic and the strict tolerant hierarchy
• Classical logic is not uniquely characterizable
• Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach
• Meta-inferences and supervaluationism
• Supervaluations and the strict-tolerant hierarchy
• Validities, antivalidities and contingencies: a multi-standard approach

This page was built for publication: Transfinite meta-inferences

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