Skip to main content
SpringerLink
Log in

Worlds, Models and Descriptions

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

Since the pioneering work by Kripke and Montague, the term possible world has appeared in most theories of formal semantics for modal logics, natural languages, and knowledge-based systems. Yet that term obscures many questions about the relationships between the real world, various models of the world, and descriptions of those models in either formal languages or natural languages. Each step in that progression is an abstraction from the overwhelming complexity of the world. At the end, nothing is left but a colorful metaphor for an undefined element of a set W called worlds, which are related by an undefined and undefinable primitive relation R called accessibility. For some purposes, the resulting abstraction has proved to be useful, but as a general theory of meaning, the abstraction omits too many significant features. So much information has been lost at each step that many philosophers, linguists, and psychologists have dismissed model-theoretic semantics as irrelevant to the study of meaning. This article examines the steps in the process of extractingthe pair (W,R) from the world and the way people talk about the world. It shows that the Kripke worlds can be reinterpreted as part of a Peircean semiotic theory, which can also include contributions from many other studies in cognitive science. Among them are Dunn’s semantics based on laws and facts, the lexical semantics preferred by manylinguists, psychological models of how the world is perceived, and philosophies of science that relate theories to the world. A full integration of all those sources is far beyond the scope of this article, but an outline of the approach suggests that Peirce’s vision is capable of relating and reconciling the competing sources.

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. Anderson, A. R., and N. D. Belnap, Jr. (1975), Entailment: The Logic of Relevance and Necessity, Princeton University Press, Princeton.

    Google Scholar 

  2. Barwise, J., and J. Perry (1983), Situations and Attitudes, MIT Press, Cambridge, MA.

    Google Scholar 

  3. Box, G. E. P., J. S. Hunter, and W. G. Hunter (2005), Statistics for Experimenters: Design, Innovation, and Discovery, 2nd Edition, Wiley-Interscience, New York.

    Google Scholar 

  4. Cruse, D. A. (2000), ‘Aspects of the micro-structure of word meanings,’ in Y. Ravin and C. Leacock (eds.), Polysemy: Theoretical and Computational Approaches, Oxford University Press, Oxford, pp. 30–51.

    Google Scholar 

  5. Davidson, D. (1980), ‘The logical form of action sentences,’ 1967, reprinted in D. Davidson (ed.), Essays on Actions and Events, Clarendon Press, Oxford, pp. 105–148.

    Google Scholar 

  6. Deely, J. (2003), The Impact on Philosophy of Semiotics, St. Augustine's Press, South Bend, IN.

    Google Scholar 

  7. Devlin, K. (1991), ‘Situations as mathematical abstractions,’in J. Barwise, J. M. Mark Gawron, G. Plotkin, and S. Tutiya (eds.), Situation Theory and its Applications, CSLI, Stanford, CA, pp. 25–39.

    Google Scholar 

  8. Dunn,J.M. (1973), ‘A truth value semantics for modal logic,’in H. Leblanc (ed.), Truth, Syntax and Modality, North-Holland, Amsterdam, pp. 87–100.

    Google Scholar 

  9. Gangemi, A., N. Guarino, C. Masolo, and A. Oltramari (2003), ‘Sweeting WordNet with DOLCE,’ AI Magazine 24:3.

    Google Scholar 

  10. Grice, H. P. (1975), ‘Logic and conversation,’ in P. Cole and J. Morgan (eds.), Syntax and Semantics 3: Speech Acts, Academic Press, New York, pp. 41–58.

    Google Scholar 

  11. Harnad, S. (1990), ‘The symbol grounding problem,’ Physica D, 42:335–346.

    Article  Google Scholar 

  12. Hintikka, J. (1961), ‘Modality and quantification,’ Theoria 27:110–128.

    Google Scholar 

  13. Hintikka, J. (1963), ‘The modes of modality,’ Acta Philosophica Fennica, Modal and Many-valued Logics, pp. 65–81.

  14. Kamp, H. (1981), ‘A theory of truth and semantic representation,’ in J. A. G. Groenendijk, T. M. V. Janssen, and M. B. J. Stokhof (eds.), Formal Methods in the Study of Language, Mathematical Centre Tracts, Amsterdam, pp. 277–322.

    Google Scholar 

  15. Kant, I. (1787), Kritik der reinen Vernunft, translated by N. Kemp Smith as Critique of Pure Reason, St. Martin's Press, New York.

    Google Scholar 

  16. Kripke, S. A. (1963), ‘Semantical analysis of modal logic I,’ Zeitschrift för mathematische Logik und Grundlagen der Mathematik 9:67–96.

    Google Scholar 

  17. Kripke, S. A. (1965), ‘Semantical analysis of modal logic II: Non-normal modal propositional calculi,’in J. W. Addison, Leon Henkin, and Alfred Tarski (eds.), The Theory of Models, North-Holland Publishing Co., Amsterdam, 1965, pp. 206–220.

    Google Scholar 

  18. Lane, R., ‘Peirce's Modal Shift: From Set Theory to Pragmaticism’, (forthcoming).

  19. Lewis, D. K. (1986), On the Plurality of Worlds, Basil Blackwell, Oxford.

    Google Scholar 

  20. Mohanty, J. N. (1982), Husserl and Frege, Indiana University Press, Bloomington.

    Google Scholar 

  21. Montague, R., (1967) ‘On the nature of certain philosophical entities,’ revised version in Montague, 1974, pp. 148–187.

  22. Montague, R. (1970), ‘The proper treatment of quantification in ordinary English’, reprinted in Montague, 1974, pp. 247–270.

  23. Montague, R. (1974), Formal Philosophy, Yale University Press, New Haven.

    Google Scholar 

  24. Morris, Ch. W. (1938), Foundations of the Theory of Signs, Chicago University Press, Chicago.

    Google Scholar 

  25. Partee, B. H. (2005), ‘Formal Semantics,’Lectures at a workshop in Moscow. http://people.umass.edu/partee/RGGU 2005/RGGU05 formal semantics.htm

  26. Peirce, Ch. S. (1885), ‘On the algebra of logic,’ American Journal of Mathematics 7:180–202.

    Article  Google Scholar 

  27. Peirce, Ch. S. (1887), ‘Logical machines,’ American Journal of Psychology, vol. 1, Nov. 1887, pp. 165–170.

    Article  Google Scholar 

  28. Peirce, Ch. S. (1902), in J. Ransdell (ed.), Logic, Considered as Semeiotic, MS L75. http://members.door.net/arisbe/menu/LIBRARY/bycsp/L75/ver1/l75v1-01.htm

  29. Peirce, Ch. S. (1909), Manuscript 514, with commentary by J. F. Sowa, available at http://members.door.net/arisbe/menu/LIBRARY/bycsp/L75/ver1/l75v1-01.htm

  30. Peirce, Ch. S., (CP), Collected Papers of C. S. Peirce, 8 vols., C. Hartshorne, P. Weiss, and A. Burks (eds.), Harvard University Press, Cambridge, MA, 1931–1958.

    Google Scholar 

  31. Peirce, Ch. S., (EP), The Essential Peirce, N. Houser, C. Kloesel, and members of the Peirce Edition Project (eds.), 2 vols., Indiana University Press, Bloomington, 1991–1998.

    Google Scholar 

  32. Pietarinen, A.-V. (2004), ‘Grice in the wake of Peirce,’ Pragmatics and Cognition University of Helsinki, 12(2):295–315.

    Google Scholar 

  33. Quine, Willard Van Orman (1972), ‘Responding to Saul Kripke,’ reprinted in Quine, Theories and Things, Harvard University Press.

  34. Roberts, D. D. (1973), The Existential Graphs of Charles S. Peirce, Mouton, The Hague.

  35. Saussure, F. de (1916), Cours de Linguistique Générale, translated by W. Baskin as Course in General Linguistics, Philosophical Library, New York, 1959.

    Google Scholar 

  36. Searle, J. R. (1969), Speech Acts. An Essay in the Philosophy of Language, Cambridge University Press, Cambridge.

    Google Scholar 

  37. Searle, J. R. (1983), Intentionality. An Essay in the Philosophy of Mind, Cambridge University Press, Cambridge.

    Google Scholar 

  38. Searle, J. R. (1995), The Construction of Social Reality, Free Press, New York.

    Google Scholar 

  39. Smith, B. (1995), ‘Formal ontology, common sense, and cognitive science,’ International J. of Human-Computer Studies 43:641–668.

    Article  Google Scholar 

  40. Smith, B. (1998), ‘Basic Concepts of Formal Ontology,’ in Guarino (1995), pp. 19–28.

  41. Smith, B. (1999), ‘Les objets sociaux,’ Philosophiques 26(2):315–347. English version at http://wings.buffalo.edu/philosophy/ontology/socobj.htm

    Google Scholar 

  42. Smith, B., and J. Searle (2001), ‘The construction of social reality: an exchange,’ American Journal of Economics and Sociology 60. http://wings.buffalo.edu/philosophy/faculty/smith/articles/dksearle.htm

  43. Sowa, J. F. (1976), ‘Conceptual graphs for a database interface,’ IBM Journal of Research and Development 20:4, 336–357.

    Article  Google Scholar 

  44. Sowa, J. F. (1984), Conceptual Structures: Information Processing in Mind and Machine, Addison-Wesley, Reading, MA.

    Google Scholar 

  45. Sowa, J. F. (1992), ‘Logical structures in the lexicon,’ in James Pustejovsky and Sabine Bergler (eds.), Lexical Semantics and Commonsense Reasoning, LNAI 627, Springer-Verlag, Berlin, pp. 39–60. http://acl.ldc.upenn.edu/W/W91/W91-0205.pdf

    Google Scholar 

  46. Sowa, J. F. (1999), ‘Relating templates to logic and language,’in M. T. Pazienza (ed.), Information Extraction: Towards Scalable, Adaptable Systems, LNAI 1714, Springer-Verlag, pp. 76–94. http://www.jfsowa.com/pubs/template.htm

  47. Sowa, J.F. (2000), Knowledge Representation: Logical, Philosophical, and Computational Foundations, Brooks/Cole Publishing Co., Pacific Grove, CA.

    Google Scholar 

  48. Sowa, J. F. (2003), ‘Laws, facts, and contexts: Foundations for multimodal rea-soning,’in V. F. Hendricks, K. F. Jørgensen, and S. A. Pedersen (eds.), Knowledge Contributors, Kluwer Academic Publishers, Dordrecht, pp. 145–184.

    Google Scholar 

  49. Sowa, John F., and E. C. Way (1986), ‘Implementing a semantic interpreter using conceptual graphs,’ IBM Journal of Research and Development 30(1):57–69.

    Article  Google Scholar 

  50. Stalnaker, R. (1976), ‘Propositions,’ in A. MacKay and D. Merrill (eds.), Issues in the Philosophy of Language, Yale University Press, New Haven, CT, pp. 79–91.

    Google Scholar 

  51. Tarski, A. (1933), ‘Pojęcie prawdyw językachnauk dedukcyjnych,’ German trans. as ‘Der Wahrheitsbegriff in den formalisierten Sprachen,’ English trans. as ‘The concept of truth in formalized languages,’ in Tarski (1982), pp. 152–278.

  52. Tarski, A. (1936), ‘Uber den Begriff der logischen Folgerung,’translated as ‘On the concept of logical consequence’, in Tarski (1982), pp. 409–420.

  53. Tarski, A. (1982), Logic, Semantics, Metamathematics, Second edition, Hackett Publishing Co., Indianapolis.

    Google Scholar 

  54. Vogt, P. (2002), ‘The physical symbol grounding problem,’ Cognitive Systems Research 3(3):429–457.

    Article  Google Scholar 

  55. Wang, H. (1986), Beyond Analytic Philosophy: Doing Justice to What We Know, MIT Press, Cambridge, MA.

    Google Scholar 

  56. Way, E. C. (1991), Knowledge Representation and Metaphor, Kluwer Academic Publishers, Dordrecht.

    Google Scholar 

  57. Whitehead, A. N. (1929), Process and Reality: An Essay in Cosmology, corrected edition: D. R. Griffin and D. W. Sherburne (eds.), Free Press, New York, 1978.

    Google Scholar 

  58. Wigner, E. (1960), ‘The unreasonable effectiveness of mathematics in the natural sciences’, Communications in Pure and Applied Mathematics 13(1).

  59. Wittgenstein, L. (1953), Philosophical Investigations, Basil Blackwell, Oxford.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. VivoMind Intelligence, Inc., Rochester, USA

    John F. Sowa

Authors
  1. John F. Sowa
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to John F. Sowa.

Additional information

Special Issue Ways of Worlds II. On Possible Worlds and Related Notions Edited by Vincent F. Hendricks and Stig Andur Pedersen

Rights and permissions

Reprints and permissions

About this article

Cite this article

Sowa, J.F. Worlds, Models and Descriptions. Stud Logica 84, 323–360 (2006). https://doi.org/10.1007/s11225-006-9012-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-006-9012-y

Keywords

Search

Navigation