Logic, history of. In Encyclopedia of Philosophy. Second edition. Edited by Borchert Donald M. New York: Thomson gale 2006. pp. 397-484
The first edition of the Encyclopedia of Philosophy, edited by Paul Edwards, was published in 1967.
The editor of the article Logic, history of in the first edition was Arthur Norman Prior.
"The mainstream of the history of logic begins in ancient Greece and comes down through the Arabian and European logic of the Middle Ages and through a number of post-Renaissance thinkers to the more or less mathematical developments in logic in the nineteenth and twentieth centuries. In the period after the fall of Rome many of the ancient achievements were forgotten and had to be relearned; the same thing happened at the end of the Middle Ages. Otherwise this Western tradition has been fairly continuous. Indian and Chinese logic developed separately. Today logic, like other sciences, is studied internationally, and the same problems are treated in the Americas, western and eastern Europe, and Asia and Australasia. The story of the development of logic will be told here under the following headings:
Susanne Bobzien: Ancient logic; Brendan S. Gillon: Logic and inference in Indian philosophy; A. C. Graham (1967): Chinese logic (Bibliography updated by Huichieh Loy); Nicholas Rescher (1967): Logic in the Islamic world (with an Addendum by Tony Street); Christopher J. Martin: Medieval (European) logic; Ivo Thomas (1967): The Interregnum (between medieval and modern logic); Precursors of modern logic: Ivo Thomas (1967): Leibniz; Ivo Thomas (1967): Euler; Ivo Thomas (1967): Lambert and Ploucquet; Yehoshua Bar-Hillel (1967): Bolzano; Modern logic: the Boolean period; P. L. Heath (1967): Hamilton; P. L. Heath (1967): De Morgan; John Corcoran: Boole; P. L. Heath (1967): Jevons; P. L. Heath (1967): Venn; Francine F. Abeles: Carroll; A. N. Prior (1967): Peirce; A. N. Prior (1967): A. N. Prior (1967): Keynes; A. N. Prior (1967): Johnson; The heritage of Kant and Mill; A. N. Prior (1967): From Frege to Gödel; Ivo Thomas (1967): Nineteenth century mathematics; Bede Rundle (1967): Frege; Bede Rundle (1967): Whitehead and Russell; Bede Rundle (1967): Ramsey; Bede Rundle (1967): Brouwer and Intuitionism; Bede Rundle (1967): Hilbert and Formalism; Bede Rundle (1967): Löwenheim; Bede Rundle (1967): Skolem; Bede Rundle (1967): Herbrand; Bede Rundle (1967):Gödel; John P. Burgess: Since Gödel: Bede Rundle (1967): Gentzen; Bede Rundle (1967): Church; Herbert B. Enderton: Turing and computability theory; Wilfrid Hodges: Decidable and undecidable theories; Wilfrid Hodges: Model theory; Grahan Priest: The proliferation of nonclassical logics; Peter Cholak and Red Solomon: Friedman and revers mathematics."
Handbook of the history of logic. Edited by Gabbay Dov and Woods John. Amsterdam: Elsevier 2004.
1. Greek, Indian and Arabic logic (2004); 2. Mediaeval and Renaissance logic (2008); 3. The rise of modern logic: from Leibniz to Frege (2004); 4. British logic in the Nineteenth century (2008); 5. Logic from Russell to Church (2009); 6. Sets and extensions in the Twentieth century (co-editor Akihiro Kanamori; not yet published); 7. Logic and the modalities in the Twentieth century (2006); 8. The many-valued and nonmonotonic turn in logic (2007); 9. Logic and computation (co-editor Jörg Siekmann; not yet published); 10. Inductive logic (co-editor Stephan Hartmann; not yet published); 11. Logic: A history of its central concepts (not yet published)
Greek, Indian and Arabic logic. Edited by Gabbay Dov and Woods John. Amsterdam: Elsevier 2004.
Handbook of the History of Logic: Vol. 1
Mediaeval and Renaissance logic. Edited by Gabbay Dov and Woods John. Amsterdam: Elsevier 2008.
Handbook of the History of Logic: Vol. 2
The rise of modern logic: from Leibniz to Frege. Edited by Gabbay Dov and Woods John. Amsterdam: Elsevier 2004.
Handbook of the History of Logic: Vol. 3
British logic in the Nineteenth century. Edited by Gabbay Dov and Woods John. Amsterdam: Elsevier 2008.
Handbook of the History of Logic: Vol. 4
Logic from Russell to Church. Edited by Gabbay Dov and Woods John. Amsterdam: Elsevier 2009.
Handbook of the History of Logic: Vol. 5
Logic and the modalities in the Twentieth century. Edited by Gabbay Dov and Woods John. Amsterdam: Elsevier 2006.
Handbook of the History of Logic: Vol. 7
The many-valued and nonmonotonic turn in logic. Edited by Gabbay Dov and Woods John. Amsterdam: Elsevier 2007.
Handbook of the History of Logic: Vol. 8
The development of modern logic. Edited by Haaparanta Leila. New York: Oxford University Press 2009.
"This volume is the result of a long project. My work started sometime in the 1990s, when Professor Simo Knuuttila urged me to edit, together with a few colleagues, a volume on the history of logic from ancient times to the end of the twentieth century. Even if the project was not realized in that form, I continued with the plan and started to gather together scholars for a book project titled The Development of Modern Logic, thus making a reference to the famous book by William and Martha Kneale. Unlike that work, the new volume was meant to be written by a number of scholars almost as if it had been written by one scholar only. I decided to start with thirteenth-century logic and come up with quite recent themes up to 2000, hence, to continue the history written in The Development of Logic. My intention was to find a balance between the chronological exposition and thematic considerations. The philosophy of modern logic was also planned to be included; indeed, at the beginning the book had the subtitle "A Philosophical Perspective," which was deleted at the end, as the volume reached far beyond that perspective. The collection of articles is directed to philosophers, even if some chapters include a number of technical details. Therefore, when it is used as a textbook in advanced courses, for which it is also planned, those details are recommended reading to students who wish to develop their skills in mathematical logic." (From the Preface by Leila Haaparanta)
Contents: Preface V-VI; 1. Leila Haaparanta: Introduction 3; 2. Tuomo Aho and Mikko Yrjönsuuri: Late medieval logic 11; 3. Mirella Capozzi, Gino Roncaglia: Logic and philosophy of logic from Humanism to Kant 78; 4. Volker Peckhaus: The mathematical origins of Nineteenth century algebra of logic 159; 5. Christian Thiel: Gottlob Frege and the interplay between logic and mathematics 196; 6. Risto Vilkko: The logic question during the first half of the Nineteenth century 203; 7. Leila Haaparanta: The relations between logic and philosophy, 1874-1931 222; 8. Göran Sundholm: A century of judgement and inference, 1837-1936: Some strands in the development of logic; 9. Paolo Mancosu, Richard Zach, Calixto Badesa: The development of mathematical logic from Russell to Tarski 1900-1935 318; 10. Wilfrid Hodges: Set theory, model theory, and computability theory 471; 11. Jan von Plato: Proof theory of Classical and Intuitionistic logic 499; 12. Tapio Korte, Ari Maunu, Tuomo Aho: Modal logic from Kant to possible worlds semantics 516; Appendix to Chapter 12: Risto Hilpinen: Conditionals and possible worlds: On C. S. Peirce's conception of conditionals and modalities 551; 13. Gabriel Sandu, Tuomo Aho: Logic and semantics in the Twentieth century 562; 14. Andrew Aberdein and Stephen Read: The philosophy of alternative logics 613; 15. Sandy Zabell: Philosophy of inductive logic: the Bayesian perspective 724; 16. Alessandro Lenci, Gabriel Sandu: Logic and linguistics in the Twentieth century 775; 17. Richmond Thomason: Logic and artificial intelligence 848; 18. J. N. Mohanty, S. R. Saha, Amita Chatterjee, Tushar Kanti Sarkar, Sibajiban Bhattacharyya: Indian logic 903; Index 963-994
"I Simposio de Historia de la Lógica, 14-15 de Mayo de 1981," Anuario Filosofico de la Universidad de Navarra Pamplona 16 (1983).
Contents: I. Angelelli: Presentación del Simposio 7; Mario Mignucci: La teoria della quantificazione del predicato nell'antichità classica 11; Claude Imbert: Histoire et formalisation de la logique 43; Klaus Jacobi: Aussagen über Ereignisse. Modal- und Zeitlogische Analysen in der Mittelalterlichen Logik 89; Vicente Muñoz Delgado: Pedro de Espinosa (+ 1536) y la lógica en Salamanca hasta 1550 119; Angel d'Ors: Las Summulae de Domingo de Soto. Los límites de la regla 'tollendo tollens' 209; José Luis Fuertes Herreros: Sebastián Izquierdo (1601-1681): un intento precursor de la lógica moderna en el siglo XVII 219; Larry Hickman: The Logica Magna of Juan Sanchez Sedeño (1600). A Sixteenth century addition to the Aristotelian Categories 265; Hans Burkhardt: Modaltheorie und Modallogik in der Scholastik und bei Leibniz 273; Christian Thiel: Die Revisionssbedürftigkeit der logischen Semantik Freges 293; Ignacio Angelelli: Sobre una clase especial de proposiciones reduplicativas 303; Alfonso García Suárez: Fatalismo, trivalencia y verdad: una análisis del problema de los futuros contingentes 307; Georges Kalinowski: La logique juridique et son histoire 331-350.
Estudios de Historia de la Lógica. Actas del II Simposio de Historia de la Lógica, Universidad de Navarra, Pamplona, 25-27 de Mayo de 1987. Edited by Angelelli Ignacio and D'Ors Angel. Pamplona: Ediciones Eunate 1990.
Indice: I. Angelelli: Presentación; E. J. Ashworth: The doctrine of signs in some early sixteenth-century Spanish logicians 13; I. Boh: On medieval rules of obligation and rules of consequence 39; Alexander Broadie: Act and object in Late-Scholastic logic 103; Hans Burkhardt: Contingency and probability: a contribution to the Aristotelian theory of science 125; Jeffrey S. Coombs: John Mair and Domingo de Soto on the reduction of iterated modalities 161; Donald Felipe: Johannes Felwinger (1659) and Johannes Schneider (1718) on syllogistic disputation 183; Norbert Hinske: Kant by computer. Applications of electronic data processing in the humanities 193; Herbert Hochberg: Predication, relations, classes and judgment in Russell's philosophical logic 213; Joachim Hruschka: The hexagonal system of deontic concepts according to Achenwall and Kant 277; Simo Knuuttila: Varieties of natural necessity in medieval thought 295; Wolfgang Lenzen: Precis of the history of logic from the point of view of the leibnizian calculus 321; Juan Carlos Leon, Alfredo Burrieza: Identity and necessity from the fregean perspective 341; Albert C. Lewis: An introduction to the Bertrand Russell editorial project: axiomatics in Russell 353; Christopher Martin: Significatio nominis in Aquinas 363; Mario Mignucci: Alexander of Aphrodisias on inference and syllogism 381; Vicente Muñoz Delgado: El análisis de los enunciados 'de incipit et desinit' en la logica de Juan de Oria (1518) y en la de otros españoles hasta 1540 413; Niels Offenberger: Die Oppositionstheorie strikt partikulärer Urteilsarten aus der Sicht der Vierwertigkeit 489; Angel d'Ors: La doctrina de las proposiciones insolubles en las Dialecticae introductiones de Agustin de Sbarroya 499; Juana Sánchez Sánchez: Quine y Kripke sobre el análisis objetual de los enunciados de identidad 553; Christian Thiel: Must Frege's role in the history of philosophy of logic be rewritten? 571; Lista de participantes 585; Indice 589-591.
Studies on the history of logic. Proceedings of the III. Symposium on the history of logic. Edited by Angelelli Ignacio and Cerezo María. Berlin: Walter de Gruyter 1996.
Contents: Preface V; List of Contributors XI; Mario Mignucci: Aristotle's theory of predication 1; Robin Smith: Aristotle's regress argument 21, Hermann Weidemann: Alexander of Aphrodisias, Cicero and Aristotle's definition of possibility 33; Donald Felipe: Fonseca on topics 43; Alan Perreiah: Modes of scepticism in medieval philosophy 65; Mikko Yrjönsuuri: Obligations as thoughts experiments 79; Angel d'Ors: Utrum propositio de futuro sit determinate vera vel falsa (Antonio Andrés and John Duns Scotus) 97; Earline Jennifer Ashworth: Domingo de Soto (1494-1560) on analogy and equivocation 117; Allan Bäck: The Triplex Status Naturae and its justification 133; William E. McMahon: The semantics of Ramon Llull 155; Paloma Pérez-Ilzarbe: The doctrine of descent in Jerónimo Pardo: meaning, inference, truth 173; Jeffrey Coombs: What's the matter with matter: Materia propositionum in the post-medieval period 187; Rafael Jiménez Cataño: Copulatio in Peter of capua (12th century) and the nature of the proposition 197; Lynn Cates: Wyclif on sensus compositus et divisus 209; Mauricio Beuchot: Some examples of logic in New Spain (Sixteenth-Eighteenth century) 215; Adrian Dufour: necessity and the Galilean revolution 229; Guy Debrock: Peirce's concept of truth within the context of his conception of logic 241; Pierre Thibaud: Peirce's concept of proposition 257; Jaime Nubiola: Scholarship on the relations between Ludwig Wittgenstein and Charles S. Peirce 281; José Miguel Gambra: Arithmetical abstraction in Aristotle and Frege 295; Herbert Hochberg: The role of subsistent propositions and logical forms in Russell's 1913 Philosophical logic and in the Russell-Wittgenstein dispute 317; Alfonso García Suárez: Are the objects of the Tractatus phenomenological objects? 343; María Cerezo: Does a proposition affirm every proposition that follows from it? 357; Javier Legris: Carnap's reconstruction of intuitionistic logic in the Logical syntax of language 369; Albert C. Lewis: Some influences of Hermann Grassmann's program on modern logic 377; Juan Carlos León: Indeterminism and future contingency in non-classical logics 383; Christian Thiel: Research on the history of logic at Erlangen 397; Index 403.
Modern modalities. Studies of the history of modal theories from Medieval Nominalism to Logical Positivism. Edited by Knuuttila Simo. Dordrecht: Kluwer 1988.
Perspectives on the history of mathematical logic. Edited by Drucker Thomas. Boston: Birkhäuser 2008.
Atti del Convegno di storia della logica (Parma, 8-10 ottobre 1972). Padova: Liviana editrice 1974.
Atti del Convegno internazionale di storia della logica. Edited by Abrusci Michele, Casari Ettore, and Mugnai Massimo. Bologna: CLUEB 1983.
Organizzato dalla Società italiana di logica e filosofia delle scienze (SILFS), San Gimignano, 4-8 dicembre 1982
Indice: Presentazione di Ettore Casari V; Elenco degli autori VIII; Indice IX;
Relazioni
C.A. Viano, La proposizione in Aristotele 3; J. Berg, Aristotle's theory of definition 19; V. Sainati, Per una nuova Iettura della sillogistica modale aristotelica 31; M. Mignucci, Alessandro di Afrodisia e la logica modale di Crisippo 47; D.P. Henry, New aspects of medieval logic 59; G. Nuchelmans, Medieval problems concerning substitutivity (Paul of Venice, Logica Magna, II, 11, 7-8) 69; K. Jacobi, Abelard and Frege: the semantics of words and propositions 81; C.E. Vasoli, Logica ed 'enciclopedia' nella cultura tedesca del tardo Cinquecento e del primo Seicento: Bartholomaeus Keckermann 97; M. Mugnai, Alle origini dell'algebra della logica 117; G. Lolli, Quasi alphabetum. Logic and encyclopedia in G. Peano 133; C. Mangione, S. Bozzi, About some problems in the history of mathematical logic 157; Ch. Thiel, Some difficulties in the historiography of modem logic 175; A.S. Troelstra, Logic in the writings of Brouwer and Heyting 193; E. Borger, From decision problems to complexity theory. A survey 211;
Comunicazioni
N. Öffenberger, Sulla 'equivalenza' degli enunciati 'strettamente' particolari in prospettiva tetravalente 219; P. Cosenza, Procedimenti di trasformazione nella sillogistica di Aristotele 223; W. Cavini, La teoria stoica della negazione 229; M. Nasti de Vincentis, Chrysippean implication as strict equivalence 235; E. Galanti, True arguments and valid arguments. Apropos of Sextus Empiricus, Pyrrhoneiae Hypotyposeos II, 188-92 241; A.D. Conti, La teoria degli ad aliquid di Boezio: osservazioni sulla terminologia 247; R. Pinzani, Le 'propositiones coniuncte temporales' nel De Ypoteticis di Abelardo 253; R. Cordeschi, I sillogismi di Lullo 259; G.C. Giacobbe, La Logica demonstrativa di Gerolamo Saccheri 265; M. Capozzi, Sillogismi e 'ars inveniendi' in J.H. Lambert 271; R. Pozzo, Logica e 'Realphilosophie' negli scritti jenensi di Hegel 277; D. Buzzetti, Benjamin Humphrey Smart and John Stuart Mill: logic and parts of speech 283; P. Freguglia, Influenze algebriche sull'opera di Boole: W.R. Hamilton e G. Peacock 289; N. Guicciardini, Cambridge mathematics and algebra of logic: pure analytics, Cauchy's methodology and divergent series 295; M. Ferriani, Boole, Frege e la distinzione leibniziana 'Lingua-Calculus' 301; E. Picardi, On Frege's notion of Inhalt 307; P. Casalegno, Lo strano caso del dr. Gustav Lauben 313; G.A. Corsi, A note of indexicals and Frege's notion of sense 319; F. Gana, Una questione di priorità nella definizione di insieme finito 325; U. Bottazzini, Sul Calcolo geometrico di Peano 331;
M. Borga, P. Freguglia, D. Palladino, Su alcuni contributi di Peano e della sua scuola alla logica matematica 337; P.A. Giustini, Geometria ed assiomatica 343; R. Simili, W.E. Johnson e il concetto di proposizione 347; C. Pizzi, Il problema dei determinabili nella logica del '900 353; G. Pretto, G. Sambin, Mistica come etica della filosofia della matematica di L.E.J. Brouwer 359;
F. Arzarello, Classical mathematics in Brouwer intuitionism and intuitionism in Brouwer classical mathematics 363; V.M. Abrusci, Paul Hertz's logical works. Contents and relevance 369; T. Tonietti, Le due tappe del formalismo di Hilbert e la controversia con Brouwer 375; E. Moriconi, Sul tentativo hilbertiano di dimostrare l'ipotesi del continuo di Cantor 381; S. Quaranta, Il teorema di Herbrand: semantica 'costruttiva' e completezza 387; D. Costantini, M.C. Galavotti, Osservazioni sullo sviluppo storico della nozione di casualità 393-401
Le teorie delle modalità. Atti del Convegno internazionale di storia della logica. Edited by Corsi Giovanni, Mangione Corrado, and Mugnai Massimo. Bologna: CLUEB 1989.
Organizzato dalla Società italiana di logica e filosofia delle scienze (SILFS), San Gimignano, 5-8 dicembre 1987.
Indice: Presentazione di Maria Luisa Dalla Chiara 5; Ringraziamenti 7; Elenco dei partecipanti 9; Elenco degli Autori 11;
Relazioni
W. Cavini, Modalità dialettiche nei Topici di Aristotele 15; M. Mignucci, Truth and modality in late antiquity: Boethius on future contingent propositions 47; S. Knuuttila, Modalities in obligational disputations 79; G. Hughes, The modal logic of John Buridan 93; V. Sainati, Verità e modalità in Leibniz 113; H. Poser, Kants absolute Modalitäten 121; E. Picardi, Assertion and assertion sign 139; H. Burkhardt, Das Vorurteil zugunsten des Aktualen: die philosophischen Systeme von Leibniz and Meinong 155; S. Bozzi, Implicazione stretta e metodo assiomatico nella logica di Lewis e Langford 183; C. Pizzi, Propositional quantifiers in Lewis and Langford's "Symbolic Logic" 205; K. Segerberg, Getting started: beginnings in the logic of action 221;
Comunicazioni
M. Mariani, Le dimostrazioni indirette in An. Pr. A,15 253; M. Nasti, Stoic implication and stoic modalities 259; R. Pinzani, Un approccio semantico alla dialettica di Abelardo 265; G. Roncaglia, Alcune note sull'uso di composslbilitas e incompossibilitas in Alberto Magno e Tommaso d'Aquino 271; A. Tabarroni, Predicazione essenziale ed intentiones secondo Gentile da Cingoli 277; R. Lambertini, Utrum genus possit salvari in unica specie. Problemi di semantica dei termini universali tra Gentile da Cingoli e Radulphus Brito 283; L. Pozzi, Heytesbury e l'autoriferimento 289; P. Freguglia, Sullo scholium alla prima proposizione dell'Euclidis Elementorum libri XV di Cristoforo Clavio 295; C. Cellucci, De conversione demonstrationis in definitionem 301; M. Capozzi, La sillogistica di Signer 307; A. Drago, Dalla geometria alla formalizzazione logica: Lazare Carnot 313; E. Casari, Remarks on Bolzano's modalities 319; M. Ferriani, Gil Interessi logici del giovane Peirce: spunti per una rilettura 323; U. Garibaldi - M. A. Penco, A measure-theoretical approach to pre-Bayesian intensional probability 329; V. M. Abrusci, David Hilbert's Vorlesungen on logic and foundations of mathemathics 333; E. Moriconi, Una nota sul secondo e-teorema di D. Hilbert 339; A. Rainone, Belief-contexts and synonymity in Carnap's semantics 345; G. Hughes, "Every world can see a reflexive world" 351; G. Corsi, Sulla logica temporale dei programmi 359; G. Tamburrini, Mechanical procedures and epistemology 365; G. Colonna, Sulla sfortuna di certe modalità nella storia della logica 371; Indice 377-378
Momenti di storia della logica e di storia della filosofia. Edited by Guetti Carla and Puja Roberto. Roma: Aracne 1996.
Atti del Convegno tenuto a Roma, 9-11 November, 1994
Barth Else M. The logic of the articles in traditional philosophy. A contribution to the study of conceptual structures. Dordrecht: Reidel 1974.
Revised translation from the original Dutch (1971) by E. M. Barth and T. C. Potts.
Table of Contents: Preface XIX; Preface to the original edition XXI; On the use of symbols and graphical types XXIII-XXV; Part 1. The problem. I. Introduction: problems and sources 3; II. Naming what is 34; III. The semantics of the logical constants 50; Part 2. Historical survey. IV. From the history of the logic of indefinite propositions 75; V. From the history of the logic of individual propositions 141; VI. Singular - General - Indefinite 180; VII. The identity theories of the copula 204; Part 3. Descent. VIII. Argument by analogy 291; IX: The problem of the logic of relations and its connection with the logic of the articles 337; Part 4. X: Introduction of indefinite propostions by ekthesis 381; XI. Conjunction, potentiality, and disjunction 417; XII. Summary and conclusion 457; Bibliography 482; Index of proper names 502; Index of subjects 509.
Blanché Robert. La logique et son histoire d'Aristote à Russell. Paris: Armand Colin 1970.
Deuxième edition revue par Jacques Dubucs, Paris, Colin, 1996
Bochenski Joseph. A history of formal logic. Notre Dame: Indiana University Press 1961.
Translated from the German edition "Formale Logik" (1956) by Ivo Thomas.
Reprinted New York, Chelsea Publishing Co., 1970.
Bochenski Joseph, "Logic and ontology," Philosophy East and West 24: 275-292 (1974).
"The scope of this article is to present a broad survey of the relations between logic and ontology as they have been conceived of in the history of Western thought. While it is true that Hindu philosophy offers a similar field of research, the impression is that we are not yet prepared to handle it in any synthetic way. We simply do not know enough about the details of the Hindu doctrines."
Bochenski Joseph. The general sense and character of modern logic. In Modern logic - A survey. Historical, philosophical, and mathematical aspects of modern logic and its applications. Edited by Agazzi Evandro. Dordrecht: Reidel 1981. pp. 3-14
Buzzetti Dino, "Cronaca, preistoria e storia della logica," Rivista di Filosofia: 484-496 (1976).
"The author surveys recent contributions to the history of logic and develops methodological reflections aiming to show that a proper treatment of the discipline requires a wide-scope investigation taking into account not only formal theories acceptable by present-day standards of adequacy, but also the relationship between formalization and ordinary language, the philosophical, and the material heuristic motivations."
Carruccio Ettore. Mathematics and logic in history and in contemporary thought. Chicago: Aldine 1964.
Original Italian edition: Matematica e logica nella storia e nel pensiero contemporaneo - Torino, Gheroni, 1958
Church Alonzo. Introduction to mathematical logic. Princeton: Princeton University Press 1956.
Third reprint 1996.
See in particular the Historical notes: Chapter II. The propositional calculus (continued) § 29 pp. 155-166; Chapter IV. The pure functional calculus of First Order 49 pp. 288-294.
Dumitriu Anton. History of logic. Tunbridge Wells: Abacus Press 1977.
Revised, updated, and enlarged translation from the Roumanian of the second edition of "Istoria logicii" (4 volumes).
Gardies Jean-Louis, "La definition de l'identité d'Aristote a Zermelo," Theoria.Revista de Teoria, Historia y Fundamentos de la Ciencia 4: 55-79 (1989).
"This paper sketches a history of definition of identity from Aristotle's "Tpics" down to the modern set theory. The author tries to explain particularly, first, how the transformation of the concept of predicate at the end of the Nineteenth century made it necessary to revise the Leibnizian definition of the identity of individuals; secondly, why Dedekind, Peano, Schroder, etc., made, between two possible definitions of identity of predicates or of sets, a choice which later made it necessary to postulate in set theory the axiom of extensionality."
Gensler Harry. Historical dictionary of logic. Lanham: Scarecrow Press 2006.
Contents: Editor's Foreword by Jon Woronoff IX; Preface XI; Notation XIII; Chronology XV; Introduction XXIX-XLIV; The Dictionary 1; Bibliography 255; About the author 307.
This book is an encyclopedia of logic. It introduces the central concepts of the field in a series of brief, nontechnical "dictionary entry" articles. These deal with topics like logic's history, its various branches, its specialized vocabulary, its controversies, and its relationships to other disciplines. While the book emphasizes deductive logic, it also has entries on areas like inductive logic, fallacies, and definitions -- and on key concepts from epistemology, mathematics, and set theory that are apt to arise in discussions about logic. Following the series guidelines, Historical Dictionary of Logic tries to be useful for specialists (especially logicians in areas outside their subspecialties) but understandable to students and other beginners; so I avoid topics or explanations that are so technical that only math majors would understand.
The major part of this book is the dictionary section, with 352 entries. While these are arranged alphabetically, there is also an organization based on content. Four very general entries start with "logic:" and serve mainly to point to more specific entries (like "propositional logic"); these in turn often point to related topics (like "negation," "conditionals," "truth tables," and "proofs"). So we have here a hierarchy of topics. Here are the four "logic:" entries:
logic: deductive systems points to entries like propositional logic, modal logic, deontic logic, temporal logic, set theory, many-valued logic, mereology, and paraconsistent logic.
logic: history of is about historical periods and figures and includes entries like medieval logic, Buddhist logic, twentieth-century logic, Aristotle, Ockham, Boole, Frege, and Quine.
logic: and other areas relates logic in an interdisciplinary way to other areas and includes entries like biology, computers, ethics, gender, God, and psychology.
logic: miscellaneous is about everything else (including technical terms) and includes entries like abstract entities, algorithm, ad hominem, inductive logic, informal/formal logic, liar paradox, metalogic, philosophy of logic, and software for learning logic.
The entries vary in length from a sentence or two to several pages. The front of the book has three important parts:
A short notation section gives the main logical symbols that I use in the book, along with alternative symbols that others sometimes use.
A chronology lists some of the main events in the history of logic.
An introduction tries to give an overall view of logic, the big picture, in order to give a broader context for the dictionary entries.
The back of the book has a substantial bibliography on related readings." (from the Preface)
Imbert Claude. Pour une histoire de la logique. Un héritage platonicien. Paris: Presses Universitaires de France 1999.
Kneale William and Kneale Martha. The development of logic. Oxford: Clarendon Press 1962.
Reprinted 1975 with corrections
Kotarbinski Tadeusz. Leçons sur l'histoire de la logique. Paris: Presses universitaires de France 1964.
Translated from the Polish edition (1957) by Anna Posner.
Lejewski Czeslaw. Logic and ontology. In Modern logic - A survey. Historical, philosophical, and mathematical aspects of modern logic and its applications. Edited by Agazzi Evandro. Dordrecht: Reidel 1981. pp. 379-398
"My discussion of the topic prescribed by the title of the paper will consist of two parts. In Part I, I propose to discuss, in very general and informal terms, the nature of logic and ontology, and the relationship that seems to connect these two disciplines. In Part II, I intend to examine, in some detail, a certain specific problem, which concerns logicians as well as ontologists, a problem which has been with us for about forty years, and which lacks a generally acceptable solution." p. 379
Lewis Clarence Irving. A survey of symbolic logic. Berkeley: University of California Press 1918.
Reprinted New York, Dover Publishing 1960, with the omission of chapter V and VI.
Mangione Corrado and Bozzi Silvio. Storia della logica. Da Boole ai nostri giorni. Milano: Garzanti 1993.
Mates Benson. A brief outline of the history of logic. In Elementary logic. New York: Oxford University Press 1965. pp. 205-230
Second revised edition 1972.
Nidditch Peter H. The development of mathematical logic. London: Routledge & Kegan Paul 1962.
Contents: 1. Purpose and language of the Book 1; 2. Aristotle's syllogistic 3; 3. The idea of a complete, automatic language for reasoning 14; 4. Changes in algebra and geometry, 1825-1900 23;
5. Consistency and metamathematics 30; 6. Boole's algebra of logic 33; 7.The algebra of logic after Boole: Jevons, Peirce and Schroeder 44; 8. Frege's logic 59; 9. Cantor's arithmetic of classes 66; 10.Peano's logic 73; 11. Whitehead and Russell's 'Principia Mathematica' 77; 12. Mathematical logic after 'Principia Mathematica': Hilbert's metamathematics 79; Further reading 86; Index . 87
Prantl Carl. Geschichte der Logik im Abendlande. Hildesheim: Georg Olms 1997.
Anastatic reprint of the original edition printed in four volumes Leipzig, S. Hirzl, 1855-1867.
" It is a remarkable fact, unique perhaps in the writing of history, that Carl Prantl, the first to write a comprehensive history of western logic, on which task he spent a lifetime, did it precisely to prove that Kant was right, i.e. that formal logic has no history at all.
His great work contains a collection of texts, often arranged from a wrong standpoint, and no longer sufficient but still indispensable. He is the first to take and discuss seriously all the ancient and scholastic logicians to whom he had access, though mostly in a polemical and mistaken spirit. Hence one can say that he founded the history of logic and bequeathed to us a work of the highest utility.
Yet at the same time nearly all his comments on these logicians are so conditioned by the prejudices we have enumerated, are written too with such ignorance of the problems of logic, that he cannot be credited with any scientific value. Prantl starts from Kant's assertion, believing as he does that whatever came after Aristotle was only a corruption of Aristotle's thought. To be formal in logic, is in his view to be unscientific. Further, his interpretations, even of Aristotle, instead of being based on the texts, rely only on the standpoint of the decadent 'modern' logic. Accordingly, for example, Aristotelian syllogisms are misinterpreted in the sense of Ockham, every formula of propositional logic is explained in the logic of terms, investigation of objects other than syllogistic characterized as 'rank luxuriance', and so of course not one genuine problem of formal logic is mentioned.
While this attitude by itself makes the work wholly unscientific and, except as a collection of texts, worthless, these characteristics are aggravated by a real hatred of all that Prantl, owing to his logical bias, considers incorrect. And this hatred is extended from the teachings to the teachers. Conspicuous among its victims are the thinkers of the Megarian, Stoic and Scholastic traditions. Ridicule, and even common abuse, is heaped on them by reason of just those passages where they develop manifestly important and fruitful doctrines of formal logic." (From: I. M. Bochenski - A history of formal logic - Notre Dame, University of Notre Dame Press, 1961, pp. 6-8)
Scholz Heinrich. Concise history of logic. New York: Philosophical Library 1961.
Translated from the German edition "Abriss der Geschichte der Logik" (1931) by Kurt F. Leidecker.
Translated in Italian as: "Breve storia della logica" Milano, Silva Editore 1967.
Contents: Preface to the first edition (1931) V; Introduction by Kurt F. Leidecker IX; Abbreviations XIII-XIV; Types of logic 1; The Classical type fof formal logic 24; The Modern type of formal logic 50; Bibliographic appendix 76; Supplementary observation 86; Notes 89; Index of names 137-140.
"The reader of this Concise History of Logic is entitled to know what the objections to this book are and why it was nevertheless published.
Carl Prantl (1820-1888) produced between 1855 and 1870 a standard work and source book for the history of logic from Aristotle to the end of the 15th century in which it is possible even now to appreciate an admirable mastery of the material, an exemplary punctiliousness in presenting the sources, and a nearly equally perfect intuitive certainty with which the material has been selected. For the history of modern logic there simply does not exist any work which could remotely be compared with Prantl's. Indeed, such a work will be written only when more shelf footage of monographs is available and each monograph can be considered on a par with the one Louis Couturat (1868-1914) wrote on the logic of Leibniz. (1)
It is, therefore, incumbent on us to state boldly that the present concise history is a hazardous enterprise. For, it is impossible to summarize knowledge which does not even exist as yet, and which cannot since his time. However, in our endeavor we must never lose sight of the fact that the logic of antiquity, and to a considerable degree the logic of the middle ages, have come down to us in heaps of fragments.
A third and very great flaw is the multiplicity of forms in which logic manifested itself, particularly in three stages; when it was raised to the first power in the days after the Logic of Port Royal (1662); when it was raised to the second power after Kant; and finally when it was raised to the third power after Hegel, a stage in which we have witnessed a plethora of forms right down to the present where we are no longer able to survey them.
I have risked writing this brief history nevertheless, supported by my belief in the new logic, a belief that has aided me in conquering my inhibitions. This belief has encouraged me again and again in the difficult task of condensing the vast material into the limited space available. I owe thanks to my publisher for the understanding which prompted him to acknowledge the necessity of my going beyond the limits which. I had agreed to at the outset. This made it possible to produce a little volume in which not merely beliefs could be stated, but knowledge could be spread out; knowledge, I might add, which I can back up completely by my own researches. Nothing has been referred to or touched upon in this concise history which has not passed through my fingers or which has not been thoroughly studied by me. All dates, likewise, were checked so that I have been able to correct, and that without much ado, not a few of the errors in Eisler's indispensable Philosophen Lexikon as well as other, older, reference works.
I am sending this little volume into the world in
be created by a tour de force in mere sampling of, what can only be actually gotten hold of by most thorough and painstaking research, and even at that not so without reliance on one's intuition and an eye sharpened by long experience.
Another and still greater flaw in the enterprise is this. When Prantl wrote his history of logic the type of modern formal logic which is now available in the shape of symbolic logic had not yet been called into being. There was, therefore, no dependable position by which such a history could be oriented and from which it could be surveyed. For, what formal logic really is we know only because symbolic logic provided the 'conceptual equipment needed to answer this problem. In general, too, the extant gains registered by the modern symbolic treatment of logic have become such an essential factor in making pronouncements regarding the history of logic that we are constrained to say that an essential knowledge and mastery of the results of symbolic logic have become an indispensable condition for any and all fruitful study of the history of logic. Prantl had to rely completely on himself in sifting the material, in highlighting and playing down certain aspects. He worked under a serious handicap by virtue of the nonexistence of exact formal logic in his day. This resulted in the formation of value judgments which, measured by the standards of rigorous critical thinking now in demand, are shot through with very bad blunders. These value judgments, thus, should first be corrected. Then the entire magnificent material which Prantl spread out before us must be subjected to a fresh and thorough reinterpretation, making use of all the material contributions that have been made the hope that I might thereby kindle in the reader a confidence, which he might not have had before, in the new logic upon which I have based my history, hoping of course that he may overcome all obstacles with which we have to reckon. Furthermore, I possess faith that the history of logic, with the new light which can be thrown on it today, will become a beautiful and fascinating chapter of western civilization, so that at long last it may be studied with pleasure and sympathy. This accomplished, there will follow the labors of scholars as a matter of course which will close the gaps in the history of logic which we still, regretfully, have to admit today." (Preface)
Velarde Lombraña Julián. Historia de la lógica. Oviedo: Universidad de Oviedo 1989.
Indice de materias: Prologo de Gustavo Bueno Martínez V-XV; Introducción 17; I. Los origines 19; II. Aristoteles 31; III: Megarico-Estoicos 84; IV. Epicureos 97; V. El fin de la Antigüedad clásica 100; VI. La Edad Media 109; VII: Ramón Llull 153; VIII. Humanistas y Cartesianos 154; IX. Leibniz 166; X. La lógica simbólica en el siglo XVIII 207; XI. Lógica filósofica en los siglos XVIII y XIX 218; XII: El algebra de la lógica 244; XIII. La logística hasta a Russell 300; XIV. Russell 365; XV. El programa Hilbertiano 397; Apéndice: lógica polivalente 409; BibliografÍa de carácter general 419; Indice de autores 421-431
BIBLIOGRAPHIES ON THE HISTORY OF LOGIC
Rabus Leonhard. Logische Literatur. In Logik und Metaphysik. I. Erkenntnislehre, Geschichte der Logik, System der Logik. Erlangen: Andreas Deichert 1868. pp. 453-518
"... 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, "A bibliography of symbolic logic (First part)," Journal of Symbolic Logic 1: 121-218 (1936).
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 other errors.
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."
Church Alonzo, "A bibliography of symbolic logic (Second part)," Journal of Symbolic Logic 3: 178-212 (1938).
Risse Wilhelm. Bibliographia logica. Verzeichnis der Druckschriften zur Logik mit Angabe ihrer Fundorte (1472-1800). Hildesheim: Georg Olms 1965.
Volume I.
"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 Logilc 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. 724-725
Risse Wilhelm. Bibliographia logica. Verzeichnis der Druckschriften zur Logik mit Angabe ihrer Fundorte (1801-1969). Hildesheim: Georg Olms 1973.
Volume II
Risse Wilhelm. Bibliographia logica. Verzeichnis der Zeitschriftenartikel zur Logik. Hildesheim: Georg Olms 1979.
Volume III.
"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 mathematical means;
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)."
Risse Wilhelm. Bibliographia logica. Verzeichnis der Handschriften zur Logik. Hildesheim: Georg Olms 1979.
Volume IV
Ashworth Earline Jennifer, "Some additions to Risse's Bibliographia Logica," Journal of the History of Philosophy 12: 361-365 (1974).
"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. 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.
(...)
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."
Ashworth Earline Jennifer. 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 1978.
From the Preface: "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. (...) 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."
Pironet Fabienne. The tradition of medieval logic and speculative grammar. A bibliography (1977-1994). Turnhout: Brepols 1997.
From the Preface: "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 successors. With a very few exceptions, book reviews and articles from general works are not included."
[Omega] - Bibliography of mathematical logic. Edited by Müller Gert Heinz and Lenski Wolfgang. Berlin: Springer 1987.
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 sorts.
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
Redmond Walter Bernard. Bibliography of the philosophy in the Iberian colonies of America. The Hague: Martinus Nijhoff 1972.
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
(click on the image to see the PDF file)