Skip to main content
SpringerLink
Log in

Possible Worlds in Use

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Babyonishev S.V.: ‘Fully Fregean Logics’. Reports on Mathematical Logic 37, 59–78 (2003)

    Google Scholar 

  2. Bar-Hillel Y.: ‘Indexical Expressions’. Mind 63, 359–379 (1954)

    Article  Google Scholar 

  3. Barwise J., Perry J.: Situations and Attitudes. MIT Press, Cambridge (1983)

    Google Scholar 

  4. van Benthem, J., S. van Otterloo, and O. Roy, ‘Preference Logic, Conditionals and Solution Concepts in Games’, ILLC Publications 2005.

  5. Blackburn P., DeRijke M., Venema Y.: Modal Logic. Cambridge University Press, Cambridge (2001)

    Google Scholar 

  6. Blok, W.J., and D. Pigozzi, Algebraizable Logics, American Mathematical Society, Providence, RI.

  7. 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.

  8. Carnap R.: ‘Modalities and Quantification’. The Journal of Symbolic Logic 11, 33–64 (1946)

    Article  Google Scholar 

  9. Chagrov A., Zakharyaschev M.: Modal Logic. Oxford University Press, Oxford (1997)

    Google Scholar 

  10. Chellas B.: Modal Logic. Cambridge University Press, Cambridge (1980)

    Google Scholar 

  11. Copeland J.B.: ‘The Genesis of PossibleWorld Semantics’. Journal of Philosophical Logic 31, 99–137 (2002)

    Article  Google Scholar 

  12. Czelakowski, J., ‘Equivalential Logics’, part I and II, Studia Logica 40:227–236, 335–372, 1981.

    Google Scholar 

  13. 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)

    Google Scholar 

  14. Czelakowski J.: Protoalgebraic Logic, Trends in Logic 10. Kluwer, Dordrecht (2010)

    Google Scholar 

  15. Dunn J.M., Hardegree G.M.: Algebraic Methods in Philosophical Logic. Clarendon Press, Oxford (2001)

    Google Scholar 

  16. Fitting M.: Proof Methods for Modal and Intuitionistic Logics. Reidel, Dordrecht (1983)

    Google Scholar 

  17. Fitting M., Mendelsohn R.L.: First-Order Modal Logic. Kluwer, Dordrecht (1998)

    Book  Google Scholar 

  18. Font J.M., Jansana R.: A General Algebraic Semantics for Sentential Logics. Springer, Berlin (1996)

    Google Scholar 

  19. Font J.M., Jansana R., Pigozzi D.: ‘A Survey on Abstract Algebraic Logic’. Studia Logica 74, 13–97 (2003)

    Article  Google Scholar 

  20. 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.

  21. Gerson M.S., (1974) A Comparative Study of Modal Propositional Semantics, Dissertation, Vancouver

  22. Goldblatt, R. I., ‘Metamathematics of Modal Logics’, part I and II Reports on Mathematical Logic 6:41–78, 7:21–52, 1976.

  23. Goldblatt R.I.: ‘Mathematical Modal Logic: A view of its evolution’. Journal of Applied Logic 1, 309–392 (2003)

    Article  Google Scholar 

  24. Hintikka, J., ‘Quantifiers in Deontic Logic’, Societas Scientiarum Fennica, Commentationes Humanarum Literarum 23(4), (1957)

  25. Indrzejczak A.: ‘Labelled Tableau Calculi for Weak Modal Logics’. Bulletin of the Section of Logic 36(3-4), 159–173 (2007)

    Google Scholar 

  26. Indrzejczak, A., Natural Deduction, Hybrid Systems and Modal Logics, Trends in Logic 30, Springer 2010.

  27. Jansana R., Palmigiano A.: ‘Referential Semantics: Duality and Applications’. Reports on Mathematical Logic 41, 63–93 (2006)

    Google Scholar 

  28. Kaczmarek J.: ‘What is a Formalized Ontology Today? An example of IIC’. Bulletin of the Section of Logic 37(3-4), 238–244 (2008)

    Google Scholar 

  29. Kaplan D.: ‘On the Logic of Demonstratives’. Journal of Philosophical Logic 8, 99–115 (1978)

    Google Scholar 

  30. Kripke S.: ‘A Completeness Theorem in Modal Logic’. Journal of Symbolic Logic 24, 1–14 (1959)

    Article  Google Scholar 

  31. Kripke, S., ‘Semantical Analysis of Modal Logic I’, Zeitschrift für Mathematische Logik und Grundlegen der Mathematik 9:67–96, 1963

  32. Lemmon, E. J., ‘Algebraic Semantics for Modal Logic’ part I and II, Journal of Symbolic Logic 31:46–65, 31:191–218, 1966.

    Google Scholar 

  33. Lewis C.I., Langford C.H.: Symbolic Logic. Dover, New York (1932)

    Google Scholar 

  34. Lewis D.: ‘Counterpart Theory and Quantified Modal Logic’. Journal of Philosophy 65, 113–126 (1968)

    Article  Google Scholar 

  35. Łoś, J., ‘O matrycach logicznych’, Prace Wrocławskiego Towarzystwa Naukowego, 1949.

  36. Łoś J., Suszko R.: ‘Remarks on Sentential Logics’. Indagationes Mathematicae 20, 177–183 (1958)

    Google Scholar 

  37. Ł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)

    Google Scholar 

  38. Makinson D.C.: ‘A Generalization of the Concept of a Relational Model for Modal Logic’. Theoria 36, 331–335 (1970)

    Article  Google Scholar 

  39. Malinowski G.: ‘Pseudo-referential Matrix Semantics for Propositional Logics’. Bulletin of the Section of Logic 12(3), 90–98 (1983)

    Google Scholar 

  40. Malinowski G.: Many-Valued Logics. Clarendon Press, Oxford (1993)

    Google Scholar 

  41. Malinowski G.: ‘Referentiality and Matrix Semantics’. Studia Logica 97, 297–312 (2011)

    Article  Google Scholar 

  42. McKinsey J.C.C., Tarski A.: ‘The Algebra of Topology’. Annals of Mathematics 45, 141–191 (1944)

    Article  Google Scholar 

  43. Montague, R., ‘Pragmatics’, in R. Klibansky (eds.), Contemporary Philosophy: A Survey, La Nuova Italia Editrice, 1968, pp. 102–122.

  44. Nowak M.: ‘On two Relatives of the Classical Logic’. Bulletin of the Section of Logic 21, 97–102 (1992)

    Google Scholar 

  45. Nowak, M., Formalna reprezentacja pojȩcia sa̧du, Wyd. Uniwersytetu Łódzkiego, Łódź 2003.

  46. Scott, D., ‘Advices on modal logic’, in K. Lambert (ed.), Philosophical Problems in Logic. Reidel, Dordrecht 1970, pp. 143–173.

  47. Stalnaker R.C.: ‘Pragmatics’. Synthese 22, 272–289 (1970)

    Article  Google Scholar 

  48. Suszko R.: ‘Formalna teoria wartości logicznych’. Studia Logica 6, 145–276 (1957)

    Article  Google Scholar 

  49. Suszko R.: ‘Non-Fregean Logic and Theories’, Analele Universitatii Bucuresti. Acta Logica 11, 105–125 (1968)

    Google Scholar 

  50. Tarski A.: ‘Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften’. Monatschefte für Mathematik und Physik 37, 361–404 (1930)

    Article  Google Scholar 

  51. Thomason S.K.: ‘Semantic Analysis of Tense Logic’. Journal of Symbolic Logic 37, 150–158 (1972)

    Article  Google Scholar 

  52. Tokarz M.: ‘Synonymy in Sentential Languages: a Pragmatic View’. Studia Logica 47, 93–98 (1988)

    Article  Google Scholar 

  53. Tokarz, M., Elementy Pragmatyki Logicznej, PWN, Warszawa 1993.

  54. Woleński J.: ‘Deontic Logic and Possible Worlds Semantics: a historical sketch’. Studia Logica 49, 273–282 (1990)

    Article  Google Scholar 

  55. Wolniewicz, B., Ontologia sytuacji, PWN, Warszawa 1985.

  56. 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)

    Google Scholar 

  57. Wójcicki R.: ‘Referential Matrix Semantics for Propositional Calculi’. Bulletin of the Section of Logic 8(4), 170–176 (1979)

    Google Scholar 

  58. Wójcicki R.: ‘More about Referential Matrices’. Bulletin of the Section of Logic 9(2), 93–96 (1980)

    Google Scholar 

  59. Wójcicki R.: ‘Suszko’s Situational Semantics’. Studia Logica 43, 323–340 (1984)

    Article  Google Scholar 

  60. Wójcicki, R., Lectures on Propositional Calculi, Ossolineum, Wrocław 1984

  61. Wójcicki R.: Theory of Logical Calculi. Kluwer, Dordrecht (1988)

    Google Scholar 

  62. Wójcicki R.: ‘A Logic is Referential iff it is Selfextensional’. Studia Logica 73, 323–335 (2003)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Logic, University of Łódź, Kopcinskiego 16/18, 90–232, Łódź, Poland

    Andrzej Indrzejczak

Authors
  1. Andrzej Indrzejczak
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Andrzej Indrzejczak.

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

Reprints 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

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s11225-011-9350-2

Keywords

Search

Navigation