Skip to main content
SpringerLink
Log in

The Logic of the Ontological Square

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

The Ontological Square is a categorial scheme that combines two metaphysical distinctions: that between types (or universals) and tokens (or particulars) on the one hand, and that between characters (or features) and their substrates (or bearers) on the other hand. The resulting four-fold classification of things comprises particular substrates, called substances, universal substrates, called kinds, particular characters, called modes or moments, and universal characters, called attributes. Things are joined together in facts by primitive ontological ties or nexus. This article describes a logic that is meant to capture the basic intuitions behind the Ontological Square. Given a minimal correspondence between atomic logical form and ontological structure, the commitment to nexus as a distinct ontological category entails a rehabilitation of copulae as ties of predication. Thus, the Logic of the Ontological Square is a copula calculus rather than a predicate calculus; its soundness and completeness can be established with respect to a model akin to a so-called first-order semantics for standard second-order logic.

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.

Similar content being viewed by others

References

  1. Ackrill J.L.: Aristotle’s Categories and De Interpretatione. Oxford University Press, Oxford (1963)

    Google Scholar 

  2. Ajdukiewicz K.: ‘Die syntaktische Konnexität’. Studia Philosophica 1, 1–27 (1935)

    Google Scholar 

  3. Angelelli I.: Studies on Gottlob Frege and Traditional Philosophy. Reidel, Dordrecht (1967)

    Google Scholar 

  4. Angelelli, I., ‘Accidents III: The Ontological Square’, in [9], vol. 1, 1991, 12–13.

  5. Armstrong D.M.: Universals. An Opinionated Introduction. Westview Press, Boulder, London (1989)

    Google Scholar 

  6. Bacon J.: Universals and Property Instances. The Alphabet of Being. Black-well, Oxford (1995)

    Google Scholar 

  7. Bergmann G.: Realism: A Critique of Brentano and Meinong. University of Wisconsin Press, Madison/WI (1967)

    Google Scholar 

  8. Bochenski I.M.: ‘Logic and Ontology’. Philosophy East and West 24, 275–292 (1974)

    Article  Google Scholar 

  9. Burkhardt, H., and B. Smith, Handbook of Metaphysics and Ontology, 2 vols., Munich, Vienna, Philosophia, 1991

  10. Campbell K.: Abstract Particulars. Blackwell, Oxford (1990)

    Google Scholar 

  11. Chen P.: ‘The Entity-Relationship Model - Toward a Unified View of Data’. ACM Transactions on Database Systems 1, 9–36 (1976)

    Article  Google Scholar 

  12. Cocchiarella, N., ‘Conceptual Realism as Formal Ontology’, in [37], 1996, 27–60.

  13. Cocchiarella N.: ‘Logic and Ontology’. Axiomathes 12, 117–150 (2001)

    Article  Google Scholar 

  14. Church A.: Introduction to Mathematical Logic. Princeton University Press, Princeton (1956)

    Google Scholar 

  15. Davidson, D., ‘The Logical Form of Action Sentences’, in [16], 1980, 105–148.

  16. Davidson D.: Essays on Actions and Events. Oxford University Press, Oxford (1980)

    Google Scholar 

  17. Degen W.: ‘Das onto-logische Sechseck’. Grazer Philosophische Studien 32, 113–12 (1988)

    Google Scholar 

  18. Degen, W., ‘Accidents IV: The Ontological Hexagon’, in [9], vol. 1, 1991, 13–15.

  19. Denkel A.: Object and Property. Cambridge University Press, Cambridge (1996)

    Google Scholar 

  20. Frege, G., ‘Function and Concept’, in [23], 1960, 21–41.

  21. Frege, G., ‘On Concept and Object”, in [23], 1960, 42–55.

  22. Gardies J.-L.: Esquisse d’une grammaire pure. Vrin, Paris (1975)

    Google Scholar 

  23. Geach, P., M. Black, M. (eds): Translations from the Philosophical Writings of Gottlob Frege. Blackwell, Oxford (1960)

    Google Scholar 

  24. Goldin-Meadow S. et al.: ‘The natural order of events: How speakers of different languages represent events nonverbally’. Proceedings of the National Academy of Sciences 105, 9163–9168 (2008)

    Article  Google Scholar 

  25. Grenon P., Smith B.: ‘SNAP and SPAN: Towards Dynamic Spatial Ontology’. Spatial Cognition and Computation 4, 69–104 (2004)

    Article  Google Scholar 

  26. Hossack K.: The Metaphysics of Knowledge. Oxford University Press, Oxford (2007)

    Google Scholar 

  27. Künne, W., ‘Properties in abundance’, in [49], 2006, 249–300.

  28. Landesman, C. (eds): The Problem of Universals. Basic Books, New York, London (1971)

    Google Scholar 

  29. Lowe E.J.: Kinds of Being. A Study of Individuation, Identity and the Logic of Sortal Terms. Blackwell, Oxford (1989)

    Google Scholar 

  30. Lowe E.J.: The Four Category Ontology. A Metaphysical Foundation for Natural Science. Oxford University Press, Oxford (2006)

    Google Scholar 

  31. Martin C.B.: ‘Substance Substantiated’. Australasian Journal of Philosophy 58, 3–10 (1980)

    Article  Google Scholar 

  32. Masolo, C., S. Borgo, A. Gangemi, N. Guarino, A. Oltramari, and L. Schneider, The Wonderweb Library of Foundational Ontologies, Padova, ISTC-CNR, 2002. http://www.loa-cnr.it/Papers/DOLCE2.1-FOL.pdf

  33. Moreland J.P.: Universals. Acumen, Chesham/Bucks. (2001)

    Google Scholar 

  34. Mulligan K., Simons P., Smith B.: ‘Truth-Makers’. Philosophy and Phenomenological Research 44, 287–321 (1984)

    Article  Google Scholar 

  35. Neuhaus, F., P. Grenon, and B. Smith, ‘A Formal Theory of Substances, Qualities and Universals’, in [54], 2004, 49–59.

  36. Parsons T.: Events in the Semantics of English: A Study in Subatomic Semantics. MIT Press, Cambridge/MA (1990)

    Google Scholar 

  37. Poli, R., Simons, P. (eds): Formal Ontology. Kluwer Academic Publishers, Dordrecht (1996)

    Google Scholar 

  38. Quine W.O.: Word and Object. MIT Press, Cambridge/MA (1960)

    Google Scholar 

  39. Reicher, M.E., Marek, J.C. (eds): Experience and Analysis. öbv&htp, Vienna (2005)

    Google Scholar 

  40. Rumbaugh J., Jacobson I., Booch G.: The Unified Modeling Language Reference Manual, 2nd edition. Addison Wesley, Boston/MA (2005)

    Google Scholar 

  41. Seargent D.A.J.: Plurality and Continuity: An Essay in G. F. Stout’s Theory of Universals. Martinus Nijhoff, Dordrecht (1985)

    Google Scholar 

  42. Shapiro S.: Foundations without Foundationalism: A Case for Second-Order Logic. Oxford University Press, Oxford (1991)

    Google Scholar 

  43. Simons P.: ‘Particulars in Particular Clothing: Three Trope Theories of Substance’. Philosophy and Phenomenological Research 65, 553–575 (1994)

    Article  Google Scholar 

  44. Smith B.: ‘On Substances, Accidents and Universals: In Defence of a Constituent Ontology’. Philosophical Papers 26, 105–127 (1997)

    Google Scholar 

  45. Smith, B., ‘Against Fantology’, in [39], 2005, 153–170.

  46. Stout, G. F., ‘The Nature of Universals and Propositions’, Proceedings of the British Academy 10 (1921). Reprinted in [28], 1971, 153–166.

  47. Stout, G. F., ‘Are the Characteristics of Particular Things Universal or Particular ?’, Proceedings of the Aristotelian Society suppl. vol. 3 (1923), 114–122. Reprinted in [28], 1971, 178–183.

  48. Strawson P.F.: Individuals: An Essay in Descriptive Metaphysics. Routledge, London (1959)

    Google Scholar 

  49. Strawson, P. F., and Chakrabarti, A. (eds.), Universals, concepts and qualities: new essays on the meaning of predicates, Ashgate, 2006.

  50. Stumpf C.: Erkenntnislehre: Erster Band. Verlag Johann Ambrosius Barth, Leipzig (1939)

    Google Scholar 

  51. Tarski A.: ‘Der Wahrheitsbegriff in den formalisierten Sprachen’. Studia Philosophica 1, 261–405 (1935)

    Google Scholar 

  52. Tarski A.: ‘The Semantic Conception of Truth: and the Foundations of Semantics’. Philosophy and Phenomenological Research 4, 341–376 (1944)

    Article  Google Scholar 

  53. van Heijenoort J.: ‘Logic as Language and Logic as Calculus’. Synthese 17, 324–330 (1967)

    Article  Google Scholar 

  54. Varzi, A., and L. Vieu (eds.), Formal Ontology in Information Systems. Proceedings of the Third International Conference (FOIS 2004), IOS Press, 2004.

  55. Vendler, Z., ‘Facts and Events’, in [56], 1967, 122–146.

  56. Vendler Z.: Linguistics in Philosophy. Cornell University Press, Cornell (1967)

    Google Scholar 

  57. Whitehead A.N., Russell B.: Principia Mathematica to *56. Cambridge University Press, Cambridge (1962)

    Google Scholar 

  58. Wiggings D.: ‘The Sense and Reference of Predicates: A Running Repair to Frege’s Doctrine and a Plea for the Copula in Frege’. Philosophical Quarterly 34, 311–328 (1984)

    Article  Google Scholar 

  59. Williams, D. C., ‘On the elements of being’, Review of Metaphysics 7 (1953), 3–18 & 171–192.

  60. Williams D.C.: ‘Universals and existents’. Australasian Journal of Philosophy 64, 1–14 (1986)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut Jean Nicod (CNRS/EHESS/ENS), École Normale Supérieure Pavillon Jardin, 29, rue d’Ulm, F-75005, Paris, France

    Luc Schneider

Authors
  1. Luc Schneider
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Luc Schneider.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Schneider, L. The Logic of the Ontological Square. Stud Logica 91, 25–51 (2009). https://doi.org/10.1007/s11225-009-9165-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-009-9165-6

Keywords

Search

Navigation