"Logic, History Of." In. 2006. Encyclopedia of Philosophy. Second Edition, edited by Borchert, Donald M., 397-484. New York: Thomson
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." (from the Second Edition)
Gabbay, Dov, and Woods, John, eds. 2004. Handbook of the History of Logic. Amsterdam: Elsevier.
Plan of the work: 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, 2012); 7. Logic and the Modalities in the Twentieth Century (2006); 8. The Many Valued and Non-monotonic Turn in Logic
(2007); 9. Computational Logic (2015); 10. Inductive Logic (co-editor Stephan Hartmann; 2011); 11. Logic: A History of its Central Concepts (2012).
———, eds. 2004. Greek, Indian and Arabic Logic. Amsterdam: Elsevier.
Handbook of the History of Logic: Vol. 1
———, eds. 2008. Mediaeval and Renaissance Logic. Amsterdam: Elsevier.
Handbook of the History of Logic: Vol. 2.
———, eds. 2004. The Rise of Modern Logic: From Leibniz to Frege. Amsterdam: Elsevier.
Handbook of the History of Logic: Vol. 3.
———, eds. 2008. British Logic in the Nineteenth Century. Amsterdam: Elsevier.
Handbook of the History of Logic: Vol. 4.
———, eds. 2009. Logic from Russell to Church. Amsterdam: Elsevier.
Handbook of the History of Logic: Vol. 5.
———, eds. 2012. Sets and Extensions in the Twentieth Century. Amsterdam: Elsevier.
Handbook of the History of Logic: Vol. 6.
Co-editor Akihiro Kanamori.
———, eds. 2006. Logic and the Modalities in the Twentieth Century. Amsterdam: Elsevier.
Handbook of the History of Logic: Vol. 7.
———, eds. 2007. The Many-Valued and Nonmonotonic Turn in Logic. Amsterdam: Elsevier.
Handbook of the History of Logic: Vol. 8.
———, eds. 2015. Computational Logic. Amsterdam: Elsevier.
Handbook of the History of Logic: Vol. 9.
———, eds. 2011. Inductive Logic. Amsterdam: Elsevier.
Handbook of the History of Logic: Vol. 10.
Co-Editor Stephan Hartmann.
Gabbay, Dov, Pelletier, Francis Jeffrey, and Woods, John, eds. 2012. Logic: A History of Its Central Concepts. Amsterdam:
Handbook of the History of Logic: Vol. 11.
Haaparanta, Leila, ed. 2009. The Development of Modern Logic. New York: Oxford University Press.
"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
"I Simposio De Historia De La Lógica, 14-15 De Mayo De 1981." 1983. Anuario Filosofico de la Universidad de Navarra Pamplona no.
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
Angelelli, Ignacio, and D'Ors, Angel, eds. 1990. 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. Pamplona: Ediciones Eunate.
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.
Angelelli, Ignacio, and Cerezo, María, eds. 1996. Studies on the History of Logic. Proceedings of the Iii. Symposium on the History of
Logic. Berlin: Walter de Gruyter.
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.
Knuuttila, Simo, ed. 1988. Modern Modalities. Studies of the History of Modal Theories from Medieval Nominalism to Logical
Positivism. Dordrecht: Kluwer.
Contents: Simo Knuuttila: Introduction VII-XIV; Lilli Alanen and Simo Knuuttila: The foundations of modality and conceivability in Descartes
and his predecessors 1; Ilkka Patoluoto: Hobbes's system of modalities 71; Jaakko Hintikka: Was Leibniz Deity an Akrates? 85; Martin Kusch and Juha
Manninen: Hegel on modalities and monadology 109; Pascal Engel: Plenitude and contingency: modal concepts in Nineteenth century French philosophy 179; Leila
Haaparanta: Frege and his German contemporaries on alethic modalities 239; Ilkka Niiniluoto: From possibility to probability: British discussions on modality
in the Nineteenth century 275; Hans Poser: The failure of Logical Positivism to cope with problems of modal theory 311; Index of names 329; Index of subjects
"The word "modern" in the title of this book refers primarily to post-medieval discussions, but it also hints at those medieval modal
theories which were considered modern in contradistinction to ancient conceptions and which in different ways influenced philosophical discussions during the
early modern period. The medieval developments are investigated in the opening paper, 'The Foundations of Modality and Conceivability in Descartes and His
Predecessors', by Lilli Alanen and Simo Knuuttila.
Boethius's works from the early sixth century belonged to the sources from which early medieval thinkers obtained their knowledge of ancient
thought. They offered extensive discussions of traditional modal conceptions the basic forms of which were: (1) the paradigm of possibility as a potency
striving to realize itself; (2) the "statistical" interpretation of modal notions where necessity means actuality in all relevant cases or omnitemporal
actuality, possibility means actuality in some relevant cases or sometimes, and impossibility means omnitemporal non-actuality; and (3) the "logical"
definition of possibility as something which, being assumed, results in nothing contradictory. Boethius accepted the Aristotelian view according to which total
possibilities in the first sense must prove their mettle through actualization and possibilities in the third sense are assumed to be realized in our actual
history. On these presumptions, all of the above-mentioned ancient paradigms imply the Principle of Plenitude according to which no genuine possibility remains
unrealized. (For the many-faceted role of the Principle of Western thought, see A.O. Lovejoy, The Great Chain of Being. A Study of the History of an
Idea, Harvard University Press, Cambridge, Mass. 1936, and S. Knuuttila (ed.), Reforging the Great Chain of Being. Studies of the History of Modal
Theories (Synthese Historical Library 20), Dordrecht, Reidel 1981.)
Boethius sometimes says that there can be opposite diachronic possibilities vis-à-vis future moments of time, but even in these cases
unrealized alternatives cease to be possibilities when one of them is actualized. The idea of spelling out the meaning of modal notions with the help of
synchronic alternative states of affairs hardly played any role in ancient thought; after having been suggested by some Patristic thinkers, it became a
systematic part of modal thinking only in the twelfth century. It was realized that even if the traditional philosophical conceptions might be applicable to
the phenomenal reality, possibilities of God, acting by choice, refer to alternative providential plans or histories. Although there were not many twelfth or
thirteenth century figures who, like Gilbert of Poitiers or Robert Grosseteste, would have understood the theoretical significance of the idea of modality as
referential multiplicity, the doctrine of special theological modalities motivated new kinds of discussions of the nature of natural necessities and the
relations between the notions of possibility, conceivability, and knowability.
In ancient metaphysics, modality and intelligibility were considered real moments of being. A Christian variant of this doctrine can be found
in such thirteenth century Parisian scholars as Thomas Aquinas, Bonaventura, and Henry of Ghent. They thought that God's infinite act of understanding contains
the ideas of all conceivable kinds of beings. Ideas as possibilities have an ontological foundation, however, because God's act of thinking consists of
understanding the infinite ways in which his essence could be imitated by finite beings. Because the ontological foundation of possibilities remains as such
unknown to men, it is claimed that we usually cannot decide whether an alleged unrealized possibility really is a possibility or not.
In Duns Scotus's modal theory, the ontological foundation of thinkability is given up. The area of logical possibility is characterized as an
infinite domain of thinkability which, without having any kind of existence, is objective in the sense that it would be identical in any omniscient intellect
thinking about all thinkable things. This theory of the domain of possibility as an absolute precondition of all being and thinking was accepted by Ockham and
many other medievals, and through Suárez's works it was commonly known in the seventeenth century, too. Another historically important feature of Scotus's
modal theory is that it systematically developed the conception of modality as referential multiplicity. The domain of possibility as an a priori area of
conceptual consistency is partitioned into equivalence classes on the basis of relations of compossibility. One of them is the actual world." pp. VII-IX.
Drucker, Thomas, ed. 2008. Perspectives on the History of Mathematical Logic. Boston: Birkhäuser.
Atti Del Convegno Di Storia Della Logica (Parma, 8-10 Ottobre 1972). 1974. Padova: Liviana editrice.
Indice: RELAZIONI. Evandro Agazzi: Attuali prospettive sulla storia della logica 3; Carlo Augusto Viano: Problemi e interpretazioni nella
storia della logica antica 25; Franco Alessio: Prospettive e problemi della storia della logica medievale 37; Cesare Vasoli: La logica europea nell'età
dell'Umanesimo e del Rinascimento 61; Francesco Barone: Sviluppi della logica nell'età moderna 95; Corrado Mangione: Indicazioni per una storia della logica
matematica 113; COMUNICAZIONI. 1) STORIA DELLA LOGICA CLASSICA. Vittorio Sainati: La matematica della scuola eudossiana e le origini dell'apodittica
aristotelica 131; Mario Mignucci: Universalità e necessità nella logica di Aristotele 151; Walter Leszl: Conoscenza dell'universale e conoscenza del
particolare in Aristotele 169; Lorenzo Pozzi: Il nesso di implicazione nella logica stoica 177; Enzo Maccagnolo: La "proprietas veritatis" in Anselmo d'Aosta
189; Giovanni Versace: La teoria della "suppositio simplex" in Occam e in Burley 195; Giulio Cesare Giacobbe: La "quaestio de certitudine mathematicarum"
all'interno della scuola padovana 203; 2) STORIA DELLA LOGICA MATEMATICA. Ettore Carruccio: Teorema della pseudo-Scoto e sue applicazioni matematiche 215;
Gabriele Lolli: Il concetto di definibilità nella discussione sui fondamenti dell'inizio del secolo 227; Domenico Costantini: Il postulato della permutazione
di W .E. Johnson e gli assiomi carnapiani dell'invarianza 237; Giulio Giorello: Osservazioni sulle strutture non-standard della aritmetica e dell'analisi 243;
Maria Luisa Dalla Chiara Scabia: Ampliamenti della logica classica: logica quantistica e logiche temporali non-standard 261; Silvio Bozzi: Alcune osservazioni
storiche sui rapporti tra semantica e teoria dei modelli 269; Ugo Volli: Sviluppi recenti nei rapporti fra logica e linguistica 285-292.
Abrusci, Michele, Casari, Ettore, and Mugnai, Massimo. 1983. Atti Del Convegno Internazionale Di Storia Della Logica. Bologna:
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;
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;
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.
Corsi, Giovanni, Mangione, Corrado, and Mugnai, Massimo, eds. 1989. Le Teorie Delle Modalità. Atti Del Convegno Internazionale Di Storia
Della Logica. Bologna: CLUEB.
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;
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;
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.
Guetti, Carla, and Puja, Roberto, eds. 1996. Momenti Di Storia Della Logica E Di Storia Della Filosofia. Roma: Aracne.
Atti del Convegno tenuto a Roma, 9-11 November, 1994.
Büttgen, Philippe, Dieble, Stéphane, and Rashed, Marwan, eds. 1999. Théories De La Phrase Et De La Proposition De Platon À Averroés.
Paris: Éditions Rue d'Ulm.
Sommaire: Philippe Büttgen, Stéphane Diebler et Marwan Rashed: Avant-propos VII-IX; I. Aux origines ontologiques du langage rationnel; Claude
Imbert: Le dialogue platonicien en quête de son identité 3; Denis O'Brien: Théories de la proposition dans le Sophiste de Platon 21; Francis Wolff:
Proposition, être et vérité: Aristote ou Antisthène? 43; II. Entre logique et sémantique: l'autonomie problématique de la théorie aristotélicienne; Barbara
Gernez: La théorie de la lexis chez Aristote 67; Jacques Brunschwig: Homonymie et contradiction dans la dialectique aristotélicienne 81; Pierre
Chiron: La période chez Aristote 103; III. La théorie stoïcienne et ses enjeux; Jean-Baptiste Gourinat: La définition et les propriétés de la proposition dans
le stoïcisme ancien 133; Frédérique Ildefonse: La théorie stoïcienne de la phrase (énoncé, proposition) et son influence chez les grammairiens 151; Marc
Baratin: La conception de l'énoncé dans les textes grammaticaux latins 171; IV - D'Aristote à l'aristotélisme; Henri Hugonnard-Roche: La théorie de la
proposition selon Proba, un témoin syriaque de la tradition grecque (VIe siècle) 191; Philippe Hoffmann: Les analyses de l'énoncé: catégories et parties du
discours selon les commentateurs néoplatoniciens 209; Abdelali Elamrani-Jamal: La proposition assertorique (de inesse) selon Averroès 249; Ali
Benmakhlouf: Averroès et les propositions indéfinies 269; Maroun Aouad: Les prémisses rhétoriques selon les Isarat d'Avicenne 281; Épilogue; Jean
Jolivet: Sens des propositions et ontologie chez Pierre Abélard et Grégoire de Rimini 307; Index des auteurs anciens 325; Index des auteurs modernes
Barth, Else M. 1974. The Logic of the Articles in Traditional Philosophy. A Contribution to the Study of Conceptual Structures.
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.
Biard, Joël, and Mariani, Zini Fosca, eds. 2009. Les Lieux De L'argumentation. Histoire Du Syllogisme Topique D'Aristote À Leibniz.
Blanché, Robert. 1970. La Logique Et Son Histoire D'Aristote À Russell. Paris: Armand Colin.
Deuxième edition revue par Jacques Dubucs, Paris, Colin, 1996.
Bochenski, Joseph. 1961. A History of Formal Logic. Notre Dame: Indiana University Press.
Translated from the German edition "Formale Logik" (1956) by Ivo Thomas.
Reprinted New York, Chelsea Publishing Co., 1970.
———. 1974. "Logic and Ontology." Philosophy East and West no. 24:275-292.
"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."
———. 1981. "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, 3-14. Dordrecht: Reidel.
Buzzetti, Dino. 1976. "Cronaca, Preistoria E Storia Della Logica." Rivista di Filosofia:484-496.
"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. 1964. Mathematics and Logic in History and in Contemporary Thought. Chicago: Aldine.
Original Italian edition: Matematica e logica nella storia e nel pensiero contemporaneo - Torino, Gheroni, 1958.
Church, Alonzo. 1956. Introduction to Mathematical Logic. Princeton: Princeton University Press.
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.
———. 1965. "The History of the Question of Existential Import of Categorical Propositions." In Logic, Methodology and Philosophy of
Science. Proceedings of the 1964 International Congress, edited by Bar-Hillel, Yehoshua, 417-424. Amsterdam: North-Holland.
Dumitriu, Anton. 1977. History of Logic. Tunbridge Wells: Abacus Press.
Revised, updated, and enlarged translation from the Roumanian of the second edition of "Istoria logicii" (4 volumes).
Filkorn, Vojtech. 1963. Pre-Dialectical Logic. Bratislava: Publishing House of the Slovak Academy of Sciences.
Gardies, Jean-Louis. 1989. "La Definition De L'identité D'Aristote a Zermelo." Theoria.Revista de Teoria, Historia y Fundamentos de la
Ciencia no. 4:55-79.
"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. 2006. Historical Dictionary of Logic. Lanham: Scarecrow Press.
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. 1999. Pour Une Histoire De La Logique. Un Héritage Platonicien. Paris: Presses Universitaires de France.
Jennings, Raymond Earl. 1994. The Genealogy of Disjunction. New York: Oxford University Press.
Kneale, William, and Kneale, Martha. 1962. The Development of Logic. Oxford: Clarendon Press.
Reprinted 1975 with corrections.
Kotarbinski, Tadeusz. 1964. Leçons Sur L'histoire De La Logique. Paris: Presses universitaires de France.
Traduit de l'édition original polonaise (1957) par Anna Posner.
Lejewski, Czeslaw. 1981. "Logic and Ontology." In Modern Logic - a Survey. Historical, Philosophical, and Mathematical Aspects of Modern
Logic and Its Applications, edited by Agazzi, Evandro, 379-398. Dordrecht: Reidel.
"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. 1918. A Survey of Symbolic Logic. Berkeley: University of California Press.
Reprinted New York, Dover Publishing 1960, with the omission of chapter V and VI.
Mangione, Corrado, and Bozzi, Silvio. 1993. Storia Della Logica. Da Boole Ai Nostri Giorni. Milano: Garzanti.
Mates, Benson. 1965. "A Brief Outline of the History of Logic." In Elementary Logic, 205-230. New York: Oxford University Press.
Second revised edition 1972.
Nidditch, Peter H. 1962. The Development of Mathematical Logic. London: Routledge & Kegan Paul.
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.
Nuchelmans, Gabriel. 1973. Theories of Proposition. Ancient and Medieval Conceptions of the Bearers of Truth and Falsity. Amsterdam:
Contents: Preface V; 1. Introduction 1; 2. Plato 13; 3. Aristotle 23; 4. The Stoic lekton 45; 5. The Stoic axioma 75; 6.
Later developments in Greek antiquity 89; 7. The transition to the Latin West 105; 8. Boethius and the beginning of the Middle Ages 123; 9. Abelard 139; 10.
The doctrine of the dictum in the century after Abelard 165; 11. Preliminaries to the fourteenth century debate 177; 12. The complexum theory
of Ockham and Holkot 195; 13. Some reist opponents of Ockham and Holkot 209; 14. The theory of the complexe significabile 227; 15. The oppositions
against the theory of the complexe significabile 243; 16. The significate of a true propositio 273; Selective bibliography 281; Indices
"This book is intended as the first part of a history of those problems and theories in the domain of philosophical semantics which nowadays
are commonly referred to as problems and theories about the nature and the status of propositions. Although the conceptual apparatus and the terminology by
means of which questions concerning propositions were asked and answered have considerably varied from period to period, the main types of disputes and
solutions have remained remarkably constant. One of the aims of this study is precisely to trace the vicissitudes of the vocabulary in which this refractory
topic was treated in the remote past. As is evident from the Bibliography, many parts of the field have been explored by predecessors. Guided by their results,
I have tried to fill in more details and to design a provisional map of the area as a whole." (From the Preface).
———. 1980. Late-Scholastic and Humanist Theories of Proposition. Amsterdam: North-Holland.
Contents: Part One: Late-Scholastic theories of the proposition. 1. Introduction 3; 2. Different kinds of propositions and their ways of
signifying 9; 3. The tie between the principal parts of a proposition 27; 4. The adequate signification and the adequate significate of a proposition 45; 5.
Disguised propositions 74; 6. Judgment 90; 7. The object of judgment 103; 8. Propositions as bearer of truth-values 114; Part Two: Humanist theories of
proposition. 9. Introduction 143; 10. The first attempt at reorientation 146; 11. The Melanchtonian treatment of a theme 159; 12. Peter Ramus 168; 13. The
diffusion of Ramist terminology 180; 14. Eclectics 189; Epilogue 204; Bibliography 209; Indices 224-237.
"After publishing, more than six years ago, my Theories of the Proposition. Ancient and Medieval Conceptions of the Bearers of Truth and
Falsity, I initially intended to cover the remaining phases of the history of the semantics of declarative sentences in one volume. As the material proved
more abundant and unwieldy than I had anticipated, I decided to limit the next instalment to the period between 1450 and 1650. Accordingly, the present book
treats the theories of the proposition put forward by late-scholastic and humanist philosophers. It will be followed, in the not too distant future, I hope, by
a third volume which will continue the account until the first decades of the nineteenth century.
In making my way through the intricate mass of sources, which are often works that are completely forgotten and extremely hard to obtain, I
was greatly assisted by Professor Ashworth's pioneering book on Language and Logic in the Post-Medieval Period. Moreover, when I had practically
finished my manuscript, she was kind enough to send me the draft of an article entitled 'Theories of the Proposition: Some Early Sixteenth Century
Discussions'. As this article is based on a corpus of texts which is slightly different from mine, it enabled me to check some of my results against the
findings of a very competent collaborator in this lonely field of research. I can only advise the reader to do the same when the article will have been
published (in Franciscan Studies [38, 1978 pp. 81-121])."
———. 1983. Judgment and Proposition. From Descartes to Kant. Amsterdam: North-Holland.
Contents: 1. The legacy of scholasticism and humanism 9; 2. Idea and judgment in Descartes 36; 3. Repercussions of Descartes' theory of
judgment 55; 4. Arnauld and the Port-Royal Logic 70; 5. Some eighteenth-century critics of the Port-Royal view 88; 6. Geulincx's contribution to
Cartesian philosophy of logic 99; 7. Ideas and Images. Gassendi and Hobbes 121; 8. The heyday of British empiricism 139; 9. Sensationalism and its critics in
France 174; 10. Common sense philosophy and nominalism in Great Britain 194; 11. Leibniz's logical realism 214; 12. The German enlightenment 233; 13. Some
problems in Kant and his contemporaries 246; Epilogue 257; Bibliography 262; Indices 280-295.
"This volume completes -- for the time being -- a series of investigations that were undertaken with the purpose of tracing in some detail
the development of that field of logico-semantic research for which the foundations were laid in the first chapters of Aristotle's De interpretatione
and which, in honour of that pioneer, might perhaps be called apophantics. The first part -- Theories of the Proposition. Ancient and Medieval Conceptions
of the Bearers of Truth and Falsity -was published in 1973, followed by a second part -- Late-Scholastic and Humanist Theories of the Proposition
-- in 1980. The last instalment takes the account from the beginning of the modern period to roughly that point in the nineteenth century from which on
discussions of the subject in the recent past and contemporary systematic treatment tend to coalesce. " (From the Preface).
Prantl, Carl. 1997. Geschichte Der Logik Im Abendlande. Hildesheim: Georg Olms.
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).
Prior, Arthur Norman. 1962. Formal Logic. Oxford: Clarendon Press.
Second edition (First edition 1955).
"This book is designed primarily as a textbook; though like most writers of textbooks I hope it will prove to be of interest to others beside
Logic students. Part I covers what I would regard as the 'fundamentals' of the subject-the propositional calculus and the theory of quantification. Part II
deals with the traditional formal logic, and with developments which have taken that as their starting-point. I do not regard this as covering different ground
from that covered in Part I under quantification theory, but rather as covering the same ground in a different way. Both ways seem to me to have their merits,
and to throw light on one another and the subject. I would say the same of the logic of classes and relations in extension, discussed in Part III, Ch. III ;
but the other chapters of this last Part deal with what I take to be genuine extensions of the subject-matter opened up in Part I, in two different directions
-modal logic, and `non-classical' systems of propositional calculus. Negatively, I have attempted to keep within the range indicated by my title: I have
touched hardly at all upon `scientific method', and have indulged in a minimum of metaphysical reflection (avoiding, for example, such topics as the relations
between 'propositions' and sentences).In the greater part of the book the symbolic notation used is that of Łukasiewicz, with minor modifications. This seems
to me unquestionably the best logical symbolism for most purposes, and I should like to have helped to show that it is. In Part III, Ch. III, however, I have
used the notation of Principia Mathematic a (referred to throughout this work as PM) ; in the particular field there covered, there is no other as fully
developed or as deservedly well known. It does students no harm to learn to use two different notations, and to employ the one that is best for whatever they
may have in hand at the time.Other innovations beside the symbolism are these: (i) throughout the book, a fairly frequent setting out of formal proofs
(something to which the Polish notation particularly lends itself) ; (ii), in Part I, the devotion of particular attention to completeness proofs, and to forms
of the propositional calculus not yet widely studied, especially to varieties of it which use the 'standard false proposition' o, and variable operators as
well as propositional variables; (iii), in Part II, considerable use of scholastic material and of material from the writings of de Morgan. I have included
these items from a sense of their importance rather than of their novelty, and have placed them where their appearance seems to me most rational and
economical; but if any teacher wishes to use this book for a more orthodox type of logic course, there are various ways in which he may do so. If, for example,
he wishes to introduce the traditional logic at an early stage, he could pass to Part II immediately from Part I, Ch. I, Ch. II, § 1, and Ch. IV, §§ and 2.
(This procedure would have in any case the advantage of giving the student an interval of rest from pure symbolism before passing to the more interesting but
more difficult aspects of the propositional calculus.) If he wishes to give the more usual sort of 'modern' course, he could pass immediately on from the same
portions of Part I to Part III, Ch. I, § 2 and Ch. III." (from the Preface to the first edition).
"Apart from one or two very small corrections, I have in this edition left the body of the work just as it was, but have completely revised
the two original appendixes and placed a wholly new appendix (the present Appendix II) between them. These alterations and additions will, I hope, make the
appendixes much more valuable both for general reference and for pedagogical use. In the latter connexion I would particularly recommend that what I have said
in the body of the book on quantification theory - which has met with some just criticisms - be read in conjunction with § 4 of Appendix I. There is also
abundant material for exercises in simply verifying some of the relations asserted to hold between postulate-sets in this Appendix, using to this end the
techniques sketched in the one that follows it." (from the Preface to the Second edition).
Scholz, Heinrich. 1961. Concise History of Logic. New York: Philosophical Library.
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
"The reader of this Concise History of Logic is entitled to know what the objections to this book are and why it was nevertheless
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).
Ueberweg, Friedrich. 2001. System of Logic and History of Logical Doctrines. Bristol: Thoemmes Press.
Reprint of the 1871 edition translated from the German, with notes and appendices by Thomas M. Lindsay.
Velarde Lombraña, Julián. 1989. Historia De La Lógica. Oviedo: Universidad de Oviedo.
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
Weinberg, Julius R. 1965. Abstraction, Relation, and Induction. Three Essays in the History of Thought. Madison: University of