Impossible events and the knowability paradox

Abstract

This note disambiguates the predicate ‘is an unknowable event’ and shows how Transparent Intensional Logic interprets the sentences “Agent a is calculating the final decimal of π” and “Agent a has calculated the final decimal of π”. The knowability paradox is used to set the stage.