Framework for formal ontology

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.

[1]  Karl Stumpf,et al.  Über den psychologischen Ursprung der Raumvorstellung , 1873 .

[2]  A. Bennett.  Meinong's Theory of Complexes and Assumptions. , 1905 .

[3]  A. Meinong.  Über die Erfahrungsgrundlagen unseres Wissens , 1906 .

[4]  A. Reinach.  Zur Theorie des negativen Urteils , 1911 .

[5]  Adolf Reinach,et al.  Die apriorischen Grundlagen des bürgerlichen Rechtes , 1913 .

[6]  G. Stout,et al.  XIX.—Symposium: Do Finite Individuals Possess a Substantive or an Adjectival Mode of Being? , 1918 .

[7]  W. Köhler.  Die physischen Gestalten in Ruhe und im stationären Zustand : eine naturphilosophische Untersuchung , 1920 .

[8]  L. Wittgenstein.  Tractatus Logico-Philosophicus , 2021, Nordic Wittgenstein Review.

[9]  G. Gentzen.  Untersuchungen über das logische Schließen. I , 1935 .

[10]  Edwin Rausch.  Über Summativität und Nichtsummativität , 1937 .

[11]  Leopold Lowenheim,et al.  Einkleidung der Mathematik in Schröderschen Relativkalkül , 1940, J. Symb. Log..

[12]  N. Goodman,et al.  The Structure of Appearance. , 1953 .

[13]  Donald C. Williams.  The Elements of Being , 1953 .

[14]  J. Burnheim.  Individuals: An Essay in Descriptive Metaphysics , 1959 .

[15]  Michael Dummett.  Review: A. E. Heath, Studies in Logic and Probability , 1959 .

[16]  G. Ryle.  Letters and Syllables in Plato , 1960 .

[17]  S. Gaetesantander.  [FORM AND CONTENT]. , 1964, Actas luso-espanolas de neurologia y psiquiatria.

[18]  C. Pinder,et al.  Gnosiology: The Scientific Approach to the Theory of Knowledge , 1966 .

[19]  E. Schröder.  Vorlesungen uber die Algebra der Logik , 1967 .

[20]  D. B. Terrell.  THE TRUE AND THE EVIDENT , 1967 .

[21]  M. Dummett.  Frege: Philosophy of Language , 1973 .

[22]  F. Brentano.  Wahrheit und Evidenz , 1974 .

[23]  Ernst Tugendhat.  Vorlesungen zur Einführung in die sprachanalytische Philosophie , 1976 .

[24]  Edmund Husserl,et al.  Formale und transzendentale Logik , 1977 .

[25]  Barry Smith.  AN ESSAY IN FORMAL ONTOLOGY , 1978 .

[26]  D. J. Shoesmith,et al.  Multiple-Conclusion Logic , 1978 .

[27]  D. Armstrong.  Universals and scientific realism , 1978 .

[28]  Peter F. Strawson,et al.  Individuals: An Essay in Descriptive Metaphysics , 1979 .

[29]  Barry Smith,et al.  LOGIC, FORM AND MATTER , 1981 .

[30]  Introduction to Adolf Reinach, ‘On the Theory of the Negative Judgment’ , 1982 .

[31]  A. Hazen.  On the Reality of Existence and Identity , 1985, Canadian Journal of Philosophy.

[32]  Barry Smith,et al.  Parts and Moments: Studies in Logic and Formal Ontology , 1985 .

[33]  Barry Smith,et al.  Parts and Moments: Studies in Logic and Formal Ontology. , 1985 .