Abstract

ABSTRACT: In the search for a more fine-grained criterion of propositional identity in order to provide an adequate analysis of sense and thought, I propose a revision of the ontology of the Frege and Church theory of types of sense and denotation, and I set up a natural predicative propositional logic that explains their logical form in terms of acts of predication. I also define a more subjective notion of truth according to an agent and a new strong propositional implication. The intensional logic thus set forth explains why human agents possess a minimal rationality. I conclude by proposing a new axiomatisation of a minimal epistemic logic