Appreciating global validity

DOI10.1007/S11229-025-05089-1MaRDI QIDQ7229013zbMATH OpenFDO

Authors Bas Kortenbach

Publication date 15 April 2026

Published in Synthese (Search for Journal in Brave)

zbMATH Keywords

substructural logiclogicparadoxesmetainferenceslocal validityglobal validityhigher-level inferences

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)

Cites work

• (Meta)inferential levels of entailment beyond the Tarskian paradigm
• A family of metainferential logics
• A family of strict/tolerant logics
• A fully classical truth theory characterized by substructural means
• A hierarchy of classical and paraconsistent logics
• A truth-maker semantics for ST: refusing to climb the strict/tolerant hierarchy
• Anti-exceptionalism, truth and the BA-plan
• Classical logic and the strict tolerant hierarchy
• Classical logic is not uniquely characterizable
• Conservatively extending classical logic with transparent truth
• Deep \textsf{ST}
• Derivability and metainferential validity
• Empty logics
• Formal and material consequence
• Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach
• Inferences and metainferences in \(\mathsf{ST}\)
• Inferential constants
• Meta-classical non-classical logics
• Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates
• Metainferential duality
• Metainferential logics
• Metainferential paraconsistency
• Metainferential reasoning on strong Kleene models
• Modal logic for philosophers
• Multilateral supervaluationism and classicality
• On the `transitivity' of consequence relations
• On the metainferential solution to the semantic paradoxes
• One step is enough
• Requiem for logical nihilism, or: logical nihilism annihilated
• ST, LP and tolerant metainferences
• Sequent calculi for first-order ST
• Sequent-calculi for metainferential logics
• Substructural logics, pluralism and collapse
• Supervaluations and the strict-tolerant hierarchy
• The logics of strict-tolerant logic
• There is no tenable notion of global metainferential validity
• Tolerant, classical, strict
• Transfinite meta-inferences
• Translating metainferences into formulae: satisfaction operators and sequent calculi
• Validities, antivalidities and contingencies: a multi-standard approach
• Valuational semantics of rule derivability
• What is a paraconsistent logic?
• Über die Grundlagen der Geometrie. I, II, III.

Cited in

(1)

• Metainferences, invalidities and contraction-free sequent calculi for S5 and Carnap's C

This page was built for publication: Appreciating global validity

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