Skip to main content

Semantics and Predicate Logic

  • Chapter
  • 2220 Accesses

Part of the book series: Cognitive Technologies ((COGTECH))

Abstract

Semantics deals with the meaning of words, phrases, and sentences. It is a wide and open subject intricately interwoven with the structure of the mind. The potential domain of semantics is immense and covers many of the human cognitive activities. It has naturally spurred a great number of theories. From the philosophers of ancient and medieval times, to logicians of the 19th century, psychologists and linguists of the 20th century, and now computer scientists, a huge effort has been made on this subject.

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

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   79.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   99.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

12.11 Further Reading

  • van Benthem, J. and Ter Meulen, A., editors (1997). Handbook of Logic and Language. North Holland, Amsterdam.

    MATH  Google Scholar 

  • Burke, E. and Foxley, E. (1996). Logic and its Applications. Prentice Hall, London.

    Google Scholar 

  • Colmerauer, A. (1970). Les systèmes-Q ou un formalisme pour analyser et synthétiser des phrases sur ordinateur. Publication interne 43, Département d’informatique, Université de Montréal.

    Google Scholar 

  • Colmerauer, A. (1978). Metamorphosis grammars. In Bolc, L., editor, Natural language communication with computers, volume 63 of Lecture Notes in Computer science, pages 133–189. Springer Verlag, Berlin Heidelberg New York.

    Chapter  Google Scholar 

  • Frege, G. (1892). Über Sinn und Bedeutung. Zeitschrift für Philosophie und philosophische Kritik, pages C:25–50. English transl. in Philosophical writings of Gottlob Frege, Blackwell, 1966.

    Google Scholar 

  • Godart-Wendling, B., Ildefonse, F., Pariente, J.-C., and Rosier, I. (1998). Penser le principe de compositionnalité: éléments de réflexion historiques et épistémologiques. Traitement automatique des langues, 39(1):9–34.

    Google Scholar 

  • Habermas, J. (1988). Nachmetaphysisches Denken. Suhrkamp, Frankfurt am Main.

    Google Scholar 

  • Herbrand, J. (1930). Recherches sur la théorie de la démonstration. Travaux de la Société des Sciences et des Lettres de Varsovie, Classe III Sciences mathématiques et physiques, 33.

    Google Scholar 

  • Jacob, A., editor (1989). Encyclopédie philosophique universelle. Presses Universitaires de France, Paris.

    Google Scholar 

  • Montague, R. (1974). Formal Philosophy: Selected Papers. Yale University Press, New Haven.

    Google Scholar 

  • Morton, A. (2003). A Guide through the Theory of Knowledge. Blackwell, Malden, 3rd edition.

    Google Scholar 

  • Robinson, J. A. (1965). A machine-oriented logic based on the resolution principle. Journal of the ACM, 12(1):23–41.

    Article  MATH  Google Scholar 

  • Sterling, L. and Shapiro, E. (1994). The Art of Prolog. Advanced Programming Techniques. MIT Press, Cambridge, Massachusetts, 2nd edition.

    MATH  Google Scholar 

  • Taylor, K. (1998). Truth and Meaning. An Introduction to the Philosophy of Language. Blackwell, Oxford.

    Google Scholar 

Download references

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

(2006). Semantics and Predicate Logic. In: An Introduction to Language Processing with Perl and Prolog. Cognitive Technologies. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-34336-9_12

Download citation

  • DOI: https://doi.org/10.1007/3-540-34336-9_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-25031-9

  • Online ISBN: 978-3-540-34336-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics