History of Logic from Aristotle to Gödel (www.historyoflogic.com)
by Raul Corazzon | e-mail: rc@
ontology.co
This part of the section Contemporary Logic includes the following pages:
The Rise of Contemporary Logic
The Period from Boole to Gödel
Selected Bibliography on the Contemporary Symbolic Logic from Boole to Gödel (Current page)
The Great Logicians
A Selection of Prominent Logicians from Aristotle to Gödel (1931)
Agazzi, Evandro, ed. 1981. Modern Logic: Historical, Philosophical, and Mathematical Aspects of Modem Logic and its Applications. Dordrecht: Reidel.
Anderson, Anthony C. 1980. "Some New Axioms for the Logic of Sense and Denotation." Noûs no. 14:217-234.
Anellis, Irving H. 1990. "From Semantic Tableaux to Smullyan Trees: The History of the Falsifiability Tree Method." Modern Logic no. 1:36-69.
———. 1991. "Forty Years of "Unnatural" Natural Deduction and Quantification: A History of First-Order Systems of Natural Deduction, from Gentzen to Copi." Modern Logic no. 2:113-152.
———. 1992. "On the Selection and Use of Sources in the History of Logic." Modern Logic no. 3:1-17.
———. 1992. "Jean van Heijenoort's Contributions to Proof Theory and Its History." Modern Logic no. 2:312-335.
———. 1994. Logic and its History in the Work and Writings of Jean van Heijenoort. Ames: Modern Logic Publishing.
Anellis, Irving H., and Houser, Nathan R. 1991. "Nineteenth Century Roots of Algebraic Logic and Universal Algebra." In Algebraic Logic, edited by Andréka, H., Monk, J.D. and Németi, I., 1-36. Amsterdam: North Holland.
Arruda, A. I., Chuaqui, R., and da Costa, N. C. A., eds. 1980. Mathematical Logic in Latin America: Proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978. Amsterdam: North-Holland.
Badesa, Calixto. 2004. The Birth of Model Theory: Löwenheim’s Theorem in the Frame of the Theory of Relatives. Princeton: Princeton University Press.
Bochenski, Joseph M. 1981. "The General Sense and Character of Modern Logic." In Modern Logic: A Survey, edited by Agazzi, Evandro, 3-14. Dordrecht: Reidel.
"By 'Modern Logic' (abridged as 'ML') the class of studies is meant which were originated by Leibniz, developed, among others, by Boole, Peirce, Frege, Peano, Lesniewski and their followers; in other term the class of studies listed in Alonzo Church's Bibliography and in The Journal of Symbolic Logic.
The expression 'ML' is sometimes used, it is true, in other ways, e.g. to denote studies in Hegelian dialectics. Those uses are irrelevant for the sake of the present paper which will be exclusively concerned with ML as described above. It may be only said, that no other known sort of contemporary logic can compare with the latter as far as standards of procedures and quality of results are concerned.
The aim of the paper is to describe - as the title selected by the organizers of the conference indicates - the general sense and character of ML thus understood. In other terms an attempt will be made to find the fundamental characteristics of ML-al studies.
The method used will be comparative. We are going to ask: How does ML compare with three fields with which it is usually linked: logic, mathematics and philosophy? Is ML Logic and, if so, how does it differ from other types of logic? Is it a mathematical discipline and, if that is the case, what is the difference between it and other mathematical sciences? Is it philosophy and, this being admitted, what is its place among the other philosophical disciplines?
The present paper will be mostly concerned with the first class of problems, the comparison between ML and the other types of logic; the other two classes of problems will be treated only marginally. As far as the main problems are concerned, the method will necessarily be historical: for, contrary to mathematics and philosophy, all other forms of logic with which ML may be compared belong to the past." p. 3
Church, Alonzo. 1951. "A formulation of the logic of sense and denotation." In Structure Method and Meaning. Essays in Honor of Henry M. Sheffer, edited by Henle, Paul, Kallen, Horace M. and Langer, Susanne K., 3-34. New York: Liberal Arts Press.
"The intensional aspects of Frege's logical doctrine, and his distinction between the sense (Sinn) and the denotation (Bedeutung) of a name, were explained by him informally in his paper, Uber Sinn und Bedeutung, (1) and in incidental passages in a number of his other publications, including the first volume of his book, Grundgesetze der Arithmetik (Jena, 1893). In his more formal work, Frege's formalized language (Begriffsschrift, or Formelsprache) has an entirely extensional interpretation, and it may even be that his interest in intensional logic was primarily to clear up certain difficulties regarding its relationship to extensional logic, (2) so as to be able to proceed with development of the latter unhampered. Nevertheless, it seems that Frege would agree that intensional logic also must ultimately receive treatment by the logistic method. And it is the purpose of this paper to make a tentative beginning toward such a treatment, along the lines of Frege's doctrine.
While we preserve what we believe to be the important features of the theory of Frege, we do make certain changes to which he would probably not agree. One of these is the introduction of the simple theory of types as a means of avoiding the logical antinomies. Another is the abandonment of Frege's notion of a function (including propositional functions) as something ungesattigt, in favor of a notion according to which the name of a function may be treated in the same manner as any other name, provided that distinctions of type are observed. (But it is even possible that Frege might accept this latter change, on the basis of an understanding that what we call a function is the same thing which he calls Werthverlauf einer Funktion.)" pp. 3-4
(1) In Zeitschrift fur Philosophie und philosophische Kritik, (1892), 25-50. See English translations of this paper by Black, in The Philosophical Review, LVII (1948), 207-230, and by Feigl, in Readings in Philosophical Analysis (New York, 1949); and also a discussion of Frege's doctrines by Russell, in Appendix A of The Principles of Mathematics. In reading these, it is necessary to make allowance for differences in the translations that are adopted of some of Frege's terms. We shall here translate Frege's ausdr?cken as "express" and Frege's bedeuten or bezeichnen as "denote" or "be a name of," so that a name is said to express its sense and to denote or to be a name of its denotation.
(2) We mention the doctrine of Frege's Begriffsschrift of 1879, according to which the relation of identity or equality is a relation between names rather than between the things named, apparently on the ground that identity construed in the latter sense would be too trivial a relation to serve its intended purpose. If use and mention are not to be confused, the idea of identity as a relation between names renders a formal treatment of the logic of identity all but impossible. Solution of this difficulty is made the central theme of Uber Sinn und Bedeutung and is actually a prerequisite to Frege's treatment of identity in Grundgesetze der Arithmetik.
———. 1973. "Outline of a Revised Formulation of the Logic of Sense and Denotation (Part First)." Noûs no. 7:24-33.
———. 1974. "Outline of a Revised Formulation of the Logic of Sense and Denotation (Second First)." Noûs no. 8:135-156.
———. 1993. "A Revised Formulation of the Logic of Sense and Denotation Alternative (1)." Noûs no. 27:141-157.
Copi, Irving M., and Gould, James A., eds. 1967. Contemporary Readings in Logical Theory. New York: Macmillan.
Dawson, John W. Jr. 1993. "The compactness of first-order logic: From Godel to Lindström." History and Philosophy of Logic no. 14:15-37.
Gabbay, Dov, and Woods, John, eds. 2009. Logic from Russell to Church. Amsterdam: Elsevier.
Handbook of the History of Logic: vol. 5.
Contents: Dov M. Gabbay and John Woods: Preface VII; List of Contributors XI-XII; Andrew D. Irvine: Bertrand Russell's logic 1; Dale Jacquette: Logic for Meinongian object theory semantics 29; Joan Rand Moschovakis: The logic of Brouwer and Heyting 77; Jens Erik Fenstad and Hao Wang: Thoralf Albert Skolem 127; Claus-Peter Wirth, Jörg Siekmann, Christoph Benzmüller and Serge Autexier: Jacques Herbrand: life, logic, and automated deduction 195; Michael Potter: The logic of the Tractatus 255; Peter M. Simons: Lesniewski's logic 305; Wilfried Sieg: Hilbert's Proof Theory 321; Barry Hartley Slater: Hilbert' Epsilon Calculus and its successors 385; Mark van Atten and Juliette Kennedy: Gödel's logic 449; Keith Simmons: Tarski's logic 511; Alasdair Urquhart: Emil Post 617; Jan von Plato: Gentzen's logic 667; Felice Cardone and J. Roger Hindley: Lambda-calculus and Combinators in the 20th century 723; Jonathan P. Seldin: The logic of Church and Curry 819; Andrea Cantini: Paradoxes, self-reference and truth in the 20th century 875; Index 1015-1056.
Gandy, Robin O. 1977. "The simple theory of types." In Logic Colloquium 76, edited by Gandy, Robin O. and Hyland, John Martin, 173-181. Amsterdam: North-Holland Publishing Company.
Goldfarb, Warren. 1979. "Logic in the Twenties: The Nature of the Quantifier." Journal of Symbolic Logic no. 44:351-368.
Grattan-Guinness, Ivor. 1984. "Notes on the fate of logicism from 'Principia Mathematica' to Gödel incompletability." History and Philosophy of Logic no. 5:67-78.
Hailperin, Theodore. 1990. "Probability Logic in the Twentieth Century." History and Philosophy of Logic no. 11:71-110.
Heijenoort, Jean van, ed. 1967. From Frege to Gödel. A Source Book in Mathematical Logic, 1879-1931. Harvard: Harvard University Press.
———. 1992. "Historical Development of Modern Logic." Modern Logic no. 2:242-255.
Unpublished papaer edited with an introduction by Irving H. Anellis (pp. 239-241).
Lewis, Clarence Irving. 1921. "The Structure of Logic and its Relation to Other Systems." The Journal of Philosophy no. 18:505-516.
———. 1951. "Notes on the logic of intension." In Structure Method and Meaning. Essays in Honor of Henry M. Sheffer, edited by Henle, Paul, Kallen, Horace M. and Langer, Susanne K., 25-34. New York: Liberal Arts Press.
Lukasiewicz, Jan. 1987. "On the Principle of the Excluded Middle." History and Philosophy of Logic no. 8:67-69.
Malatesta, Michele. 1989. "An extension of Gentzen's natural deduction." Metalogicon no. 2:1-32.
"Roots of Gentzen's system can be found in the mediaeval logic and in the logic of the Graeco-Roman age. This logic has the distinguishing characteristic of using n-adic connectives (n<2) instead of dyadic ones, and this at the object language level. The texts which exhibit the previous logic are Aulus Gellius' Noctes Atticae XVI,8, for the logical product or conjunction, and Galen's Institutio logica for the logical sum or alternation."
Moore, Gregory H. 1980. "Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory." History and Philosophy of Logic no. 1:95-138.
"What has been the historical relationship between set theory and logic? on the one hand, Zermelo and other mathematicians developed set theory as a Hilbert-style axiomatic system. On the other hand, set theory influenced logic by suggesting to Schröder, Löwenheim and others the use of infinitely long expressions. The question of which logic was appropriate for set theory -- first-order logic, second-order logic, or an infinitary logic -- culminated in a vigorous exchange between Zermelo and Gödel around 1930."
———. 1987. "A House Divided Against Itself: The Emergence of First-order Logic as the Basis for Mathematics." In Studies in the History of Mathematics, edited by Phillips, Esther R., 98-136. Washington, D.C.: Mathematical Association of America.
———. 1988. "The Emergence of First-order Logic." In History and Philosophy of Modern Mathematics, edited by Aspray, William and Kitcher, Philip, 95-135. Minneapolis: University of Minnesota Press.
Myhill, John. 1953. "On the ontological significance of the Löwenheim-Skolem theorem." In Academic Freedom, Logic, and Religion, edited by White, Morton, 57-70. Philadelpha: University of Pennsylvania Press.
Reprinted in: Irving M. Copi, James A. Gould (eds.), Contemporary Readings in Logical Theory, New York: Macmillan, 1967, pp. 40-51.
Nagel, Ernest. 1935. "Impossible numbers: a chapter in the history of modern logic." Studies in the History of Ideas no. 3:429-474.
Reprinted in: E. Nagel, Teleology Revisited and Other Essays in the Philosophy and History of Science, New York: Columbia University Press 1979.
Peckhaus, Volker. 1997. "The way of logic into mathematics." Theoria no. 12:39-64.
"Using a contextual method the specific development of logic between c. 1830 and 1930 is explained. A characteristic mark of this period is the decomposition of the complex traditional philosophical omnibus discipline logic into new philosophical sub-disciplines and separate disciplines such as psychology, epistemology, philosophy of science and formal (symbolic, mathematical) logic. In the 19th century a growing foundational need in mathematics provoked the emergence of a structural view on mathematics and the reformulation of logic for mathematical means. As a result formal logic was taken over by mathematics in the beginning of the 20th century as is shown by sketching the German example."
Proust, Joëlle. 1989. Questions of Form. Logic and the Analytic Proposition from Kant to Carnap. Minneapolis: University of Minnesota Press.
Translated by Anastasios Albert Brenner from the original French: Questions de forme. Logique et proposition analytique de Kant à Carnap - Paris, Fayard, 1986.
Pulkkinen, Jarmo. 1994. The Threat of Logical Mathematism. A Study on the Critique of Mathematical Logic in Germany at the Turn of the 20th Century. New York: Peter Lang.
Contents: Acknowledgements 7; Introduction 9; 1. History of logic in Germany 1830-1920 15; 2. Logic and psychology 41; 3. Logic and linguistics 59; 4. Logic and mathematics 71; 5. The reception of mathematical logic in Germany 91; 6. Mauthner's critique 121; 7. Rickert's critique 139; 8. Ziehen's critique 153; Conclusion 169; Bibliography 177-187.
"This work attempts to throw some light on an interesting feature in the development of German logic which has not yet received the attention it deserves. Almost a whole generation of German philosophers did not accept the new mathematical logic at the turn of the 20th century. In this respect development in Germany differs greatly from that in Britain where George Boole's ideas received the attention of philosophers through the work of W.S. Jevons. However, both Gottlob Frege and Ernst Schroder, the main representatives of mathematical logic in Germany, remained isolated figures whose works were either strongly criticized or completely neglected by philosophers. Schroder was able to get some attention to his ideas but the influence of Frege remained very limited for a long time. Frege's ideas started to have an impact in Germany only through the Principia Mathematica by Russell and Whitehead.
The fate of mathematical logic in Germany cannot be explained away by saying that German philosophers were not interested in logic. They were. In fact, the landscape of German traditional logic is at that time so rich and varied that it is difficult to give a coherent account of it. What makes the period particularly interesting are the interrelationships between psychology, logic and linguistics. All these disciplines came of age in Germany almost simultaneously. Wilhelm Wundt founded modem experimental psychology during the 1870s. Frege did the same for modem mathematical logic at the end of the same decade. As linguistics underwent a deep change at the turn of the 20th century, the basic concepts of language and linguistics were studied not only by linguists but also by philosophers and psychologists.
In the late 19th century linguistics, philosophy and psychology were seen to be much closer to each other than nowadays. Linguists, philosophers and psychologists alike wrote on logical questions. Particularly interesting is the relationship between logic and psychology. In this period philosophers and psychologists were involved in an intense struggle over the chairs of philosophy. This struggle influenced deeply the logical discussion of the period (the debate over the so-called 'psychologism'). One group of logicians believed that their work could be made easier by the results of the new experimental psychology. In other words, they believed that the new scientific psychology could offer a solid foundation for the new scientific logic. Another group of logicians criticized these attempts and tried to present logic as an independent philosophical science. However, both groups had one thing in common: a negative attitude towards mathematical logic.
The present survey of the critique of mathematical logic at the turn of the 20th century attempts to answer several interesting questions: How did the contemporary German philosophers see the role and significance of logic? What kind of relationships did they claim to exist between logic, mathematics, linguistics and psychology? What exactly were the arguments of the (now) almost forgotten critics? I shall start by giving a historical survey of the development of German logic 1830-1920 as it appears against the background of German academic philosophy (chapter 1). Next I shall study the interrelationships between logic and psychology (chapter 2), logic and linguistics (chapter 3), and logic and mathematics (chapter 4). After this I shall present the general features of the reception of mathematical logic in Germany between 1880 and 1920 (chapter 5). This is followed by a more detailed account of the arguments of three individual critics: Fritz Mauthner (chapter 6), Heinrich Rickert (chapter 7), and Theodor Ziehen (chapter 8). I have chosen these three for several reasons. Firstly, each represents a different viewpoint: Mauthner was mainly interested in the problems of language, Rickert was one of the most prominent philosophers of the period, and Ziehen was originally a psychologist. Secondly, I have wanted to bring forward previously unknown figures (this is the reason why I did not choose Husserl, for instance, who wrote much on the subject). Thirdly, I have tried to choose critics who presented interesting ideas. And lastly, in order to have a large enough corpus for study I have had to choose writers who wrote much on the subject."
Rao, A.Pampapathy. 1996. "A survey of free logics." Modern Logic no. 6 (2):123-191.
Sagüillo, José M. 2002. "Conceptions of logical implication." Logica Trianguli no. 6:41-67.
Abstract: "This is a survey paper of approaches to the concept of logical implication.
Roughly stated the main motivation of these approaches is to provide a necessary and sufficient condition for a set of propositions to logically imply a single proposition. In regard to their affinities these approaches are grouped into two: the transformational conception and the informational conception. Some approaches in each conception are philosophical and some are mathematical in character, their common assumption being that they reflect a previous intuition – in some cases – already at work in
classical mathematics. The first part of the paper is devoted to approaches within the transformational conception of logical implication emphasizing the contributions of Bolzano, Russell, Tarski, Quine and current model – theory. The second part of the paper discusses approaches within the informational conception of logical implication. Carnap and Bar Hillel’s extrinsic approach and Corcoran’s intrinsic approach developed in his information-theoretic logic are respectively compared and some of their
philosophical underpinnings are brought to light. The paper concludes with some final remarks concerning the ontic question of the nature of logical implication and the epistemic question of the human access to this relation in both conceptions of logical implication. The article also attempts to connect the views of these representative thinkers with the current philosophical debate on the nature of logical consequence and the role ofset-theoretic model theory in philosophy of logic."
Salmon, Nathan. 1993. "A Problem in the Frege-Church Theory of Sense and Denotation." no. 27:158-166.
Schurz, Gerhard. 1994. "Admissible versus valid rules: a case study of the modal fallacy." The Monist no. 77 (3):376-388.
Thiel, Christian. 1983. "Some difficulties in the historiography of modern logic." In Atti del convegno internazionale di storia della logica, edited by Abrusci, Michele, Casari, Ettore and Mugnai, Massimo, 175-191. Bologna: CLUEB.
———. 1996. "Research on the history of logic at Erlangen." In Studies on the History of Logic. Proceedings of the Third Symposium on the History of Logic, edited by Angelelli, Ignacio and Cerezo, Maria, 397-401. Berlin: Walter de Gruyter.
Wolenski, Jan. 1991. "Theories of reasoning in the Lvov-Warsaw School." In Topics in Philosophy and Artificial Intelligence, edited by Albertazzi, Liliana and Poli, Roberto, 91-101. Bozen: Istituto Mitteleuropeo di Cultura.
Papers from the International Summer Schools in Bozen - 1989-1990
———. 1995. "Mathematical logic in Poland 1900-1939: People, circles, institutions, idea." Modern Logic no. 5 (4):363-405.
———. 2003. "The Achievements of the Polish School of Logic." In The Cambridge History of Philosophy 1870-1945, edited by Baldwin, Thomas, 401-416. Cambridge: Cambridge University Press.
"In the most narrow sense, the Polish school of logic may be understood, as the Warsaw school of mathematical logic with Jan Lukasiewicz, Stanislaw Lesniewski, and Alfred Tarski as the leading figures. However, valuable contributions to mathematical logic were also made outside Warsaw, in particular by Leon Chwistek. Thus, the Polish school of logic sensu largo also comprises logicians not belonging to the Warsaw school of logic. The third interpretation is still broader. If logic is not restricted only to mathematical logic, several Polish philosophers who were strongly influenced by formal logical results, for example Kazimierz Ajdukiewicz and Tadeusz Kotarbinski, can be included in the Polish school of logic sensu largissimo. Polish work on logic can therefore encompass a variety of topics, from the 'hard' foundations of mathematics (e.g. inaccessible cardinals, the structure of the real line, or equivalents of the axiom of choice) through formal logic, semantics, and philosophy of science to ideas in ontology and epistemology motivated by logic or analysed by its tools. Since the development of logic in Poland is a remarkable historical phenomenon, I shall first discuss its social history, especially the rise of the Warsaw school. Then I shall describe the philosophical views in question, the most important and characteristic formal results of Polish logicians, their research in the history of logic, and applications of logic to philosophy. My discussion will be selective: in particular I will omit most results in the 'hard' foundations of mathematics." p. 401