Abstract

We introduce an epistemic version of validity and completeness of first order logic, based on the notions of and . We then show how the perspective here considered may help to solve an epistemic puzzle arising from Gödel's second incompleteness theorem.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call