Abstract
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.
Similar content being viewed by others
Bibliography
Armstrong, D.M.: 1978, Universals and Scientific Realism, Cambridge University Press, Cambridge, 2 vols.
Brentano, F.: 1930, Wahrheit und Evidenz, ed. by O. Kraus, Meiner, Leipzig, Eng. trans. The True and the Evident, Routledge, London, 1966.
Carroll, L.: 1977, Symbolic Logic, Harvester, Hassocks.
Cocchiarella, N. B.: 1974, ‘Formal Ontology and the Foundations of Mathematics’, in G. Nahknikian (ed.), Bertrand Russell's Philosophy, Duckworth, London.
Dummett, M.: 1959, ‘Review [of writings by and on Boole]’, Journal of Symbolic Logic 24, 203–9.
Dummett, M.: 1973, Frege, Philosophy of Language, Duckworth, London.
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.
Goodman, N.: 1966, The Structure of Appearance, 2nd ed., Bobbs-Merrill, New York.
Grossmann, R.: 1974, Meinong (The Arguments of the Philosophers), Routledge, London.
Hacking, I.: 1978, ‘On the Reality of Existence and Identity’, Canadian Journal of Philosophy 8, 613–32.
Hacking, I.: 1979, ‘What is Logic?’, Journal of Philosophy 76, 285–319.
Harrison, B.: 1973, Form and Content, Blackwell, Oxford.
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.
Husserl, E.: 1900/01, Logische Untersuchungen, 1st ed., Niemeyer, Halle; Eng. trans. of 2nd ed., Logical Investigations, Routledge, London, 1970.
Husserl, E.: 1901, ‘Gebiet eines Axiomensystems/Axiomensystem-Operationssystem’, first publ. in Vol. XII of Husserl's collected works.
Husserl, E.: 1929, Formale und transzendentale Logik, Niemeyer, Halle; Engl. trans., Formal and Transcendental Logic, Nijhoff, The Hague, 1969.
Ingarden, R.: 1964/65, Der Streit um die Existenz der Welt, 2 vols., the 2nd in 2 parts, Niemeyer, Tübingen.
Kenny, A.: 1980, Aquinas, Oxford University Press, Oxford.
Köhler, W.: 1920, Die physischen Gestalten in Ruhe und im stationären Zustand, eine naturphilosophische Untersuchung, Vieweg, Braunschweig.
Kotarbiński, T.: 1966, Gnosiology. The Scientific Approach to the Theory of Knowledge, Pergamon, London.
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.
Löwenheim, L.: 1940, ‘Einkleidung der Mathematik im Schröderschen Relativkalkul’, Journal of Symbolic Logic 5, 1–15.
Meinong, A.: 1906, Über die Erfahrungsgrundlagen unseres Wissens, Springer, Berlin; repr. in Vol. V of the Gesamtausgabe of Meinong's works.
Mulligan, K.: 1980, Representation and Ontology in Austro-German Philosophy, Dissertation, University of Manchester.
Rausch, E.: 1937, ‘Über Summativität und Nichtsummativität’, Psychologische Forschung 21, 209–89; repr. Darmstadt: Wissenschaftliche Buchgesellschaft, 1967.
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.
Reinach, A.: 1913, ‘Die apriorischen Grundlagen des bürgerlichen Rechts’, Jahrbuch für Philosophie und phänomenologische Forschung 1, 685–847.
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.
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.
Schröder, F. W. K. E.: 1966, Vorlesungen über die Algebra der Logik, 2nd ed., Chelsea, New York.
Simons, P.M.: 1982, ‘The Formalisation of Husserl's Theory of Wholes and Parts’, in Smith (ed.), (1982), 113–59.
Smiley, T. J. and Shoesmith, D. J.: 1978, Multiple Conclusion Logic, Cambridge University Press, Cambridge.
Smith, B.: 1978, ‘An Essay in Formal Ontology’, Grazer Philosophische Studien 6, 39–62.
Smith, B.: 1981, ‘Logic, Form and Matter’, Aristotelian Society (Supplementary Volume), 55, 47–63.
Smith, B.: 1982, ‘Introduction to Adolf Reinach, On the Theory of the Negative Judgment’, in Smith (ed.), (1982), 289–313.
Smith, B. (ed.): 1982, Parts and Moments. Studies in Logic and Formal Ontology, Philosophia, Munich.
Smith, B. and Mulligen, K.: 1982, ‘Pieces of a Theory’, Introduction to Smith (ed.), (1982), 15–109.
Stout, G. F.: 1918, ‘Do Finite Individuals Possess a Substantive or an Adjectival Mode of Being?’, Aristotelian Society (Supplementary Volume), 55, 127–48.
Strawson, P. F.: 1959, Individuals. An Essay in Descriptive Metaphysics, Methuen, London.
Stumpf, C.: 1873, Über den psychologischen Ursprung der Raumvorstellung, Hirzel, Leipzig.
Tugendhat, E.: 1976, Vorlesungen zur Einführung in die sprachanalytische Philosophie, Suhrkamp, Frankfurt.
Williams, D. C.: 1953, ‘The Elements of Being’, Review of Metaphysics 6, 3–18 and 171–93.
Wittgenstein, L.: 1961, Tractatus Logico-Philosophicus, Routledge, London.
Rights and permissions
About this article
Cite this article
Smith, B., Mulligan, K. Framework for formal ontology. Topoi 2, 73–85 (1983). https://doi.org/10.1007/BF00139703
Issue Date:
DOI: https://doi.org/10.1007/BF00139703