Algorithmic Theory of Meaning

  • Jakub SzymanikEmail author
Part of the Studies in Linguistics and Philosophy book series (SLAP, volume 96)


In this chapter, I describe the philosophical conception that identifies the meaning of a sentence with a procedure for finding its truth-value. I also give a short historical overview of this idea. The procedural approach to meaning seems reasonable for a large part of natural language in many different contexts. Even though the results of the book are independent from philosophical theories of meaning, my research perspective is very much inspired by the ideas of procedural semantics. In the remaining of the book I study different procedures that language users apply to find the truth-value of quantifier sentences in various situations. I sometimes refer to the meaning understood in such a way as referential meaning to distinguish it from other possible aspects of meaning. This chapter overviews philosophical and methodological motivations behind the theoretical framework explored in this book.


Meaning Truth-conditions Sense Intention Denotation Semantics Natural language Algorithms Procedures Computations 


  1. Ajdukiewicz, K. (1931). O znaczeniu wyrażeń. In Księ ga Pamiątkowa Polskiego Towarzystwa Filozoficznego we Lwowie. Lviv: PTF.Google Scholar
  2. van Benthem, J. (1986). Essays in logical semantics. Reidel.Google Scholar
  3. Church, A. (1973). Outline of a revised formulation of the logic of sense and denotation (part i). Noûs, 7(1), 24–33.CrossRefGoogle Scholar
  4. Church, A. (1974). Outline of a revised formulation of the logic of sense and denotation (part ii). Noûs, 8(2), 135–156.CrossRefGoogle Scholar
  5. Dummett, M. (1978). Truth and other enigmas. Harvard University Press.Google Scholar
  6. Frege, G. (1892). Über Sinn und Bedeutung. Zeitschrift für Philosophie und philosophische Kritik, 100, 25–50.Google Scholar
  7. Kripke, S. (2008). Frege’s theory of sense and reference: some exegetical notes. Theoria, 74(3), 181–218.CrossRefGoogle Scholar
  8. van Lambalgen, M., & Hamm, F. (2004). Moschovakis’ notion of meaning as applied to linguistics. In M. Baaz, S. Friedman, J. Krajicek, & A. K. Peters (Eds.). Logic Colloqium’01 (pp. 167–183). ASL Lecture Notes in Logic, A. K. Peters Publishers.Google Scholar
  9. van Lambalgen, M., & Hamm, F. (2005). The Proper Treatment of Events: Explorations in Semantics. Wiley.Google Scholar
  10. Montague, R. (1970). Pragmatics and intensional logic. Dialectica, 24(4), 277–302.Google Scholar
  11. Moschovakis, Y. (1990). Sense and denotation as algorithm and value. In J. Oikkonen & J. Väänänen (Eds.). Lecture Notes in Logic 2 (pp. 210–249). Springer.Google Scholar
  12. Moschovakis, Y. (2006). A logical calculus of meaning and synonymy. Linguistics and Philosophy, 29(1), 27–89.CrossRefGoogle Scholar
  13. Muskens, R. (2005). Sense and the computation of reference. Linguistics and Philosophy, 28(4), 473–504.CrossRefGoogle Scholar
  14. Putnam, H. (1975/1985). The meaning of ‘meaning’. In Philosophical Papers, Mind, Language and Reality (Vol. 2, pp. 215–271). Cambridge University Press.Google Scholar
  15. Suppes, P. (1982). Variable-free semantics with remarks on procedural extensions. In T. W. Simon & R. J. Scholes (Eds.), Language, Mind and Brain (pp. 21–34). Hillsdale: Erlbaum.Google Scholar
  16. Tichý, P. (1969). Intension in terms of Turing machines. Studia Logica, 24(1), 7–21.CrossRefGoogle Scholar
  17. Tichý, P. (1988). The Foundations of Frege’s Logic. Berlin: De Gruyter.Google Scholar
  18. Wittgenstein, L. (1922). Tractatus Logico Philosophicus. Routledge: Routledge classics.Google Scholar
  19. Wittgenstein, L. (1953). Philosophical Investigations: 50th Anniversary Commemorative Edition. Blackwell Publishing.Google Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  1. 1.Institute for Logic, Language and ComputationUniversity of AmsterdamAmsterdamThe Netherlands

Personalised recommendations