Fitch's argument and typing knowledge

DOI10.1215/00294527-2008-005zbMath1141.03003OpenAlexW1967865420MaRDI QIDQ929634

Alexander Paseau

Publication date: 18 June 2008

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-2008-005

zbMATH Keywords

type theoryepistemic logicknowabilityepistemic paradox

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42)

Related Items (4)

A defense of temperate epistemic transparency ⋮ Lost in translation: unknowable propositions in probabilistic frameworks ⋮ Some remarks on restricting the knowability principle ⋮ A Church-Fitch proof for the universality of causation

This page was built for publication: Fitch's argument and typing knowledge