Ontology. A Resource Guide for Philosophers
by Raul Corazzon
raul.corazzon[at]formalontology.it
by Raul Corazzon
raul.corazzon[at]formalontology.it
If you want an overview of the content, you can see the Site Map
Pages updated in the last six months: Last update October 20, 2008
Introduction
A definition of "ontology"
Ontology is the theory of objects and their ties. Ontology provides criteria for distinguishing various types of objects (concrete and abstract, existent and non-existent, real and ideal, independent and dependent) and their ties (relations, dependences and predication).
We can distinguish: a) formal, b) descriptive and c) formalized ontologies.
a) Formal ontology was introduced by Edmund Husserl in his Logical Investigations (1): according to Husserl, the true method of ontology is the eidetic reduction coupled with the method of categorial intuition. The ontology studies the genera of being, the leading regional concepts, i.e., the categories. The phenomenological ontology is divided into two: (1)Formal Ontology, and (2) Regional, or Material, Ontologies.
The former investigates the problem of truth on three basic levels: (a) Formal Apophantics, or formal logic of judgments, where the a priori conditions for the possibility of the doxic certainty of reason are to be sought, along with the (b) synthetic forms for the possibility of the axiological, and (c) "practical" truths. In other words, formal ontology is divided into formal logic, formal axiology, and formal praxis.
"In contemporary philosophy, formal ontology has been developed in two principal ways. The first approach has been to study formal ontology as a part of ontology, and to analyze it using the tools and approach of formal logic: from this point of view formal ontology examines the logical features of predication and of the various theories of universals. The use of the specific paradigm of the set theory applied to predication, moreover, conditions its interpretation.
This approach is best exemplified by Nino Cocchiarella; according to whom 'Formal Ontology is the result of combining the intuitive, informal method of classical ontology with the formal, mathematical method of modern symbolic logic, and ultimately of identifying them as different aspects of one and the same science. That is, where the method of ontology is the intuitive study of the fundamental properties, modes, and aspects of being, or of entities in general, and the method of modern symbolic logic is the rigorous construction of formal, axiomatic systems, formal ontology, the result of combining these two methods, is the systematic, formal, axiomatic development of the logic of all forms of being. As such, formal ontology is a science prior to all others in which particular forms, modes, or kinds of being are studied.'(2)
he second line of development returns to its Husserlian origins and analyses the fundamental categories of object, state of affairs, part, whole,
and so forth, as well as the relations between parts and the whole and their laws of dependence - once all material concepts have been replaced by their correlative form
concepts relative to the pure 'something'. This kind of analysis does not deal with the problem of the relationship between formal ontology and material ontology." (3)
b) Descriptive ontology concerns the collection of information about the list of objects that can be dependent or independent items (real or ideal).c) Formalized
ontology attempts to constructs a formal codification for the results descriptively acquired at the preceding levels.
Metaphysics, Theory of Objects, and Ontology
Metaphysics is the science that studies being in general (Aristotle), in other words it considers reality, which is to say existent or actual objects; according to Meinong, the theory of objects is an a priori science which concerns the whole of what is given, existent or non-existent. Existent objects must be distinguished from subsistent or ideal objects, such as identity, diversity, or number. Existence and subsistence are the two forms of being, whereas the 'pure object' considered in the theory of objects is beyond being and non-being (On the theory of objects, 1904).
Before Meinong, the Polish philosopher Twardowski developed, according to Ingarden, in his On the content and object of presentations. A psychological investigation (1894), "the first consistently constructed theory of objects manifesting a certain theoretical unity since the times of Scholasticism and of the 'Ontology' of Christian Wolff [1729]." (4)
"The relationship between Husserl's conception of ontology and the 'theory of objects' of Meinong has long been misunderstood. As conceived in the Logical Investigations [1900], the idea of ontology is not eidetic science of objects. The mathesis universalis is accordingly an ontology (only the word is avoided in the first edition). It is characterized as the a priori science of objects in general, and correlatively of meanings in general, i.e., of meanings which refer to objects in general. Inasmuch as that is brought out clearly in both volumes, Husserl observes that no one is justified in trying to instruct him with regard to the 'object-theoretical' character of formal logic and mathematics. Indeed, the third investigation is explicitly declared to belong to the 'a priori theory of objects as such,' and Husserl suggests that it is this passage that led to the formation of the undesirable expression 'Gegenstandstheorie [Theory of objects].' Ontology, or the theory of objects in the present sense, not only comprises all that relates to the field of the pure mathesis universalis, but includes the first volume as well as the third and fourth investigations of the second volume." (5)
Formal Ontology as a Characteristica Universalis
"A system of logic can be constructed under two quite different aspects. On the one hand, it can he developed as a formal calculus and studied independently of whatever content it might be used to represent, Such a formal system in that case is only a calculus ratiocinator. On the other hand, a system of logic can be constructed somewhat along the lines of what Leibniz, called a characteristica universalis. Such a system, according to Leibniz, was to serve three main purposes. The first was that of an international auxiliary language that would enable the people of different countries to speak and communicate with one another. Apparently, because Latin was no longer a "living" language and new trade routes were opening up to lands with many different local languages, the possibility of such an international auxiliary language was widely considered and discussed in the 17th and 18th centuries.(...)
In any case notwithstanding its visionary goal, the idea of an international auxiliary language is not the purpose of a formal ontology. The second and third purposes Leibniz set for his characteristica universalis are what distinguish it from its precursors and give his program its formal or logistic methodology. The second purpose that the universal character is to be based upon an ars combinatoria, i.e. an ideography or system of symbolization, that would enable it to provide a logical analysis of all of the actual and possible concepts that might arise in science, Such an ars combinatoria would contain both a theory of logical form, i.e., a theory of all the possible forms that a meaningful expression might have in such a language, and a theory of definitional forms, i.e., a theory of the operations whereby one could construct new concepts on the basis of already given concepts. The third purpose was that the universal character must contain a calculus ratiocinator, and in particular a complete system of deduction and valid argument forms, by which, through a study of the consequences, or implications, of what was already known, it could serve as au instrument of knowledge. These two purposes are central to the notion of a formal ontology." (6)
Different approaches to ontology
I give also two definition of ontology from philosophers of the Analytic tradition:
"Ontology is intimately related to metaphysics, the theory of ultimate categories of things. Andronicus of Rhodes coined meta ta physica as meaning the writings coming "after the physics" in his collation of Aristotle, but metaphysics is really is really the study with which those writings deal. Some might say that the categories are ultimate differentiations of being and that ontology is the study of undifferentiated being. Now insofar as metaphysics is the study of the nature and existence of broad categories of things, ontology is a branch of metaphysics by logical courtesy. It deals, paradoxically, with the nature and existence of the "category" of undifferentiated being. But strictly speaking, ontology is transcategorial. Of course, if we say, "To be is to be material," we do equate the study of being with the study of matter. But the equation is transcategorial in its very elimination of all categories other than matter. Of course, some ontologists admit different kinds or degrees of being. But even if every metaphysical category is also a kind of being and vice versa, so that the words "metaphysics" and " ontology" are co-extensive, those words are still not synonymous. Certainly when they are used as I have explained them, they are not intersubstitutable salva veritate in every context of discussion.
What does the objective world include? Common-sensically, it divides into many objects: the Sun, the Moon, stars, trees, people, and so on. We also speak and think about thoughts, smiles, numbers, and many other things. There are many similarities and differences among all these things, and this makes hierarchies of classifications possible. Leo the lion and Felix the cat are both feline, and so on. Insofar as our classificatory purposes may vary, the genera of one system may be the differentia of another. Humans compared to cats are generically animal and differentially rational; humans compared to angels are generically rational and differentially animal.(...)
Any system of classifications, on pain of admitting an infinite series of classifications, will end with summa genera or ultimate classifications. This is the level of metaphysical categories. Where change consists of something of a given kind losing old properties and acquiring new ones, nothing can conceivably change in its metaphysical category. It is conceivable that Socrates can fall asleep, learn things, or even change into a rock or tree. But it is not conceivable that Socrates can change into time or into a number. We are not able to describe such transitions because we find nothing generically underlying them to persist through or undergo the transition. Perhaps that is only because such logic-metaphysical substrata have not been found yet in any plausible classificatory system. But I suspect the reason is that our most fundamental classifications are, at least in part, correct." (7)
"The word "ontology" has four established meanings in philosophy. There are two intersecting sets of distinctions. Pure philosophical ontology is different from applied scientific ontology, and ontology in the applied scientific sense can be understood either as a discipline or a domain.
Ontology as discipline is a method or activity of enquiry into philosophical problems about the concept or facts of existence. Ontology as a domain is the outcome or subject matter of ontology as a discipline. Applied scientific ontology construed as an existence domain can be further subdivided as the theoretical commitment to a preferred choice of existent entities, or to the real existent entities themselves, including the actual world considered as a whole, also known as the extant domain. Ontology as a theoretical domain is thus a description or inventory of the things that are supposed to exist according to a particular theory, which might but need not be true. Ontology as the extant domain, in contrast, is the actual world of all real existent entities, whatever these turn out to be, identified by a true complete applied ontological theory. As a result, we must be careful in reading philosophical works on ontology, when an author speaks of "ontology" without qualification, not to confuse the intended sense of the word with any of the alternatives." (8)
Notes to the Introduction
(1) "To the best of my knowledge, the idea of a formal ontology makes its first literary appearance in Volume I of my Logische Untersuchungen (1900), [Chapter 11, The idea of pure logic] in connexion with the attempt to explicate systematically the idea of a pure logic -- but not yet does it appear there under the name of formal ontology, which was introduced by me only later. The Logische Untersuchungen as a whole and, above all, the investigations in Volume II ventured to take up in a new form the old idea of an apriori ontology -- so strongly interdicted by Kantianism and empiricism — and attempted to establish it, in respect of concretely executed portions, as an idea necessary to philosophy." E. Husserl - Formal and transcendental logic (1929) - English translation: The Hague, Martinus Nijhoff, 1969 § 27 p. 86
(2) Formal Ontology, in: Barry Smith, Hans Burkhardt (eds.) - Handbook of Metaphysics and Ontology - Philosophia Verlag, Munich, 1991 p. 640.
(3) Liliana Albertazzi - Formal and material ontology, in: Roberto Poli, Peter Simons (eds.) - Formal Ontology - Kluwer 1996 p. 199 (notes omitted)
(4) Roman Ingarden, The scientific activity of Kazimierz Twardowski - Studia Philosophica, 1947 pp. 23.
(5) Marvin Farber - The foundation of phenomenology. Edmund Husserl and the quest for a rigorous science of philosophy - Cambridge, Harvard University Press, 1943; reprinted Frankfurt, Ontos Verlag, 2006 pp. 205-206
(6) Nino Cocchiarella - Formal ontology and conceptual realism - Dordrecht, Kluwer, 2007 pp. 4-5.
(7) Jan Dejnozka - The ontology of the analytics tradition and its origins. Realism and identity in Frege, Russell, Wittgenstein and Quine - New York, Rowman & Littlefield, 1996, p. 7.
(8) Dale Jacquette - Ontology - Montreal, Mc-Gill-Queens's University Press, 2002, pp. 2-3.
Main Currents of Contemporary Ontology
After Kant's rejection of the possibility of a general ontology (1), Bernard Bolzano was the first philosopher who contributed to the new ontological turn, but is work was rediscovered only in the Twentieth century by Husserl (2).
Bolzano's work influenced both Husserl (a disciple of Franz Brentano) and Frege, that are at the origins of the main traditions of contemporary ontology: the Phenomenological , the Analytical, and the Austro-Polish (Brentano was also the teacher of Twardowski, the founder of the Lvov-Warsaw School).
The first work of Brentano (1862) and the Logical investigations (1900) by Husserl were at the origin of Heidegger's interest in philosophy (3); Martin Heidegger is the most authoritative exponent of Continental ontology.
Phenomenological ontology
Bolzano and Brentano can be considered the forerunners of this School, founded by Edmund Husserl; the main exponents are Adolf Reinach, Roman Ingarden and Nicolai Hartmann.
Analytical ontology
After C. S. Peirce and the classical works by Frege, Russell and the early Wittgenstein, at least Rudolf Carnap, Gustav Bergmann, Nelson Goodman and W.V.O. Quine should be mentioned.
Austro-Polish ontology
The father of Polish philosophy was Twardowski; Kotarbinski and Lesniewski are ontologists of the first Polish generation (the Lvov-Warsaw School) and Roman Suszko and Jerzy Perzanowski of the most recent times.
Continental ontology
After Heidegger, Merleau-Ponty, Levinas, Deleuze and Foucault, just to mention a few names, are the most debated thinkers.
Other important ontologists are listed in the Table of Formal and Descriptive Ontologists.
Notes to Main Currents of Contemporary Ontology
(1) "The Transcendental Analytic accordingly has this important result: That the understanding can never accomplish a priori anything more than to anticipate the form of a possible experience in general, and, since that which is not appearance cannot be an object of experience, it can never overstep the limits of sensibility, within which alone objects are given to us. Its principles are merely principles e of the exposition of appearances, and the proud name of an ontology, which presumes to offer synthetic a priori cognition of things in general in a systematic doctrine (e.g., the principle of causality), must give way to the modest one of a mere analytic of the pure understanding." I. Kant - Critique of pure reason (A247/B304), Cambridge, Cambridge University Press, 1998, pp. 358-359.
(2) "With such illogicality did things happen in the history of logic which we are pursuing here that this great, born logician fell prey to a fate which beats the fate of Joachim Jungius. For the latter at least was read, and read by a Leibniz; but that cannot even be said of Bolzano. Hence we cannot even maintain in his case that he was forgotten. All the greater is the merit of Edmund Husserl who discovered Bolzano" Hermes Scholz - Concise history of logic (1931) - English translation: New York, Philosophical Library, 1961, p. 47.
(3) "The first philosophical text through which I worked my way, again and again from 1907 on, was Franz Brentano's dissertation: On the manifold sense of Being in Aristotle."
Martin Heidegger - Preface to: William Richardson - Heidegger. Through phenomenology to thought - Martinus Nijhoff - The Hague, 1963. p. X.
Content of this site
Detailed information (bibliographies, abstract of relevant publications, and selections of critical judgments) for the thinkers mentioned in the Tables of Ontologists are partly available and will be completed in the near future; lesser informative links will be improved and replaced by new pages.
The Table of Formal and Descriptive Ontologists traces the main intellectual links from the major ontologists of Nineteenth century (Bernard Bolzano, Franz Brentano, and Gottlob Frege) to contemporary thinkers.
The section Landmarks in the History of Ontology will contain historical information, abstracts of relevant works, and bibliographies on
traditional topics and past thinkers.
An important feature of this site will be a bibliography about ontology, ontologists and related topics that have not yet been covered in such detail; bibliographical entries
will not only include the most important books, but also a selection of articles from about one hundred philosophical reviews.
Annotated bibliographies on selected ontological problems and important philosophers of the past are also in preparation; attention will be paid to the relations between ontology, semantics and semiotics, in particular to the theories of predication and reference and to the relation between thought, language and the world.
The completion of this job will require many months; more than 8.500 bibliographic references are already available in the following languages, in
decreasing order of frequency: English, French, German, Italian, Spanish; the bibliographies will be constantly expanded and updated, and new abstracts of existing entries
will be added.
I wish to apologize to readers of other languages, not included only because of my foreign language limitations (my mother tongue is Italian), but I hope that students and
researchers will find sufficient material for a more thorough study and will enjoy discovering many philosophical treasures, some little known, but in no way less
important.
SUGGESTED READINGS
The following essays (in PDF format) may be considered an excellent introduction to the objectives of this web site:
Conceptual Realism as Formal Ontology by Nino Cocchiarella - published in: Roberto Poli, Peter Simons (eds.) "Formal Ontology" - Kluwer, Dordrecht 1996) pp. 27-60. (This essay is reproduced with the kind authorization of Kluwer Academic Publishers)
Descriptive, Formal and Formalized Ontologies by Roberto Poli - published in: Denis Fisette (ed.) - "Husserl's Logical Investigations reconsidered", Dordrecht, Kluwer, 2003 pp. 183-210 (Published with the kind permission of the author)
Formal and Descriptive Ontologists (with bibliographies and selections of texts)
Table of Formal and Descriptivists Ontologists (from Bernard Bolzano to present time)
Ontologists of the 19th and 20th Centuries (a selection of critical judgments about some of the greatest philosophers of the recent past)
Living Ontologists (a list of authors with an interest in ontology, with synthetic bibliographies)
Pathways to Western Philosophy
General and Introductory Works (a selection of reference works on philosophy)
Formal and Descriptive Metaphysics (a brief guide to the introductory literature on metaphysics)
Formal and Descriptive Ontology (a brief guide to the introductory literature on ontology)
Philosophical Logic and the Philosophy of Logic (readings on some selected arguments)
Analytic Philosophy (introductory and historical works)
Phenomenology (introductory and historical works)
Pathways to Non-Western Philosophy
Pathways to Comparative Philosophy (a selection of reference works about non-Western ontology and logic)
African Philosophy. A Survey of Contemporary Studies (introductory works and studies about African conceptions of Being and Truth)
Logic and Language in Ancient China (a survey of contemporary studies)
Logic and Ontology in Ancient India (with particular reference the Nyaya-Vaisesika School)
Buddhist Logic and Ontology (Indian and Tibetan developments of Buddhism)
Islamic (Arabic and Persian) Logic and Ontology (the introduction of Greek philosophy in the Islamic world)
Definitions of Ontology
What is Ontology? - First Part (definitions by some leading philosophers - From Christian Wolff to Edmund Husserl)
What is Ontology? - Second Part (definitions by some leading philosophers - From Nicolai Hartmann to the present time)
The vocabulary of Ontology
Introductory remarks (origin and development of some fundamental concepts with a selection of the most relevant texts)
Actuality [in preparation]
Being (linguistic and philosophical perspectives)
Existence (definitions from some leading philosophers)
Power [in preparation]
Substance (the evolution of the concept from Ancient Greeks to Modern Times)
Truth:
Landmarks in the History of Ontology
Notes on the Development of Ontology from Suárez to Kant (birth and first developments of ontology)
The Birth of Ontology: a Selection of Authors from the Period 1560-1770 (a list of ontologists from Fonseca to Crusius)
Parmenides of Elea's Way of Truth (the first inquiry on Being)
Plato's Parmenides and the Dilemma of Participation (the Problem of Predication in Plato's dialogue)
Plato's Sophist and the Being of the Not-Being (an overview of recent interpretations of the central part of the Dialogue)
Plato's Cratylus and the problem of the "correctness of names" (conventionalism and naturalism in Plato's thought) [in preparation]
Aristotle's semantic theory in his De Interpretatione Chapters 1-4 (the relation between thought, words and things) [in preparation]
Aristotle's Definition of a Science of Being qua Being (what is the object of philosophy according to Aristotle? Ancient and modern interpretations)
Avicenna (ibn Sina) on the Subject and the Object of Metaphysics (the constitution of metaphysics as science of "Being qua Being")
Suárez's Metaphysical Disputations and the Birth of Ontology (Suárez's Disputationes Metaphysicae (1597) were one of the first systematic treatises of metaphysics)
Ontology before Kant: Christian Wolff's Metaphysical Work (Wolff's Philosophia prima sive Ontologia (1730) was the most influential treatise of ontology before Kant)
History of the Ontological Argument for the Existence of God (the debate on the question: can logic establish the existence of a subject?)
Entia Rationis. A Contribution to the History of the Theories on Non-existent Objects (theories on the ontological status of mental entities and impossible objects)
Mathesis universalis: the Search for a Universal Science (from Descartes and Leibniz to Bolzano and Husserl)
Selected bibliography on the History of Ontology
From the Early Greeks to the Early Middle Ages (600 b.C. - 1000) [in preparation]
From Avicenna to the Late Middle Ages (1000 - 1500) [in preparation]
Continental Ontology: From Suarez to Kant (1500 - 1800) [in progress]
British Ontology: From Hobbes to Hume (1500 - 1800) [in preparation]
Contemporary Ontology from Bolzano to Quine (1800 - 2000) [in preparation]
Selected Ontological Problems
Theories of Categories
General Introduction: Ontological Categories [in preparation]
Aristotle's Theory of Categories
The Stoic Theory of Categories and Plotinus' Criticism
Ancient Greek Commentators on Aristotle's Categories
John Scottus Eriugena Criticism of Categories (Periphyseon Book I)
Medieval Latin Commentators on Aristotle's Categories (to be continued)
Logic and Ontology
Ontology and History of Logic (an annotated bibliography on the history of logic with special attention given to ontological problems)
Language and Ontology
Linguistic Relativism (Sapir-Whorf Hypothesis) vs. Universal Grammar
Theories of reference and mental language in the Middle Ages (Suppositio and Oratio Mentalis)
Language as Calculus vs. Language as Universal Medium (two traditions in 20th century philosophy )
Universal Ontology vs. Ontological Relativity [in preparation]
Semiotics and Ontology
The Problem of Universals: from the Antiquity to Present
Universals in Antiquity and Middle Ages
Peter Abelard and the Origins of Nominalism
The Realist Ontology of John Duns Scotus
The Nominalist Ontology of William of Ockham
Varia - Pages on Different Subjects
Advanced Readings on Ontology (with some tables of contents and abstracts)
Annotated Bibliographies of some Historians of Philosophy: E. J. Ashworth, L. M. de Rijk, J. P. Doyle, Jean École, Wilhelm Risse
Ontology in Italy - A student's guide in Italian
Statistics of this Site