Possible-worlds semantics and many-valued semantics are two powerful formal tools that have traditionally been used to model important semantic and logical phenomena. In spite of their success, it has been argued that both tools do not suffice to express adequately the complexity of those phenomena. Our main objective in this project is to explore the utility of both tools to address issues that have been taken to be out of their domain of application, in particular, the analysis of the representation of the necessity of theoretical statements in possible worlds semantics and the representation in many-valued semantics of fragments of discourse that contain semantic pathologies (due, for instance, to semantic paradoxes or to the presence of sentences that do not express complete propositions).
Amount awarded: 48,400€ and a predoctoral FPI scholarship.
