Skip to main content
SpringerLink
Log in
Book cover

Logic and the Organization of Information pp 121–163Cite as

A Logic for Organizing Information

  • Chapter
  • First Online:

  • 1178 Accesses

Abstract

First Order Logic is identified as being a valuable theoretical background to the organization of information. Various arguments are offered to that conclusion. The idea of abstraction or intensional abstraction is introduced as a means of formalizing concepts or types. The differences between classifying things and classifying information (or information objects) are explored. Suggestions are made on a logic for classification, in particular for the role of first order and second order properties. A logic for classification is developed and various examples and illustrations are provided. Features of common conditions for classification are discussed including: necessary and sufficient conditions, essential properties and natural kinds, determinate and indeterminate properties, violating taxonomic constraints, and jointly exclusive and pairwise disjoint (JEPD) properties. An account is given of the use of structured types for topics—this is related to earlier ideas of Shiyali Ranganathan. There is discussion of how links between topics might be established. Such links establish directed acyclic graphs (DAGs) or topics.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   54.99
Price excludes VAT (USA)
  • Durable hardcover 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

References

  • ANSI/NISO NISO (2005) ANSI/NISO Z39.19-2005: Guidelines for the construction, format, and management of monolingual controlled vocabularies. NISO Press, Bethesda

    Google Scholar 

  • Baader F, Horrocks I, Sattler U (2007) Description logics. In: van Harmelen F, Lifschitz V, Porter B (eds) Handbook of knowledge representation. Elsevier, Amsterdam, pp 135–179

    Google Scholar 

  • Baader F, McGuinness D, Nardi D (eds) (2003) The description logic handbook: theory, implementation, and applications. Cambridge University Press ebrary, Inc. Cambridge

    MATH  Google Scholar 

  • Bates MJ, Maack MN (2009) Encyclopedia of library and information sciences, 3rd edn. CRC Press, Boca Raton

    Google Scholar 

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

    Book  Google Scholar 

  • Bealer G (1998) Intensional entities. In: Craig E (ed) Routledge encyclopedia of philosophy, vol 4. Routledge, London, pp 803–807

    Google Scholar 

  • Blasius KH, Hedstuck U, Rollinger C-R (eds) (1989) Sorts and types in artificial intelligence. Lecture notes in AI, vol 418. Springer, Berlin

    Google Scholar 

  • Bloomfield I (1935) Language. Allen and Unwin, London

    Google Scholar 

  • Borko H (1977) Toward a theory of indexing. Inf Process Manage 13(6):355–365

    Article  Google Scholar 

  • Broughton V (2004) Essential classification. Neal-Schuman, New York

    Google Scholar 

  • Broughton V, Hansson J, Hjørland B, López-Huertas MJ (2005) Knowledge organization. In: Kajberg L, Lørring L (eds) European curriculum reflections on library and information science education. Royal School of Library and Information Science, Copenhagen, pp 133–148

    Google Scholar 

  • Buchanan B (1979) Theory of library classification. Clive Bingley, London

    Google Scholar 

  • Chierchia G, McConnell-Ginet S (1990) Meaning and grammar: an introduction to semantics. The MIT Press, Cambridge

    Google Scholar 

  • Cutter CA (1904) Rules for a dictionary catalog, 4th edn. U.S. Government Printing Office, Washington

    Google Scholar 

  • Dickens C (1836) The posthumous papers of the pickwick club. 1943 edn. The Modern Library, New York

    Google Scholar 

  • Enderton HB (2009) Second-order and higher-order logic. In: Zalta EN (ed) The stanford encyclopedia of philosophy (Spring 2009 edn)

    Google Scholar 

  • Foskett AC (1977) Subject approach to information, 3rd edn. Clive Bingley, London

    Google Scholar 

  • Frické M (2005) Software and Tutorials for instruction in Logic. http://SoftOption.Us. Accessed 29 Dec 2009

  • Guarino N, Welty C (2002) Identity and subsumption. In: Green R, Bean CA, Myaeng SH (eds) The semantics of relationships: an interdisciplinary perspective. Kluwer, Dordrecht, pp 111–126

    Google Scholar 

  • Hjørland B (2006) Aspect or discipline versus entity or phenomena or “one place” classification. http://www.iva.dk/bh/lifeboat_ko/concepts/aspect_classification.htm. Accessed 10 Oct 2010

  • Hjørland B (2008) Lifeboat for knowledge organization. http://www.iva.dk/bh/lifeboat_ko/home.htm. Accessed 10 Oct 2010

  • Hovda P (2009) What is classical mereology? J Philos Logic 38:55–82

    Article  MathSciNet  MATH  Google Scholar 

  • Kriesel G, Krivine JL (1971) Elements of mathematical logic. North-Holland, Amsterdam

    Google Scholar 

  • Ladenson A (1953) Applications and limitations of subject headings: the social sciences. In: Tauber MF (ed) The subject analysis of library materials. Columbia University, New York

    Google Scholar 

  • Manzano M (1993) Introduction to many-sorted logic. In: many-sorted logic and its applications. Wiley, New York, pp 3–86

    Google Scholar 

  • Manzano M (1996) Extensions of first-order logic. Cambridge University Press, Cambridge

    MATH  Google Scholar 

  • Mills J, Broughton V (1977) Bliss bibliographic classification. 2nd edn. Introduction and Auxiliary Schedules. Butterworths

    Google Scholar 

  • NISO (2005) NISO Standards: Z39.19. http://www.niso.org/standards/resources/Z39-19.html. Accessed 10 Oct 2010

  • NLM US (2009) Using medical subject headings (MeSH®) in Cataloging. http://www.nlm.nih.gov/tsd/cataloging/trainingcourses/mesh/index.html. Accessed 10 Oct 2010

  • NLM US (2011) Use of medical subject headings for cataloging–2011. http://www.nlm.nih.gov/mesh/catpractices.html. Accessed 10 Oct 2010

  • Norvig P (1992) Paradigms of artificial intelligence programming: case studies in common lisp. Morgan Kaufmann, San Mateo

    Google Scholar 

  • Oberschelp A (1990) Order-sorted predicate logic. In: Blasius KH, Hedstuck U, Rollinger C-R (eds) Sorts and types in artificial intelligence. Springer, Berlin

    Google Scholar 

  • Parsons T (1970) Some problems concerning the logic of grammatical modifiers. Synthese 21:320–334

    Article  MATH  Google Scholar 

  • Pribbenow S (2002) Meronymic relationships: from classical mereology to complex part-whole relations. In: Green R, Bean CA, Myaeng SH (eds) The semantics of relationships: an interdisciplinary perspective. Kluwer Academic Publishers, Dordrecht, pp 34–50

    Google Scholar 

  • Ranganathan SR (1937) Prolegomena to library classification. 3rd ed. 1967; 1st ed. 1937 edn. The Madras library association, Madras

    Google Scholar 

  • Ranganathan SR (1951) Philosophy of library classification. Munksgaard, Copenhagen

    Google Scholar 

  • Ranganathan SR (1960) Colon classification. Ranganathan series in library science, 4, 6 edn. Asia Pub. House, London

    Google Scholar 

  • Ranganathan SR (1962) Elements of library classification, 3rd edn. Asia Publishing House, Bombay

    Google Scholar 

  • Rogers FB (1960) Review of taube, mortimer. Studies in coordinate indexing. Bull Med Libr Assoc 42:380–384 (July 1954)

    Google Scholar 

  • Salton G (1962) Manipulation of trees in information retrieval. Commun ACM 5(2):103–114

    Article  MATH  Google Scholar 

  • Salton G (1968) Automatic information organization and retrieval. McGraw Hill, New York

    Google Scholar 

  • Salton G (1975) A theory of indexing. Regional conference series in applied mathematics, society for industrial and applied mathematics. Philadelphia

    Google Scholar 

  • Simons P (1987) Parts. A study in ontology. Clarendon Press, Oxford

    Google Scholar 

  • Smith B (2004) The logic of biological classification and the foundations of biomedical ontology. In: Westerståhl D (ed) Invited Papers from the 10th International Conference in Logic Methodology and Philosophy of Science, Oviedo, Spain, 2003. Elsevier North Holland

    Google Scholar 

  • Sowa JF (2000) Knowledge representation: logical, philosophical, and computational foundations. Brooks/Cole, Pacific Grove

    Google Scholar 

  • Thalheim B (2000) Entity-relationship modeling: foundations of database technology. Springer, New York

    MATH  Google Scholar 

  • Tillett BB (2009) Definition of aggregates as works: tillett proposal. http://www.ifla.org/files/cataloguing/frbrrg/aggregates-as-works.pdf. Accessed 10 Oct 2010

  • Varzi A (2009) Mereology. http://plato.stanford.edu/archives/sum2009/entries/mereology/. Accessed 10 Oct 2010

  • Vickery BC (1975) Classification and indexing in science, 3rd edn. Butterworths, London

    Google Scholar 

  • Vickery BC (2008) Faceted classification for the web. Axiomathes 18(2):145–160

    Article  Google Scholar 

  • Wang H (1952) Logic of many-sorted theories. J Symbolic Logic 17(2):105–116

    Article  MathSciNet  MATH  Google Scholar 

  • Welty C, Guarino N (2001) Supporting ontological analysis of taxonomic relationships. Data Knowl Eng 39:51–74

    Article  MATH  Google Scholar 

  • Zeng ML (2005) Construction of controlled vocabularies, a primer (based on Z39.19). http://www.slis.kent.edu/~mzeng/Z3919/index.htm. Accessed 10 Oct 2010

Download references

Author information

Authors and Affiliations

  1. School of Information Resources and Library Science, The University of Arizona, Tucson, AZ, USA

    Martin Frické

Authors
  1. Martin Frické
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer Science+Business Media New York

About this chapter

Cite this chapter

Frické, M. (2012). A Logic for Organizing Information. In: Logic and the Organization of Information. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-3088-9_4

Download citation

  • DOI: https://doi.org/10.1007/978-1-4614-3088-9_4

  • Published:

  • Publisher Name: Springer, New York, NY

  • Print ISBN: 978-1-4614-3087-2

  • Online ISBN: 978-1-4614-3088-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation