Abstract
The paper is a brief survey of the most important semantic constructions founded on the concept of possible world. It is impossible to capture in one short paper the whole variety of the problems connected with manifold applications of possible worlds. Hence, after a brief explanation of some philosophical matters I take a look at possible worlds from rather technical standpoint of logic and focus on the applications in formal semantics. In particular, I would like to focus on the fruitful marriage of possible world semantics and algebra and its evolution leading to very general construction of Wójcicki called referential semantics and some of its refinements. The presentation is informal and sketchy; the main purpose is to put in one place a short, and readable I hope, description of the most important constructions and to point out the main sources of these solutions.
Article PDF
Similar content being viewed by others
References
Babyonishev S.V.: ‘Fully Fregean Logics’. Reports on Mathematical Logic 37, 59–78 (2003)
Bar-Hillel Y.: ‘Indexical Expressions’. Mind 63, 359–379 (1954)
Barwise J., Perry J.: Situations and Attitudes. MIT Press, Cambridge (1983)
van Benthem, J., S. van Otterloo, and O. Roy, ‘Preference Logic, Conditionals and Solution Concepts in Games’, ILLC Publications 2005.
Blackburn P., DeRijke M., Venema Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
Blok, W.J., and D. Pigozzi, Algebraizable Logics, American Mathematical Society, Providence, RI.
Bull, R., and K. Segerberg, ‘Basic Modal Logic’, in D. Gabbay, F. Guenthner (eds.), Handbook of Philosophical Logic, vol. II, Reidel Publishing Company, Dordrecht 1984, pp. 1–88.
Carnap R.: ‘Modalities and Quantification’. The Journal of Symbolic Logic 11, 33–64 (1946)
Chagrov A., Zakharyaschev M.: Modal Logic. Oxford University Press, Oxford (1997)
Chellas B.: Modal Logic. Cambridge University Press, Cambridge (1980)
Copeland J.B.: ‘The Genesis of PossibleWorld Semantics’. Journal of Philosophical Logic 31, 99–137 (2002)
Czelakowski, J., ‘Equivalential Logics’, part I and II, Studia Logica 40:227–236, 335–372, 1981.
Czelakowski J.: ’Partial Referential Matrices for Quantum Logics’. In: Beltrametti, E., van Fraassen, B.C. (eds) Current Issues in Quantum Logic., pp. 131–146. Plenum Press, London/New York (1981)
Czelakowski J.: Protoalgebraic Logic, Trends in Logic 10. Kluwer, Dordrecht (2010)
Dunn J.M., Hardegree G.M.: Algebraic Methods in Philosophical Logic. Clarendon Press, Oxford (2001)
Fitting M.: Proof Methods for Modal and Intuitionistic Logics. Reidel, Dordrecht (1983)
Fitting M., Mendelsohn R.L.: First-Order Modal Logic. Kluwer, Dordrecht (1998)
Font J.M., Jansana R.: A General Algebraic Semantics for Sentential Logics. Springer, Berlin (1996)
Font J.M., Jansana R., Pigozzi D.: ‘A Survey on Abstract Algebraic Logic’. Studia Logica 74, 13–97 (2003)
Garson, J.W., ‘Quantification in Modal Logic’, in D. Gabbay, F. Guenthner (eds.), Handbook of Philosophical Logic, vol II, Reidel Publishing Company, Dordrecht 1984, pp. 249–307.
Gerson M.S., (1974) A Comparative Study of Modal Propositional Semantics, Dissertation, Vancouver
Goldblatt, R. I., ‘Metamathematics of Modal Logics’, part I and II Reports on Mathematical Logic 6:41–78, 7:21–52, 1976.
Goldblatt R.I.: ‘Mathematical Modal Logic: A view of its evolution’. Journal of Applied Logic 1, 309–392 (2003)
Hintikka, J., ‘Quantifiers in Deontic Logic’, Societas Scientiarum Fennica, Commentationes Humanarum Literarum 23(4), (1957)
Indrzejczak A.: ‘Labelled Tableau Calculi for Weak Modal Logics’. Bulletin of the Section of Logic 36(3-4), 159–173 (2007)
Indrzejczak, A., Natural Deduction, Hybrid Systems and Modal Logics, Trends in Logic 30, Springer 2010.
Jansana R., Palmigiano A.: ‘Referential Semantics: Duality and Applications’. Reports on Mathematical Logic 41, 63–93 (2006)
Kaczmarek J.: ‘What is a Formalized Ontology Today? An example of IIC’. Bulletin of the Section of Logic 37(3-4), 238–244 (2008)
Kaplan D.: ‘On the Logic of Demonstratives’. Journal of Philosophical Logic 8, 99–115 (1978)
Kripke S.: ‘A Completeness Theorem in Modal Logic’. Journal of Symbolic Logic 24, 1–14 (1959)
Kripke, S., ‘Semantical Analysis of Modal Logic I’, Zeitschrift für Mathematische Logik und Grundlegen der Mathematik 9:67–96, 1963
Lemmon, E. J., ‘Algebraic Semantics for Modal Logic’ part I and II, Journal of Symbolic Logic 31:46–65, 31:191–218, 1966.
Lewis C.I., Langford C.H.: Symbolic Logic. Dover, New York (1932)
Lewis D.: ‘Counterpart Theory and Quantified Modal Logic’. Journal of Philosophy 65, 113–126 (1968)
Łoś, J., ‘O matrycach logicznych’, Prace Wrocławskiego Towarzystwa Naukowego, 1949.
Łoś J., Suszko R.: ‘Remarks on Sentential Logics’. Indagationes Mathematicae 20, 177–183 (1958)
Łukasiewicz J., Tarski A.: ‘Untersuchungen übr den Aussagenkalkül’. Comptes Rendus des Seances de la Societe des Sciences et des Lettres de Varsovie 23, 30–50 (1930)
Makinson D.C.: ‘A Generalization of the Concept of a Relational Model for Modal Logic’. Theoria 36, 331–335 (1970)
Malinowski G.: ‘Pseudo-referential Matrix Semantics for Propositional Logics’. Bulletin of the Section of Logic 12(3), 90–98 (1983)
Malinowski G.: Many-Valued Logics. Clarendon Press, Oxford (1993)
Malinowski G.: ‘Referentiality and Matrix Semantics’. Studia Logica 97, 297–312 (2011)
McKinsey J.C.C., Tarski A.: ‘The Algebra of Topology’. Annals of Mathematics 45, 141–191 (1944)
Montague, R., ‘Pragmatics’, in R. Klibansky (eds.), Contemporary Philosophy: A Survey, La Nuova Italia Editrice, 1968, pp. 102–122.
Nowak M.: ‘On two Relatives of the Classical Logic’. Bulletin of the Section of Logic 21, 97–102 (1992)
Nowak, M., Formalna reprezentacja pojȩcia sa̧du, Wyd. Uniwersytetu Łódzkiego, Łódź 2003.
Scott, D., ‘Advices on modal logic’, in K. Lambert (ed.), Philosophical Problems in Logic. Reidel, Dordrecht 1970, pp. 143–173.
Stalnaker R.C.: ‘Pragmatics’. Synthese 22, 272–289 (1970)
Suszko R.: ‘Formalna teoria wartości logicznych’. Studia Logica 6, 145–276 (1957)
Suszko R.: ‘Non-Fregean Logic and Theories’, Analele Universitatii Bucuresti. Acta Logica 11, 105–125 (1968)
Tarski A.: ‘Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften’. Monatschefte für Mathematik und Physik 37, 361–404 (1930)
Thomason S.K.: ‘Semantic Analysis of Tense Logic’. Journal of Symbolic Logic 37, 150–158 (1972)
Tokarz M.: ‘Synonymy in Sentential Languages: a Pragmatic View’. Studia Logica 47, 93–98 (1988)
Tokarz, M., Elementy Pragmatyki Logicznej, PWN, Warszawa 1993.
Woleński J.: ‘Deontic Logic and Possible Worlds Semantics: a historical sketch’. Studia Logica 49, 273–282 (1990)
Wolniewicz, B., Ontologia sytuacji, PWN, Warszawa 1985.
Wójcicki R.: ‘Logical Matrices Strongly Adequate for Structural Sentential Calculi’, Bulletin de l’Academie Polonaise des Sciences. Serie des Sciences math, astr, et phys. 6, 333–335 (1969)
Wójcicki R.: ‘Referential Matrix Semantics for Propositional Calculi’. Bulletin of the Section of Logic 8(4), 170–176 (1979)
Wójcicki R.: ‘More about Referential Matrices’. Bulletin of the Section of Logic 9(2), 93–96 (1980)
Wójcicki R.: ‘Suszko’s Situational Semantics’. Studia Logica 43, 323–340 (1984)
Wójcicki, R., Lectures on Propositional Calculi, Ossolineum, Wrocław 1984
Wójcicki R.: Theory of Logical Calculi. Kluwer, Dordrecht (1988)
Wójcicki R.: ‘A Logic is Referential iff it is Selfextensional’. Studia Logica 73, 323–335 (2003)
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to Professor Ryszard Wójcicki on the occasion of his 80th birthday
Special issue in honor of Ryszard Wójcicki on the occasion of his 80th birthday
Edited by J. Czelakowski, W. Dziobiak, and J. Malinowski
Rights and permissions
About this article
Cite this article
Indrzejczak, A. Possible Worlds in Use. Stud Logica 99, 229 (2011). https://doi.org/10.1007/s11225-011-9350-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11225-011-9350-2