On a side effect of solving Fitch's paradox by typing knowledge

DOI10.1111/J.1467-8284.2007.00725.XzbMath1152.03007OpenAlexW2033957047MaRDI QIDQ3521253

Volker Halbach

Publication date: 21 August 2008

Published in: Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1111/j.1467-8284.2007.00725.x

zbMATH Keywords

verificationismFitch's paradoxtyped predicates

Mathematics Subject Classification ID

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

Related Items (6)

Inverse images of box formulas in modal logic ⋮ Some remarks on restricting the knowability principle ⋮ A Church-Fitch proof for the universality of causation ⋮ Montague's theorem and modal logic ⋮ Paradoxes of interaction? ⋮ Truthmaker maximalism and the truthmaker paradox

This page was built for publication: On a side effect of solving Fitch's paradox by typing knowledge