Teoria descripţiei şi limbajul logicilor modale mixte cu agenţi (Partea a II-a)
The description language theory and modal logics mixed

Summary/Abstract: Chapter 7 presents the languages and the axiomatic systems of two new species of modal theory, the teleological system and the modal logic of achievement, both endowed with multiple agents. Hintikka’s epistemic logic is rewritten, also, as a modal system with agents. In the last chapter, I reconsider King George’s problem and Russell’s problem in terms of the mixed modal language. The verbs to want or to intend are implied by the verbs to aim at or to have a goal. Any goal to bring about something implies to intend, want or desire that something. It is easy to see that the operator want or its implicant ‘to aim at’ has in its field of definition the epistemic operator, to know. This one, at its turn, has in its field of definition a question mark and so on. Everywhere in this I use dyadic or ternary modal operators. Finally, I sketch a theory of multiple modal definite descriptions making use of different species of modal operators (teleological, dynamic, and epistemic). Modal terms and modal definite descriptions are connected in this case not by logical equivalence, but by means of a deductive equivalence relation.

• Details
• Contents