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)

• Metainferential paraconsistency
• (Meta)inferential levels of entailment beyond the Tarskian paradigm
• Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates
• Validities, antivalidities and contingencies: a multi-standard approach
• Anti-exceptionalism, truth and the BA-plan
• Translating metainferences into formulae: satisfaction operators and sequent calculi
• 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
• Inferences and metainferences in \(\mathsf{ST}\)
• Supervaluations and the strict-tolerant hierarchy
• A fully classical truth theory characterized by substructural means

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)