On the Interpretation of Attitude Logics
- 131 Downloads
Surely we may say that the logic of propositional attitudes has established its position. It has been systematically studied for more than thirty years now (and of course it had already medieval ancestors). It has been equipped with highly sophisticated formal techniques. And it is no longer simply logic of knowledge and belief, but also other attitudes have been discussed in the same framework — at least perception, memory and imagination, as well as different varieties of doxastic commitment. Moreover, attitude logic, which was first somewhat controversial, has become a respectable tool in philosophical practice, so that it is freely used for various applications.
KeywordsModal Logic Propositional Attitude Correspondence Theory Psychological Realism Philosophical Practice
Unable to display preview. Download preview PDF.
- 1).See R. Bull and K. Segerberg, “Basic modal logic”, in Gabbay and Guenthner (eds.), Handbook of Philosophical Logic, Vol. II, Dordrecht 1984, and J. van Benthem, Modal Logic and Classical Logic, Napoli 1985.Google Scholar
- 2).The original papers are J.C.C. McKinsey and A. Tarski, “The algebra of topology”, Annals of Mathematics 45 (1944), and “On closed elements in closure algebras”, ibid. 47 (1946), B. Jónsson and A. Tarski, “Boolean algebras with operators”, American Journal of Mathematics 73 and 74 (1951–52).Google Scholar
- 3).As classics of metamathematical logic, see e.g. H. Rasiowa and R. Sikorski, The Mathematics of Metamathematics, Warsaw 1963, H. Rasiowa, “Algebraic treatment of the functional calculi of Heyting and Lewis”, Fundamenta mathematicae 38 (1951). Also the tradition of universal algebra is important here. On algebraic modal logic, cf. R.I. Goldblatt, “Metamathematics of modal logic”, Reports of Mathematical Logic 6 and 7 (1976), W.J. Blok, “The lattice of modal logics”, Journal of Symbolic Logic 45 (1980), and the review by R. Bull in JSL 48 (1983).Google Scholar
- 4).W. Rautenberg, “Der Verband der normalen verzweigten Modallogiken”, Mathematische Zeitschrift 156 (1977), M. Kracht and F. Wolter, “Properties of independently axiomatizable bimodal logics”, JSL 56 (1991). Kracht and Wolter observe rightly: “Monomodal logic is… a well-understood subject in contrast to polymodal logic, where even the most elementary questions concerning completeness, decidability, etc. have been left unanswered. Given that in many applications of modal logic one modality is not sufficient, the lack of general results is acutely felt by the “users” of modal logics.”Google Scholar