Axiomatic theories of partial ground. II: Partial ground and hierarchies of typed truth

DOI10.1007/s10992-017-9444-zzbMath1436.03048OpenAlexW2743469073WikidataQ59514728 ScholiaQ59514728MaRDI QIDQ1749803

Johannes Korbmacher

Publication date: 28 May 2018

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

Full work available at URL: https://doi.org/10.1007/s10992-017-9444-z

zbMATH Keywords

axiomatic theories of truthmetaphysical groundingpositive truthpredicational theories of ground

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items (3)

Prospects for a theory of decycling ⋮ Grounding, quantifiers, and paradoxes ⋮ Formal explanations as logical derivations

Cites Work

• Unnamed Item
• Unnamed Item
• Proof theory. The first step into impredicativity
• Some puzzles of ground
• Axiomatic theories of partial ground. I: The base theory
• LOGICAL GROUNDS
• Computability and Logic
• Reflecting on incompleteness
• Paradox without Self-Reference
• The (Metaphysical) Foundations of Arithmetic?
• Set Theory
• SELF-REFERENCE IN ARITHMETIC I
• THE PURE LOGIC OF GROUND

This page was built for publication: Axiomatic theories of partial ground. II: Partial ground and hierarchies of typed truth