Truth-maker semantics for intuitionistic logic

DOI10.1007/s10992-013-9281-7zbMath1335.03011OpenAlexW2085342194MaRDI QIDQ484121

Kit Fine

Publication date: 18 December 2014

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

Full work available at URL: https://doi.org/10.1007/s10992-013-9281-7

zbMATH Keywords

realismforcingintuitionistic logicconditionaltruthmakerintuitionismconstructiontruthmaking

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (32)

A state-of-affairs-semantic solution to the problem of extensionality in free logic ⋮ Angellic content ⋮ Disjunction and negation in information based semantics ⋮ COMPLIANCE AND COMMAND I—CATEGORICAL IMPERATIVES ⋮ Pure logic of many-many ground ⋮ Inquisitive logic as an epistemic logic of knowing how ⋮ A simple sequent calculus for Angell's logic of analytic containment ⋮ THE SEMANTIC FOUNDATIONS OF PHILOSOPHICAL ANALYSIS ⋮ Constructive agents ⋮ HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) ⋮ Tense logics over lattices ⋮ Truthmaker semantics for relevant logic ⋮ New powers for dispositionalism ⋮ The laws of thought and the laws of truth as two sides of one coin ⋮ A theory of truthmaker content. I: Conjunction, disjunction and negation ⋮ A theory of truthmaker content. II: Subject-matter, common content, remainder and ground ⋮ Truthier Than Thou: Truth, Supertruth and Probability of Truth ⋮ Hyperintensional logics for everyone ⋮ Towards a theory of ground-theoretic content ⋮ SUBSTRUCTURAL INQUISITIVE LOGICS ⋮ Free choice reasons ⋮ Talking About Knowledge ⋮ Pragmatic interpretations of vague expressions: strongest meaning and nonmonotonic consequence ⋮ Verificationism and Classical Realizability ⋮ A semantic hierarchy for intuitionistic logic ⋮ A characteristic frame for positive intuitionistic and relevance logic ⋮ ON WEAK GROUND ⋮ ON THE LOGIC OF FACTUAL EQUIVALENCE ⋮ A reinterpretation of the semilattice semantics with applications ⋮ Avoiding Impossibility Theorems in Radical Inquisitive Semantics ⋮ Supervenience, Dependence, Disjunction ⋮ Observations on the trivial world

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constructivism in mathematics. An introduction. Volume I
• On A neglected path to intuitionism
• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
• An intuitiomstic completeness theorem for intuitionistic predicate logic

This page was built for publication: Truth-maker semantics for intuitionistic logic