Skip to main content
Log in

Knowledge representation, the World Wide Web, and the evolution of logic

  • Published:
Synthese Aims and scope Submit manuscript

Abstract

It is almost universally acknowledged that first-order logic (FOL), with its clean, well-understood syntax and semantics, allows for the clear expression of philosophical arguments and ideas. Indeed, an argument or philosophical theory rendered in FOL is perhaps the cleanest example there is of “representing philosophy”. A number of prominent syntactic and semantic properties of FOL reflect metaphysical presuppositions that stem from its Fregean origins, particularly the idea of an inviolable divide between concept and object. These presuppositions, taken at face value, reflect a significant metaphysical viewpoint, one that can in fact hinder or prejudice the representation of philosophical ideas and arguments. Philosophers have of course noticed this and have, accordingly, sought to alter or extend traditional FOL in novel ways to reflect a more flexible and egalitarian metaphysical standpoint. The purpose of this paper, however, is to document and discuss how similar “adaptations” to FOL—culminating in a standardized framework known as Common Logic—have evolved out of the more practical and applied encounter of FOL with the problem of representing, sharing, and reasoning upon information on World Wide Web.

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

Access this article

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

  • Aczel P. (1983) Non-well-founded sets. CSLI Publications, Stanford, CA

    Google Scholar 

  • Baader F., Calvanese D., McGuinness D., Narde D., Patel Schneider P. (eds) (2003) The description logic handbook: Theory, implementation and applications. Cambridge University Press, Cambridge

    Google Scholar 

  • Barwise J., Moss L. (1996) Vicious circles: On the mathematics of non-wellfounded phenomena. CSLI Publications, Stanford, CA

    Google Scholar 

  • Bealer G. (1982) Quality and concept. Oxford University Press, Oxford

    Google Scholar 

  • Brachman R., Schmolze J. (1985) An overview of the KL-ONE knowledge representation system. Cognitive Science 9: 171–216

    Article  Google Scholar 

  • Chierchia G., Turner R. (1988) Semantics and property theory. Linguistics and Philosophy 11: 261–302

    Article  Google Scholar 

  • Genesereth, M. (1998). Knowledge interchange format. Draft proposed American National Standard (dpANS), NCITS.T2/98-004. Retrieved January 9, 2009 from http://logic.stanford.edu/kif/dpans.html.

  • Grandy R. E. (1976) Anadic logic and English. Synthese 32: 395–402

    Article  Google Scholar 

  • Gruber, T. R. (1992). Ontolingua: A mechanism to support portable ontologies. Technical Report KSL 91-66. Stanford University, Knowledge Systems Laboratory.

  • Hayes, P. (2003). RDF semantics. W3C Technical Report. Retrieved January 15, 2009 from the W3C web site: http://www.w3.org/TR/rdf-mt.

  • ISO. (2007). Information technology—Common Logic (CL): A framework for a family of logic-based languages. International Standard ISO/IEC 24707, 1st edn., 2007-10-01. Retrieved January 9, 2009 from the ISO web site: http://standards.iso.org/ittf/PubliclyAvailableStandards/c039175_ISO_IEC_24707_2007(E).zip.

  • Kenny A. (1963) Action emotion and will. Routledge and Kegan Paul, London

    Google Scholar 

  • Lenat D., Guha R. V. (1991) The evolution of CycL, the Cyc representation language. ACM SIGART Bulletin 2: 84–87

    Article  Google Scholar 

  • Lindström P. (1969) On extensions of elementary logic. Theoria 35: 1–11

    Article  Google Scholar 

  • MacGregor, R., & Bates, R. (1987). The LOOM knowledge representation language. Technical Report ISI/RS-87-188. USC/Information Sciences Institute.

  • Menzel, C. (1993). The proper treatment of predication in fine-grained intensional logic. In J. E. Tomberlin (Ed.), Philosophical perspectives (Vol. 7, pp. 61–87). Atascadero: Ridgeview Publishing Company.

  • Menzel, C., & Hayes, P. (2003). SCL: A logic standard for semantic integration. In A. Doan, A. Halevey, & N. Noy (Eds.), CEUR workshop proceedings: Semantic integration (Vol. 82). Available online at http://ceur-ws.org/Vol-82.

  • Patel-Scheider, P., McGuinness, D., Brachman, R., & Resnick, L. (1991). The CLASSIC knowledge representation system: Guiding principles and implementation rationale. ACM SIGART Bulletin, 2, 108–113.

    Google Scholar 

  • Shapiro, S. C. (2000). SNePS: A logic for natural language understanding and commonsense reasoning. In L. M. Iwanska & S. C. Shapiro (Eds.), Natural language processing and knowledge representation: Language for knowledge and knowledge for language. Menlo Park, CA/Cambridge, MA: AAAI Press/MIT Press.

  • Sowa J. F. (1984) Conceptual structures: Information processing in mind and machine. Addison-Wesley, Reading, MA

    Google Scholar 

  • W3C. (1995). RFC: 1808: Relative uniform resource locators (RFC 1808). Retrieved January 15, 2009 from the W3C web site: http://www.w3.org/Addressing/rfc1808.txt.

  • W3C. (2005). RFC 3986: Uniform resource identifier (URI): Generic syntax. Retrieved January 15, 2009 from the W3C web site: http://labs.apache.org/webarch/uri/rfc/rfc3986.html.

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Christopher Menzel.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Menzel, C. Knowledge representation, the World Wide Web, and the evolution of logic. Synthese 182, 269–295 (2011). https://doi.org/10.1007/s11229-009-9661-2

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11229-009-9661-2

Keywords

Navigation