Worlds, models and descriptions (Q863186)

In this paper, the modern view of modality is knowledgeably analyzed. The author criticizes the use of Kripke models from the standpoint of a philosopher and gives reasons for a more adequate approach to the semantics of intensional logics, for which he favours Dunn's method of laws and facts. The latter is persuasively connected with Peirce's semiotics. From that, a formal basis for language processing and reasoning in AI results, in particular. The author provides some indications relating to this towards the end of the paper.