"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