- A brief account of the history of logic, from the The Oxford Companion to Philosophy (edited by Ted Honderich), OUP 1997, 497-500.
- A biography of Peter Abelard, published in the Dictionary of Literary Biography Vol. 115, edited by Jeremiah Hackett, Detroit: Gale Publishing, 3-15.
- Philosophy in the Latin Christian West, 750-1050, in A Companion to Philosophy in the Middle Ages, edited by Jorge Gracia and Tim Noone, Blackwell 2003, 32-35.
- Ockham wielding his razor!
- Review of The Beatles Anthology, Chronicle Books 2000 (367pp).
- A brief discussion note about Susan James, Passion and Action: The Emotions in Seventeenth-Century Philosophy.
- Review of St. Thomas Aquinas by Ralph McInerny, University of Notre Dame Press 1982 (172pp). From International Philosophical Quarterly23 (1983), 227-229.
- Review of William Heytesbury on Maxima and Minima by John Longeway, D.Reidel 1984 (x+201pp). From The Philosophical Review 96 (1987), 146-149.
- Review of That Most Subtle Question by D. P. Henry, Manchester University Press 1984 (xviii+337pp). From The Philosophical Review 96 (1987), 149-152.
- Review of Introduction to the Problem of Individuation in the Early Middle Ages by Jorge Gracia, Catholic University of America Press 1984 (303pp). From The Philosophical Review 97 (1988), 564-567.
- Review of Introduction to Medieval Logic by Alexander Broadie, OUP 1987 (vi+150pp). From The Philosophical Review 99 (1990), 299-302.
Showing posts with label Raul Corazzon. Show all posts
Showing posts with label Raul Corazzon. Show all posts
Monday, December 14, 2009
"The Rise and Fall of Ontology in the Modern Era from Suarez to Kant" by Raul Corazzon
The Birth of a New Science: History of Ontology from Suarez to Kant
Annotated Bibliography on the History of Continental Ontology from Suárez to Kant
Annotated Bibliography on the History of British Ontology from Hobbes to Hume
A Selection of Ontologists from Fonseca to Crusius (1560-1770)
Jacob Lorhard's Diagraph of Ontology
Francisco Suarez on Metaphysics as the Science of Real Beings
Annotated Bibliography on the Metaphysics of Francisco Suarez
Christian Wolff's Ontology: Existence as "Complement of Possibility"
Annotated Bibliography on the Ontology of Christian Wolff
Kant from the Critique of Metaphysics to Transcendental Philosophy
INTRODUCTION
"To begin with we want to state that ontology should be seen only as an interdiscipline involving both philosophy and science. It is a discipline which points out the problems of the foundations of the sciences as well as the borderline questions, and which further attempts to solve these problems and questions. Ontology is not a discipline which exists separately and independently from all the other scientific disciplines and also from other branches of philosophy. Rather, ontology derives the general structure of the world; it obtains the structure of the world as it really is from knowledge embodied in other disciplines. If one examines the history of philosophy one sees that ontology has never solved or attempted to solve the questions about the structures of our world independently, apart from the other philosophical disciplines or apart from the sciences. As is expressed by this symposium's topic, "Language and Ontology", ontology has derived the world's structure from other disciplines which describe reality, and has thus relied upon the languages of other disciplines. A common belief is that this derivation of the world's most general structures from the knowledge of other disciplines is ontology's only task. But now the belief is that in doing ontology one always selects the most important and most general laws from among all the laws which the various disciplines have to offer at any given time. Further, the ontologist interprets and generalizes those laws and must endeavor to establish certain of them as the most fundamental and general structures of our world.
If ontology is a discipline which uses knowledge from various other disciplines then it is obvious that, in the course of the history of philosophy, ontology must have developed in a most dramatic fashion. If we look at the actual history of ontology we find confirmation of our claim. Ontology mirrors, so to speak, the level of our knowledge of the world at any given time. For instance, Plato and the Platonists have assumed that one could derive our world's most general empirical structures from an ideal world of Platonic Forms. Of this world of Forms it is said that one can experience it intuitively and that its existence has to be presupposed a priori. For this derivation, one needs only two relations, methexis and parousia. "Methexis" means "participation" or what we would call "representation" "parousia" means "manifestation" (of the ideas in the world) or what we would call "interpretation". These ontological procedures are explained in Plato's Parmenides.
For Aristotle, the main task of philosophy was not to perceive the world of ideas, but to experience the empirical world and acquire knowledge about it (Metaphysics, Chapter 9). He created the first system of ontology in the form of an ontology of substances. Aristotle's search for the world's true structures is interestingly opposed to Plato's. For Aristotle the general properties of things, that is, those properties of things which constitute their invariant form, have to be found through a cognitive process. These general properties of things are universal structures or patterns. These universal patterns are to be defined and axiomatized. For this task one calls on logic for help. The end result is that universals become generally comprehensible.
Here one may ask as Porphyry did what universals really are. The answers that have been proposed are numerous. They include: Platonic ideas, substances residing in things, concepts or representations in the human mind (conceptualism), terms or predicates contained in our language (nominalism), and mathematical-theoretical constructs in the languages of present day theories. The question about the very nature of universals (general structures) has occupied philosophy and the sciences up to the present day as one can see in reading Heisenberg's dialogues with Schrödinger where this question is discussed at length.
In the Middle Ages the concern with universals continued. Various elaborate systems evolved, including, importantly, varieties of conceptualism and nominalism. A decisive turn in the history of ontology is connected with the writings of Goclenius, Wolff, and Leibniz. Goclenius needs to be mentioned for he is credited with the first use of the term 'ontology'. Like all ontologies, so also Wolff's, has to be made dependent upon the level of knowledge existing at his time. Knowledge for Wolff is logical knowledge. He established the interdisciplinary character of his ontology by deriving the most general laws of nature and of all things from the principles of a logic derived from Leibniz. According to Wolff, it is one of the basic ontological structures of everything that exists, that the principle of non-contradiction and the principle of sufficient reason are valid in all merely possible worlds in addition to the real world.
Kant rejected Wolff's logic as metaphysical and Platonistic. Therefore Kant rejected also Wolff's ontology. Instead of traditional logic, Kant introduced his own transcendental logic. This transcendental logic may be seen as a cognitively oriented method which is founded on concepts. If one wants to gain knowledge, then, according to Kant, only those categories (or most general concepts) may be used which fulfill certain spatio-temporal conditions when they are applied. These categories are of subjective origin, that is, created by the human mind. It is a scientific theory, namely, Newton's physics, which furnishes the natural laws which are the basis of Kant's ontology. In his epistemology (an "auxiliary discipline" of his ontology which is contained in the Critique of Pure Reason), Kant methodologically explains Newton's physics.
Leibniz's logic stands in the same relationship to Wolff's ontology, as the natural laws of Newton's physics and Kant's own epistemology stands to Kant's ontology. But for Kant it is not the world of things-in-themselves which determines his ontology but the spatio-temporal categorial system of relations of the phenomena. It is important that here ontology can be clearly separated from epistemology. Kant's epistemology is a metatheory of the cognitive presuppositions and methods of classical physics. Kant's categorial ontology derives from natural laws which are supported and confirmed by empirical evidence of the general structures of the world-the classical physical world, as we would say today. With this, ontology became an interdiscipline, since it is here that for the first time in the history of philosophy and science that scientific results were thoroughly (philosophically) generalized. This is also an important point in the development of the ontology of the sciences. The ontology of the sciences has progressed enormously in the twentieth century, since many scientific theories with their specialized, cognitively oriented languages and with their specialized mathematical methods did not originate before the twentieth century. Up to now, the ontology of the sciences is the last chapter of the history of ontology.
After Kant, ontology developed in several directions. Ontology of the sciences evolved in Neo-Kantianism, Positivism and Neo-positivism, the philosophy of the Vienna Circle, and in contemporary philosophy of science. On the other side stands phenomenological ontology. Phenomenological ontology expanded Kant's phenomenological "reduction" of the world. Its climax is Husserl's phenomenology in which the world itself becomes the (world) phenomenon. The world's basic structures exist exactly in that way in which they are experienced (phenomenologically) by human beings. The construction and the structure of the world "happen" in man's pure intentional consciousness vis-à-vis reality. According to Husserl, mathematics and logic also participate in the constitution of the world out of the phenomena. This constitution has a semantical character but happens, nevertheless, without language. Heidegger's fundamental ontology, on the other hand, speaks of an anti-logical and anti-scientific basic experience, which is said to be paramount to all scientific knowledge.
The next decisive step in the development of ontology was the result of another development, which had reached its climax in the twentieth century, the development of formal logic. Formal logic, and, in union with it, analytic philosophy, often show the tendency to dissolve epistemology into syntax and semantics, and even pragmatics. The syntactical semantic functions, the reference relation, etc., could, in turn, be based upon the respective functions of language, be it ordinary language or the language of the sciences. Wittgenstein's reduction of thinking to the linguistic medium became an object of a philosophical position whose task was to explain and clarify language. As a result, the ontology of the sciences acquires features which are best characterized by "regional linguistic ontology". An important result of Wittgenstein's reduction of thinking to language was the dissolution of conceptualistic ontology."
From: Werner Leinfellner, Eric Kraemer and Jeffrey Schank (eds.) - Language and Ontology. Proceedings of the Sixth International Wittgenstein Symposium. 23th to 30th August 1981 Kirchberg am Wechsel (Austria) - Wien, Hölder-Pichler-Tempsky, 1982, Preface by The Editors pp. 18-20.
THE ORIGIN OF A NEW TERM: "ONTOLOGIA"
Until 2003 the first appearance of the Latin word "ontologia" was known in two works published in 1613:
Rudolf Göckel (1547-1628) Latin Rudolf Goclenius, Professor of Logic in the University of Marburg: in his Lexicon philosophicum quo tanquam clave philosophiae fores aperiuntur, informatum opera et studio Rodolphi Goclenii, Frankfurt (reprinted by Georg Olms, second edition 1980) XII, 1143 pages)
Jacob Lorhard (1561-1609) Latin Jacobo Lorhardo or Jacobus Lorhardus, Professor at the University of St. Gallen (Switzerland) in his Theatrum philosophicum, Basilea, SECOND edition.
Göckel's work was well known, but Lorhard's Theatrum philosophicum was first discovered by Joseph S. Freedman in the second edition of his Deutsche Schulphilosophie im Reformationszeitalter (1500-1650): ein Handbuch für den Hochschulunterricht, Münster, MAKS, 1985, and cited by Jean-François Courtine in his masterpiece Suarez et le système de la métaphysique, Paris, Presses Universitaires de France, 1990, p. 410 n. 6.
Lorhard was an unknown author and the only reference I found to him is in the Syllabus auctorum, Vol. 9 of the Bibliographia philosophica vetus. Repertorium generale systematicum operum philosophicorum usque ad annum MDCCC typis impressorum by Wilhelm Risse, Zürich - New York, Georg Olms, 1998:
"Lorhardus, Jacobus (fl. 1597), praeceptor Durlaci, rector S. Galli"
Wilhelm Risse's outstanding work contains a bibliography of the published titles on philosophy up to 1800 (about 18.000 titles!); I tried to find the FIRST edition of Lorhard's work, which was unknown.
In Vol. II, - "Logica" of Risse's work, Jacobus Lorhardus is cited twice: year 1597 and year 1606 (references are to the year of publication).
1597: Liber de adeptione veri necessarii, seu apodictici..., Tubingae, 1598, 8° (p. 217)
1606: Ogdoas scholastica, continens diagraphen typicam artium grammatices, logices, rethorices... Sangalli, 1606, 4° (p. 232)
The title of the second work puzzled me: Ogdoas means "composed of eight elements" and the title cited only three disciplines.
May 16, 2003, I discovered that this work was the first edition of the Theatrum philosophicum and that the word "ontologiae" appeared in the complete title:
Jacobo Lorhardo: Ogdoas Scholastica continens Diagraphen Typicam artium: Grammatices (Latinae, Graecae), Logices, Rhetorices, Astronomices, Ethices, Physices, Metaphysices, seu Ontologiae.
The frontispiece of the book Ogdoas Scholastica and of the Metaphysicae su Ontologiae Diagraphe.
English translation by Sara L. Uckelman of Book 8 of Jacob Lorhard’s Ogdoas Scholastica ("Diagraph of Metaphysic or Ontology") - PDF
The first dictionary of Philosophy in a modern language (German) was the Philosophisches Lexicon by Johann Georg Walch 1693-1775): the first edition was published in 1726 (the second improved edition of 1733 has been reprinted in three volumes by Thoemmes in 2001); I reproduce the definition of Ontologie (file in PDF format).
July 15, 2005: I received new information about Jacob Lorhard from Peter Øhrstrøm , Institut for Kommunikation, Aalborg Universitet:
"Jacob Lorhard was born in 1561 in Münsingen in South Germany. In 1603 he became "Rektor des Gymnasiums" in the protestant city of St. Gallen. In 1606 he published his book Ogdoas scholastica, on the frontispiece of which the word "ontologia" appears - probably for the first time ever in a book. "Ontologia" is used synonymously with "Metaphysica". In 1607, i.e., the year after the publication of Ogdoas scholastica, Lorhard received a calling from Landgraf Mortiz von Hessen to become professor of theology in Marburg. At that time Rudolph Göckel (1547-1628) was also professor in Marburg in logic, ethics, and mathematics. It seems to be a likely assumption that Lorhard and Göckel met one or several times during 1607 and that they shared some of their findings with each other. In this way the sources suggest that Göckel during 1607 may have learned about Lorhard's new term "ontologia" not only from reading Ogdoas scholastica but also from personal conversations with Lorhard. For some reason, however, his stay in Marburg became very short and after less than a year he returned to his former position in St. Gallen. Lorhard died on 19 May, 1609. Later, in 1613, Lorhard's book was printed in a second edition under the title Theatrum philosophicum. However, in this new edition the word "ontologia" has disappeared from the front cover but has been maintained inside the book. In 1613, however, the term is also found in Rudolph Göckel's Lexicon philosophicum. Here the word "ontologia" is only mentioned briefly as follows: "ontologia, philosophia de ente" (i.e., "ontology, the philosophy of being"). It is very likely that Göckel included this term in his own writings due to inspiration from Lorhard."
October 27, 2006: Dr. Marco Lamanna, Bari University (Italy) send me some important details:
"In July 2006 I had the opportunity to consult a copy of the Ogdoas Scholastica (1606) of Lorhard in the University Library in San Marino. The neologism ontologia appears four times in the course of the work. On three occasions it occurs in the genitive singular (Ontologiae): on the frontispiece, in the title of the section on metaphysics, and at the end of this same section. Only on one occasion (in the dedicatory letter) does the word appear in the accusative case (Ontologiam). I was subsequently able to consult Lorhard's Theatrum philosophicum at the Herzog August Bibliothek in Wolfenbüttel. This work, the second (amplified) edition of the Ogdoas Scholastica, and appeared posthumously at Basel in 1613. The Theatrum philosophicum is made up of twelve parts (continens Grammaticen Latinam, Graecam, et Hebraeam, Logicen, Rhetoricen, Arithmeticen, Geometriam, Musicen, Astronomicen, Ethicen, Physicen, Metaphysicen seu Ontologiam). The parts that appear here in addition to the material in the Ogdoas are the sections on Hebrew grammar, arithmetic, geometry and music. In the dedicatory letter of the Theatrum philosophicum, Lorhardus writes "hancque Dodecada Scholasticam confeci" (i.e. a work of twelve parts), in contrast to what he had written in 1606: "hancque Ogodoada Scholasticam confeci" (i.e. a work of eight parts).
In September 2006 I confirmed that the part of the work dealing with metaphysics (Metaphysices seu Ontologiae Diagraphe) is identical in the Ogdoas and in the Theatrum, and also discovered that Lorhardus was not the author of this chapter. In fact, what Lorhard did was to create a diagrammatic representation, in the Ramist tradition, of the Metaphysicae Systema methodicum of Clemens Timpler, which ran through nine editions, including some unauthorized imprints (Steinfurt 1604, Lich 1604, Hanau 1606, Frankfurt a.M. 1607, Marburg 1607, Hanau 1608, Frankfurt a.M. 1612, Hanau 1612, Hanau 1616)
[See: Joseph S. Freedman, European academic philosophy in the late Sixteenth and early Seventeenth centuries. The life, significance, and philosophy of Clemens Timpler (1563/4-1624). Hildesheim: Georg Olms 1988].
Since Lorhard finished working on his Ogdoas Scholastica (the dedicatory letter was dated 24 February 1606), he could presumably only have had the 1604 editions of Timpler's work to consult. Lorhard faithfully repeats most of the theorems with which Timpler had begun each of his chapters, except for a few minor differences, explicable by the fact that Lorhard was adaptating Timpler's work to diagrammatic form and that the Ogdoas was a book for studiosis Adolescentibus of the Gymnasium in Sankt Gallen where he was rector. The sole important difference is that Lorhard introduces a new word, not found in Timpler, "Ontologia", by which he means all metaphysics. In the title page of the Ogdoas and in the title of his Ramistic diagram, Lorhard equates the two words with the phrases "Metaphysices, seu Ontologiae", and "Metaphysicae seu Ontologiae Diagraphe" respectively. (A similar phrase also occurs in the dedicatory letter).
I have also found another copy of the Ogdoas Scholastica (1606), in the Universitäts- und Landesbibliothek Sachsen-Anhalt in Halle, in addition to the four copies indicated on the website Ontology. A Resource Guide for Philosophers."
See Marco Lamanna: Correspondences between Timpler's work and that of Lorhard (PDF) and: Sulla prima occorrenza del termina "Ontologia". Una nota bibliografica. in: Quaestio. Yearbook of the History of Metaphysics - vol. 6, 2006 (Augustine and the Augustinian Tradition) pp. 557-570.
Suggested readings:
Peter Øhrstrøm, Jan Andersen , Henrik Schärfe - What has happened to Ontology - in: Conceptual Structures: Common semantics for sharing knowledge. Proceedings of the 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005 - Berlin, Springer, 2005, pp. 425-438
"Abstract: Ontology as the study of being as such dates back to ancient Greek philosophy, but the term itself was coined in the early 17th century.
The idea termed in this manner was further studied within academic circles of the Protestant Enlightenment. In this tradition it was generally believed that ontology is supposed to make true statements about the conceptual structure of reality. A few decades ago computer science imported and since then further elaborated the idea of ‘ontology’ from philosophy. Here, however, the understanding of ontology as a collection of true statements has often been played down. In the present paper we intend to discuss some significant aspects of the notion of ‘ontology’ in philosophy and computer science. Mainly we focus on the questions: To what extent are computer scientists and philosophers — who all claim to be working with ontology problems — in fact dealing with the same problems? To what extent may the two groups of researchers benefit from each other? It is argued that the well-known philosophical idea of ontological commitment should be generally accepted in computer science ontology."
Peter Øhrstrøm, Sara L. Uckelman Henrik Schärfe - Historical and conceptual foundations of diagrammatical ontology - in: Simon Polovina, Richard Hill, Uta Priss (eds.) - Conceptual Structures: Knowledge Architectures for Smart Applications. 15th International Conference on Conceptual Structures, ICCS (200)7, Sheffield, UK, July 22-27, 2007 - Dordrecht, Springer, 2007 pp. 374-386.
"Abstract. During the Renaissance there was a growing interest for the use of diagrams within conceptual studies. This paper investigates the historical and philosophical foundation of this renewed use of diagrams in ontology as well as the modern relevance of this foundation. We discuss the historical and philosophical background for Jacob Lorhard’s invention of the word ‘ontology’ as well as the scientific status of ontology in the 16th and 17th century. We also consider the use of Ramean style diagrams and diagrammatic ontology in general. A modern implementation of Lorhard’s ontology is discussed and this classical ontology is compared to some modern ontologies."
THE FIRST OCCURRENCE OF "ONTOLOGY" IN ENGLISH
According to the last printed edition of the Oxford English Dictionary (Second edition, 1989) the first occurrence of "ontology" was in An Universal Etymological English Dictionary (1721) by Nathaniel Bailey (born ? - died 1742): "An Account of Being in the Abstract."
Isaac Watts (1674-1748) in his Logic, or the Right Use of Reason in the Enquiry after Truth. With a Variety of Rules to Guard against Error, in the Affairs of Religion and Human Life, as well as in the Sciences (1724) wrote: "In order to make due enquiries into all these, and many other particulars which go towards the complete and comprehensive idea of any being, the science of ontology is exceeding necessary. This is what was wont to be called the first part of metaphysics in the peripatetic schools" I. VI. § 9.
The first book in English with "ontology" in the title is: Isaac Watts - "Philosophical Essays on Various Subjects, (...); With some Remark s on Mr. Locke's Essay on the Human Understanding. To which is subjoined a brief Scheme of Ontology, or the Science of Being in general with its Affections" (1733).
The on-line Draft Revision of the Oxford English Dictionary (September 2008) give as first occurrence (discovered by Fred R. Shapiro in a message to the Linguist List (December 25, 2005): Gideon Harvey (1636/7-1702): Archelogia philosophica nova; or, New principles of Philosophy. Containing Philosophy in general, Metaphysicks or Ontology, Dynamilogy or a Discourse of Power, Religio Philosophi or Natural Theology, Physicks or Natural philosophy - London, Thomson, 1663 vol. I. Chapter II. i. 18: "Metaphysics... is called also the first Philosophy, from its nearest approximation to Philosophy, its most proper Denomination is Ontology, or a Discourse of a Being."
THE FIRST OCCURRENCE OF "ONTOLOGIE" IN DENMARK
February, 24th 2004: I received this message from Dr. Jan Andersen (research assistant with Professor Peter Oehrstroem at the Department of Communication. Aalborg University, Denmark) on the origin of "ontology" in Denmark:
"The Danish-Norwegian author Jens Kraft (1720-1765) published a text book in Danish titled 'Ontologie' as a part of his 'Metaphysik' in 1751. When the book was published Kraft was a professor (mathematics and philosophy) at the Soroe University. 'Ontologie' was meant as a text book aimed at the students there. 'Ontologie' was a part of the larger work 'Metaphysik' which also contained 'Cosmologie' (1752), 'Psychologie' (1752) and 'Naturlig Theologie' (1753). Kraft was a dedicated admirer of Christian Wolff and had (before writing the book) attended Wolff´s lectures at Halle University, Germany, but, as opposed to Wolff, Kraft was an adherent of Newtonian theory, and is considered to be the prime spokesman and the introductor of Newton to Denmark and Norway (the two countries being one united kingdom at the time). Kraft is mentioned in the Dictionary of Scientific Biography (Charles Coulston Gillispie ed.) vol. VII, New York 1973, Charles Scribner's Sons, p.490 in an article written by Kurt Moeller Pedersen. Kraft´s book can be found at the Statsbiblioteket in Aarhus, Denmark."
This is the frontispiece of Jens Kraft's book.
THE FIRST TEXTS WITH THE TERM "ONTOLOGIA"
For the dissertations by Andreas Hojer, Johann Christophorus Segers, Johann Flottwel, that are practically unknown, I give the reference to the Libraries where the texts can be found.
Jacob Lorhard. Ogdoas Scholastica, continens Diagraphen Typicam artium: Grammatices (Latinae, Graecae), Logices, Rhetorices, Astronomices, Ethices, Physices, Metaphysices, seu Ontologiae. St. Gallen: 1606.
According to the Bibliographia philosophica vetus, Pars 1. Philosophia generalis, by Wilhelm Risse, the volume is available only in two German Libraries: the Staatsbibliothek Augsburg and the Lüneburg Ratsbibliotek, but I discovered a third copy, not cited by Risse, in the Kantonsbibliothek St. Gallen, Switerland; from 1998, a fourth copy is available in the "Fondo Young sulla memoria e la mnemotecnica" (Morris N. Young's Fund on memory and mnemotechnics) at the Library of the San Marino University; a fifth copy was discovered by Marco Lamanna University of Bari - Italy in the Universitäts- und Landesbibliothek Sachsen-Anhalt in Halle.
Jacob Lorhard. Theatrum philosophicum, continens Grammaticen Latinam, Graecam, et Hebraeam, Logicen, Rhetoricen, Arithmeticen, Geometriam, Musicen, Astronomicen, Ethicen, Physicen, Metaphysicen seu Ontologiam. Basilea: 1613.
Second, expanded edition of Lorhard (1606).
Andreas Hojer. Disputatio ontologica de bono et malo. Rostock: 1613.
Dissertation (Defender Matthias Lobertantz).
A copy is available at the Bayerische StaatsBibliothek - Signature: 4 Diss. 2968#Beibd.24
Rodolphus Goclenius. Lexicon philosophicum quo tanquam clave philosophiae fores aperiuntur. Frankfurt: 1613.
s.v. abstractio p. 16.
Reprint: Hildesheim, Georg Olms, 1964 (with the Lexicon philosophicum Graecum).
Johann Heinrich Alsted. Cursus philosophici encyclopaedia libris XXVII : complectens universae philosophiae methodum, serie praeceptorum, regularum & commentariorum perpetua. Herborn: 1620.
Two volumes; see vol. I p. 149.
Vol. II with the title: Septem artes liberales, quae constituunt tertium encyclopediae philosophicae tomum.
Reprint of the 1630 edition: Encyclopaedia. Septem tomis distincta - Stuttgart, Frommann-Holzboog, 1989.
Liborius Capsius. Sapientia (vulgo Metaphysica) idealis. Pro acquirenda Philosopho-Theologica akribeia. Erfurt: 1627.
See p. 28.
Abraham Calov. Metaphysica Divina, Pars Generalis Praecognita II. Rostock: 1636.
See p. 4.
Johannes Christophorus Segers. De Ontologia Generali. Erfurt: 1639.
Dissertation: Defender Liborius Capsius.
Available at the Universitäts- und Forschungsbibliothek Erfurt / Gotha - Signature: LA. 4º 00261 (21)
Johann Flottwel. Disputatio prima ontologica D.T.O.M.A. et consensu amplissimae Facultatie Philosophicae exercitii et indagandae veritatis. Regiomonti: Johanni Reusneri 1640.
Dissertation; a microfilm isavailable at the Bayerische StaatsBibliothek, Signature: Film R 2001.281,NWA-1267
Juan Caramuel y Lobkowitz. Rationalis et realis philosophia. Louvain: 1642.
See p. 65
Johannes Clauberg. Elementa philosophiae seu Ontosophia. Scientia prima, de iis quae Deo creaturisque suo modo communiter attribuuntur, distincta partibus quatuor. Groningen: 1647.
Johannes Clauberg. Ontosophia nova, quae vulgo Metaphysica, Theologiae, Iurisprudentiae et Philologiae, praesertim Germanicae studiosis accomodata. Accessit Logica contracta, et quae ex ea demonstratur Orthographia Germanica. Duisburg: 1660.
Johannes Clauberg. Metaphysica de ente, quae rectius Ontosophia. Amsterdam: 1664.
Johannes Micraelius. Lexicon philosophicum terminorum philosophis usitatorum (first edition). Jena: 1653.
s.v. Metaphysica
Johannes Micraelius. Lexicon philosophicum terminorum philosophis usitatorum (second edition). Stettin: 1662.
Reprinted with an introduction by Lutz Geldsetzer: Düsseldorf, Stern-Verlag Janssen & Co. 1966.
Gideon Harvey. Archelogia philosophica nova; or, New principles of Philosophy. Containing Philosophy in general, Metaphysicks or Ontology, Dynamilogy or a Discourse of Power, Religio Philosophi or Natural Theology, Physicks or Natural philosophy. London: Thomson 1663.
The first occurrence of "ontology" in English.
A SELECTION OF STUDIES ON THE ORIGINS OF THE LATIN WORD "ONTOLOGIA"
"In the prolegomena to his Elementa philosophiae sive Ontosophiae (1647), Johannes Clauberg remarks: 'Since the science which is about God calls itself Theosophy or Theology, it would seem fitting to call Ontosophy or Ontology that science which does not deal with this and that being, as distinct from the others owing to its special name or properties, but with being in general.' This text may be held, in the present state of historical knowledge, for the birth certificate of ontology as a science conceived after the pattern of theology, yet radically distinct from it, since being qua being is held there as indifferent to all its conceivable determinations. 'There is, Clauberg says, a certain science which envisages being inasmuch as it is being, that is, inasmuch as it is understood to have a certain common nature or degree of being, a degree which is to be found in both corporeal and incorporeal beings, in God and in creatures, in each and every singular being according to its own mode.' Leibniz will later praise Clauberg for such an undertaking, but he will regret that it had not been a more successful one. The very word "ontology" occurs at least once in an undated fragment of Leibniz, (1) and one can expect accidentally to meet it later in various places, (2) but it is not until 1729 that it finally comes into its own with the Ontologia of Christian Wolff."
(1) Louis Couturat - Opuscules et fragments inédits de Leibniz (Paris 1903) p. 512
(2) For instance, in J.B. Duhamel Philosophia vetus et nova 2nd ed. 1681, according to P. Gény, Questions d'enseignement de philosophie scholastique (Paris 1913) p. 48
From: Etienne Gilson - Being and some philosophers - Toronto, Pontifical Institute of Mediaeval Studies, 1952 p. 112-113. French edition: L'être et l'essence. Paris, Vrin,1948 (Second revised edition 1962).
"C'est un fait que l' Ontologia de WOLFF constitue une étape importante de l'histoire de la métaphysique, même s'iln'est pas vrai, comme on le dit trop souvent, qu'elle soit la toute première Ontologie. Avant lui déjà, en effet, CLAUBERG avait fait paraître à Amsterdam en 1656 une Metaphysica de ente quae rectius Ontosophia, aliarum Disciplinarum, ipsiusque quoque Jurisprudentiae et Litterarum, studiosis accomodata, car ainsi qu'il le déclare: sicuti...geosofia vel geologia dicitur quae circa Deum occupata est scientia: ita haec, quae non circa hoc vel illud ens speciali nomine insignitum vel proprietate quadam ab aliis distinctum, sed circa ens in genere versatur, non incommode Ontosophia vel Ontologia dici posse videatur (Opera omnia, Amstelodami, 1691 t. I, p. 281). De même, en 1669, le Père Réginald, dominicain, publia un ouvrage réédité à Paris en 1878 et intitulé: Doctrinae Divi Thomae Aquinatis tria principia, cum suis consequentiis, dont la première partie traite de l'être en général sous le titre: De Ontologia, cependant que Jean-Baptiste Du HAMEL, dans sa: Philosophia vetus et nova ad usum scholae accomodata, in regia Burgundia ohm pertractata, Parisiis, 1678, emploie le mot Ontologia dans le même sens, lorsque, dans le tome III de cet ouvrage, divisant la métaphysique en trois parties, il déclare: In primo quae ad entis ipsius naturam, principia, affectiones et primas velut species pertinent, exsequimur; adeo ut Ontologiam seu entis scientiam hoc tractatu complexamur. Atque haec est prima philosophia aut scientia generalis, ex qua reliquae dimanant (p. 10 et 11 de l'édition de 1687).
Mais ces auteurs ne sont pas les premiers à avoir frayé la voie de l'Ontologie. Le terme même semble avoir fait sa première apparition, tout au moins sous sa forme grecque, dans le Lexicon philosophicum quo tamquam clave philosophiae fores aperiuntur de Rudolph GOCLENIUS (Frankfurt, 1613), où l'on peut lire à l'article: abstractio, p. 16, dans la marge: ὀντολογία, et philosophia de ente, et dans le corps de l'article: ὀντολογία, idest Philophia de ente seu de transcendentibus. C'est encore sous sa forme grecque qu'on le rencontre chez Abraham CALOV qui, dans sa: Metaphysica divina a principiis eruta, in abstractione entis repraesentata ad S. S. Theologiam applicata, monstrans terminorum et conclusionum transcendentium usum genuinum abusum hereticum constans (Rostockii, 1636), déclare: Scientia de ente, Metaphysica appellatur communiter a rerum ordine, ὀντολογία rectius ab objecto proprio (Scripta philosophica, Lubecae, 1651, p. 145) et qui, tout au long de cet de cet ouvrage, appelle ainsi ὀντολογία la science de l'être; à tel point que sa Metaphysica divina... peut être considérée, dans l'état actuel de nos connaisances, comme la première ontologie. Quoi qu'il en soit, on peut bien dire qu'avec CALOV, l'Ontologie en tant que discipline est déjà née. Et c'est cette science de l'être en général que les scolastiques du XVII° siècle se sont plu à ériger en une sorte d'introduction à la philosophie - d'où le nom de philosophie première qu'ils lui donnèrent encore -- et qu'ils réduisirent peu à peu à n'être qu'un vocabulaire ou un lexique philosophique, destiné à servir d'instrument de base à l'enseignement de la métaphysique, grâce à la définition des termes employés par celle-ci, comme nous l'apprennent: Johann Franz BUDDE dans une longue note de son ouvrage: Isagoge historico-theologica in theologiam universam singulasque ejus partes, Lipsiae, 1727, lib. I, cap. IV, § 28, t. I, p. 252-261, et surtout Jacob THOMASIUS dans son: Historia variae fortunae quant Metaphysica jam sub Aristotele, jam sub Scholasticis, jam sub Recentibus experta est, ajoutée en appendice à ses Erotemata metaphysica pro incipientibus, Lipsiae, 1692, p. 19-87.
Ainsi donc, lorsque l'ouvrage de WOLFF parut, l'ontologie était une conquête de la philosophie vieille déjà d'à peu près cent ans. Mais, à défaut d'en avoir été le créateur, il peut bien être considéré comme son réformateur et son rénovateur. Car, indépendamment du fait qu'il a été le premier à lui donner des dimensions matérielles aussi considérables et à en faire un traité bien à part à côté des autres traités constituant l'ensemble de la métaphysique, il s'est élevé contre la prétention d'en faire purement et simplement un lexique philosophique et a tenté de l'ériger en authentique science première qua omnis cognitionis humanae principia continentur, comme le dit son titre. Il lui attribue, en effet, pour rôle d'établir les principes et de définir les concepts nécessaires aux autres disciplines, non seulement philosophiques, mais aussi scientifiques et utiles à la pratique de la vie, en même temps qu'il vise à y édifier une théorie générale de l'être, ainsi que le veut la définition qu'il en donne au § 1: Ontologia seu Philosophia prima est scientia entis in genre, seu quatenus ens est. En un mot, pour être l'héritier des scolastiques du XVII° siècle, et tout en adoptant leur réduction de la philosophie première à l'Ontologie, alors qu'elle était coextensive à toute la métaphysique chez ARISTOTE, WOLFF n'en a pas moins donné à celle-ci un statut à la fois plus ample et plus ferme. Et c'est ce qui fait que son nom est resté plus intimement lié que celui de ces derniers à son apparition." (p. 116).
From: Jean École - La Philosophia prima sive Ontologia de Christian Wolff: Histoire, doctrine et méthode - Giornale di metafisica, 1961/1 pp. 114-125 (reprinted in: Jean École Introduction à l'Opus Metaphysicum de Christian Wolff - Paris, Vrin, 1985 pp. 8-19).
"Christian Wolff popularized (in philosophical circles) the word 'ontology' (ontologia, Ontologie). The word appears in the title of his Philosophia prima sive ontologìa methodo scientifica pertractata, qua omnes cognitionis humanae principia continentur, first published in 1730. Ontologia seu philosophia prima is defined as scientia entis in genere, quatenus ens est (op. cit., § 1). Ontology uses a "demonstrative [i.e., rational and deductive] method" (ibid., § 2), and purports to investigate the most general predicates of all entes as such (ibid., § 8). Following Wolff, Alexander Baurngarten (Metaphysica, 1740) defined ontology (also called ontosophia, metaphysìca, metaphysica universalis, architectoníca, philosophia prima) as "the science of the most general and abstract predicates of anything" (op. cit., § 4), in so far as they belong to the first cognitive principles of the human mind (ibid., § 5). Kant launched an epoch-making attack against rational ontology in the sense of Wolff and Baumgarten; for ontology was to him both a pseudo-science and a temptation. He was convinced that he had succeeded in eliminating it by the "transcendental Analytic." The whole Critique of Pure Reason is, in a way, the work of a man who was obsessed, and deeply distressed, by ontology. On the other hand, the expression 'ontological proof (ontologischer Beweis) used by Kant is not a mere alternative expression to 'Anselmian proof; it is intended to emphasize the very nature of the proof. Since Kant is at the crossroads of modern thought, it is important to know what he had in mind when he decided to overthrow the ambitious projects of rational ontologists. An exarnination of the origins of the concept of ontology is an indispensable step in the clarification of Kant's thought.
Although the concept of ontology preceded the word 'ontology,' it can be assumed that only when such a word (or the alternative word, 'ontosophy') carne into use, could philosophers begin to understand fully all the implications of the concept." (p. 36) "Unless I have missed the pertinent texts, a new name for a new discipline of the character stated above -- which is at the same time 'a new name for some old ways of thinking' - occurred only in the Seventeenth Century. It was proposed by philosophers who did not belong to the Schools, but who had been directly or indirectly influenced by the Scholastic tradition supplemented by the modern rationalist tradition. A number of historians (Rudolf Eucken, Etienne Gilson, Hans PichIer, Max Wundt, Heinz Heimsoeth) mention Johannes Clauberg as the first philosopher who used the new term we are looking for: the term 'ontology.' This is not the case. The first instance occurs in Rudolf Goclenius (Lexicon philosophicum, quo tanquam clave philosophiae fores aperiuntur, Informatum opera et studio Rodolphi Goclenii. Francoforti, 1613). In his Worterbuch der philosophischen Begriffe, Rudolf Eisler refers to this instance, but fails to indicate its significance. In a way, Eisler was right, because it has no significance.(1) The word 'ontology' occurs in Goclenius's Lexicon on page 16 as follows: "ὀντολογία, philosophia de ente." This is all. Furthermore, it occurs on the left margin of the article "Abstractio," in which the author discusses the concept of abstractio materiae according to Alexander of Hales. lf this were not enough, Goclenius does not even include an article on Metaphysics or First Philosophy in his Lexicon. There is, indeed, an article on Philosophy (Philosophia) which contains various definitions, among them the following one: Philosophy can be understood per excellentiam as prima philosophia (definition 4). Therefore, if it is true that Goclenius actually used the word 'ontology' he did very little with it. Neither does he mention such a word in his Isagoge (Rod. Goclenii ... Isagoge in peripateticorum et Scholasticorum primam philosophiam quae vulgo dicitur Metaphysica, Francoforti, 1612). Here the expression prima philosophia is introduced as a technical term for the more "common" Metaphysica. Goclenius writes to this effect: '1. Duae sunt communissimae disciplinae liberales: Logica, Metaphysica, quae sapientia dicitur ... 3. Metaphysica seu prima philosophia cognitio communis est eorum, quae sunt altissimis causas & prima principia; ... 9. Prima philosophia scientia de Ente qua ens, hoc est, universaliter sumto' (P.A. 4). He therefore relapsed into a relatively long established tradition in philosophical terminology, but 'to relapse into' is probably too strong an expression when he had scarcely done anything to produce a new terminology. At any rate, his introduction of the word 'ontology' in the Lexicon does not seem to be the result of a careful plan; it looks more like a purely casual and inconsequential remark." (pp. 38-39). (1) Jean École, in an article on Wolff's Ontologia (Rivista di metafisica, XVI [1961], 114-125) published after the present one was written, also mention Goclenius.
[École's article is the French version of the author's Latin "Introductio" to his critical edition of Wolff's Philosophia Prima sive Ontologia, Hildesheim, Olms, 1962].
From: José Ferrater Mora - On the early history of 'Ontology' - in: Philosophy and Phenomenological Research, 24, 1963 pp. 36-47.
"Wir gehen vom Titel "Ontologia" aus Dieser ist dem Christian Wolff ganz selbstverständlich. Er benutzt ihn, ohne über seine Herkunft Rechenschaft abzulegen. Dabei ist nicht die historisch verstandene Herkunft entscheidend, sondern die ausgewiesene Zugehörigkeit dieses Titels zum Wesen der in ihm ausgesprochenen Prima Philosophia aus gerade diesem Wesen. Bekanntlich ist der Titel "Prima Philosophia" ein von Aristoteles der Sache und dem Kern der Sache des Denkens verliehener Titel. Dieser Vorgang der Namensgebung ist kein beliebiger! Der Titel "Prima Philosophia", beziehungsweise "prothé filosofia" wird dem Denken beigegeben, als es die ihm zugehörige Gestalt aus seinem eigenen Wesen annimmt. Die ihm später zugetragenen Titel "Metaphysik" und "Ontologie" sind dagegen nur Nebentitel.
Johannes Micraelius (1597 - 1658) schreibt in seinem Lexicon Philosophicum: Metaphysicae objectum est Ens quatenus Ens est. Unde etiam vocatur aliquibus ; (1).Er spricht hier ausdrücklich von "einigen"! Einer davon ist Johannes Clauberg (1622 - 1665), der oft als der erste genannt wird, der den Titel "Ontologia" gebraucht. Dieser verfaßte ein Werk: Elementa philosophiae sive Ontosophia (Groningen 1647). 1660 kam das Buch, oder vielmehr sein Hauptteil, unter einem anderen Titel als: Ontosophia nova, quae vulgo Metaphysica (Duisburg) heraus; es konnte 1664 unter einem nochmals geänderten Titel erscheinen: Metaphysica de ente, quae rectius Ontosophia, Amsterdam. Bereits in der ersten Ausgabe von 1647 ist der Titel "Ontosophia" auch durch den Titel ,,Ontologia" verdeutlicht (2). Die dritte Ausgabe ist später in die Opera philosophica aufgenommen worden (1691). Dort lautet der Passus: Sicuti autem: Ontologia dicitur quae circa Deum occupata est scientia: ita haec, quae non circa hoc vel illud ens speciali nomine insignitum vel proprietate quaedam ab aliis distinctum, sed circa ens in genere versatur, non incommode Ontosophia vel Ontologia dici posse videatur (3).
Wenig später heißt es: Est quaedam scientia, quae contemplatur ens quatenus ens est, hoc est in quantum communem quandam intelligitur habere naturam vel naturae gradum, qui rebus corporeis et incorporeis, Deo et creaturis, omnibusque adeo et in singulis entibus suo modo inest. Ea vulgo Metaphysica, sed aptius Ontologia vel scientia Catholica, eine allgemeine Wissenschaft, et philosophia universalis nominatur. 13). Der Titel "Ontologia" findet sich jedoch noch vor Clauberg. Abraham Calov (1612 - 1686) hat ihn schon 1636 in seiner Metaphysica divina: Scienta de Ente Metaphysica appellatur communiter a rerum ordine, ' ὀντολογία ; rectius ab objecto proprio (4). Und noch vor Calov benutzt ihn Johann Heinrich Alsted (1588 - 1638). Er gibt 1620 seinen Cursus philosophici Encyclopaedia heraus. Dort heißt es: Metaphysica est sapientia quae considerat ens qua ens: alias dicitur prima philosophia, et ὀντολογία in Lexico Goclenii pag. 16 (5). Alsted verweist hier auf den Schulmetaphysiker Rudolf Göckel (Goclenius, 1547 - 1628), der nach allem, was wir wissen, der erste gewesen ist, der den Titel "Ontologia" geprägt hat (6)."
1) Johannes Micraelius, Lexicon Philosophicum, Jena 1653, pag. 654.
2) Johannes Clauberg, Elementa philosophiae sive Ontosophia, Groningen 1647, pag. 3.
3) Johannes Clauberg, Opera omnia philosophica, partim antehac separatim, partim nunc primum edita ura Joh. Theod. Sehalbrudhii, Amsterdam 1691, pag. 28113) a. a. O, p. 283.
4) Abraham Calov, Metaphysica divina, Pars generalis, Rostok 1636, Praecognita II, pag. 4. In den Scripta philosophica wird der Pars specialis nachgeliefert (Rostok 1650/51). In beiden In den Scripta philosophica wird der Pars specialis nachgeliefert (Rostok 1650151). In beiden Teilen der Metaphysica divina findet sich der Titel 'ontologia' mehr als ein dutzendmal in Buch- und Kapitelüberschriften. Er ist stets in griechischen Buchstaben geschrieben. Es sieht Buch- und Kapitelüberschriften. Er ist stets in griechischen Buchstaben geschrieben. Es sieht ganz so aus, als ob Clauberg der erste ist, der den Titel Ontologia in lateinischen Buch staben schreibt.
5) Cursus philosophici Encyclopaedia Libri XXVII, Opera et studio Johannis Henrici Alstedii, Herborn 1620, Liber V, Metaphysica, Pars prima, De Transcendentibus, Caput I Ens, pag. 149.
(6) Das hätte man schon immer im Eisler nachschlagen können: Rudolf Eisler, Wörterbuch der Philosophischen Begriffe, 4. Aufl., Berlin 1927, Artikel "Ontologie". Trotzdem hielt sich hartnäckig die Behauptung, Clauberg sei der Erfinder dieses Titels gewesen
From: Ernst Vollrath - Die Gliederung der Metaphysik in eine Metaphysica Generalis und eine Metaphysica Specialis - Zeitschrift für Philosophische Forschung - April-June 1962, XVI, 2 pp. 265-266.
"La thèse de Goclenius qui sépare radicalement la prima philosophia et la metaphysica (1), nous paraît d'autant plus intéressante que son auteur est très vraisemblablement celui qui a forgé pour la première fois (2) le mot d'ontologie, destiné par la suite à nommer précisément cette philosophia prima comme science universelle, dans sa séparation de toute recherche théologique appréhendée désormais comme 'spéciale'. On peut lire en effet, sous la plume de Goclenius, mais encore sous sa forme grecque, le terme d' ontologia, non pas à vrai dire dans son Isagoge, mais dans le célèbre Lexicon philosophicum quo tanquam clave philosophiae fores aperiuntur, informatum opera et studio Rodolphi Goclenii, publié quelques années plus tard, à Francfort en 1613. (3) Il est très significatif de trouver cette première occurrence du terme à l'article abstractio. Nous avons déjà signalé (cf. chapitre III, p. 458 sq.) que Pérérius introduisait son opposition insolite entre philosophie première métaphysique à partir d'une réflexion critique sur la doctrine classique ('aristotélico-thomiste') de l'abstraction, et que Suarez développait le plus nettement l'orientation ontologique de son projet métaphysique en fonction de sa doctrine de l'abstraction et de la praecisio (Disputationes Metaphysicae, II, 2, 15-16)."
(1) Est-il besoin de souligner qu'une telle opposition est contraire à l'esprit de l'enquête aristotélicienne comme à l'élaboration terminologique des commentateurs les plus anciens?
(2) La prudence est ici plus que jamais de mise. Après avoir rédigé ces pages, nous avons été mis, grâce à l'obligeance de J. S. Freedman, à qui l'on doit un excellent travail (Deutsche Schulphilosophie im Reformationszeitalter 1500-1650, dact., Münster, 1984), sur la piste d'un auteur assez singulier et à la vérité peu connu, un certain Jacobus Lorhardus, recteur au Gymnasium de Saint-Galles, qui publie à Bâle en 1613, comme secunda editio un Theatrum philosophicum qui présente à la manière ramiste une série de tabelles à travers lesquelles se répartissent toutes les disciplines philosophiques. Or le 'diagraphe' qui introduit les divisions de la Métaphysique est précisément intitulé : Metaphysicae seu Ontologiae Diagraphe (p. 157). Et il se termine, après la division des ficta ou des êtres de raison, par ces mots : Finis Ontologiae. L'ouvrage de Lorhardus est très remarquable également dans sa définition la plus générale de la Métaphysique qui fait évidemment référence à Clemens Timpler (cf. supra, p. 265 sq.): " Metaphysicae (quae est epistheme tou noetoue noeton quatenus ab homine naturali rationis lumine sine ullo materiae conceptu est intelligibile) partes duae sunt... ! "(ibid.).
(3) Reprint Hildesheim, 1964. Signalons aussi qu'en revanche le terme ontologia n'apparaît pas, du moins à notre connaissance, dans le Lexicon philosophicum graecum de 1615 (Marbourg).
From: Jean-François Courtine - Suárez et le système de la métaphysique - Paris, Presses Universitaires de France, 1990, p. 410 n. 6.
FURTHER DEVELOPMENTS OF THE HISTORY OF ONTOLOGY (in progress)
"In 1620 the Calvinist Johannes Heinrich Alsted (1588-1638) takes up the term 'ontology' and identifies ontology with metaphysics or 'first philosophy' as 'general discipline of being'. This ontology has a general part which deals with transcendentia and a special part which deals with praedicamenta (categories). Alsted opposes this general discipline or ontology to inferior disciplines which are concerned with special beings such as physics with natural bodies, mathematics with quantity), as well as to the science of transnatural beings, which he calls pneumatica or pneumatologia, the science of God, angels, and separate souls. Metaphysics or ontology is the most general discipline, which cannot have a double subject (being and God) (Cursus philosophici Encyclopaedia, 1620, Lib. V-VI).
Johann Micraelius (I579-1658) departs from the reduction of metaphysics to the science of being as being and sees it as embracing also the special sciences of pneumatology (theology, angelography, psychology). These he opposes to ontology as the general part (see the articles 'Metaphysica' and 'Philosophia' in his Lexicon philosophicum of 1653). Micraelius thereby seems to coin the distinction between metaphysica generalis and metataphysica specialis, a distinction which has been current ever since. Thee notion of 'ontology' was also affected by Cartesianism. Johannes Clauberg distinguishes three kinds of entia: being as thinkable (ens cogitabile), being as something (aliquid), and being as thing or substantial being (res sive ens substantiale). Ontology or 'ontosophy' deals with being in the third sense and it presupposes the science of thinkable things, in other words metaphysics or 'first philosophy', as this is elaborated in Renée Descartes's Meditationes (Metaphysica de Ente, quae rectius Ontosophia, 1664, 1, 1-5).
Traces of this same distinction, between ontology and a science or method of thought, appear also in the 18th century, for example in the work of Christian Wolff and in Kant. According to Wolff, ontology deals with being in general, but it can also be termed 'first philosophy' in so far as it concerns first principles and notions 'which are used in reasoning' . The method of ontology conforms to that of mathematics (Philosophia prima sive Ontologia, 1730, 'Prolegomena')."Kant identifies ontology (the system of all those concepts and principles of reason which relate to objects in general) with the first part of the system of his metaphysics of nature. Ontology in this sense presupposes the method or propaedeutic of the critique of pure reason, the knowledge of the limits of human knowledge. Kant's reformed ontology is concerned only with objects which are accessible to human knowledge (appearing objects, ontology of 'immanent thought') and it is based on the principles of this knowledge developed by Kant in his 'analytic of the pure understanding' (CPR, Letter to Beck. 211 January 1792). (On the relations of methodology, metaphysics, and ontology, see also Johann Friedrich Herbart. for example Kurze Enzvklopädie der Philosophie, 1831, 11, § 190, and Lotze).
Also in the 18th century. the German tradition tends sometimes to locate the object of ontology in the essence of things, rather than in the things themselves. In Wolff's work, this transformation becomes manifest in the fact that the first thing, conceived in being is not existence, but essence (Philosophia prima, § 144). In Christian August Crusius, ontology becomes explicitly a science of the 'general essence of things', and he sees this essence as something to be analysed entirely a priori (Entwurf der notwendigen Vernunftwahrheiten, 1745, 1, § 5: see also Georg Bernhard Bilfinger. (1693-1750), Johann Heinrich Lambert, and Hegel).
As for the relation between metaphysics and ontology, Wolff (Philosophia rationalis, 'Discursus praeliminaris', §§ 79, 99), Crusius (Entwurf, 1, § 5), and Kant (CPR, Reflection 4851) remain faithful to the distinction between general metaphysics (ontology) and special metaphysics (psychology or pneumatology, cosmology, theology).
In the 19th and 20th centuries, the evolution of the notion of 'ontology' can again be analysed in terms of the distinction between the object of ontology and the relation of ontology to other disciplines. The relation between ontology, 'epistemological' sciences and metaphysics is discussed by authors such as Rudolf Hermann Lotze, Nicolai Hartmann, and Günther Jacoby (1881-1969)."
From: ONTOLOGY. I: History of ontology by Léo Freuler, in: Hans Burkhardt & Barry Smith (eds.) - Handbook of Metaphysics and Ontology - Philosophia Verlag GMBH - Munchen 1991.
"The study of being in so far as this is shared in common by all entities, both material and immaterial. It deals with the most general properties of beings in all their different varieties.
The books of Aristotle's Physics deal with material entities. His Metaphysics (literally 'what comes after the Physics'), on the other hand, deals with what is beyond or behind the physical world - with immaterial entities - and thus contains theology as its most prominent part. At the same time, however, Aristotle conceives this 'metaphysics' as having as its subject matter all beings, or rather being as such. Metaphysics is accordingly identified also as 'first philosophy', since it deals with the most basic principles upon which all other sciences rest.
From the very beginning, then, an alliance was established between theology and the science of being qua being, and this alliance was sustained successfully throughout the Middle Ages. By the seventeenth century, however, the two disciplines were beginning to fall apart, and there was effected a distinction between metaphysica generalis on the one hand - the science of the most general concepts or categories of being - and metaphysica specialis on the other - embracing not only theology but also other special sciences of being, including psychology (the science of finite mind) and cosmology.
'Ontology', now, is just another name for metaphysica generalis as thus conceived. The tern was introduced into philosophy by the German Protestant Scholastic Rudolphus Goclenius (Rudolf Göckel) in his Lexicon philosophicum (1613) and was given currency above all through the influence of Christian Wolff (1679-1754).
Where metaphysics had traditionally confined itself to the treatment of existent beings, Leibniz, Wolff and others dealt also in their metaphysical writings with the being of what is merely possible. It fell to Meinong in his 'Uber Gegenstandstheorie' (1904) to conceive the project of an absolutely general 'theory of objects', which would embrace within its subject matter not merely actual and possible objects, but also impossible objects, obtaining and non-obtaining states of affairs and other higher-order objects, merely hypothetical objects, and also objects 'beyond being and non-being' which are as it were awaiting realization.
In part under the influence of Meinong, in part also under the inspiration of contemporary work in logic and mathematics, Husserl put forward in his Logical Investigations (1913-21) the idea of a 'pure theory of objects' or 'formal ontology', a discipline which would deal with such formal-ontological categories as: object, state of affairs, property, genus, species, unity, plurality, number, relation, connection, series, part, whole, dependence, magnitude, open and closed set, boundary, manifold, and so on.
Formal ontology would deal also with the different formal structures manifested by entire regions of being. To each such formal structure there would then correspond in principle a number of alternative material realizations, each having its own specific material or regional ontology. The most important such material ontology relates to the natural world of spatio-temporally extended things, and thus includes ontological theories of space, time, movement, causality, material body, and so on.
Next in order of development is the material ontology of organic entities, followed by the material ontology of minds (of thinking bodies and of their mental acts and states), perhaps also by the material ontology of cultural and institutional formations."
From: Ontology by Barry Smith, in: Jaegwon Kim & Ernest Sosa (eds.) - A Companion to Metaphysics - Oxford, Basil Blackwell 1995, pp. 373-374.
Annotated Bibliography on the History of Continental Ontology from Suárez to Kant
Annotated Bibliography on the History of British Ontology from Hobbes to Hume
A Selection of Ontologists from Fonseca to Crusius (1560-1770)
Jacob Lorhard's Diagraph of Ontology
Francisco Suarez on Metaphysics as the Science of Real Beings
Annotated Bibliography on the Metaphysics of Francisco Suarez
Christian Wolff's Ontology: Existence as "Complement of Possibility"
Annotated Bibliography on the Ontology of Christian Wolff
Kant from the Critique of Metaphysics to Transcendental Philosophy
INTRODUCTION
"To begin with we want to state that ontology should be seen only as an interdiscipline involving both philosophy and science. It is a discipline which points out the problems of the foundations of the sciences as well as the borderline questions, and which further attempts to solve these problems and questions. Ontology is not a discipline which exists separately and independently from all the other scientific disciplines and also from other branches of philosophy. Rather, ontology derives the general structure of the world; it obtains the structure of the world as it really is from knowledge embodied in other disciplines. If one examines the history of philosophy one sees that ontology has never solved or attempted to solve the questions about the structures of our world independently, apart from the other philosophical disciplines or apart from the sciences. As is expressed by this symposium's topic, "Language and Ontology", ontology has derived the world's structure from other disciplines which describe reality, and has thus relied upon the languages of other disciplines. A common belief is that this derivation of the world's most general structures from the knowledge of other disciplines is ontology's only task. But now the belief is that in doing ontology one always selects the most important and most general laws from among all the laws which the various disciplines have to offer at any given time. Further, the ontologist interprets and generalizes those laws and must endeavor to establish certain of them as the most fundamental and general structures of our world.
If ontology is a discipline which uses knowledge from various other disciplines then it is obvious that, in the course of the history of philosophy, ontology must have developed in a most dramatic fashion. If we look at the actual history of ontology we find confirmation of our claim. Ontology mirrors, so to speak, the level of our knowledge of the world at any given time. For instance, Plato and the Platonists have assumed that one could derive our world's most general empirical structures from an ideal world of Platonic Forms. Of this world of Forms it is said that one can experience it intuitively and that its existence has to be presupposed a priori. For this derivation, one needs only two relations, methexis and parousia. "Methexis" means "participation" or what we would call "representation" "parousia" means "manifestation" (of the ideas in the world) or what we would call "interpretation". These ontological procedures are explained in Plato's Parmenides.
For Aristotle, the main task of philosophy was not to perceive the world of ideas, but to experience the empirical world and acquire knowledge about it (Metaphysics, Chapter 9). He created the first system of ontology in the form of an ontology of substances. Aristotle's search for the world's true structures is interestingly opposed to Plato's. For Aristotle the general properties of things, that is, those properties of things which constitute their invariant form, have to be found through a cognitive process. These general properties of things are universal structures or patterns. These universal patterns are to be defined and axiomatized. For this task one calls on logic for help. The end result is that universals become generally comprehensible.
Here one may ask as Porphyry did what universals really are. The answers that have been proposed are numerous. They include: Platonic ideas, substances residing in things, concepts or representations in the human mind (conceptualism), terms or predicates contained in our language (nominalism), and mathematical-theoretical constructs in the languages of present day theories. The question about the very nature of universals (general structures) has occupied philosophy and the sciences up to the present day as one can see in reading Heisenberg's dialogues with Schrödinger where this question is discussed at length.
In the Middle Ages the concern with universals continued. Various elaborate systems evolved, including, importantly, varieties of conceptualism and nominalism. A decisive turn in the history of ontology is connected with the writings of Goclenius, Wolff, and Leibniz. Goclenius needs to be mentioned for he is credited with the first use of the term 'ontology'. Like all ontologies, so also Wolff's, has to be made dependent upon the level of knowledge existing at his time. Knowledge for Wolff is logical knowledge. He established the interdisciplinary character of his ontology by deriving the most general laws of nature and of all things from the principles of a logic derived from Leibniz. According to Wolff, it is one of the basic ontological structures of everything that exists, that the principle of non-contradiction and the principle of sufficient reason are valid in all merely possible worlds in addition to the real world.
Kant rejected Wolff's logic as metaphysical and Platonistic. Therefore Kant rejected also Wolff's ontology. Instead of traditional logic, Kant introduced his own transcendental logic. This transcendental logic may be seen as a cognitively oriented method which is founded on concepts. If one wants to gain knowledge, then, according to Kant, only those categories (or most general concepts) may be used which fulfill certain spatio-temporal conditions when they are applied. These categories are of subjective origin, that is, created by the human mind. It is a scientific theory, namely, Newton's physics, which furnishes the natural laws which are the basis of Kant's ontology. In his epistemology (an "auxiliary discipline" of his ontology which is contained in the Critique of Pure Reason), Kant methodologically explains Newton's physics.
Leibniz's logic stands in the same relationship to Wolff's ontology, as the natural laws of Newton's physics and Kant's own epistemology stands to Kant's ontology. But for Kant it is not the world of things-in-themselves which determines his ontology but the spatio-temporal categorial system of relations of the phenomena. It is important that here ontology can be clearly separated from epistemology. Kant's epistemology is a metatheory of the cognitive presuppositions and methods of classical physics. Kant's categorial ontology derives from natural laws which are supported and confirmed by empirical evidence of the general structures of the world-the classical physical world, as we would say today. With this, ontology became an interdiscipline, since it is here that for the first time in the history of philosophy and science that scientific results were thoroughly (philosophically) generalized. This is also an important point in the development of the ontology of the sciences. The ontology of the sciences has progressed enormously in the twentieth century, since many scientific theories with their specialized, cognitively oriented languages and with their specialized mathematical methods did not originate before the twentieth century. Up to now, the ontology of the sciences is the last chapter of the history of ontology.
After Kant, ontology developed in several directions. Ontology of the sciences evolved in Neo-Kantianism, Positivism and Neo-positivism, the philosophy of the Vienna Circle, and in contemporary philosophy of science. On the other side stands phenomenological ontology. Phenomenological ontology expanded Kant's phenomenological "reduction" of the world. Its climax is Husserl's phenomenology in which the world itself becomes the (world) phenomenon. The world's basic structures exist exactly in that way in which they are experienced (phenomenologically) by human beings. The construction and the structure of the world "happen" in man's pure intentional consciousness vis-à-vis reality. According to Husserl, mathematics and logic also participate in the constitution of the world out of the phenomena. This constitution has a semantical character but happens, nevertheless, without language. Heidegger's fundamental ontology, on the other hand, speaks of an anti-logical and anti-scientific basic experience, which is said to be paramount to all scientific knowledge.
The next decisive step in the development of ontology was the result of another development, which had reached its climax in the twentieth century, the development of formal logic. Formal logic, and, in union with it, analytic philosophy, often show the tendency to dissolve epistemology into syntax and semantics, and even pragmatics. The syntactical semantic functions, the reference relation, etc., could, in turn, be based upon the respective functions of language, be it ordinary language or the language of the sciences. Wittgenstein's reduction of thinking to the linguistic medium became an object of a philosophical position whose task was to explain and clarify language. As a result, the ontology of the sciences acquires features which are best characterized by "regional linguistic ontology". An important result of Wittgenstein's reduction of thinking to language was the dissolution of conceptualistic ontology."
From: Werner Leinfellner, Eric Kraemer and Jeffrey Schank (eds.) - Language and Ontology. Proceedings of the Sixth International Wittgenstein Symposium. 23th to 30th August 1981 Kirchberg am Wechsel (Austria) - Wien, Hölder-Pichler-Tempsky, 1982, Preface by The Editors pp. 18-20.
THE ORIGIN OF A NEW TERM: "ONTOLOGIA"
Until 2003 the first appearance of the Latin word "ontologia" was known in two works published in 1613:
Rudolf Göckel (1547-1628) Latin Rudolf Goclenius, Professor of Logic in the University of Marburg: in his Lexicon philosophicum quo tanquam clave philosophiae fores aperiuntur, informatum opera et studio Rodolphi Goclenii, Frankfurt (reprinted by Georg Olms, second edition 1980) XII, 1143 pages)
Jacob Lorhard (1561-1609) Latin Jacobo Lorhardo or Jacobus Lorhardus, Professor at the University of St. Gallen (Switzerland) in his Theatrum philosophicum, Basilea, SECOND edition.
Göckel's work was well known, but Lorhard's Theatrum philosophicum was first discovered by Joseph S. Freedman in the second edition of his Deutsche Schulphilosophie im Reformationszeitalter (1500-1650): ein Handbuch für den Hochschulunterricht, Münster, MAKS, 1985, and cited by Jean-François Courtine in his masterpiece Suarez et le système de la métaphysique, Paris, Presses Universitaires de France, 1990, p. 410 n. 6.
Lorhard was an unknown author and the only reference I found to him is in the Syllabus auctorum, Vol. 9 of the Bibliographia philosophica vetus. Repertorium generale systematicum operum philosophicorum usque ad annum MDCCC typis impressorum by Wilhelm Risse, Zürich - New York, Georg Olms, 1998:
"Lorhardus, Jacobus (fl. 1597), praeceptor Durlaci, rector S. Galli"
Wilhelm Risse's outstanding work contains a bibliography of the published titles on philosophy up to 1800 (about 18.000 titles!); I tried to find the FIRST edition of Lorhard's work, which was unknown.
In Vol. II, - "Logica" of Risse's work, Jacobus Lorhardus is cited twice: year 1597 and year 1606 (references are to the year of publication).
1597: Liber de adeptione veri necessarii, seu apodictici..., Tubingae, 1598, 8° (p. 217)
1606: Ogdoas scholastica, continens diagraphen typicam artium grammatices, logices, rethorices... Sangalli, 1606, 4° (p. 232)
The title of the second work puzzled me: Ogdoas means "composed of eight elements" and the title cited only three disciplines.
May 16, 2003, I discovered that this work was the first edition of the Theatrum philosophicum and that the word "ontologiae" appeared in the complete title:
Jacobo Lorhardo: Ogdoas Scholastica continens Diagraphen Typicam artium: Grammatices (Latinae, Graecae), Logices, Rhetorices, Astronomices, Ethices, Physices, Metaphysices, seu Ontologiae.
The frontispiece of the book Ogdoas Scholastica and of the Metaphysicae su Ontologiae Diagraphe.
English translation by Sara L. Uckelman of Book 8 of Jacob Lorhard’s Ogdoas Scholastica ("Diagraph of Metaphysic or Ontology") - PDF
The first dictionary of Philosophy in a modern language (German) was the Philosophisches Lexicon by Johann Georg Walch 1693-1775): the first edition was published in 1726 (the second improved edition of 1733 has been reprinted in three volumes by Thoemmes in 2001); I reproduce the definition of Ontologie (file in PDF format).
July 15, 2005: I received new information about Jacob Lorhard from Peter Øhrstrøm , Institut for Kommunikation, Aalborg Universitet:
"Jacob Lorhard was born in 1561 in Münsingen in South Germany. In 1603 he became "Rektor des Gymnasiums" in the protestant city of St. Gallen. In 1606 he published his book Ogdoas scholastica, on the frontispiece of which the word "ontologia" appears - probably for the first time ever in a book. "Ontologia" is used synonymously with "Metaphysica". In 1607, i.e., the year after the publication of Ogdoas scholastica, Lorhard received a calling from Landgraf Mortiz von Hessen to become professor of theology in Marburg. At that time Rudolph Göckel (1547-1628) was also professor in Marburg in logic, ethics, and mathematics. It seems to be a likely assumption that Lorhard and Göckel met one or several times during 1607 and that they shared some of their findings with each other. In this way the sources suggest that Göckel during 1607 may have learned about Lorhard's new term "ontologia" not only from reading Ogdoas scholastica but also from personal conversations with Lorhard. For some reason, however, his stay in Marburg became very short and after less than a year he returned to his former position in St. Gallen. Lorhard died on 19 May, 1609. Later, in 1613, Lorhard's book was printed in a second edition under the title Theatrum philosophicum. However, in this new edition the word "ontologia" has disappeared from the front cover but has been maintained inside the book. In 1613, however, the term is also found in Rudolph Göckel's Lexicon philosophicum. Here the word "ontologia" is only mentioned briefly as follows: "ontologia, philosophia de ente" (i.e., "ontology, the philosophy of being"). It is very likely that Göckel included this term in his own writings due to inspiration from Lorhard."
October 27, 2006: Dr. Marco Lamanna, Bari University (Italy) send me some important details:
"In July 2006 I had the opportunity to consult a copy of the Ogdoas Scholastica (1606) of Lorhard in the University Library in San Marino. The neologism ontologia appears four times in the course of the work. On three occasions it occurs in the genitive singular (Ontologiae): on the frontispiece, in the title of the section on metaphysics, and at the end of this same section. Only on one occasion (in the dedicatory letter) does the word appear in the accusative case (Ontologiam). I was subsequently able to consult Lorhard's Theatrum philosophicum at the Herzog August Bibliothek in Wolfenbüttel. This work, the second (amplified) edition of the Ogdoas Scholastica, and appeared posthumously at Basel in 1613. The Theatrum philosophicum is made up of twelve parts (continens Grammaticen Latinam, Graecam, et Hebraeam, Logicen, Rhetoricen, Arithmeticen, Geometriam, Musicen, Astronomicen, Ethicen, Physicen, Metaphysicen seu Ontologiam). The parts that appear here in addition to the material in the Ogdoas are the sections on Hebrew grammar, arithmetic, geometry and music. In the dedicatory letter of the Theatrum philosophicum, Lorhardus writes "hancque Dodecada Scholasticam confeci" (i.e. a work of twelve parts), in contrast to what he had written in 1606: "hancque Ogodoada Scholasticam confeci" (i.e. a work of eight parts).
In September 2006 I confirmed that the part of the work dealing with metaphysics (Metaphysices seu Ontologiae Diagraphe) is identical in the Ogdoas and in the Theatrum, and also discovered that Lorhardus was not the author of this chapter. In fact, what Lorhard did was to create a diagrammatic representation, in the Ramist tradition, of the Metaphysicae Systema methodicum of Clemens Timpler, which ran through nine editions, including some unauthorized imprints (Steinfurt 1604, Lich 1604, Hanau 1606, Frankfurt a.M. 1607, Marburg 1607, Hanau 1608, Frankfurt a.M. 1612, Hanau 1612, Hanau 1616)
[See: Joseph S. Freedman, European academic philosophy in the late Sixteenth and early Seventeenth centuries. The life, significance, and philosophy of Clemens Timpler (1563/4-1624). Hildesheim: Georg Olms 1988].
Since Lorhard finished working on his Ogdoas Scholastica (the dedicatory letter was dated 24 February 1606), he could presumably only have had the 1604 editions of Timpler's work to consult. Lorhard faithfully repeats most of the theorems with which Timpler had begun each of his chapters, except for a few minor differences, explicable by the fact that Lorhard was adaptating Timpler's work to diagrammatic form and that the Ogdoas was a book for studiosis Adolescentibus of the Gymnasium in Sankt Gallen where he was rector. The sole important difference is that Lorhard introduces a new word, not found in Timpler, "Ontologia", by which he means all metaphysics. In the title page of the Ogdoas and in the title of his Ramistic diagram, Lorhard equates the two words with the phrases "Metaphysices, seu Ontologiae", and "Metaphysicae seu Ontologiae Diagraphe" respectively. (A similar phrase also occurs in the dedicatory letter).
I have also found another copy of the Ogdoas Scholastica (1606), in the Universitäts- und Landesbibliothek Sachsen-Anhalt in Halle, in addition to the four copies indicated on the website Ontology. A Resource Guide for Philosophers."
See Marco Lamanna: Correspondences between Timpler's work and that of Lorhard (PDF) and: Sulla prima occorrenza del termina "Ontologia". Una nota bibliografica. in: Quaestio. Yearbook of the History of Metaphysics - vol. 6, 2006 (Augustine and the Augustinian Tradition) pp. 557-570.
Suggested readings:
Peter Øhrstrøm, Jan Andersen , Henrik Schärfe - What has happened to Ontology - in: Conceptual Structures: Common semantics for sharing knowledge. Proceedings of the 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005 - Berlin, Springer, 2005, pp. 425-438
"Abstract: Ontology as the study of being as such dates back to ancient Greek philosophy, but the term itself was coined in the early 17th century.
The idea termed in this manner was further studied within academic circles of the Protestant Enlightenment. In this tradition it was generally believed that ontology is supposed to make true statements about the conceptual structure of reality. A few decades ago computer science imported and since then further elaborated the idea of ‘ontology’ from philosophy. Here, however, the understanding of ontology as a collection of true statements has often been played down. In the present paper we intend to discuss some significant aspects of the notion of ‘ontology’ in philosophy and computer science. Mainly we focus on the questions: To what extent are computer scientists and philosophers — who all claim to be working with ontology problems — in fact dealing with the same problems? To what extent may the two groups of researchers benefit from each other? It is argued that the well-known philosophical idea of ontological commitment should be generally accepted in computer science ontology."
Peter Øhrstrøm, Sara L. Uckelman Henrik Schärfe - Historical and conceptual foundations of diagrammatical ontology - in: Simon Polovina, Richard Hill, Uta Priss (eds.) - Conceptual Structures: Knowledge Architectures for Smart Applications. 15th International Conference on Conceptual Structures, ICCS (200)7, Sheffield, UK, July 22-27, 2007 - Dordrecht, Springer, 2007 pp. 374-386.
"Abstract. During the Renaissance there was a growing interest for the use of diagrams within conceptual studies. This paper investigates the historical and philosophical foundation of this renewed use of diagrams in ontology as well as the modern relevance of this foundation. We discuss the historical and philosophical background for Jacob Lorhard’s invention of the word ‘ontology’ as well as the scientific status of ontology in the 16th and 17th century. We also consider the use of Ramean style diagrams and diagrammatic ontology in general. A modern implementation of Lorhard’s ontology is discussed and this classical ontology is compared to some modern ontologies."
THE FIRST OCCURRENCE OF "ONTOLOGY" IN ENGLISH
According to the last printed edition of the Oxford English Dictionary (Second edition, 1989) the first occurrence of "ontology" was in An Universal Etymological English Dictionary (1721) by Nathaniel Bailey (born ? - died 1742): "An Account of Being in the Abstract."
Isaac Watts (1674-1748) in his Logic, or the Right Use of Reason in the Enquiry after Truth. With a Variety of Rules to Guard against Error, in the Affairs of Religion and Human Life, as well as in the Sciences (1724) wrote: "In order to make due enquiries into all these, and many other particulars which go towards the complete and comprehensive idea of any being, the science of ontology is exceeding necessary. This is what was wont to be called the first part of metaphysics in the peripatetic schools" I. VI. § 9.
The first book in English with "ontology" in the title is: Isaac Watts - "Philosophical Essays on Various Subjects, (...); With some Remark s on Mr. Locke's Essay on the Human Understanding. To which is subjoined a brief Scheme of Ontology, or the Science of Being in general with its Affections" (1733).
The on-line Draft Revision of the Oxford English Dictionary (September 2008) give as first occurrence (discovered by Fred R. Shapiro in a message to the Linguist List (December 25, 2005): Gideon Harvey (1636/7-1702): Archelogia philosophica nova; or, New principles of Philosophy. Containing Philosophy in general, Metaphysicks or Ontology, Dynamilogy or a Discourse of Power, Religio Philosophi or Natural Theology, Physicks or Natural philosophy - London, Thomson, 1663 vol. I. Chapter II. i. 18: "Metaphysics... is called also the first Philosophy, from its nearest approximation to Philosophy, its most proper Denomination is Ontology, or a Discourse of a Being."
THE FIRST OCCURRENCE OF "ONTOLOGIE" IN DENMARK
February, 24th 2004: I received this message from Dr. Jan Andersen (research assistant with Professor Peter Oehrstroem at the Department of Communication. Aalborg University, Denmark) on the origin of "ontology" in Denmark:
"The Danish-Norwegian author Jens Kraft (1720-1765) published a text book in Danish titled 'Ontologie' as a part of his 'Metaphysik' in 1751. When the book was published Kraft was a professor (mathematics and philosophy) at the Soroe University. 'Ontologie' was meant as a text book aimed at the students there. 'Ontologie' was a part of the larger work 'Metaphysik' which also contained 'Cosmologie' (1752), 'Psychologie' (1752) and 'Naturlig Theologie' (1753). Kraft was a dedicated admirer of Christian Wolff and had (before writing the book) attended Wolff´s lectures at Halle University, Germany, but, as opposed to Wolff, Kraft was an adherent of Newtonian theory, and is considered to be the prime spokesman and the introductor of Newton to Denmark and Norway (the two countries being one united kingdom at the time). Kraft is mentioned in the Dictionary of Scientific Biography (Charles Coulston Gillispie ed.) vol. VII, New York 1973, Charles Scribner's Sons, p.490 in an article written by Kurt Moeller Pedersen. Kraft´s book can be found at the Statsbiblioteket in Aarhus, Denmark."
This is the frontispiece of Jens Kraft's book.
THE FIRST TEXTS WITH THE TERM "ONTOLOGIA"
For the dissertations by Andreas Hojer, Johann Christophorus Segers, Johann Flottwel, that are practically unknown, I give the reference to the Libraries where the texts can be found.
Jacob Lorhard. Ogdoas Scholastica, continens Diagraphen Typicam artium: Grammatices (Latinae, Graecae), Logices, Rhetorices, Astronomices, Ethices, Physices, Metaphysices, seu Ontologiae. St. Gallen: 1606.
According to the Bibliographia philosophica vetus, Pars 1. Philosophia generalis, by Wilhelm Risse, the volume is available only in two German Libraries: the Staatsbibliothek Augsburg and the Lüneburg Ratsbibliotek, but I discovered a third copy, not cited by Risse, in the Kantonsbibliothek St. Gallen, Switerland; from 1998, a fourth copy is available in the "Fondo Young sulla memoria e la mnemotecnica" (Morris N. Young's Fund on memory and mnemotechnics) at the Library of the San Marino University; a fifth copy was discovered by Marco Lamanna University of Bari - Italy in the Universitäts- und Landesbibliothek Sachsen-Anhalt in Halle.
Jacob Lorhard. Theatrum philosophicum, continens Grammaticen Latinam, Graecam, et Hebraeam, Logicen, Rhetoricen, Arithmeticen, Geometriam, Musicen, Astronomicen, Ethicen, Physicen, Metaphysicen seu Ontologiam. Basilea: 1613.
Second, expanded edition of Lorhard (1606).
Andreas Hojer. Disputatio ontologica de bono et malo. Rostock: 1613.
Dissertation (Defender Matthias Lobertantz).
A copy is available at the Bayerische StaatsBibliothek - Signature: 4 Diss. 2968#Beibd.24
Rodolphus Goclenius. Lexicon philosophicum quo tanquam clave philosophiae fores aperiuntur. Frankfurt: 1613.
s.v. abstractio p. 16.
Reprint: Hildesheim, Georg Olms, 1964 (with the Lexicon philosophicum Graecum).
Johann Heinrich Alsted. Cursus philosophici encyclopaedia libris XXVII : complectens universae philosophiae methodum, serie praeceptorum, regularum & commentariorum perpetua. Herborn: 1620.
Two volumes; see vol. I p. 149.
Vol. II with the title: Septem artes liberales, quae constituunt tertium encyclopediae philosophicae tomum.
Reprint of the 1630 edition: Encyclopaedia. Septem tomis distincta - Stuttgart, Frommann-Holzboog, 1989.
Liborius Capsius. Sapientia (vulgo Metaphysica) idealis. Pro acquirenda Philosopho-Theologica akribeia. Erfurt: 1627.
See p. 28.
Abraham Calov. Metaphysica Divina, Pars Generalis Praecognita II. Rostock: 1636.
See p. 4.
Johannes Christophorus Segers. De Ontologia Generali. Erfurt: 1639.
Dissertation: Defender Liborius Capsius.
Available at the Universitäts- und Forschungsbibliothek Erfurt / Gotha - Signature: LA. 4º 00261 (21)
Johann Flottwel. Disputatio prima ontologica D.T.O.M.A. et consensu amplissimae Facultatie Philosophicae exercitii et indagandae veritatis. Regiomonti: Johanni Reusneri 1640.
Dissertation; a microfilm isavailable at the Bayerische StaatsBibliothek, Signature: Film R 2001.281,NWA-1267
Juan Caramuel y Lobkowitz. Rationalis et realis philosophia. Louvain: 1642.
See p. 65
Johannes Clauberg. Elementa philosophiae seu Ontosophia. Scientia prima, de iis quae Deo creaturisque suo modo communiter attribuuntur, distincta partibus quatuor. Groningen: 1647.
Johannes Clauberg. Ontosophia nova, quae vulgo Metaphysica, Theologiae, Iurisprudentiae et Philologiae, praesertim Germanicae studiosis accomodata. Accessit Logica contracta, et quae ex ea demonstratur Orthographia Germanica. Duisburg: 1660.
Johannes Clauberg. Metaphysica de ente, quae rectius Ontosophia. Amsterdam: 1664.
Johannes Micraelius. Lexicon philosophicum terminorum philosophis usitatorum (first edition). Jena: 1653.
s.v. Metaphysica
Johannes Micraelius. Lexicon philosophicum terminorum philosophis usitatorum (second edition). Stettin: 1662.
Reprinted with an introduction by Lutz Geldsetzer: Düsseldorf, Stern-Verlag Janssen & Co. 1966.
Gideon Harvey. Archelogia philosophica nova; or, New principles of Philosophy. Containing Philosophy in general, Metaphysicks or Ontology, Dynamilogy or a Discourse of Power, Religio Philosophi or Natural Theology, Physicks or Natural philosophy. London: Thomson 1663.
The first occurrence of "ontology" in English.
A SELECTION OF STUDIES ON THE ORIGINS OF THE LATIN WORD "ONTOLOGIA"
"In the prolegomena to his Elementa philosophiae sive Ontosophiae (1647), Johannes Clauberg remarks: 'Since the science which is about God calls itself Theosophy or Theology, it would seem fitting to call Ontosophy or Ontology that science which does not deal with this and that being, as distinct from the others owing to its special name or properties, but with being in general.' This text may be held, in the present state of historical knowledge, for the birth certificate of ontology as a science conceived after the pattern of theology, yet radically distinct from it, since being qua being is held there as indifferent to all its conceivable determinations. 'There is, Clauberg says, a certain science which envisages being inasmuch as it is being, that is, inasmuch as it is understood to have a certain common nature or degree of being, a degree which is to be found in both corporeal and incorporeal beings, in God and in creatures, in each and every singular being according to its own mode.' Leibniz will later praise Clauberg for such an undertaking, but he will regret that it had not been a more successful one. The very word "ontology" occurs at least once in an undated fragment of Leibniz, (1) and one can expect accidentally to meet it later in various places, (2) but it is not until 1729 that it finally comes into its own with the Ontologia of Christian Wolff."
(1) Louis Couturat - Opuscules et fragments inédits de Leibniz (Paris 1903) p. 512
(2) For instance, in J.B. Duhamel Philosophia vetus et nova 2nd ed. 1681, according to P. Gény, Questions d'enseignement de philosophie scholastique (Paris 1913) p. 48
From: Etienne Gilson - Being and some philosophers - Toronto, Pontifical Institute of Mediaeval Studies, 1952 p. 112-113. French edition: L'être et l'essence. Paris, Vrin,1948 (Second revised edition 1962).
"C'est un fait que l' Ontologia de WOLFF constitue une étape importante de l'histoire de la métaphysique, même s'iln'est pas vrai, comme on le dit trop souvent, qu'elle soit la toute première Ontologie. Avant lui déjà, en effet, CLAUBERG avait fait paraître à Amsterdam en 1656 une Metaphysica de ente quae rectius Ontosophia, aliarum Disciplinarum, ipsiusque quoque Jurisprudentiae et Litterarum, studiosis accomodata, car ainsi qu'il le déclare: sicuti...geosofia vel geologia dicitur quae circa Deum occupata est scientia: ita haec, quae non circa hoc vel illud ens speciali nomine insignitum vel proprietate quadam ab aliis distinctum, sed circa ens in genere versatur, non incommode Ontosophia vel Ontologia dici posse videatur (Opera omnia, Amstelodami, 1691 t. I, p. 281). De même, en 1669, le Père Réginald, dominicain, publia un ouvrage réédité à Paris en 1878 et intitulé: Doctrinae Divi Thomae Aquinatis tria principia, cum suis consequentiis, dont la première partie traite de l'être en général sous le titre: De Ontologia, cependant que Jean-Baptiste Du HAMEL, dans sa: Philosophia vetus et nova ad usum scholae accomodata, in regia Burgundia ohm pertractata, Parisiis, 1678, emploie le mot Ontologia dans le même sens, lorsque, dans le tome III de cet ouvrage, divisant la métaphysique en trois parties, il déclare: In primo quae ad entis ipsius naturam, principia, affectiones et primas velut species pertinent, exsequimur; adeo ut Ontologiam seu entis scientiam hoc tractatu complexamur. Atque haec est prima philosophia aut scientia generalis, ex qua reliquae dimanant (p. 10 et 11 de l'édition de 1687).
Mais ces auteurs ne sont pas les premiers à avoir frayé la voie de l'Ontologie. Le terme même semble avoir fait sa première apparition, tout au moins sous sa forme grecque, dans le Lexicon philosophicum quo tamquam clave philosophiae fores aperiuntur de Rudolph GOCLENIUS (Frankfurt, 1613), où l'on peut lire à l'article: abstractio, p. 16, dans la marge: ὀντολογία, et philosophia de ente, et dans le corps de l'article: ὀντολογία, idest Philophia de ente seu de transcendentibus. C'est encore sous sa forme grecque qu'on le rencontre chez Abraham CALOV qui, dans sa: Metaphysica divina a principiis eruta, in abstractione entis repraesentata ad S. S. Theologiam applicata, monstrans terminorum et conclusionum transcendentium usum genuinum abusum hereticum constans (Rostockii, 1636), déclare: Scientia de ente, Metaphysica appellatur communiter a rerum ordine, ὀντολογία rectius ab objecto proprio (Scripta philosophica, Lubecae, 1651, p. 145) et qui, tout au long de cet de cet ouvrage, appelle ainsi ὀντολογία la science de l'être; à tel point que sa Metaphysica divina... peut être considérée, dans l'état actuel de nos connaisances, comme la première ontologie. Quoi qu'il en soit, on peut bien dire qu'avec CALOV, l'Ontologie en tant que discipline est déjà née. Et c'est cette science de l'être en général que les scolastiques du XVII° siècle se sont plu à ériger en une sorte d'introduction à la philosophie - d'où le nom de philosophie première qu'ils lui donnèrent encore -- et qu'ils réduisirent peu à peu à n'être qu'un vocabulaire ou un lexique philosophique, destiné à servir d'instrument de base à l'enseignement de la métaphysique, grâce à la définition des termes employés par celle-ci, comme nous l'apprennent: Johann Franz BUDDE dans une longue note de son ouvrage: Isagoge historico-theologica in theologiam universam singulasque ejus partes, Lipsiae, 1727, lib. I, cap. IV, § 28, t. I, p. 252-261, et surtout Jacob THOMASIUS dans son: Historia variae fortunae quant Metaphysica jam sub Aristotele, jam sub Scholasticis, jam sub Recentibus experta est, ajoutée en appendice à ses Erotemata metaphysica pro incipientibus, Lipsiae, 1692, p. 19-87.
Ainsi donc, lorsque l'ouvrage de WOLFF parut, l'ontologie était une conquête de la philosophie vieille déjà d'à peu près cent ans. Mais, à défaut d'en avoir été le créateur, il peut bien être considéré comme son réformateur et son rénovateur. Car, indépendamment du fait qu'il a été le premier à lui donner des dimensions matérielles aussi considérables et à en faire un traité bien à part à côté des autres traités constituant l'ensemble de la métaphysique, il s'est élevé contre la prétention d'en faire purement et simplement un lexique philosophique et a tenté de l'ériger en authentique science première qua omnis cognitionis humanae principia continentur, comme le dit son titre. Il lui attribue, en effet, pour rôle d'établir les principes et de définir les concepts nécessaires aux autres disciplines, non seulement philosophiques, mais aussi scientifiques et utiles à la pratique de la vie, en même temps qu'il vise à y édifier une théorie générale de l'être, ainsi que le veut la définition qu'il en donne au § 1: Ontologia seu Philosophia prima est scientia entis in genre, seu quatenus ens est. En un mot, pour être l'héritier des scolastiques du XVII° siècle, et tout en adoptant leur réduction de la philosophie première à l'Ontologie, alors qu'elle était coextensive à toute la métaphysique chez ARISTOTE, WOLFF n'en a pas moins donné à celle-ci un statut à la fois plus ample et plus ferme. Et c'est ce qui fait que son nom est resté plus intimement lié que celui de ces derniers à son apparition." (p. 116).
From: Jean École - La Philosophia prima sive Ontologia de Christian Wolff: Histoire, doctrine et méthode - Giornale di metafisica, 1961/1 pp. 114-125 (reprinted in: Jean École Introduction à l'Opus Metaphysicum de Christian Wolff - Paris, Vrin, 1985 pp. 8-19).
"Christian Wolff popularized (in philosophical circles) the word 'ontology' (ontologia, Ontologie). The word appears in the title of his Philosophia prima sive ontologìa methodo scientifica pertractata, qua omnes cognitionis humanae principia continentur, first published in 1730. Ontologia seu philosophia prima is defined as scientia entis in genere, quatenus ens est (op. cit., § 1). Ontology uses a "demonstrative [i.e., rational and deductive] method" (ibid., § 2), and purports to investigate the most general predicates of all entes as such (ibid., § 8). Following Wolff, Alexander Baurngarten (Metaphysica, 1740) defined ontology (also called ontosophia, metaphysìca, metaphysica universalis, architectoníca, philosophia prima) as "the science of the most general and abstract predicates of anything" (op. cit., § 4), in so far as they belong to the first cognitive principles of the human mind (ibid., § 5). Kant launched an epoch-making attack against rational ontology in the sense of Wolff and Baumgarten; for ontology was to him both a pseudo-science and a temptation. He was convinced that he had succeeded in eliminating it by the "transcendental Analytic." The whole Critique of Pure Reason is, in a way, the work of a man who was obsessed, and deeply distressed, by ontology. On the other hand, the expression 'ontological proof (ontologischer Beweis) used by Kant is not a mere alternative expression to 'Anselmian proof; it is intended to emphasize the very nature of the proof. Since Kant is at the crossroads of modern thought, it is important to know what he had in mind when he decided to overthrow the ambitious projects of rational ontologists. An exarnination of the origins of the concept of ontology is an indispensable step in the clarification of Kant's thought.
Although the concept of ontology preceded the word 'ontology,' it can be assumed that only when such a word (or the alternative word, 'ontosophy') carne into use, could philosophers begin to understand fully all the implications of the concept." (p. 36) "Unless I have missed the pertinent texts, a new name for a new discipline of the character stated above -- which is at the same time 'a new name for some old ways of thinking' - occurred only in the Seventeenth Century. It was proposed by philosophers who did not belong to the Schools, but who had been directly or indirectly influenced by the Scholastic tradition supplemented by the modern rationalist tradition. A number of historians (Rudolf Eucken, Etienne Gilson, Hans PichIer, Max Wundt, Heinz Heimsoeth) mention Johannes Clauberg as the first philosopher who used the new term we are looking for: the term 'ontology.' This is not the case. The first instance occurs in Rudolf Goclenius (Lexicon philosophicum, quo tanquam clave philosophiae fores aperiuntur, Informatum opera et studio Rodolphi Goclenii. Francoforti, 1613). In his Worterbuch der philosophischen Begriffe, Rudolf Eisler refers to this instance, but fails to indicate its significance. In a way, Eisler was right, because it has no significance.(1) The word 'ontology' occurs in Goclenius's Lexicon on page 16 as follows: "ὀντολογία, philosophia de ente." This is all. Furthermore, it occurs on the left margin of the article "Abstractio," in which the author discusses the concept of abstractio materiae according to Alexander of Hales. lf this were not enough, Goclenius does not even include an article on Metaphysics or First Philosophy in his Lexicon. There is, indeed, an article on Philosophy (Philosophia) which contains various definitions, among them the following one: Philosophy can be understood per excellentiam as prima philosophia (definition 4). Therefore, if it is true that Goclenius actually used the word 'ontology' he did very little with it. Neither does he mention such a word in his Isagoge (Rod. Goclenii ... Isagoge in peripateticorum et Scholasticorum primam philosophiam quae vulgo dicitur Metaphysica, Francoforti, 1612). Here the expression prima philosophia is introduced as a technical term for the more "common" Metaphysica. Goclenius writes to this effect: '1. Duae sunt communissimae disciplinae liberales: Logica, Metaphysica, quae sapientia dicitur ... 3. Metaphysica seu prima philosophia cognitio communis est eorum, quae sunt altissimis causas & prima principia; ... 9. Prima philosophia scientia de Ente qua ens, hoc est, universaliter sumto' (P.A. 4). He therefore relapsed into a relatively long established tradition in philosophical terminology, but 'to relapse into' is probably too strong an expression when he had scarcely done anything to produce a new terminology. At any rate, his introduction of the word 'ontology' in the Lexicon does not seem to be the result of a careful plan; it looks more like a purely casual and inconsequential remark." (pp. 38-39). (1) Jean École, in an article on Wolff's Ontologia (Rivista di metafisica, XVI [1961], 114-125) published after the present one was written, also mention Goclenius.
[École's article is the French version of the author's Latin "Introductio" to his critical edition of Wolff's Philosophia Prima sive Ontologia, Hildesheim, Olms, 1962].
From: José Ferrater Mora - On the early history of 'Ontology' - in: Philosophy and Phenomenological Research, 24, 1963 pp. 36-47.
"Wir gehen vom Titel "Ontologia" aus Dieser ist dem Christian Wolff ganz selbstverständlich. Er benutzt ihn, ohne über seine Herkunft Rechenschaft abzulegen. Dabei ist nicht die historisch verstandene Herkunft entscheidend, sondern die ausgewiesene Zugehörigkeit dieses Titels zum Wesen der in ihm ausgesprochenen Prima Philosophia aus gerade diesem Wesen. Bekanntlich ist der Titel "Prima Philosophia" ein von Aristoteles der Sache und dem Kern der Sache des Denkens verliehener Titel. Dieser Vorgang der Namensgebung ist kein beliebiger! Der Titel "Prima Philosophia", beziehungsweise "prothé filosofia" wird dem Denken beigegeben, als es die ihm zugehörige Gestalt aus seinem eigenen Wesen annimmt. Die ihm später zugetragenen Titel "Metaphysik" und "Ontologie" sind dagegen nur Nebentitel.
Johannes Micraelius (1597 - 1658) schreibt in seinem Lexicon Philosophicum: Metaphysicae objectum est Ens quatenus Ens est. Unde etiam vocatur aliquibus ; (1).Er spricht hier ausdrücklich von "einigen"! Einer davon ist Johannes Clauberg (1622 - 1665), der oft als der erste genannt wird, der den Titel "Ontologia" gebraucht. Dieser verfaßte ein Werk: Elementa philosophiae sive Ontosophia (Groningen 1647). 1660 kam das Buch, oder vielmehr sein Hauptteil, unter einem anderen Titel als: Ontosophia nova, quae vulgo Metaphysica (Duisburg) heraus; es konnte 1664 unter einem nochmals geänderten Titel erscheinen: Metaphysica de ente, quae rectius Ontosophia, Amsterdam. Bereits in der ersten Ausgabe von 1647 ist der Titel "Ontosophia" auch durch den Titel ,,Ontologia" verdeutlicht (2). Die dritte Ausgabe ist später in die Opera philosophica aufgenommen worden (1691). Dort lautet der Passus: Sicuti autem: Ontologia dicitur quae circa Deum occupata est scientia: ita haec, quae non circa hoc vel illud ens speciali nomine insignitum vel proprietate quaedam ab aliis distinctum, sed circa ens in genere versatur, non incommode Ontosophia vel Ontologia dici posse videatur (3).
Wenig später heißt es: Est quaedam scientia, quae contemplatur ens quatenus ens est, hoc est in quantum communem quandam intelligitur habere naturam vel naturae gradum, qui rebus corporeis et incorporeis, Deo et creaturis, omnibusque adeo et in singulis entibus suo modo inest. Ea vulgo Metaphysica, sed aptius Ontologia vel scientia Catholica, eine allgemeine Wissenschaft, et philosophia universalis nominatur. 13). Der Titel "Ontologia" findet sich jedoch noch vor Clauberg. Abraham Calov (1612 - 1686) hat ihn schon 1636 in seiner Metaphysica divina: Scienta de Ente Metaphysica appellatur communiter a rerum ordine, ' ὀντολογία ; rectius ab objecto proprio (4). Und noch vor Calov benutzt ihn Johann Heinrich Alsted (1588 - 1638). Er gibt 1620 seinen Cursus philosophici Encyclopaedia heraus. Dort heißt es: Metaphysica est sapientia quae considerat ens qua ens: alias dicitur prima philosophia, et ὀντολογία in Lexico Goclenii pag. 16 (5). Alsted verweist hier auf den Schulmetaphysiker Rudolf Göckel (Goclenius, 1547 - 1628), der nach allem, was wir wissen, der erste gewesen ist, der den Titel "Ontologia" geprägt hat (6)."
1) Johannes Micraelius, Lexicon Philosophicum, Jena 1653, pag. 654.
2) Johannes Clauberg, Elementa philosophiae sive Ontosophia, Groningen 1647, pag. 3.
3) Johannes Clauberg, Opera omnia philosophica, partim antehac separatim, partim nunc primum edita ura Joh. Theod. Sehalbrudhii, Amsterdam 1691, pag. 28113) a. a. O, p. 283.
4) Abraham Calov, Metaphysica divina, Pars generalis, Rostok 1636, Praecognita II, pag. 4. In den Scripta philosophica wird der Pars specialis nachgeliefert (Rostok 1650/51). In beiden In den Scripta philosophica wird der Pars specialis nachgeliefert (Rostok 1650151). In beiden Teilen der Metaphysica divina findet sich der Titel 'ontologia' mehr als ein dutzendmal in Buch- und Kapitelüberschriften. Er ist stets in griechischen Buchstaben geschrieben. Es sieht Buch- und Kapitelüberschriften. Er ist stets in griechischen Buchstaben geschrieben. Es sieht ganz so aus, als ob Clauberg der erste ist, der den Titel Ontologia in lateinischen Buch staben schreibt.
5) Cursus philosophici Encyclopaedia Libri XXVII, Opera et studio Johannis Henrici Alstedii, Herborn 1620, Liber V, Metaphysica, Pars prima, De Transcendentibus, Caput I Ens, pag. 149.
(6) Das hätte man schon immer im Eisler nachschlagen können: Rudolf Eisler, Wörterbuch der Philosophischen Begriffe, 4. Aufl., Berlin 1927, Artikel "Ontologie". Trotzdem hielt sich hartnäckig die Behauptung, Clauberg sei der Erfinder dieses Titels gewesen
From: Ernst Vollrath - Die Gliederung der Metaphysik in eine Metaphysica Generalis und eine Metaphysica Specialis - Zeitschrift für Philosophische Forschung - April-June 1962, XVI, 2 pp. 265-266.
"La thèse de Goclenius qui sépare radicalement la prima philosophia et la metaphysica (1), nous paraît d'autant plus intéressante que son auteur est très vraisemblablement celui qui a forgé pour la première fois (2) le mot d'ontologie, destiné par la suite à nommer précisément cette philosophia prima comme science universelle, dans sa séparation de toute recherche théologique appréhendée désormais comme 'spéciale'. On peut lire en effet, sous la plume de Goclenius, mais encore sous sa forme grecque, le terme d' ontologia, non pas à vrai dire dans son Isagoge, mais dans le célèbre Lexicon philosophicum quo tanquam clave philosophiae fores aperiuntur, informatum opera et studio Rodolphi Goclenii, publié quelques années plus tard, à Francfort en 1613. (3) Il est très significatif de trouver cette première occurrence du terme à l'article abstractio. Nous avons déjà signalé (cf. chapitre III, p. 458 sq.) que Pérérius introduisait son opposition insolite entre philosophie première métaphysique à partir d'une réflexion critique sur la doctrine classique ('aristotélico-thomiste') de l'abstraction, et que Suarez développait le plus nettement l'orientation ontologique de son projet métaphysique en fonction de sa doctrine de l'abstraction et de la praecisio (Disputationes Metaphysicae, II, 2, 15-16)."
(1) Est-il besoin de souligner qu'une telle opposition est contraire à l'esprit de l'enquête aristotélicienne comme à l'élaboration terminologique des commentateurs les plus anciens?
(2) La prudence est ici plus que jamais de mise. Après avoir rédigé ces pages, nous avons été mis, grâce à l'obligeance de J. S. Freedman, à qui l'on doit un excellent travail (Deutsche Schulphilosophie im Reformationszeitalter 1500-1650, dact., Münster, 1984), sur la piste d'un auteur assez singulier et à la vérité peu connu, un certain Jacobus Lorhardus, recteur au Gymnasium de Saint-Galles, qui publie à Bâle en 1613, comme secunda editio un Theatrum philosophicum qui présente à la manière ramiste une série de tabelles à travers lesquelles se répartissent toutes les disciplines philosophiques. Or le 'diagraphe' qui introduit les divisions de la Métaphysique est précisément intitulé : Metaphysicae seu Ontologiae Diagraphe (p. 157). Et il se termine, après la division des ficta ou des êtres de raison, par ces mots : Finis Ontologiae. L'ouvrage de Lorhardus est très remarquable également dans sa définition la plus générale de la Métaphysique qui fait évidemment référence à Clemens Timpler (cf. supra, p. 265 sq.): " Metaphysicae (quae est epistheme tou noetoue noeton quatenus ab homine naturali rationis lumine sine ullo materiae conceptu est intelligibile) partes duae sunt... ! "(ibid.).
(3) Reprint Hildesheim, 1964. Signalons aussi qu'en revanche le terme ontologia n'apparaît pas, du moins à notre connaissance, dans le Lexicon philosophicum graecum de 1615 (Marbourg).
From: Jean-François Courtine - Suárez et le système de la métaphysique - Paris, Presses Universitaires de France, 1990, p. 410 n. 6.
FURTHER DEVELOPMENTS OF THE HISTORY OF ONTOLOGY (in progress)
"In 1620 the Calvinist Johannes Heinrich Alsted (1588-1638) takes up the term 'ontology' and identifies ontology with metaphysics or 'first philosophy' as 'general discipline of being'. This ontology has a general part which deals with transcendentia and a special part which deals with praedicamenta (categories). Alsted opposes this general discipline or ontology to inferior disciplines which are concerned with special beings such as physics with natural bodies, mathematics with quantity), as well as to the science of transnatural beings, which he calls pneumatica or pneumatologia, the science of God, angels, and separate souls. Metaphysics or ontology is the most general discipline, which cannot have a double subject (being and God) (Cursus philosophici Encyclopaedia, 1620, Lib. V-VI).
Johann Micraelius (I579-1658) departs from the reduction of metaphysics to the science of being as being and sees it as embracing also the special sciences of pneumatology (theology, angelography, psychology). These he opposes to ontology as the general part (see the articles 'Metaphysica' and 'Philosophia' in his Lexicon philosophicum of 1653). Micraelius thereby seems to coin the distinction between metaphysica generalis and metataphysica specialis, a distinction which has been current ever since. Thee notion of 'ontology' was also affected by Cartesianism. Johannes Clauberg distinguishes three kinds of entia: being as thinkable (ens cogitabile), being as something (aliquid), and being as thing or substantial being (res sive ens substantiale). Ontology or 'ontosophy' deals with being in the third sense and it presupposes the science of thinkable things, in other words metaphysics or 'first philosophy', as this is elaborated in Renée Descartes's Meditationes (Metaphysica de Ente, quae rectius Ontosophia, 1664, 1, 1-5).
Traces of this same distinction, between ontology and a science or method of thought, appear also in the 18th century, for example in the work of Christian Wolff and in Kant. According to Wolff, ontology deals with being in general, but it can also be termed 'first philosophy' in so far as it concerns first principles and notions 'which are used in reasoning' . The method of ontology conforms to that of mathematics (Philosophia prima sive Ontologia, 1730, 'Prolegomena')."Kant identifies ontology (the system of all those concepts and principles of reason which relate to objects in general) with the first part of the system of his metaphysics of nature. Ontology in this sense presupposes the method or propaedeutic of the critique of pure reason, the knowledge of the limits of human knowledge. Kant's reformed ontology is concerned only with objects which are accessible to human knowledge (appearing objects, ontology of 'immanent thought') and it is based on the principles of this knowledge developed by Kant in his 'analytic of the pure understanding' (CPR, Letter to Beck. 211 January 1792). (On the relations of methodology, metaphysics, and ontology, see also Johann Friedrich Herbart. for example Kurze Enzvklopädie der Philosophie, 1831, 11, § 190, and Lotze).
Also in the 18th century. the German tradition tends sometimes to locate the object of ontology in the essence of things, rather than in the things themselves. In Wolff's work, this transformation becomes manifest in the fact that the first thing, conceived in being is not existence, but essence (Philosophia prima, § 144). In Christian August Crusius, ontology becomes explicitly a science of the 'general essence of things', and he sees this essence as something to be analysed entirely a priori (Entwurf der notwendigen Vernunftwahrheiten, 1745, 1, § 5: see also Georg Bernhard Bilfinger. (1693-1750), Johann Heinrich Lambert, and Hegel).
As for the relation between metaphysics and ontology, Wolff (Philosophia rationalis, 'Discursus praeliminaris', §§ 79, 99), Crusius (Entwurf, 1, § 5), and Kant (CPR, Reflection 4851) remain faithful to the distinction between general metaphysics (ontology) and special metaphysics (psychology or pneumatology, cosmology, theology).
In the 19th and 20th centuries, the evolution of the notion of 'ontology' can again be analysed in terms of the distinction between the object of ontology and the relation of ontology to other disciplines. The relation between ontology, 'epistemological' sciences and metaphysics is discussed by authors such as Rudolf Hermann Lotze, Nicolai Hartmann, and Günther Jacoby (1881-1969)."
From: ONTOLOGY. I: History of ontology by Léo Freuler, in: Hans Burkhardt & Barry Smith (eds.) - Handbook of Metaphysics and Ontology - Philosophia Verlag GMBH - Munchen 1991.
"The study of being in so far as this is shared in common by all entities, both material and immaterial. It deals with the most general properties of beings in all their different varieties.
The books of Aristotle's Physics deal with material entities. His Metaphysics (literally 'what comes after the Physics'), on the other hand, deals with what is beyond or behind the physical world - with immaterial entities - and thus contains theology as its most prominent part. At the same time, however, Aristotle conceives this 'metaphysics' as having as its subject matter all beings, or rather being as such. Metaphysics is accordingly identified also as 'first philosophy', since it deals with the most basic principles upon which all other sciences rest.
From the very beginning, then, an alliance was established between theology and the science of being qua being, and this alliance was sustained successfully throughout the Middle Ages. By the seventeenth century, however, the two disciplines were beginning to fall apart, and there was effected a distinction between metaphysica generalis on the one hand - the science of the most general concepts or categories of being - and metaphysica specialis on the other - embracing not only theology but also other special sciences of being, including psychology (the science of finite mind) and cosmology.
'Ontology', now, is just another name for metaphysica generalis as thus conceived. The tern was introduced into philosophy by the German Protestant Scholastic Rudolphus Goclenius (Rudolf Göckel) in his Lexicon philosophicum (1613) and was given currency above all through the influence of Christian Wolff (1679-1754).
Where metaphysics had traditionally confined itself to the treatment of existent beings, Leibniz, Wolff and others dealt also in their metaphysical writings with the being of what is merely possible. It fell to Meinong in his 'Uber Gegenstandstheorie' (1904) to conceive the project of an absolutely general 'theory of objects', which would embrace within its subject matter not merely actual and possible objects, but also impossible objects, obtaining and non-obtaining states of affairs and other higher-order objects, merely hypothetical objects, and also objects 'beyond being and non-being' which are as it were awaiting realization.
In part under the influence of Meinong, in part also under the inspiration of contemporary work in logic and mathematics, Husserl put forward in his Logical Investigations (1913-21) the idea of a 'pure theory of objects' or 'formal ontology', a discipline which would deal with such formal-ontological categories as: object, state of affairs, property, genus, species, unity, plurality, number, relation, connection, series, part, whole, dependence, magnitude, open and closed set, boundary, manifold, and so on.
Formal ontology would deal also with the different formal structures manifested by entire regions of being. To each such formal structure there would then correspond in principle a number of alternative material realizations, each having its own specific material or regional ontology. The most important such material ontology relates to the natural world of spatio-temporally extended things, and thus includes ontological theories of space, time, movement, causality, material body, and so on.
Next in order of development is the material ontology of organic entities, followed by the material ontology of minds (of thinking bodies and of their mental acts and states), perhaps also by the material ontology of cultural and institutional formations."
From: Ontology by Barry Smith, in: Jaegwon Kim & Ernest Sosa (eds.) - A Companion to Metaphysics - Oxford, Basil Blackwell 1995, pp. 373-374.
"Ontology and History of Logic in Western Thought" by Raul Corazzon
General Works and Bibliographies on the History of Logic
Aristotle's Logic: General Survey and Introductory Readings
Aristotle's Earlier Dialectic: the Topics and Sophistical Refutations
Theory of Predication and Ontological Analysis in Aristotle's Categories
Annotated Bibliography on Aristotle's Categories (First part: A - F)
Annotated Bibliography on Aristotle's Categories (Second part: G - Z)
Aristotle's De Interpretatione: Semantics and Philosophy of Language
Annotated bibliography on Aristotle's De Interpretatione
Aristotle's Categorical Syllogism in the Prior Analytics
Aristotle's Modal Syllogistic in the Prior Analytics
Aristotle's Theory of Science in the Posterior Analytics
Peripatetic Logic: Eudemus of Rhodes and Theophrastus of Eresus
The History of Ancient Logic in the Hellenistic Period
Annotated bibliography on Ancient Logic after Aristotle to the Hellenistic Period
The Dialectical School, Stoic Logic and the Doctrine of Lekta (Sayables)
Annotated bibliography on Stoic Logic A - G
Annotated bibliography on Stoic Logic H - Z
Stoic Logicians: Diodorus Cronus, Philo of Megara, Chrysippus
The Contribution of Boethius to the Development of Medieval Logic
History of Medieval Logic after Boethius to Late Scholasticism
Medieval Theories of Supposition (Reference) and Mental Language
Annotated bibliography on the Theories of Supposition and Mental Language A - L
Annotated bibliography on the Theories of Supposition and Mental Language M - Z
The Development of Renaissance and Modern Logic from 1400 to Boole
Leibniz on Logic and Semiotics: the Project of a Universal Language
Annotated bibliography of Leibniz on Logic and Semiotics A- K
Annotated bibliography of Leibniz on Logic and Semiotics L - Z
The Rise of Contemporary Symbolic Logic from Frege to Gödel
A Selection of Great Logicians from Aristotle to Gödel (1931)
"In short, we can gain access to philosophy through the concrete problems of logic."
Martin Heidegger - The metaphysical foundations of logic (Summer semester 1928) - Bloomington, Indiana University Press, 1984, p. 7
INTRODUCTION
"Preliminary definition of the subject matter of the history of logic is hard to come by. For apart from 'philosophy' there is perhaps no name of a branch of knowledge that has been given so many meanings as 'logic'. Sometimes the whole of philosophy, and even knowledge in general, has been thus named, from metaphysics on the one hand, cf. Hegel, to aesthetics ('logic of beauty') on the other, with psychology, epistemology, mathematics etc. in between. With such a wide choice it is quite impossible to include in a history of logical problems all that has been termed 'logic' in the course of western thought. To do so would practically involve writing a general history of philosophy. But it does not follow that the use of the name 'logic' must be quite arbitrary, for history provides several clues to guide a choice between its many meanings.
This choice can be arrived at by the following stages.
1. First let us discard whatever most authors either expressly ascribe to some other discipline, or call 'logic' with the addition of an adjective, as for example epistemology, transcendental logic, ontology etc.
2. When we examine what remains, we find that there is one thinker who so distinctly marked out the basic problems of this residual domain that all later western inquirers trace their descent from him: Aristotle. Admittedly, in the course of centuries very many of these inquirers -- among them even his principal pupil and successor Theophrastus -- have altered Aristotelian positions and replaced them with others. But the essential problematic of their work was, so far as we know, in constant dependence in one way or another on that of Aristotle Organon. Consequently we shall denote as 'logic' primarily those problems which have developed from that problematic. 3. When we come to the post-Aristotelian history of logic, we can easily see that one part of the Organon has exercised the most decisive influence, namely the Prior Analytics. At some periods other parts too, such as the Topics or the Posterior Analytics, have indeed been keenly investigated and developed. But it is generally true of all periods marked by an active interest in the Organon that the problems mainly discussed are of the kind already to hand in the Prior Analytics. So the third step brings us to the point of describing as 'logic' in the stricter sense that kind of problematic presented in the Prior Analytics. 4. The Prior Analytics treats of the so-called syllogism, this being defined as logos in which if something is posited, something else necessarily follows. Moreover such logoi are there treated as formulas which exhibit variables in place of words with constant meaning; an example is 'B belongs to all A'. The problem evidently, though not explicitly, presented by Aristotle in this epoch-making work, could be formulated as follows. What formulas of the prescribed type, when their variables are replaced by constants, yield conditional statements such that when the antecedent is accepted, the consequent must be admitted? Such formulas are called 'logical sentences'. We shall accordingly treat sentences of this kind as a principal subject of logic."
From: Joseph Bochenski - A history of formal logic - New York: Chelsea Publishing Co. 1961 pp. 2-3.
LOGIC AND ONTOLOGY
The question "how are logic and ontology interrelated?" is an ambiguous question, that is, it can refer either to logic and ontology themselves or to the metatheories of logic and ontology (that is, to the views about them). Furthermore, in the first case, both logic and ontology may be considered either objectively or subjectively.
(1) If the question refers to logic and ontology themselves considered objectively (that is, in their content), the disciplines are seen as sets of laws and/or rules, and so the problem is purely logical. It will be clear that its solution depends largely on the content of logic and of ontology as they were constructed at a given time.
(2) If the question refers to the same, but as seen subjectively (that is, in as far as they were conceived by some thinkers or groups of thinkers), then it is about empirical facts and is then a historical question: how did the fact that x held the ontology O influence the fact that he also held the logic L or inversely?
(3) Finally, if the question is concerned not with the two systems as they are but rather with the metatheoretical views about them (that is, with the corresponding philosophies of logic), the question is a quite different one. That this is so is indicated by the fact that often the same type of logic was philosophically interpreted in a different manner by two different schools. This question, in turn, can be considered either logically or historically. It should be clear that the first question is fundamental. Therefore, the principal focus of this presentation will be upon it. The philosophy of logic and ontology will be treated only secondarily, while the historical question of the mutual factual influences of doctrines about them will be only marginally noted.
Now to state at once one of the principal conclusions of the present investigation, it must be confessed that there is considerable confusion about that basic question. Almost any imaginable answer has been proposed by one or another philosopher. To mention only two of the extreme views, respectable logicians have maintained that there is a complete identity of both disciplines (thus, Scholz) and that there is no relation whatsoever between them (thus, Nagel). The very fact that this is so requires an explanation. As is always so in such cases, this explanation must be historical.
One reason for the unfortunate state prevailing in investigations of this problem can readily be identified: ignorance. Most ontologists do not know even the ABC's of logic. But the inverse is also true: most logicians do not have the least idea what ontology might be. These deficiencies are often combined, on both sides, with value judgments of an unkind sort. Thus, to most ontologists, logic does not seem to be a serious discipline, although they concede that it provides (hélas!) some practical results for computer science. On the other hand, ontology is merely nonsense in the estimation of many logicians. It is little wonder that such scholars produce few worthwhile contributions regarding the relations of the two disciplines.
But this is not the whole answer. The present bifurcation did not always prevail. There have been ontologists who were well instructed in logic and who were even creative logicians in their own right ; Thomas Aquinas and Uddyotakâra (seventh century) are examples. There were also logicians who knew a good deal about ontology; one need think only of Leibniz and of Whitehead. Nevertheless, confusion about our problem is widespread across the ages. Some explanation must be offered for this fact, and once again it has to explained historically. (pp. 274-275)
(...)
The history begins with Aristotle, as so many philosophical questions do. Nor is it a question of that history merely beginning with him. For in many cases one gets the impression that where "the Master of those who know" (Dante) failed to perceive or to formulate a problem, his successors had a difficult time at formulating or solving it. Among these problems is that of the relations between logic and ontology.
The following is a brief description of both disciplines as they appear to the unbiased reader in the Aristotelian corpus. There is a book, or rather a collection of writings, called "Metaphysics" by Andronikos Rhodes. There is also a collection of works which received the name "Organon" from the commentators. None of these names derive from Aristotle himself. There can be no doubt, however, that we find in his writings a considerable number of doctrines belonging to what will subsequently be called 'logic" and "ontology" respectively.
As regards ontology, Aristotle talks about a "first philosophy" and a "divine science." He says that they are about being as being; what we see here is an attempt to define this discipline. But as far as logic is concerned, we find no name for it in his writings. (...) Still less is there any attempt to define the subject matter of logic.
If, however, we turn from his philosophy of logic and of ontology to the theories themselves (that is, to the systems Aristotle developed), it is relatively easy to describe what he would have meant by "ontology" and "logic" respectively, if he had such terms.
Regarding ontology, we should first note that Aristotle, unlike many later thinkers, did not believe that there is an entity or even a meaning unambiguously associated with the term "being." In one of those passages which can certainly be esteemed as a stroke of genius, Aristotle explicitly states that "being" is an ambiguous term; he justifies this assertion by a sort of embryonic theory of types. And yet, we find extensive discussions of the characteristics of entities in general in the Metaphysics and elsewhere. On closer inspection, we discover that his ontological doctrines can be divided into two classes.
First of all, in the fourth book of his Metaphysics, Aristotle undertakes to state and discuss the "principles" — namely, non-contradiction and the excluded middle. (Aristotle made explicit use of the principle of identity in his logic, but never made it the object of a similar study.) Next we have a number of analyses of concrete entities. Of these the most conspicuous are the doctrine of act and potency and the table of the categories (also studied in the Organon, but obviously belonging to the "first philosophy"). The last named could be and has often been viewed as a classification of entities. But it seems more consistent with Aristotle's thought to consider it as a sort of analysis of a concrete entity into its various aspects. (...)
In summary, the Aristotelian ontology appears to be a study (1) of (isomorphically, we would say) common properties of all entities and (2) of the aspects into which they can be analyzed. Both sorts of studies are about real objects. One distinctive characteristic of this ontology is its conspicuous lack of existential statements, which is contrary to what we find in what is now commonly called "metaphysics". (pp. 279-281)
(...)
In summary, then, Aristotle left: (1) an ontology conceived as a theory of real entities in general and of their most general aspects; this discipline is defined; (2) two quite different systems of logic: a technology of discussion and an object-linguistic formal logic; (3) a considerable overlapping of both disciplines (for example, the "principles," the categories, etc.) ; (4) not even a hint, direct or indirect, as to what formal logic might be about ; in other words, no philosophy of logic at all.
It should be clear that in that frame of reference, the question of the relations between logic and ontology cannot even be clearly stated. For we do not know what logic is nor which of the two logics has to be considered nor where are the boundaries between it and ontology.
And yet that is the frame of reference within which most of the Western discussions of our problem will develop. That is, so it seems, the explanation of the confusion reigning in our field.
With the Stoics, we find a clear choice between the alternative conceptions of logic: they opt for "dialectics," the art of arguing. This does not mean that they remained at the level of the Topics. On the contrary, their logic of propositions, magnificently developed, is formal logic. But it is conceived as being a set of rules of arguing.
Moreover, the Stoics were the first to formulate a consistent theory of the object of logic. Logic is, according to them, radically different from ontology of the Aristotelian type. There is, it is true, no ontology in their philosophy; and what corresponds to the Aristotelian table of categories is considered to be a part of logic. But the subject matter of logic, the meanings, is sharply distinguished from what is real. For, whereas everything which is real, including mental entities, is a body in the Stoics' view, the meanings are not bodies. They are ideal entities.
Thus the first known philosophy of logic emphasizes the radical difference and independence of logic as regards ontology.
The Scholastics make no use of the term "ontology" and discuss subjects which will subsequently be called "ontological" in the context of their commentaries on Aristotle's Metaphysics. As compared with the latter, there are some important developments. For example, much consideration is given to the semantic status of "being." We are aware of several positions adopted regarding this problem: while the Thomists considered "being" as analogous (that is, basically a systematically ambiguous term), others, such as the Ockhamists, held that it was purely ambiguous; Scotists, on the other hand, claimed that it is a "genus" (that is, not an ambiguous expression). Depending on the position assumed, some philosophers will develop a general theory of being, while others will not. In addition, we find a few new chapters in ontology: above all, the doctrine of the distinction between essence and existence, the theory of the "transcendental" properties of all entities, and, of course, a rich technical elaboration of every doctrine. With these exceptions, the subject matter of ontology is the same as that found in Aristotle.
When we turn to logic, the situation is quite different. While incorporating and developing a number of Aristotelian doctrines, Scholastic logic is very much un-Aristotelian insofar as its method and approach are concerned, but also, to a large extent, as regards the content. It is completely metalinguistic and consists of rules. But it is unlike Stoic logic as well, for its explicit concern is not with mere meanings but rather with what were called propositions (meaningful sentences). Semantics undergoes tremendous development during this period.
This being so, several important facts which are relevant to our problem emerge. First of all, a sharp distinction between logic and ontology is explicitly established: the former is metalinguistic, the latter, object-linguistic; logic formulates rules, ontology, laws. Secondly, given this distinction and the nature of the Aristotelian corpus, a curious duplication of doctrines appears: problems are treated twice, once in logic and then again in ontology. As Ockham noted, there are two principles of noncontradiction: one ontological, stated in object-language, and another logical, formulated in meta- linguistic terms.
The Scholastics also formulated various philosophies of logic. They had several common views. For one, logic, while being primarily a methodology of reasoning and arguing, is said to be also a theory of certain entities. Second, they all shared the assumption that logic is not about "first intentions," which are dealt with in ontology, but rather about "second intentions." However, these terms assumed very different meanings in the context of different schools. (pp. 282-283)
(...)
The modern era, prior to the rise of mathematical logic, is an alogical and a largely unontological period. It opens with the Humanists ; in their view, if logic has any usefulness at all, it is only as a set of rules for everyday arguments: it is an inferior sort of rhetoric, as Valla put it. Later on, when the scientific spirit began to rise, even the most rationalistic thinkers, such as Descartes, would not dare to reconsider the Humanists' total condemnation of "scholastic subtleties," including formal logic. Gradually, the so-called conventional logic was formulated.
The latter consists of extracts from Scholastic logic which omit almost every logical matter not connected with the theory of the assertoric syllogism (thus, the logic of propositions among others) and with the addition of a number of methodological doctrines. Logic is quite clearly conceived of as "dialectics," "the art of thinking," as the authors of the influential Logique de Port-Royal titled it. Philosophically, there is a novelty: widespread psychologism, according to which logic has as its object mental entities and activities (concepts, judgments, reasonings).
There is, of course, one great exception—Leibniz, a logician of genius and an important thinker in the field of ontology. His ontology has been popularized by Wolff; in the latter's work the term "ontology" is clearly defined as designating the most general part of metaphysics, dealing with "being in general" (quite in the Aristotelian spirit). Leibnizian logic is mathematical and should rather be considered together with more recent logics, for its influence on the seventeenth, eighteenth, and nineteenth centuries was almost negligible. Leibniz also established his own philosophy of logic, which can only be understood in light of his logic. Our discussion of this will be deferred as well.
But, apart from Leibniz, the situation of our problem is not much different from that found in the Stoics and Scholastics: as logic is concerned with the mental behavior of men and ontology with being in general, the separation of the two is just as sharp as in the older schools. Indeed, this separation is reinforced by the fact that logic is now thought of as being a purely practical discipline and not as a theoretical one.
The whole course of the evolution between Aristotle and Boole may be summarized as follows. Ontology, whenever present, is on the whole of the Aristotelian type: a general theory of real entities. Regarding logic, the great majority of thinkers opt for the first Aristotelian logic, that of the Topics; they cultivate this discipline as a methodology of thought. While it is true that some Scholastics admitted a theory founding such a methodology, their logic nevertheless belongs to the type outlined in the Topics, not to that of the Prior Analytics. With such an assumption as a basis, whatever philosophy of logic they developed—whether conceived as a theory of meanings, of second intentions, of syntax or of mental entities, it was always radically different from ontology." (pp. 284-285).
From: Joseph Bochenski - Logic and ontology - Philosophy East and West, 24, 1974 pp. 275-292.
"Aristotle was the founder not only of logic in western philosophy, but of ontology as well, which he described in his Metaphysics and the Categories as a study of the common properties of all entities, and of the categorial aspects into which they can be analyzed. The principal method of ontology has been one or another form of categorial analysis, depending on whether the analysis was directed upon the structure of reality, as in Aristotle's case, or upon the structure of thought and reason, as, e.g., in Kant's Critique of Pure Reason. Viewed in this way, the two subjects of logic and ontology could hardly be more different, and many schools in the history of philosophy, such as the Stoics, saw no common ground between them. Logic was only a system of rules for how to argue successfully, and ontology, as a categorial analysis and general theory of what there is (in the physical universe), was a system of categories and laws about being.
Scholastic logicians also drew a sharp distinction between logic and ontology, taking the latter to be about ‘first intentions’ (concepts abstracted directly from physical reality), and the former about ‘second intentions’ (concepts abstracted wholly from the ‘material’ content of first intentions, as well as about such categorial concepts as individual, proposition, universal, genus, species, property, etc., and so-called syncategorematic concepts such as negation). According to Aquinas, second intentions have a foundation in real entities, but 'exist' only in knowledge; i.e., they do not exist in the real world but depend on the mind for their existence – which is not say that they are subjective mental entities." p. 117.
From: Nino Cocchiarella: Logic and Ontology - Axiomathes vol. 12, (2001) pp. 117-150.
A SURVEY OF RESEARCH ON THE HISTORY OF LOGIC UNTIL 1950
"Ancient and medieval history of ancient logic.
One meets sometimes with the assertion that history of philosophy is an invention of the XVIIIth century. This is in so far correct, that in older times — in spite of Aristotle's and Thomas Aquinas' explicit teaching — scholars neglected completely the genetic point of view in history of logic; on the other hand, thorn is no doubt that another aspect of historiography, namely the understanding of doctrines, was much cultivated by ancient and medieval thinkers. A complete account of ancient logic would have to take their results into consideration. Unfortunately, we know practically nothing of all the huge work which was accomplished, especially on Aristotle, by Greek, Syrian, Arabian, Jewish, or, above all, by Latin medieval logicians: as was already stated, the Greek commentators have not yet been studied, while the others are little more than a field for future research. And yet, we know that there were important discoveries during that time. This has been proved at least in one particularly striking instance: Albertus Magnus had a perfect understanding (superior to that of Alexander, not to mention Prantl) of the highly difficult Aristotelian modal logic. This understanding has been nearly completely lost, however, during the modern ages.
State of the history of formal logic during the XIXth century.
Modern history of Logic had been started during the XIXth century, but its state was very bad at that time -- indeed until 1930 approximately -- because of two phenomena. On one hand, most of the historians of logic took for granted what Kant said on it; namely that "formal logic was not able to advance a single step (since Aristotle) and is thus to all appearance a closed and complete body of doctrine" (*); consequently, there was, according to them, no history of logic at all, or at the most, a history of the decay of Aristotelian doctrines. On the other hand, authors writing during that period were not formal logicians and by "logic" they mostly understood methodology, epistemology and ontology. That is why e.g. Robert Adamson could devote 10 pages to such a "logician" as Kant — but only five to the whole period from the death of Aristotle to Bacon, i.e. to Theophrastus, the Stoic-Megaric School and the Scholastics. In order to realize what this means, it will be enough to remember that from the point of view we assume here, Kant is not a logician at all, while the leading Megaricians and Stoics are among the greatest thinkers in Logic.
The worst mischief was done during that period by the work of Carl Prantl (1855). This is based on an extensive knowledge of sources and constitutes the only all-embracing History of Ancient Logic we have until now. Unfortunately, Prantl suffered most acutely from the two above-mentioned phenomena: he believed firmly in the verdict of Kant and had little understanding of formal logic. Moreover, he had the curious moralizing attitude in history of logic, and, as he disliked both the Stoics and the Scholastics, he joined to incredible misinterpretations of their doctrines, injurious words, treating them as complete fools and morally bad men precisely because of logical doctrines which we believe to be very interesting and original. It is now known that his work — excepting as a collection of texts (and even this far from being complete) — is valueless. But it exercised a great influence on practically all writers on our subject until J. Lukasiewicz and H. Scholz drew attention to the enormous number of errors it contains.
Recent research.
We may place the beginning of recent research in our domain in 1896 when Peirce made the discovery that the Megaricians had the truth-value definition of implication. The first important studies belonging to the new period are those of G. Vailati on a theorem of Plato and Euclid (1904), A. Rüstow on the Liar (1908) and J. Lukasiewicz (1927); the Polish logician proposed in it his re-discovery of the logical structure of the Aristotelian syllogism and of Stoic arguments. Four years later appeared the highly suggestive, indeed revolutionary, History of Logic by H. Scholz, followed in 1935 by the paper of Lukasiewicz on history of logic of propositions; this is considered until now as the most important recent contribution to our subject. Both scholars — Lukasiewicz and Scholz — formed small schools. J. Salamucha, the pupil of the former, wrote on Aristotle's theory of deduction (1930) and the present author on the logic of Theophrastus (1939). Fr. J. W. Stakelum, who studied with the latter, wrote a book on Galen and the logic of propositions. On the other hand, A. Becker, a student of H. Scholz, published an important book on Aristotle's contingent syllogisms (1934). Professor K. Dürr was also influenced by Lukasiewicz in his study on Boethius (1938); his results were somewhat improved by R. van den Driessche (1950). In the English speaking world we may mention the paper of Miss Martha Hurst (1935) on implication during the IVth century (1935) — but above all the already quoted work of Dr B. Mates on Stoic Logic (in the press [published in 1953]), which, being inspired by Lukasiewicz and his school may be considered as one of the best achievements of recent research.
Such is, in outline, the work done by logicians. On the other hand philologists had considerable merits in the study of ancient logic. We cannot quote here all their contributions, but at least the important book of Fr. Solmsen (1929) on the evolution of Aristotle's logic and rhetoric must be mentioned, and, above all, the masterly commentary on the Analytics by Sir W. D. Ross (1949). It does not always give full satisfaction to a logician trained on modern methods, but it is, nevertheless, a scholarly work of a philologist who made a considerable effort to grasp the results of logicians."
(*) Kritik der reinen Vernunft. 2d ed. p, VIII (English by N. Kemp Smith)
From: Joseph Bochenski - Ancient logic - Amsterdam: North-Holland 1951 pp. 4-7 (some notes omitted).
NOTE ON SOME WORKS ON THE HISTORY OF LOGIC [UP TO 1977]
There is a paucity of works which treat the complete history of logic. Investigation of some of the problems in this field has increased in the last decades, mostly due to symbolic logic, which has established that many of the results obtained were familiar to the Stoics and particularly to the Scholastics. But these have not been overall studies of the science. The authors of the studies we possess usually aimed at rediscovering the results reached in symbolic logic by earlier logical schools, and so many problems of historical interest have in the past been only little explored or not at all. We shall quote below only those studies published in volumes, and which have a more general aim, even when treating special problems, or limited periods of time.
The first history of logic seems to be the work of Petrus Ramus, entitled Scholae in liberales artes -- "Schools of Liberal Arts" (Basle, 1569). The first eight chapters of this book deal with history of logic and are called Scholae dialecticae -- "Dialectic Schools". Unfortunately, the author naively believes all historical or legendary personages to have been logicians and in the chapter Logica Patrum ("Logic of our Ancestors") he lists among them Noah and Prometheus.
After this, studies of the history of logic become more scientific. Here we quote:
Bartholomäus Keckermann: Praecognitorum Logicorum Tractatus III -- "Three Treatises on the most well-known Logicians" (Hanover, 1598). It is rather a useful list of authors and titles, with some indication of contents.
Jacob Friedrich Reimmann: Critisirender Geschichts-Calender von der Logica -- "Critical and Historical Calendar of Logic" (Frankfort-on-Main, 1699). Written in defective German, this work nevertheless contains valuable information.
Pierre Gassendi: De origine et varietate logicae -- "On the Origin and Diversity of Logic" (Lyons, 1658), a very valuable work.
Johann Albert Fabricius: Specimen elencticum historiae logicae -- "Index of Subjects of the History of Logic" (Hamburg, 1699). This "Index" is actually a catalogue of the treatises of logic known by this scholar.
Johannes Georgius Walchius [Johann Georg Walch]: Historia Logicae -- "History of Logic" (Leipzig, 1721). This book differs from the preceding ones in the correctness of its information.
Heinrich Christoph Wilhelm Sigwart: De historia logicae inter Graecos usque ad Socratem commentatio -- "On the History of Logic among Greeks as far as Socrates" (Tübingen, 1832).
Frederich Auguste de Reiffenberg: Principes de la Logique suivis de l'Histoire et de la bibliographie de cette Science --" The Principles of Logic followed by the History and Bibfiography of this Science" (Brussels, 1833).
Adolphe Frank: Esquisse d'une histoire de la logique precedée d'une Analyse etendue de l'Organum d'Aristote -- "Sketch of a History of Logic Preceded by an Extensive Analysis of Aristotle's Organon" (Paris, 1838).
Friedrich Adolf Trendelenburg: Geschichte der Kategorienlehre -- "History of the Theory of Categories" (Berlin, 1845).
Robert Blakey: Historical Sketch of Logic, from the Earliest Times to the Present Day (Edinburgh, 1851).
We have reached now the monumental work in four volumes, Carl Prantl's Geschichte der Logic im Abendlande -- "History of logic in Western Europe" (Leipzig, 1855-1870). This writing offers an inexhaustible source of information, of original Greek and Latin texts, some of them copied down from inaccessible books and manuscripts (which the present, work has also used). Yet this work has at least two shortcomings: it expounds the history of logic only down to the sixteenth century, and it is blemished by opinions that are inadmissible because of their violence and by a lack of understanding of ideas different from his own. Although Prantl was convinced he had written a work "so that it would not be necessary, at least for some time, to write another history of logic" (op. cit., IV, Vorwort), the material he collected can be only a source of information for other histories of logic. Prantl's method is exclusively chronological and therefore entails repetitions.
Paul Janet and Gabriel Séailles: Histoire de la Philosophie (Paris 1887). In this "History of Philosophy", a large part deals with history of logic in a very original manner, dividing it into its main problems: history of the problem of concept, of judgement, of syllogism, of induction. It is a didactic handbook, supplying an important amount of information, sometimes following closely the treatise of Prantl.
Friederich Harms: Die Philosophie in ihrer Geschichte "Philosophy in its History".
The second volume of this work is entitled Geschichte der Logik - “History of Logic”. (Berlin, 1881), and deals in a very general way with the history of this discipline.
Robert Adamson: A Short History of Logic (Edinburgh, 1911; reprinted, Dubuque, Iowa, 1962).
Clarence Irving Lewis: A Survey of Symbolic Logic (Berkeley, 1918). This book contains numerous historical indications about mathematical logic.
Theodor Ziehen: Lehrbuch der Logik auf positivistischer Grundlage mit Berücksichtigung der Geschichte der Logik, - "Treatise on Logic, on Positivist Ground, Considering also the History of Logic" (Bonn, 1920).
Oswald Külpe: Vorlesungen über Logik - "Lessons on Logic" (Leipzig, 1923). The first part of this book is a short history of logic, containing competent opinions, and a very judicious division of the history of this science.
Federigo Enriques: Per la storia della logica - "For the History of Logic" (Bologna, 1922). This study contains some interesting remarks, gives the logic a larger framework, (including the methodologic and philosophical logic), but aims to show the connections between mathematics and logic.
Henrich Scholz: Geschichte der Logik - "History of Logic" (Berlin, 1931). This is a short, but very erudite study, which underlines only those data which confirm or prefigure the results of mathematical logic.
Jörgen Jörgensen: A Treatise of Formal Logic (3 vols., Copenhagen - London, 1931). The first volume bears the title Historical Developments, and offers precious information.
Evert Willem Beth: De Wijsbegeerte der Wiskunde van Parmenides tot Bolzano - "The Theory of Science from Parmenides to Bolzano" (in Dutch, Antwerp-Nijmegen, 1944);
Evert Willem Beth: Geschiedenis der Logica - "History of Logic" (in Dutch, the Hague, 1944).
Francesco Albergamo: Storia della logica delle scienze esatte - "History of the Logic of Exact Sciences" (Bari, 1947).
Antoinette Virieux-Reymond: La logique et l'épistémologie des Stoïciens - "Logic aad Epistemology of the Stoics" (Lausanne, 1949).
Philotheus Boehner: Medieval Logic, an outline of its development from 1350 to c. 1400 (Manchester, 1952).
Robert Feys: De ontwikkelung van het logisch denken - "Development of Logic Thought" (in Dutch, Antwerp - Nijmegen, 1949).
Alonzo Church: Introduction to Mathematical Logic (Princeton, 1956). This masterly treatise on mathematical logic contains numerous and important historical references. Church has also published regularly in "Journal of Symbolic Logic" the bibliography of this science (beginning from 1936).
Józef Maria Bochenski: Formale Logik - "Formal Logic" (Freiburg - Munchen, 1956). This is, in our opinion, an important work in this field. It contains an anthology of texts, taken from the original writings of the logicians, beginning with Greeks until now, translated into German, and is chronological. The principle of this work is to give the texts which prefigure or present the results obtained in our time by mathematical logic. Formale Logik also gives short information about Indian logic. [Translated in English as A history of formal logic (1961)
Francesco Barone: Logica formale e Logica transcendentale - "Formal and Transcendental Logic" (2 vols., Turin, 1957-1965). The first volume is entitled Da Leibniz aKant - "From Leibniz to Kant", and the second one L'algebra della logica - “The algebra of logic”. Barone's work, although limited to a certain determined period, is rich in personal comment and contains much information.
Ettore Carruccio: Matematica e logica nella storia e nel pensiero contemporaneo "Mathematics and Logic In the History and In the Contemporary Thought" (Turin, 1958).
Benson Mates: Stoic Logic (Berkeley and Los Angeles, 1961).
William and Martha Kneale: The Development of Logic (Oxford, 1962): We think this is the third important work in this field (chronologically, after those of Prantl and of Bochenski), very important as a work of references. The aim of this book is, as the authors say in the "Preface", "an account of the growth of logic, rather than an attempt to chronicle all that past scholars, good or bad, have said about their science". Kneale's method is not that used by Bochenski (anthology of texts), but their aim coincides with Bochenski's, being "to record the first appearances of those ideas which seem to us most important in the logic of our own day".
Tadeusz Kotarbinski: Leçons sur l'histoire de la logique - "Lessons in the History of Logic" (Paris, 1964). The book is the translation of the lessons given by the author at the University of Warsaw, and though short offers a larger framework for the history of this discipline, also discussing other logic problems, for instance methodological ones, which were not considered by Bochenski or Kneale. Notwithstanding, this work aims to show the historical filiation of mathematical logic.
Nicolai Ivanovici Stiazhkin: Stanovlenie idei matematiceskoi logiki - "The Genesis of the Idea of Mathematical Logic" (Moscow, 1964). This book has been translated into English under the title History of Mathematical Logic from Leibniz to Peano (Cambridge, Mass., London, 1969).
Ernst Kapp: Der Ursprung der Logik bei den Griechen - "The Origin of Logic with Greeks" (Gottingen, 1965) [Originally published in English as Greek foundations of traditional logic, 1942)
Wilhelm Risse: Bibliographia Logica. The author intends to continue the work of Prantl, in his studies bearing this general title, but in an objective manner, beginning from where the last has left it, i. e. end of the sixteenth century. This bibliography is planned to appear in four volumes, the first being already published: Bibliographia Logica. Verzeichnis der Druckschriften zur Logik mit Angabe ihrer Fundorte. Band I, 1172 -1800 - "Logic Bibliography. List of printed writings with indication where they are to be found. Vol. I, 1472-1800" (Hildesheim - New York, 1965). Beside this vast bibliography, (which will also list the manuscripts of logic), Risse has published another work in two volumes (which will be continued too): Die Logik der Neuzeit Band I, 1600-1640 - "Logic of Recent Times, vol. I, 1500-1640" (Stuttgart - Bad Cannstatt, 1964); Die Logik der Neuzeit Band II, 1640-1780 (Stuttgart - Bad Cannstatt, 1970). These two volumes expound, in Prantl's manner, but more systematically, the treatises on logic from the mentioned periods. The studies of Risse, as well as those of Prantl, are indispensable to all researches in the field of history of logic.
Peter Harold Nidditch: The Development of Mathematical Logic (London, New York, 1960).
Guido Calogero: Storia della logica antica - "History of the ancient logic" (Bari, 1967). The author, mentions that this is the first of a series of volumes - "The Archaic Epoch", dealing with logic from Heraclitus to Leucippus and Democritus [other volumes were never published]. Calogero also published the important work I fondamenti della logica aristotelica - The Bases of Aristotle's Logic" (2nd ed., Florence, 1968) [First edition: Rome, 1932]
Alexandr Osipovich Makovelski: Istoria Logiki - "History of Logic" (Moscow, 1967), short general and didactic handbook of this discipline [translated in French by Geneviève Dupond as: Histoire de la logique, Moscou, Éditions du Progrés, 1978].
James C. Colbert: La evolucion de la logica simbolica y sus implicaciones - "Evolution of Symbolic Logic and its Philosophical Implications" (Pamplona, 1968). This writing studies mathematical logic and some important authors.
Anton Dumitriu: Istoria Logicii - "History of Logic" (Bucharest, 1969). The work highlights all the historical aspects of logic. It contains a chapter on logic in China and another on logic in India. An ample compendium of the whole book, in two parts, was published by “Scientia”, and appeared simultaneously in French and English versions (Nos. VII-X, 1971). [Translated in English as History of logic (1977)]
Robert Blanché: La logique et son histoire. D'Aristote à Russell - "Logic and its History. From Aristotle to Russell" (Paris, 1970), The book is full of interestings remarks, but it neglects, as many other works do, methodology, Renaissance logic, and other important problems.
Reuben Louis Goodstein: Development of Mathematical Logic (NewYork, London 1971).
Vicente Muñoz Delgado: Logica Hispano-Portuguesa hasta 1600 - "The Spanish- Portuguese Logic till 1600" (Salamanca, 1972). This is an important study of logic in the Iberian Peninsula, containing information ignored till now.
Stanislaw Surma (editor): Studies in the History of Mathematical Logic (Wroclaw - Warszawa - Krakow - Gdansk, 1973).
We can see from the above list, that very few of the works quoted are really "histories of logic". The importance of all these contributions cannot be diminished but -- and this is a curious fact -- they generally defend or emphasize some particular results and thus neglect others.
We realize, in this way, that, indisputably, one veritable historical work, in the above list, is nevertheless, in spite of its weak side, Prantl's Geschichte der Logik im Abendlande, because the author does not select the logicians nor the theories he is treating of. He is judging them severely when they contradict his conception, and that is his error. But his work is unquestionably historical in character, and Prantl is really a historian, although his judgements are often too subjective and rudely expressed.”
From: Anton Dumitriu - History of logic - Tunbridge Wells, Abacus Press, 1977 - Vol. I, pp. XIII-XVI.
The most important recent contributions are the Handbook of the history of logic, edited by Dov Gabbay and John Woods (11 volumes, not yet completed) and The development of modern logic edited by Leila Haaparanta; see the section "General Works on the History of Logic" for the bibliographic details.
RELATED PAGES
Annotated bibliographies of:
E. J. Ashworth
L. M. de Rijk
Wilhelm Risse
Aristotle's Logic: General Survey and Introductory Readings
Aristotle's Earlier Dialectic: the Topics and Sophistical Refutations
Theory of Predication and Ontological Analysis in Aristotle's Categories
Annotated Bibliography on Aristotle's Categories (First part: A - F)
Annotated Bibliography on Aristotle's Categories (Second part: G - Z)
Aristotle's De Interpretatione: Semantics and Philosophy of Language
Annotated bibliography on Aristotle's De Interpretatione
Aristotle's Categorical Syllogism in the Prior Analytics
Aristotle's Modal Syllogistic in the Prior Analytics
Aristotle's Theory of Science in the Posterior Analytics
Peripatetic Logic: Eudemus of Rhodes and Theophrastus of Eresus
The History of Ancient Logic in the Hellenistic Period
Annotated bibliography on Ancient Logic after Aristotle to the Hellenistic Period
The Dialectical School, Stoic Logic and the Doctrine of Lekta (Sayables)
Annotated bibliography on Stoic Logic A - G
Annotated bibliography on Stoic Logic H - Z
Stoic Logicians: Diodorus Cronus, Philo of Megara, Chrysippus
The Contribution of Boethius to the Development of Medieval Logic
History of Medieval Logic after Boethius to Late Scholasticism
Medieval Theories of Supposition (Reference) and Mental Language
Annotated bibliography on the Theories of Supposition and Mental Language A - L
Annotated bibliography on the Theories of Supposition and Mental Language M - Z
The Development of Renaissance and Modern Logic from 1400 to Boole
Leibniz on Logic and Semiotics: the Project of a Universal Language
Annotated bibliography of Leibniz on Logic and Semiotics A- K
Annotated bibliography of Leibniz on Logic and Semiotics L - Z
The Rise of Contemporary Symbolic Logic from Frege to Gödel
A Selection of Great Logicians from Aristotle to Gödel (1931)
"In short, we can gain access to philosophy through the concrete problems of logic."
Martin Heidegger - The metaphysical foundations of logic (Summer semester 1928) - Bloomington, Indiana University Press, 1984, p. 7
INTRODUCTION
"Preliminary definition of the subject matter of the history of logic is hard to come by. For apart from 'philosophy' there is perhaps no name of a branch of knowledge that has been given so many meanings as 'logic'. Sometimes the whole of philosophy, and even knowledge in general, has been thus named, from metaphysics on the one hand, cf. Hegel, to aesthetics ('logic of beauty') on the other, with psychology, epistemology, mathematics etc. in between. With such a wide choice it is quite impossible to include in a history of logical problems all that has been termed 'logic' in the course of western thought. To do so would practically involve writing a general history of philosophy. But it does not follow that the use of the name 'logic' must be quite arbitrary, for history provides several clues to guide a choice between its many meanings.
This choice can be arrived at by the following stages.
1. First let us discard whatever most authors either expressly ascribe to some other discipline, or call 'logic' with the addition of an adjective, as for example epistemology, transcendental logic, ontology etc.
2. When we examine what remains, we find that there is one thinker who so distinctly marked out the basic problems of this residual domain that all later western inquirers trace their descent from him: Aristotle. Admittedly, in the course of centuries very many of these inquirers -- among them even his principal pupil and successor Theophrastus -- have altered Aristotelian positions and replaced them with others. But the essential problematic of their work was, so far as we know, in constant dependence in one way or another on that of Aristotle Organon. Consequently we shall denote as 'logic' primarily those problems which have developed from that problematic. 3. When we come to the post-Aristotelian history of logic, we can easily see that one part of the Organon has exercised the most decisive influence, namely the Prior Analytics. At some periods other parts too, such as the Topics or the Posterior Analytics, have indeed been keenly investigated and developed. But it is generally true of all periods marked by an active interest in the Organon that the problems mainly discussed are of the kind already to hand in the Prior Analytics. So the third step brings us to the point of describing as 'logic' in the stricter sense that kind of problematic presented in the Prior Analytics. 4. The Prior Analytics treats of the so-called syllogism, this being defined as logos in which if something is posited, something else necessarily follows. Moreover such logoi are there treated as formulas which exhibit variables in place of words with constant meaning; an example is 'B belongs to all A'. The problem evidently, though not explicitly, presented by Aristotle in this epoch-making work, could be formulated as follows. What formulas of the prescribed type, when their variables are replaced by constants, yield conditional statements such that when the antecedent is accepted, the consequent must be admitted? Such formulas are called 'logical sentences'. We shall accordingly treat sentences of this kind as a principal subject of logic."
From: Joseph Bochenski - A history of formal logic - New York: Chelsea Publishing Co. 1961 pp. 2-3.
LOGIC AND ONTOLOGY
The question "how are logic and ontology interrelated?" is an ambiguous question, that is, it can refer either to logic and ontology themselves or to the metatheories of logic and ontology (that is, to the views about them). Furthermore, in the first case, both logic and ontology may be considered either objectively or subjectively.
(1) If the question refers to logic and ontology themselves considered objectively (that is, in their content), the disciplines are seen as sets of laws and/or rules, and so the problem is purely logical. It will be clear that its solution depends largely on the content of logic and of ontology as they were constructed at a given time.
(2) If the question refers to the same, but as seen subjectively (that is, in as far as they were conceived by some thinkers or groups of thinkers), then it is about empirical facts and is then a historical question: how did the fact that x held the ontology O influence the fact that he also held the logic L or inversely?
(3) Finally, if the question is concerned not with the two systems as they are but rather with the metatheoretical views about them (that is, with the corresponding philosophies of logic), the question is a quite different one. That this is so is indicated by the fact that often the same type of logic was philosophically interpreted in a different manner by two different schools. This question, in turn, can be considered either logically or historically. It should be clear that the first question is fundamental. Therefore, the principal focus of this presentation will be upon it. The philosophy of logic and ontology will be treated only secondarily, while the historical question of the mutual factual influences of doctrines about them will be only marginally noted.
Now to state at once one of the principal conclusions of the present investigation, it must be confessed that there is considerable confusion about that basic question. Almost any imaginable answer has been proposed by one or another philosopher. To mention only two of the extreme views, respectable logicians have maintained that there is a complete identity of both disciplines (thus, Scholz) and that there is no relation whatsoever between them (thus, Nagel). The very fact that this is so requires an explanation. As is always so in such cases, this explanation must be historical.
One reason for the unfortunate state prevailing in investigations of this problem can readily be identified: ignorance. Most ontologists do not know even the ABC's of logic. But the inverse is also true: most logicians do not have the least idea what ontology might be. These deficiencies are often combined, on both sides, with value judgments of an unkind sort. Thus, to most ontologists, logic does not seem to be a serious discipline, although they concede that it provides (hélas!) some practical results for computer science. On the other hand, ontology is merely nonsense in the estimation of many logicians. It is little wonder that such scholars produce few worthwhile contributions regarding the relations of the two disciplines.
But this is not the whole answer. The present bifurcation did not always prevail. There have been ontologists who were well instructed in logic and who were even creative logicians in their own right ; Thomas Aquinas and Uddyotakâra (seventh century) are examples. There were also logicians who knew a good deal about ontology; one need think only of Leibniz and of Whitehead. Nevertheless, confusion about our problem is widespread across the ages. Some explanation must be offered for this fact, and once again it has to explained historically. (pp. 274-275)
(...)
The history begins with Aristotle, as so many philosophical questions do. Nor is it a question of that history merely beginning with him. For in many cases one gets the impression that where "the Master of those who know" (Dante) failed to perceive or to formulate a problem, his successors had a difficult time at formulating or solving it. Among these problems is that of the relations between logic and ontology.
The following is a brief description of both disciplines as they appear to the unbiased reader in the Aristotelian corpus. There is a book, or rather a collection of writings, called "Metaphysics" by Andronikos Rhodes. There is also a collection of works which received the name "Organon" from the commentators. None of these names derive from Aristotle himself. There can be no doubt, however, that we find in his writings a considerable number of doctrines belonging to what will subsequently be called 'logic" and "ontology" respectively.
As regards ontology, Aristotle talks about a "first philosophy" and a "divine science." He says that they are about being as being; what we see here is an attempt to define this discipline. But as far as logic is concerned, we find no name for it in his writings. (...) Still less is there any attempt to define the subject matter of logic.
If, however, we turn from his philosophy of logic and of ontology to the theories themselves (that is, to the systems Aristotle developed), it is relatively easy to describe what he would have meant by "ontology" and "logic" respectively, if he had such terms.
Regarding ontology, we should first note that Aristotle, unlike many later thinkers, did not believe that there is an entity or even a meaning unambiguously associated with the term "being." In one of those passages which can certainly be esteemed as a stroke of genius, Aristotle explicitly states that "being" is an ambiguous term; he justifies this assertion by a sort of embryonic theory of types. And yet, we find extensive discussions of the characteristics of entities in general in the Metaphysics and elsewhere. On closer inspection, we discover that his ontological doctrines can be divided into two classes.
First of all, in the fourth book of his Metaphysics, Aristotle undertakes to state and discuss the "principles" — namely, non-contradiction and the excluded middle. (Aristotle made explicit use of the principle of identity in his logic, but never made it the object of a similar study.) Next we have a number of analyses of concrete entities. Of these the most conspicuous are the doctrine of act and potency and the table of the categories (also studied in the Organon, but obviously belonging to the "first philosophy"). The last named could be and has often been viewed as a classification of entities. But it seems more consistent with Aristotle's thought to consider it as a sort of analysis of a concrete entity into its various aspects. (...)
In summary, the Aristotelian ontology appears to be a study (1) of (isomorphically, we would say) common properties of all entities and (2) of the aspects into which they can be analyzed. Both sorts of studies are about real objects. One distinctive characteristic of this ontology is its conspicuous lack of existential statements, which is contrary to what we find in what is now commonly called "metaphysics". (pp. 279-281)
(...)
In summary, then, Aristotle left: (1) an ontology conceived as a theory of real entities in general and of their most general aspects; this discipline is defined; (2) two quite different systems of logic: a technology of discussion and an object-linguistic formal logic; (3) a considerable overlapping of both disciplines (for example, the "principles," the categories, etc.) ; (4) not even a hint, direct or indirect, as to what formal logic might be about ; in other words, no philosophy of logic at all.
It should be clear that in that frame of reference, the question of the relations between logic and ontology cannot even be clearly stated. For we do not know what logic is nor which of the two logics has to be considered nor where are the boundaries between it and ontology.
And yet that is the frame of reference within which most of the Western discussions of our problem will develop. That is, so it seems, the explanation of the confusion reigning in our field.
With the Stoics, we find a clear choice between the alternative conceptions of logic: they opt for "dialectics," the art of arguing. This does not mean that they remained at the level of the Topics. On the contrary, their logic of propositions, magnificently developed, is formal logic. But it is conceived as being a set of rules of arguing.
Moreover, the Stoics were the first to formulate a consistent theory of the object of logic. Logic is, according to them, radically different from ontology of the Aristotelian type. There is, it is true, no ontology in their philosophy; and what corresponds to the Aristotelian table of categories is considered to be a part of logic. But the subject matter of logic, the meanings, is sharply distinguished from what is real. For, whereas everything which is real, including mental entities, is a body in the Stoics' view, the meanings are not bodies. They are ideal entities.
Thus the first known philosophy of logic emphasizes the radical difference and independence of logic as regards ontology.
The Scholastics make no use of the term "ontology" and discuss subjects which will subsequently be called "ontological" in the context of their commentaries on Aristotle's Metaphysics. As compared with the latter, there are some important developments. For example, much consideration is given to the semantic status of "being." We are aware of several positions adopted regarding this problem: while the Thomists considered "being" as analogous (that is, basically a systematically ambiguous term), others, such as the Ockhamists, held that it was purely ambiguous; Scotists, on the other hand, claimed that it is a "genus" (that is, not an ambiguous expression). Depending on the position assumed, some philosophers will develop a general theory of being, while others will not. In addition, we find a few new chapters in ontology: above all, the doctrine of the distinction between essence and existence, the theory of the "transcendental" properties of all entities, and, of course, a rich technical elaboration of every doctrine. With these exceptions, the subject matter of ontology is the same as that found in Aristotle.
When we turn to logic, the situation is quite different. While incorporating and developing a number of Aristotelian doctrines, Scholastic logic is very much un-Aristotelian insofar as its method and approach are concerned, but also, to a large extent, as regards the content. It is completely metalinguistic and consists of rules. But it is unlike Stoic logic as well, for its explicit concern is not with mere meanings but rather with what were called propositions (meaningful sentences). Semantics undergoes tremendous development during this period.
This being so, several important facts which are relevant to our problem emerge. First of all, a sharp distinction between logic and ontology is explicitly established: the former is metalinguistic, the latter, object-linguistic; logic formulates rules, ontology, laws. Secondly, given this distinction and the nature of the Aristotelian corpus, a curious duplication of doctrines appears: problems are treated twice, once in logic and then again in ontology. As Ockham noted, there are two principles of noncontradiction: one ontological, stated in object-language, and another logical, formulated in meta- linguistic terms.
The Scholastics also formulated various philosophies of logic. They had several common views. For one, logic, while being primarily a methodology of reasoning and arguing, is said to be also a theory of certain entities. Second, they all shared the assumption that logic is not about "first intentions," which are dealt with in ontology, but rather about "second intentions." However, these terms assumed very different meanings in the context of different schools. (pp. 282-283)
(...)
The modern era, prior to the rise of mathematical logic, is an alogical and a largely unontological period. It opens with the Humanists ; in their view, if logic has any usefulness at all, it is only as a set of rules for everyday arguments: it is an inferior sort of rhetoric, as Valla put it. Later on, when the scientific spirit began to rise, even the most rationalistic thinkers, such as Descartes, would not dare to reconsider the Humanists' total condemnation of "scholastic subtleties," including formal logic. Gradually, the so-called conventional logic was formulated.
The latter consists of extracts from Scholastic logic which omit almost every logical matter not connected with the theory of the assertoric syllogism (thus, the logic of propositions among others) and with the addition of a number of methodological doctrines. Logic is quite clearly conceived of as "dialectics," "the art of thinking," as the authors of the influential Logique de Port-Royal titled it. Philosophically, there is a novelty: widespread psychologism, according to which logic has as its object mental entities and activities (concepts, judgments, reasonings).
There is, of course, one great exception—Leibniz, a logician of genius and an important thinker in the field of ontology. His ontology has been popularized by Wolff; in the latter's work the term "ontology" is clearly defined as designating the most general part of metaphysics, dealing with "being in general" (quite in the Aristotelian spirit). Leibnizian logic is mathematical and should rather be considered together with more recent logics, for its influence on the seventeenth, eighteenth, and nineteenth centuries was almost negligible. Leibniz also established his own philosophy of logic, which can only be understood in light of his logic. Our discussion of this will be deferred as well.
But, apart from Leibniz, the situation of our problem is not much different from that found in the Stoics and Scholastics: as logic is concerned with the mental behavior of men and ontology with being in general, the separation of the two is just as sharp as in the older schools. Indeed, this separation is reinforced by the fact that logic is now thought of as being a purely practical discipline and not as a theoretical one.
The whole course of the evolution between Aristotle and Boole may be summarized as follows. Ontology, whenever present, is on the whole of the Aristotelian type: a general theory of real entities. Regarding logic, the great majority of thinkers opt for the first Aristotelian logic, that of the Topics; they cultivate this discipline as a methodology of thought. While it is true that some Scholastics admitted a theory founding such a methodology, their logic nevertheless belongs to the type outlined in the Topics, not to that of the Prior Analytics. With such an assumption as a basis, whatever philosophy of logic they developed—whether conceived as a theory of meanings, of second intentions, of syntax or of mental entities, it was always radically different from ontology." (pp. 284-285).
From: Joseph Bochenski - Logic and ontology - Philosophy East and West, 24, 1974 pp. 275-292.
"Aristotle was the founder not only of logic in western philosophy, but of ontology as well, which he described in his Metaphysics and the Categories as a study of the common properties of all entities, and of the categorial aspects into which they can be analyzed. The principal method of ontology has been one or another form of categorial analysis, depending on whether the analysis was directed upon the structure of reality, as in Aristotle's case, or upon the structure of thought and reason, as, e.g., in Kant's Critique of Pure Reason. Viewed in this way, the two subjects of logic and ontology could hardly be more different, and many schools in the history of philosophy, such as the Stoics, saw no common ground between them. Logic was only a system of rules for how to argue successfully, and ontology, as a categorial analysis and general theory of what there is (in the physical universe), was a system of categories and laws about being.
Scholastic logicians also drew a sharp distinction between logic and ontology, taking the latter to be about ‘first intentions’ (concepts abstracted directly from physical reality), and the former about ‘second intentions’ (concepts abstracted wholly from the ‘material’ content of first intentions, as well as about such categorial concepts as individual, proposition, universal, genus, species, property, etc., and so-called syncategorematic concepts such as negation). According to Aquinas, second intentions have a foundation in real entities, but 'exist' only in knowledge; i.e., they do not exist in the real world but depend on the mind for their existence – which is not say that they are subjective mental entities." p. 117.
From: Nino Cocchiarella: Logic and Ontology - Axiomathes vol. 12, (2001) pp. 117-150.
A SURVEY OF RESEARCH ON THE HISTORY OF LOGIC UNTIL 1950
"Ancient and medieval history of ancient logic.
One meets sometimes with the assertion that history of philosophy is an invention of the XVIIIth century. This is in so far correct, that in older times — in spite of Aristotle's and Thomas Aquinas' explicit teaching — scholars neglected completely the genetic point of view in history of logic; on the other hand, thorn is no doubt that another aspect of historiography, namely the understanding of doctrines, was much cultivated by ancient and medieval thinkers. A complete account of ancient logic would have to take their results into consideration. Unfortunately, we know practically nothing of all the huge work which was accomplished, especially on Aristotle, by Greek, Syrian, Arabian, Jewish, or, above all, by Latin medieval logicians: as was already stated, the Greek commentators have not yet been studied, while the others are little more than a field for future research. And yet, we know that there were important discoveries during that time. This has been proved at least in one particularly striking instance: Albertus Magnus had a perfect understanding (superior to that of Alexander, not to mention Prantl) of the highly difficult Aristotelian modal logic. This understanding has been nearly completely lost, however, during the modern ages.
State of the history of formal logic during the XIXth century.
Modern history of Logic had been started during the XIXth century, but its state was very bad at that time -- indeed until 1930 approximately -- because of two phenomena. On one hand, most of the historians of logic took for granted what Kant said on it; namely that "formal logic was not able to advance a single step (since Aristotle) and is thus to all appearance a closed and complete body of doctrine" (*); consequently, there was, according to them, no history of logic at all, or at the most, a history of the decay of Aristotelian doctrines. On the other hand, authors writing during that period were not formal logicians and by "logic" they mostly understood methodology, epistemology and ontology. That is why e.g. Robert Adamson could devote 10 pages to such a "logician" as Kant — but only five to the whole period from the death of Aristotle to Bacon, i.e. to Theophrastus, the Stoic-Megaric School and the Scholastics. In order to realize what this means, it will be enough to remember that from the point of view we assume here, Kant is not a logician at all, while the leading Megaricians and Stoics are among the greatest thinkers in Logic.
The worst mischief was done during that period by the work of Carl Prantl (1855). This is based on an extensive knowledge of sources and constitutes the only all-embracing History of Ancient Logic we have until now. Unfortunately, Prantl suffered most acutely from the two above-mentioned phenomena: he believed firmly in the verdict of Kant and had little understanding of formal logic. Moreover, he had the curious moralizing attitude in history of logic, and, as he disliked both the Stoics and the Scholastics, he joined to incredible misinterpretations of their doctrines, injurious words, treating them as complete fools and morally bad men precisely because of logical doctrines which we believe to be very interesting and original. It is now known that his work — excepting as a collection of texts (and even this far from being complete) — is valueless. But it exercised a great influence on practically all writers on our subject until J. Lukasiewicz and H. Scholz drew attention to the enormous number of errors it contains.
Recent research.
We may place the beginning of recent research in our domain in 1896 when Peirce made the discovery that the Megaricians had the truth-value definition of implication. The first important studies belonging to the new period are those of G. Vailati on a theorem of Plato and Euclid (1904), A. Rüstow on the Liar (1908) and J. Lukasiewicz (1927); the Polish logician proposed in it his re-discovery of the logical structure of the Aristotelian syllogism and of Stoic arguments. Four years later appeared the highly suggestive, indeed revolutionary, History of Logic by H. Scholz, followed in 1935 by the paper of Lukasiewicz on history of logic of propositions; this is considered until now as the most important recent contribution to our subject. Both scholars — Lukasiewicz and Scholz — formed small schools. J. Salamucha, the pupil of the former, wrote on Aristotle's theory of deduction (1930) and the present author on the logic of Theophrastus (1939). Fr. J. W. Stakelum, who studied with the latter, wrote a book on Galen and the logic of propositions. On the other hand, A. Becker, a student of H. Scholz, published an important book on Aristotle's contingent syllogisms (1934). Professor K. Dürr was also influenced by Lukasiewicz in his study on Boethius (1938); his results were somewhat improved by R. van den Driessche (1950). In the English speaking world we may mention the paper of Miss Martha Hurst (1935) on implication during the IVth century (1935) — but above all the already quoted work of Dr B. Mates on Stoic Logic (in the press [published in 1953]), which, being inspired by Lukasiewicz and his school may be considered as one of the best achievements of recent research.
Such is, in outline, the work done by logicians. On the other hand philologists had considerable merits in the study of ancient logic. We cannot quote here all their contributions, but at least the important book of Fr. Solmsen (1929) on the evolution of Aristotle's logic and rhetoric must be mentioned, and, above all, the masterly commentary on the Analytics by Sir W. D. Ross (1949). It does not always give full satisfaction to a logician trained on modern methods, but it is, nevertheless, a scholarly work of a philologist who made a considerable effort to grasp the results of logicians."
(*) Kritik der reinen Vernunft. 2d ed. p, VIII (English by N. Kemp Smith)
From: Joseph Bochenski - Ancient logic - Amsterdam: North-Holland 1951 pp. 4-7 (some notes omitted).
NOTE ON SOME WORKS ON THE HISTORY OF LOGIC [UP TO 1977]
There is a paucity of works which treat the complete history of logic. Investigation of some of the problems in this field has increased in the last decades, mostly due to symbolic logic, which has established that many of the results obtained were familiar to the Stoics and particularly to the Scholastics. But these have not been overall studies of the science. The authors of the studies we possess usually aimed at rediscovering the results reached in symbolic logic by earlier logical schools, and so many problems of historical interest have in the past been only little explored or not at all. We shall quote below only those studies published in volumes, and which have a more general aim, even when treating special problems, or limited periods of time.
The first history of logic seems to be the work of Petrus Ramus, entitled Scholae in liberales artes -- "Schools of Liberal Arts" (Basle, 1569). The first eight chapters of this book deal with history of logic and are called Scholae dialecticae -- "Dialectic Schools". Unfortunately, the author naively believes all historical or legendary personages to have been logicians and in the chapter Logica Patrum ("Logic of our Ancestors") he lists among them Noah and Prometheus.
After this, studies of the history of logic become more scientific. Here we quote:
Bartholomäus Keckermann: Praecognitorum Logicorum Tractatus III -- "Three Treatises on the most well-known Logicians" (Hanover, 1598). It is rather a useful list of authors and titles, with some indication of contents.
Jacob Friedrich Reimmann: Critisirender Geschichts-Calender von der Logica -- "Critical and Historical Calendar of Logic" (Frankfort-on-Main, 1699). Written in defective German, this work nevertheless contains valuable information.
Pierre Gassendi: De origine et varietate logicae -- "On the Origin and Diversity of Logic" (Lyons, 1658), a very valuable work.
Johann Albert Fabricius: Specimen elencticum historiae logicae -- "Index of Subjects of the History of Logic" (Hamburg, 1699). This "Index" is actually a catalogue of the treatises of logic known by this scholar.
Johannes Georgius Walchius [Johann Georg Walch]: Historia Logicae -- "History of Logic" (Leipzig, 1721). This book differs from the preceding ones in the correctness of its information.
Heinrich Christoph Wilhelm Sigwart: De historia logicae inter Graecos usque ad Socratem commentatio -- "On the History of Logic among Greeks as far as Socrates" (Tübingen, 1832).
Frederich Auguste de Reiffenberg: Principes de la Logique suivis de l'Histoire et de la bibliographie de cette Science --" The Principles of Logic followed by the History and Bibfiography of this Science" (Brussels, 1833).
Adolphe Frank: Esquisse d'une histoire de la logique precedée d'une Analyse etendue de l'Organum d'Aristote -- "Sketch of a History of Logic Preceded by an Extensive Analysis of Aristotle's Organon" (Paris, 1838).
Friedrich Adolf Trendelenburg: Geschichte der Kategorienlehre -- "History of the Theory of Categories" (Berlin, 1845).
Robert Blakey: Historical Sketch of Logic, from the Earliest Times to the Present Day (Edinburgh, 1851).
We have reached now the monumental work in four volumes, Carl Prantl's Geschichte der Logic im Abendlande -- "History of logic in Western Europe" (Leipzig, 1855-1870). This writing offers an inexhaustible source of information, of original Greek and Latin texts, some of them copied down from inaccessible books and manuscripts (which the present, work has also used). Yet this work has at least two shortcomings: it expounds the history of logic only down to the sixteenth century, and it is blemished by opinions that are inadmissible because of their violence and by a lack of understanding of ideas different from his own. Although Prantl was convinced he had written a work "so that it would not be necessary, at least for some time, to write another history of logic" (op. cit., IV, Vorwort), the material he collected can be only a source of information for other histories of logic. Prantl's method is exclusively chronological and therefore entails repetitions.
Paul Janet and Gabriel Séailles: Histoire de la Philosophie (Paris 1887). In this "History of Philosophy", a large part deals with history of logic in a very original manner, dividing it into its main problems: history of the problem of concept, of judgement, of syllogism, of induction. It is a didactic handbook, supplying an important amount of information, sometimes following closely the treatise of Prantl.
Friederich Harms: Die Philosophie in ihrer Geschichte "Philosophy in its History".
The second volume of this work is entitled Geschichte der Logik - “History of Logic”. (Berlin, 1881), and deals in a very general way with the history of this discipline.
Robert Adamson: A Short History of Logic (Edinburgh, 1911; reprinted, Dubuque, Iowa, 1962).
Clarence Irving Lewis: A Survey of Symbolic Logic (Berkeley, 1918). This book contains numerous historical indications about mathematical logic.
Theodor Ziehen: Lehrbuch der Logik auf positivistischer Grundlage mit Berücksichtigung der Geschichte der Logik, - "Treatise on Logic, on Positivist Ground, Considering also the History of Logic" (Bonn, 1920).
Oswald Külpe: Vorlesungen über Logik - "Lessons on Logic" (Leipzig, 1923). The first part of this book is a short history of logic, containing competent opinions, and a very judicious division of the history of this science.
Federigo Enriques: Per la storia della logica - "For the History of Logic" (Bologna, 1922). This study contains some interesting remarks, gives the logic a larger framework, (including the methodologic and philosophical logic), but aims to show the connections between mathematics and logic.
Henrich Scholz: Geschichte der Logik - "History of Logic" (Berlin, 1931). This is a short, but very erudite study, which underlines only those data which confirm or prefigure the results of mathematical logic.
Jörgen Jörgensen: A Treatise of Formal Logic (3 vols., Copenhagen - London, 1931). The first volume bears the title Historical Developments, and offers precious information.
Evert Willem Beth: De Wijsbegeerte der Wiskunde van Parmenides tot Bolzano - "The Theory of Science from Parmenides to Bolzano" (in Dutch, Antwerp-Nijmegen, 1944);
Evert Willem Beth: Geschiedenis der Logica - "History of Logic" (in Dutch, the Hague, 1944).
Francesco Albergamo: Storia della logica delle scienze esatte - "History of the Logic of Exact Sciences" (Bari, 1947).
Antoinette Virieux-Reymond: La logique et l'épistémologie des Stoïciens - "Logic aad Epistemology of the Stoics" (Lausanne, 1949).
Philotheus Boehner: Medieval Logic, an outline of its development from 1350 to c. 1400 (Manchester, 1952).
Robert Feys: De ontwikkelung van het logisch denken - "Development of Logic Thought" (in Dutch, Antwerp - Nijmegen, 1949).
Alonzo Church: Introduction to Mathematical Logic (Princeton, 1956). This masterly treatise on mathematical logic contains numerous and important historical references. Church has also published regularly in "Journal of Symbolic Logic" the bibliography of this science (beginning from 1936).
Józef Maria Bochenski: Formale Logik - "Formal Logic" (Freiburg - Munchen, 1956). This is, in our opinion, an important work in this field. It contains an anthology of texts, taken from the original writings of the logicians, beginning with Greeks until now, translated into German, and is chronological. The principle of this work is to give the texts which prefigure or present the results obtained in our time by mathematical logic. Formale Logik also gives short information about Indian logic. [Translated in English as A history of formal logic (1961)
Francesco Barone: Logica formale e Logica transcendentale - "Formal and Transcendental Logic" (2 vols., Turin, 1957-1965). The first volume is entitled Da Leibniz aKant - "From Leibniz to Kant", and the second one L'algebra della logica - “The algebra of logic”. Barone's work, although limited to a certain determined period, is rich in personal comment and contains much information.
Ettore Carruccio: Matematica e logica nella storia e nel pensiero contemporaneo "Mathematics and Logic In the History and In the Contemporary Thought" (Turin, 1958).
Benson Mates: Stoic Logic (Berkeley and Los Angeles, 1961).
William and Martha Kneale: The Development of Logic (Oxford, 1962): We think this is the third important work in this field (chronologically, after those of Prantl and of Bochenski), very important as a work of references. The aim of this book is, as the authors say in the "Preface", "an account of the growth of logic, rather than an attempt to chronicle all that past scholars, good or bad, have said about their science". Kneale's method is not that used by Bochenski (anthology of texts), but their aim coincides with Bochenski's, being "to record the first appearances of those ideas which seem to us most important in the logic of our own day".
Tadeusz Kotarbinski: Leçons sur l'histoire de la logique - "Lessons in the History of Logic" (Paris, 1964). The book is the translation of the lessons given by the author at the University of Warsaw, and though short offers a larger framework for the history of this discipline, also discussing other logic problems, for instance methodological ones, which were not considered by Bochenski or Kneale. Notwithstanding, this work aims to show the historical filiation of mathematical logic.
Nicolai Ivanovici Stiazhkin: Stanovlenie idei matematiceskoi logiki - "The Genesis of the Idea of Mathematical Logic" (Moscow, 1964). This book has been translated into English under the title History of Mathematical Logic from Leibniz to Peano (Cambridge, Mass., London, 1969).
Ernst Kapp: Der Ursprung der Logik bei den Griechen - "The Origin of Logic with Greeks" (Gottingen, 1965) [Originally published in English as Greek foundations of traditional logic, 1942)
Wilhelm Risse: Bibliographia Logica. The author intends to continue the work of Prantl, in his studies bearing this general title, but in an objective manner, beginning from where the last has left it, i. e. end of the sixteenth century. This bibliography is planned to appear in four volumes, the first being already published: Bibliographia Logica. Verzeichnis der Druckschriften zur Logik mit Angabe ihrer Fundorte. Band I, 1172 -1800 - "Logic Bibliography. List of printed writings with indication where they are to be found. Vol. I, 1472-1800" (Hildesheim - New York, 1965). Beside this vast bibliography, (which will also list the manuscripts of logic), Risse has published another work in two volumes (which will be continued too): Die Logik der Neuzeit Band I, 1600-1640 - "Logic of Recent Times, vol. I, 1500-1640" (Stuttgart - Bad Cannstatt, 1964); Die Logik der Neuzeit Band II, 1640-1780 (Stuttgart - Bad Cannstatt, 1970). These two volumes expound, in Prantl's manner, but more systematically, the treatises on logic from the mentioned periods. The studies of Risse, as well as those of Prantl, are indispensable to all researches in the field of history of logic.
Peter Harold Nidditch: The Development of Mathematical Logic (London, New York, 1960).
Guido Calogero: Storia della logica antica - "History of the ancient logic" (Bari, 1967). The author, mentions that this is the first of a series of volumes - "The Archaic Epoch", dealing with logic from Heraclitus to Leucippus and Democritus [other volumes were never published]. Calogero also published the important work I fondamenti della logica aristotelica - The Bases of Aristotle's Logic" (2nd ed., Florence, 1968) [First edition: Rome, 1932]
Alexandr Osipovich Makovelski: Istoria Logiki - "History of Logic" (Moscow, 1967), short general and didactic handbook of this discipline [translated in French by Geneviève Dupond as: Histoire de la logique, Moscou, Éditions du Progrés, 1978].
James C. Colbert: La evolucion de la logica simbolica y sus implicaciones - "Evolution of Symbolic Logic and its Philosophical Implications" (Pamplona, 1968). This writing studies mathematical logic and some important authors.
Anton Dumitriu: Istoria Logicii - "History of Logic" (Bucharest, 1969). The work highlights all the historical aspects of logic. It contains a chapter on logic in China and another on logic in India. An ample compendium of the whole book, in two parts, was published by “Scientia”, and appeared simultaneously in French and English versions (Nos. VII-X, 1971). [Translated in English as History of logic (1977)]
Robert Blanché: La logique et son histoire. D'Aristote à Russell - "Logic and its History. From Aristotle to Russell" (Paris, 1970), The book is full of interestings remarks, but it neglects, as many other works do, methodology, Renaissance logic, and other important problems.
Reuben Louis Goodstein: Development of Mathematical Logic (NewYork, London 1971).
Vicente Muñoz Delgado: Logica Hispano-Portuguesa hasta 1600 - "The Spanish- Portuguese Logic till 1600" (Salamanca, 1972). This is an important study of logic in the Iberian Peninsula, containing information ignored till now.
Stanislaw Surma (editor): Studies in the History of Mathematical Logic (Wroclaw - Warszawa - Krakow - Gdansk, 1973).
We can see from the above list, that very few of the works quoted are really "histories of logic". The importance of all these contributions cannot be diminished but -- and this is a curious fact -- they generally defend or emphasize some particular results and thus neglect others.
We realize, in this way, that, indisputably, one veritable historical work, in the above list, is nevertheless, in spite of its weak side, Prantl's Geschichte der Logik im Abendlande, because the author does not select the logicians nor the theories he is treating of. He is judging them severely when they contradict his conception, and that is his error. But his work is unquestionably historical in character, and Prantl is really a historian, although his judgements are often too subjective and rudely expressed.”
From: Anton Dumitriu - History of logic - Tunbridge Wells, Abacus Press, 1977 - Vol. I, pp. XIII-XVI.
The most important recent contributions are the Handbook of the history of logic, edited by Dov Gabbay and John Woods (11 volumes, not yet completed) and The development of modern logic edited by Leila Haaparanta; see the section "General Works on the History of Logic" for the bibliographic details.
RELATED PAGES
Annotated bibliographies of:
E. J. Ashworth
L. M. de Rijk
Wilhelm Risse
Subscribe to:
Posts (Atom)