Rabus, Leonhard. 1868. "Logische Literatur. Erste Abtheilung. Bis zum Bekanntwerden der byzantinischen und arabischen Logik im
Abendlande." In Logik und Metaphysik. I. Erkenntnislehre, Geschichte der Logik, System der Logik , 453-518. Erlangen: Andreas Deichert.
"... the best bibliography of logic (Neuzeit ) has been, before Risse's work, the impressive list printed in the year 1868 by
Verlag von Andreas Deichert (Druck der Universitäts-Buchdruckerei von E. Th. Jacob in Erlangen) as appendix to Rabus' Logik und Metaphysik . And even
with respect to Risse's Bibliographia Logica one may assert that Rabus has not been completely defeated; there are in fact some authors (such as N.
Wallerius and S. Hasenmüller) mentioned by Rabus but not by Risse.
It is curious to observe how the Logische Literatur of G.L. Rabus has been so much overlooked. (...) It occupies pages 443 to 518
and provides more than 1200 authors. This enormous list is distributed in six chronological sections. Rabus' bibliography is a remarkable and original
contribution: almost 1000 authors are recorded from the Aufkommen des Protestantismus until the year 1865. In this sense it is a necessary complement to
Prantl's unfinished work. But, in contrast with Prantl, Rabus offers to the XXth century reader a pure masterpiece of historical research, free from subjective
interfering commentaries. The seventh section of the bibliography: Hülfsmittel zum Studium der Geschichte der Logik shows the very wide frame in which
Rabus conducted his work although it is not clear whether the quoted sources were exhaustively investigated.
Rabus' bibliography from the Renaissance onwards is also a remarkable supplement to I. M. Bochenski's bibliography (Formale Logik ,
first ed. 1956) and offers to contemporary logicians interested in the history of logic, the possibility of exploring a wide terra incognita. In fact, until
now historical research from the point of view of contemporary logic has concentrated on centuries previous to the Renaissance (see I. M. Bochenski,
Formale Logik , p. 297 and W. and M. Kneale, The Development of Logic , p. 298)."
From: Ignacio Angelelli, The "Logische Literatur" of L. Rabus, in: W. Arnold, H. Zeltner (Eds.), Tradition und Kritik.
Festschrift für Rudolf Zocher zum 80. Geburtstag, Frommann Verlag: Stuttgart, 1967, pp. 39-42.
Church, Alonzo. 1936. "A Bibliography of Symbolic Logic (First part)." Journal of Symbolic Logic no. 1:121-216.
Current bibliographies regularly thereafter.
"There is presented herewith what is intended to be a complete bibliography of symbolic logic for the period 1666-1935 inclusive.
In the compilation use has been made of existing bibliographies, including those in Venn's Symbolic logic , Schröder's
Vorlesungen Über die Algebra der Logik (vol. 1 and vol. 2 part 2), Lewis's A survey of symbolic logic , the Royal Society index, the
International catalogue of scientific literature, and the bibliographical journals, Jahrbuch Über die Fortschritte der Mathematik and Zentralblatt
für Mathematik und ihre Grenzgebiete , as well as many bibliographies of special authors or special subjects. In addition many titles have been included
as a result of search through bound volumes of journals, or from references found in the literature, or from information supplied by authors themselves or
others. So far as possible the original work (or a reprint of it) has been consulted in each case before its inclusion in the bibliography. In a number of
cases where it has proved to be very difficult to obtain a copy of the original work, titles have been included on the basis of what was believed to be good
authority as to existence and content, checking, however, one source of information against another in order to avoid the reproduction of typographical and
It has been the intention to confine the bibliography to symbolic logic proper as distinguished from pure mathematics on the one hand and
pure philosophy on the other. The line is, of course, difficult to draw on both sides, and perhaps has not herein always been drawn consistently, but the
attempt has been necessary in order to keel) within reasonable limits of length.
By symbolic logic is understood the formal structure of propositions and of deductive reasoning investigated by the symbolic method."
———. 1938. "A Bibliography of Symbolic Logic (Second part)." Journal of Symbolic Logic no. 3:178-212.
———. 1952. "Brief Bibliography of Formal Logic." Proceedings of the American Academy of Arts and Sciences no.
Risse, Wilhelm. 1965. Bibliographia logica. I. Verzeichnis der Druckschriften zur Logik mit Angabe ihrer Fundorte (1472-1800) .
Hildesheim: Georg Olms.
"No other branch of philosophy presently possesses a bibliography quite so extensive and comprehensive as this one for logic, which is a
by-product, as the Vorwort explains, of Risse's systematic history of the development of logic, Die Logik der Neuzeit .
Volume 1 (1965, 293p.) lists in chronological arrangement monographs published from 1472 to 1800. Volume 2 (1973, 494p.) does the same for
the period 1801-1969. Both volumes cite holding libraries (mainly European but also some American) for most of the works listed. Volume 3 (1979, 412p.) lists
articles published both in periodicals and in anthologies, arranged according to a detailed classification system outlined in the front. Volume 4 (1979, 390p.)
is a catalogue of 3,006 manuscripts, arranged by author if known and by title if anonymous, with separate sections for medieval and more recent manuscripts.
Holding libraries or archives are indicated.
All volumes are thoroughly indexed."
From: Hans E. Bynagle, Philosophy: A Guide to the Reference Literature. Third edition , Westport: Libraries Unlimited 2006, pp.
———. 1973. Bibliographia logica. II. Verzeichnis der Druckschriften zur Logik mit Angabe ihrer Fundorte (1801-1969) . Hildesheim:
———. 1979. Bibliographia logica. III. Verzeichnis der Zeitschriftenartikel zur Logik . Hildesheim: Georg Olms.
"Preface: The third volume of the "Bibliographia Logica" lists papers on logic and the history of logic which have appeared in
periodicals and anthologies. The list is incomplete for two reasons: (1) Numerous works were inaccessible to me, particularly earlier periodicals and those
published outside Germany; (2) applications of logic in other disciplines are included only if logical themes are mentioned in the titles.
The variety of themes and conceptions of logic led to an arrangement of titles in three categories:
A: Logic ("traditional logic", "classical logic"), starting with Aristotle;
B: Logistics ("symbolic logic", "mathematical logic"), representations of logic in the mathematical tradition and using
C: History of logic.
The criterion used in categorizing the individual titles is the theme dealt with, not the point of view of the author.
The three categories are indicated by letters; sub - categories by numbers. The arrangement of material is given in the table of contents in
German, English, and French (p. 9*). Titles of frequently quoted periodicals are abbreviated (Table of symbols p. 401)."
———. 1979. Bibliographia logica. IV. Verzeichnis der Handschriften zur Logik . Hildesheim: Georg Olms.
Ashworth, Earline Jennifer. 1974. "Some Additions to Risse's Bibliographia Logica ." Journal of the History of
Philosophy no. 12:361-365.
"One of the greatest contributions to the history of logic in recent years was the publication in 1965 of Wilhelm Risse's
Bibliographia Logica , Vol. I, which covers the years from 1472 to 1800. However, despite the fact that Risse's monumental work lists an estimated
8,000 logical works, it is still far from comprehensive, as Mr. Hickman pointed out in an earlier article in this journal.(1) Why this should be the ease
immediately becomes apparent when one starts to work in a library such as the Bodleian at Oxford with its handwritten catalogue of books printed before 1920
and its lack of any specialized bibliographies such as the British Museum has provided for early printed books. Even in well catalogued libraries such as the
University Library at Cambridge it can be difficult to locate texts, and one often stumbles across a new logical work through the accident of its being bound
in the same volume as better known works. As a result of my researches over the last few years, I have put together a list of works which do not appear in
Risse in the hope that other historians of logic may benefit from my discoveries. I cannot, however, claim that I have exhausted the resources of the libraries
which I have visited. Doubtless there are still not only new editions but new authors left to be discovered." (p. 361)
"This paper concerns logic texts published between 1472 and 1800. I list 20 items whose authors do not appear in Risse, 12 items whose
authors appear in Risse in connection with another title or other titles, and 58 items which appear in Risse in another edition or in other editions. I
indicate the libraries in which all these items are to be found, and I also list some useful bibliographical works."
(1) L. Hickman, "Late Scholastic Logics: Another Look," Journal of the History of Philosophy , IX (1971), 226-234.
———. 1978. The Tradition of Medieval Logic and Speculative Grammar from Anselm to the End of the Seventeenth Century. A Bibliography from
1836 Onwards . Toronto: Pontifical Institute of Medieval Studies.
Contents: Preface VII; Part One. Anselm to Paul of Venice (items 1-632) 1; Part Two. After Paul of Venice (items 633-879) 73; Index of Names
101; Index of Texts 105; Index of Translations 107; Index of Subjects 109.
"My main interest in drawing up this bibliography was to list all the books and articles which have to do with formal logic and
semantics from the time of Anselm to the end of the seventeenth century. I see this area as including such topics as consequences, syllogistic, supposition
theory, and speculative grammar, but as excluding such topics as the categories, the struggle between nominalism and realism, and pure grammar. It is not, of
course, always easy to draw a line between works which are concerned with formal logic and semantics and works which are not so concerned, and inevitably my
choice of borderline cases will seem too restrictive to some and too liberal to others. However, my hope is that I have not excluded any book or article which
obviously falls into the area I have delimited.
I have used the phrase "the tradition of medieval logic" in the title in order to indicate that although I include the seventeenth
century, I am not concerned with the contributions of modern philosophy. The work of men such as Pascal, Descartes, Arnauld, Leibniz and Locke carries us far
indeed from medieval discussions of logic and semantics. Moreover, there is already such an extensive literature on these figures that to include them in my
bibliography would completely change its character. On the other hand, I do include humanist logic and renaissance Aristotelianism, since they involve a
reaction to the medieval tradition which can only properly be understood in the light of that tradition.
This is a bibliography of secondary works and of modern editions of early texts. Accordingly I have excluded those nineteenth century
reprints of earlier works such as Aldrich's Artis Logicae Compendium which were produced merely as text books, and I have also excluded modern
facsimile editions of early printed texts unless they are accompanied by substantial editorial material. In addition, I have omitted a list of the various
editions of Milton's Artis Logicae Plenior Institutio , since printings of his complete works are both numerous and easily found. The earliest book I
list is Victor Cousin's 1836 edition of Abelard, since this can properly be viewed as the starting point of modern scholarly work on medieval logicians.
I do not refer to short edited or translated passages in books of readings. I have included only the more lengthy book reviews, and only a
few unpublished dissertations. I have not included biographical and general historical works unless they have some specific contribution to make to the history
of logic. I have tried to include all relevant material published before 1977, but the listing of 1976 publications is inevitably incomplete, given the delays
which so often occur in the printing of books and journals.
I have endeavoured to look at each item personally, and to include as much information as possible. In those cases where I have failed to
locate an item, or have located it in a place where I could not conveniently see it, I have made a note of my failure. The reader should bear in mind that
these entries may be quite inaccurate. Where I have only been able to see a copy of an article, I have added the note: "Journal not seen."
Works which deal with the period as a whole will be found in Part One.
Where an author has more than one book or article, the items are arranged chronologically.
Below each item I list the headings under which it is indexed and, where relevant, cross-references to reviews, discussions, translations and
reprints. The ordering of the headings corresponds to the four indexes I have provided: (1) an index of names; (2) an index of texts; (3) an index of
translations; (4) an index of subjects. Only substantial texts and translations are indexed. In the few cases where a book review is not crossreferenced, the
reason is that only the review contains material relevant to my purposes. It is my hope that these indexes, which are based on my knowledge of a work's
contents rather than its title alone, will prove one of the most valuable aspects of my bibliography.
Readers who wish to find articles dealing with related fields or published after 1976 are recommended to consult two bibliographical sources
in particular. They are:
1. Repertoire Bibliographique de la Philosophie . Publié par l'Institut supérieur de philosophic de l'Université catholique de
2. The Philosopher's Index . An International Index to Philosophical Periodicals.
Readers who wish to remedy the omissions I describe in my first three paragraphs are also recommended to consult the following:
Risse, Wilhelm. Bibliographia Logica . Band II. 1801-1969. Hildesheim-New York: Georg Olms Verlag, 1973.
Risse's work is far more comprehensive than my own, since he includes not only formal logic, but what might be described as the logic of
On the other hand, his bibliography is arranged chronologically rather than alphabetically; and inevitably, given the scope of his work, he
does not give full publication details and his indexes are minimal. Volume II contains only books, and it is to be hoped that the volume listing journal
articles will appear before too long. (*)
I owe a great debt of gratitude to those people who went through an earlier version of this bibliography and provided me with a large number
of extra references. In particular I would like to thank William McMahon, Jan Pinborg, Charles Schmitt, and Paul Vincent Spade. I would also like to thank the
editorial staff of the Pontifical Institute of Mediaeval Studies for their helpful advice on organization and presentation, the staff of Inter-Library Loan at
the University of Waterloo for their unfailing help, and the Canada Council for various grants which have enabled me to work in British libraries. Finally, I
should like to thank the Humanities Research Council of Canada for aiding the publication of this book." (Preface , pp. VII-IX)
(*) [Bibliographia logica. III. Verzeichnis der Zeitschriftenartikel zur Logik. Hildesheim-New York: Georg Olms Verlag, 1979].
Pironet, Fabienne. 1997. The Tradition of Medieval Logic and Speculative Grammar. A bibliography (1977-1994) . Turnhout:
This book is a continuation of Earline Jennifer Ashworth’s bibliography, The Tradition of Medieval Logic and Speculative Grammar from
Anselm to the End of the Seventeenth Century: A Bibliography from 1836 Onwards , that is the reason why the title is partly adopted from it.
The aim and the general principles are the same as Ashworth’s ones, but I have broadened the field: this bibliography itemizes books and
articles written between 1977 and 1994 on logic and grammar from Boethius to the end of the seventeenth century, not excluding topics as the categories and, in
some extension, the struggle between nominalism and realism nor works of or on men such as Pascal, Descartes, Arnauld, Leibniz and Locke. Of course, main
topics are still consequences, syllogistic, supposition theory, insolubles, obligations, semantics, speculative grammar, etc., but I think that the extension
to subjects and authors mentioned above corresponds to the way researches in that field evoluted last years. First, we note that the number of editions,
translations and studies on medieval logic and grammar has considerably increased: about 1000 items from 1836 to 1976, about 2000 from 1977 to 1994. Second, we
see that it is difficult to make a clear distinction between different branches of knowledge, this is why many people work on the relations between logic or
grammar and related matters, such as metaphysics, physics, theology, etc. Third, always more people working on modern philosophy tend to go back to medieval
philosophy to search for the roots of the texts they study, while medievalists are interested to know which influence medieval philosophers have had on their
With a very few exceptions, book reviews and articles from general works are not included.
I have tried to check each item personally or, at least, to ask the author to check the references I collected. The note “Not seen” means
that I can not guarantee the accuracy of given informations.
When an author has more than one book or article, the items are arranged chronologically.
Informations in square brackets below each item indicate headings in the indexes or, if necessary, give cross-references. Most collective
works have been listed under the name of the (main) editor, and articles published in such works refer to them.
Four indexes are provided: index of names, index of texts, index of translations and index of subjects:
102 refers to item 120;
S: 120 refers to item 120 in the supplement to Ashworth’s bibliography.
Items 231, 649, 780 are not forgotten. After last minute changes, they disappeared while others have been added (e.g. 1486b or 1602b).
I can not pretend that this bibliography is exhaustive, especially for its second part, I just hope that I have not forgotten important items
that should have been included in. I thank here all the colleagues who accepted to help me, some of them went through the first version of this work, others
checked or sent me references. In particular, I would like to thank Jennifer Ashworth for the special attention she turned to this work. She also furnished me
most of the informations for the supplement to her bibliography." (Preface , pp. VII-VIII)
Müller, Gert Heinz, and Lenski, Wolfgang, eds. 1987. [Omega] - Bibliography of Mathematical Logic . Berlin: Springer.
Six volumes: 1. Classical logic edited by Wolfgang Rautenberg; 2. Non-classical logics edited by Wolfgang Rautenberg; 3. Model theory edited
by Heinz-Dieter Ebbinghaus; 4. Recursion theory edited by Peter G. Hinman; 5. Set theory edited by Andreas R. Blass; 6. Proof theory; Constructive mathematics
edited by Jane E. Kister, Dirk van Dalen, Anne S. Troelstra.
"This collection of six hefty, orange volumes is a dream come true for anyone interested in mathematical logic and its history. It
contains a remarkably complete bibliography of the field, from 1879, the year of Frege's Begriffsschrift, through 1985.
Each volume has a number of introductory sections, including a general survey of work in the volume, and useful appendices of various
However, the core of each volume consists of three indices: Subject Index, Author Index, and Source Index." (p. 524)
Jon Barwise, Review, in: Bulletin of the American Mathematical Society , Vol. 19, 1988, pp. 524-528.
Anellis, Irving A. 1995. "Studies in the Nineteenth-Century History of Algebraic Logic and Universal Algebra. A Secondary
Bibliography." Modern Logic no. 5:1-120.
With the assistance of Thomas L. Drucker, Nathan Houser, Volker Peckhaus and Christian Thiel.
"This bibliography lists all the nineteenth and twentieth century secondary materials on the history of algebraic logic (03Gxx),
universal algebra (08Bxx) and closely related topics, including in particular lattice theory (06-xx), known to the compilers up to the time of printing.
Also included are secondary studies on such areas as linear and multilinear algebras (15-xx) and what in the early nineteenth century such
British algebraists as George Peacock and Charles Babbage called "symbolical algebra." The principle of selection in the latter case was to include
studies concerning the work of such researchers as Peacock and Babbage, Benjamin Peirce, James Joseph Sylvester, Arthur Cayley, and Hermann Grassmann since
their work significantly influenced the direction of the logical researches of such men as Charles Peirce and Alfred North Whitehead. We exclude studies of
researchers such as Camille Jordan, despite the fact that the work of such researchers as Jordan, although relating to linear and multilinear algebra, is not
known to have had any significant influence on Peirce, Schröder or any of their colleagues working in algebraic logic." (p. 4)
Schüling, Hermann. 1963. Bibliographie der im 17. Jahrhundert in Deutschland erschienenen logischen Schriften . Giessen:
Inhaltsverzeichnis: 1. Einleitung 3; 2. Die Ermittlung der Drucke 9; 3. Verzeichnis der im 17.Jh. in Deutschland erschienenen logischen
Schriften 12; 4. Nachtrag 135; 5. Register: a. In Buchtiteln erwähnte Personennamen (Herausgeber, Kommentatoren, Verfasser beigedruckter Schriften,
Respondenten usw.) 138; b. Deutschsprachige Logiken des 17. Jahrhunderts 142; c. Für bestimmte Schulen geschriebene Lehrbücher der Logik 142-143.
"Die folgende Arbeit versucht, durch ein möglichst vollständiges Verzeichnis der im 17. Jahrhundert in Deutschland erschienenen
logischen Schriften die Grundlage für eine Erforschung der Geschichte der Logik in
diesen räumlichen und zeitlichen Grenzen zu geben.
Die außerordentliche Bedeutung der Logik im damaligen System der Wissenschaften, die schon aus der grossen Zahl logischer Bücher erhellt, ist
Die Logik ist wichtigste Methodenlehre der Universitätswissenschaften." (s. 3)
Redmond, Walter Bernard. 1972. Bibliography of the Philosophy in the Iberian Colonies of America . The Hague: Martinus Nijhoff.
Contents: Preface VII; Abbreviations XIII-XIV; Catalogue of manuscripts and printed works on Philosophy from the Colonial Period in Latin
America; Philosophical works from Colonial Latin America 1; Anonymous works 111; Appendix of some Colonial philosophical works which have become lost 134;
Bibliography of the secondary literature concerning the philosophy of the Colonial Period of Latin America 139-174.
"The first part of this bibliography is a catalogue of philosophical writings from colonial Latin America which, on the basis of the
secondary literature, are presumed to be extant. It is followed by a short appendix listing some colonial authors whose philosophical works are lost, but which
perhaps still exist. The second part of the bibliography contains the secondary literature: studies on the philosophy of colonial Latin America as well as
subsequently published texts and translations of the works of the colonial authors. It also contains non-philosophical works to which reference is made in the
first section. A brief digest of the content of each philosophical work follows the entry." (p. VIII)
Hickman, Larry A. 1971. "Late Scholastic Logics: Another Look." Journal of the History of Philosophy no. 9:226-234.
"It was not until the mid-sixties, however, that the importance of the logic of the second scholastics came to be fully appreciated by
even a small circle of philosophical historiographers. 1964 marked the publication of Mufioz Delgado's book on nominalistic logic at the University of
Salamanca from 1510-1530. This was also the year for the appearance of the first volume (1500-1640) of Risse's work on the history of logic in the Neuzeit.
With the aid of these two works one could finally get a feel for the possibilities and subtleties of the period.
The following year was even more important as it brought the publication of not one, but two important bibliographies in the field. Angelelli
(1965) published an article on the importance of late Ibero-American scholasticism and provided a critical presentation of a portion of a rare
nineteenth-century bibliography he had discovered (Rabus, 1868). In the same year, Risse published his scarcely believable Bibliographia Logica, listing an
estimated eight thousand logical titles from the Neuzeit. Highly sophisticated critical studies of Neuzeit scholastic answers to perennial logical problems
began to appear ( Angelelli, 1967) (Mufioz Delgado, 1966, 1967, 1968)." (pp. 226-227)
Eighty-free additions to Risse's Bibliographia logica are listed in pp. 228-232.
Angelelli, Ignacio. "Sobre la 'restauraci6n' de los textos filos6ficos ib6ricos," Documentación Critica Ibero-Americana de
Filosofla y Ciencias Afines, II (1965), 423-446
------ Studies on Gottlob Frege and Traditional Philosophy (Dordrecht-Holland: D. Reidel Publishing Company, 1967)
Mufioz Delgado, Vicente. "Fuentes impresas de logica hispano-portuguesa del siglo XVI." Reportario de Historia de las Ciencias
Eclesi6sticas en España, I (1967), 435-464.
------ "La lógica como 'scientia sermocinalis' en la obra de Pedro Sanchez Cirueto (1470-1554)." Estudios , XXII
------ "La lógica en la Universidad de Alcala durante la primera mitad del siglo XVI." Salmanticensis, Fasc. I