, Volume 2, Issue 1, pp 73–85 | Cite as

Framework for formal ontology

  • Barry Smith
  • Kevin Mulligan


The discussions which follow rest on a distinction, first expounded by Husserl, between formal logic and formal ontology. The former concerns itself with (formal) meaning-structures; the latter with formal structures amongst objects and their parts. The paper attempts to show how, when formal ontological considerations are brought into play, contemporary extensionalist theories of part and whole, and above all the mereology of Leśniewski, can be generalised to embrace not only relations between concrete objects and object-pieces, but also relations between what we shall call dependent parts or moments. A two-dimensional formal language is canvassed for the resultant ontological theory, a language which owes more to the tradition of Euler, Boole and Venn than to the quantifier-centred languages which have predominated amongst analytic philosophers since the time of Frege and Russell. Analytic philosophical arguments against moments, and against the entire project of a formal ontology, are considered and rejected. The paper concludes with a brief account of some applications of the theory presented.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Armstrong, D.M.: 1978, Universals and Scientific Realism, Cambridge University Press, Cambridge, 2 vols.Google Scholar
  2. Brentano, F.: 1930, Wahrheit und Evidenz, ed. by O. Kraus, Meiner, Leipzig, Eng. trans. The True and the Evident, Routledge, London, 1966.Google Scholar
  3. Carroll, L.: 1977, Symbolic Logic, Harvester, Hassocks.Google Scholar
  4. Cocchiarella, N. B.: 1974, ‘Formal Ontology and the Foundations of Mathematics’, in G. Nahknikian (ed.), Bertrand Russell's Philosophy, Duckworth, London.Google Scholar
  5. Dummett, M.: 1959, ‘Review [of writings by and on Boole]’, Journal of Symbolic Logic 24, 203–9.CrossRefGoogle Scholar
  6. Dummett, M.: 1973, Frege, Philosophy of Language, Duckworth, London.Google Scholar
  7. Gentzen, G.: 1935, ‘Untersuchungen über das logische Schliessen’, Mathematisches Zeitschrift 39, 176–210, 405–31; Eng. trans. in The Collected Papers of Gerhard Gentzen, North-Holland, Amsterdam, 1969, pp. 68–131.CrossRefGoogle Scholar
  8. Goodman, N.: 1966, The Structure of Appearance, 2nd ed., Bobbs-Merrill, New York.Google Scholar
  9. Grossmann, R.: 1974, Meinong (The Arguments of the Philosophers), Routledge, London.Google Scholar
  10. Hacking, I.: 1978, ‘On the Reality of Existence and Identity’, Canadian Journal of Philosophy 8, 613–32.Google Scholar
  11. Hacking, I.: 1979, ‘What is Logic?’, Journal of Philosophy 76, 285–319.CrossRefGoogle Scholar
  12. Harrison, B.: 1973, Form and Content, Blackwell, Oxford.Google Scholar
  13. Husserl, E.: 1891, Philosophie der Arithmetik. Psychologische und logische Studien, Vol. I (only volume published), Pfeffer, Halle, repr. in Vol. XII of Husserl's collected works.Google Scholar
  14. Husserl, E.: 1900/01, Logische Untersuchungen, 1st ed., Niemeyer, Halle; Eng. trans. of 2nd ed., Logical Investigations, Routledge, London, 1970.Google Scholar
  15. Husserl, E.: 1901, ‘Gebiet eines Axiomensystems/Axiomensystem-Operationssystem’, first publ. in Vol. XII of Husserl's collected works.Google Scholar
  16. Husserl, E.: 1929, Formale und transzendentale Logik, Niemeyer, Halle; Engl. trans., Formal and Transcendental Logic, Nijhoff, The Hague, 1969.Google Scholar
  17. Ingarden, R.: 1964/65, Der Streit um die Existenz der Welt, 2 vols., the 2nd in 2 parts, Niemeyer, Tübingen.Google Scholar
  18. Kenny, A.: 1980, Aquinas, Oxford University Press, Oxford.Google Scholar
  19. Köhler, W.: 1920, Die physischen Gestalten in Ruhe und im stationären Zustand, eine naturphilosophische Untersuchung, Vieweg, Braunschweig.Google Scholar
  20. Kotarbiński, T.: 1966, Gnosiology. The Scientific Approach to the Theory of Knowledge, Pergamon, London.Google Scholar
  21. Künne, W.: 1982, ‘Criteria of Abstractness. The Ontologies of Husserlx, Fregex and Strawson Against the Background of Classical Metaphysics’, in Smith ed., (1982), 401–37.Google Scholar
  22. Löwenheim, L.: 1940, ‘Einkleidung der Mathematik im Schröderschen Relativkalkul’, Journal of Symbolic Logic 5, 1–15.CrossRefGoogle Scholar
  23. Meinong, A.: 1906, Über die Erfahrungsgrundlagen unseres Wissens, Springer, Berlin; repr. in Vol. V of the Gesamtausgabe of Meinong's works.Google Scholar
  24. Mulligan, K.: 1980, Representation and Ontology in Austro-German Philosophy, Dissertation, University of Manchester.Google Scholar
  25. Rausch, E.: 1937, ‘Über Summativität und Nichtsummativität’, Psychologische Forschung 21, 209–89; repr. Darmstadt: Wissenschaftliche Buchgesellschaft, 1967.CrossRefGoogle Scholar
  26. Reinach, A.: 1911, ‘Zur Theorie des negativen Urteils’, in Pfänder (ed.), Münchener Philosophische Abhandlungen, Barth, Leipzig; as repr. in Reinach, Gesammelte Schriften, Niemeyer, Halle, 1921, pp. 56–120; Eng. trans. in Smith (ed.), (1982), 315–77.Google Scholar
  27. Reinach, A.: 1913, ‘Die apriorischen Grundlagen des bürgerlichen Rechts’, Jahrbuch für Philosophie und phänomenologische Forschung 1, 685–847.Google Scholar
  28. Russell, B. A. W.: 1904, ‘Meinong's Theory of Complexes and Assumptions’, Part I, Mind, n.s. 13, 204–19, as repr. in Russell, Essays in Analysis, Allen and Unwin, London, 1973, pp. 21–37.Google Scholar
  29. Ryle, G.: 1960, ‘Letters and Syllables in Plato’, Philosophical Review 69, as repr. in Ryle's Collected Papers, I, Hutchinson, London, 1971, pp. 54–71.Google Scholar
  30. Schröder, F. W. K. E.: 1966, Vorlesungen über die Algebra der Logik, 2nd ed., Chelsea, New York.Google Scholar
  31. Simons, P.M.: 1982, ‘The Formalisation of Husserl's Theory of Wholes and Parts’, in Smith (ed.), (1982), 113–59.Google Scholar
  32. Smiley, T. J. and Shoesmith, D. J.: 1978, Multiple Conclusion Logic, Cambridge University Press, Cambridge.Google Scholar
  33. Smith, B.: 1978, ‘An Essay in Formal Ontology’, Grazer Philosophische Studien 6, 39–62.Google Scholar
  34. Smith, B.: 1981, ‘Logic, Form and Matter’, Aristotelian Society (Supplementary Volume), 55, 47–63.Google Scholar
  35. Smith, B.: 1982, ‘Introduction to Adolf Reinach, On the Theory of the Negative Judgment’, in Smith (ed.), (1982), 289–313.Google Scholar
  36. Smith, B. (ed.): 1982, Parts and Moments. Studies in Logic and Formal Ontology, Philosophia, Munich.Google Scholar
  37. Smith, B. and Mulligen, K.: 1982, ‘Pieces of a Theory’, Introduction to Smith (ed.), (1982), 15–109.Google Scholar
  38. Stout, G. F.: 1918, ‘Do Finite Individuals Possess a Substantive or an Adjectival Mode of Being?’, Aristotelian Society (Supplementary Volume), 55, 127–48.Google Scholar
  39. Strawson, P. F.: 1959, Individuals. An Essay in Descriptive Metaphysics, Methuen, London.CrossRefGoogle Scholar
  40. Stumpf, C.: 1873, Über den psychologischen Ursprung der Raumvorstellung, Hirzel, Leipzig.Google Scholar
  41. Tugendhat, E.: 1976, Vorlesungen zur Einführung in die sprachanalytische Philosophie, Suhrkamp, Frankfurt.Google Scholar
  42. Williams, D. C.: 1953, ‘The Elements of Being’, Review of Metaphysics 6, 3–18 and 171–93.Google Scholar
  43. Wittgenstein, L.: 1961, Tractatus Logico-Philosophicus, Routledge, London.Google Scholar

Copyright information

© D. Reidel Publishing Co. 1983

Authors and Affiliations

  • Barry Smith
  • Kevin Mulligan

There are no affiliations available

Personalised recommendations