• Embed Doc
  • Copy Link
  • Readcast
  • Collections
  • CommentGo Back
Download
 
http://www.ucalgary.ca/~rzach/papers/history.pdf
 
The Development of Modern Logic
 
ed. by Leila Haaparanta, contents:1. Introduction (Leila Haaparanta, University of Tampere)2. Late Medieval Logic (Tuomo Aho, University of Helsinki, and Mikko Yrjönsuuri, University of Jyväskylä)3. History and Philosophy of Logic from Humanism to Kant (Mirella Capozzi, University of Rome, and GinoRoncaglia, University of Tuscia)4. The Emergence of Symbolic Logic: the Interplay between Logic and Mathematics4.1 The Mathematical Origins of Nineteenth Century Algebra of Logic (Volker Peckhaus, University of Paderborn)4.2 Gottlob Frege (Christian Thiel, University of Erlangen-Nürnberg)5. The Emergence of Symbolic Logic: the Interplay between Logic and Philosophy5.1 The Logic Question (Risto Vilkko, University of Helsinki)5.2 The Relations between Logic and Philosophy 1874 – 1932 (Leila Haaparanta, University of Tampere)6. A Century of Judgement and Inference: 1837 – 1936. Some Strands in the Development of Logic. (GöranSundholm, University of Leiden)
7. The Development of Mathematical Logic from Russell to Tarski: 1900 – 1935 (Paolo Mancosu, Universityof California, Berkeley, Richard Zach, University of Calgary, and Calixto Badesa, University of Barcelona)
 8. Main Trends in Mathematical Logic after the 1930s8.1 Set Theory, Model Theory, and Computability Theory (Wilfrid Hodges, University of London)8.2 Proof Theory of Classical and Intuitionistic Logic (Jan, von Plato, University of Helsinki)9. Modal Logic from Kant to Possible Worlds Semantics (Tapio Korte, University of Turku, Ari Maunu,University of Turku, and Tuomo Aho, University of Helsinki)Appendix: Conditionals and Possible Worlds: C.S. Peirce’s Conception of Conditionals and Modalities (RistoHilpinen, University of Miami)10. Philosophical Logic and Semantic Theory in the Twentieth Century (Tuomo Aho, University of Helsinki,and Gabriel Sandu, University of Helsinki)11. Philosophy of Alternative Logics (Andrew Aberdein, Florida Institute of Technology, and Stephen Read,University of St. Andrews)12. Philosophy of Inductive Logic (Sandy Zabell, Northwestern University)13. Logic and Linguistics in the Twentieth Century (Alessandro Lenci, University of Pisa, and Gabriel Sandu,University of Helsinki)14. Logic and Artificial Intelligence (Richmond Thomason, University of Michigan)15. Indian Logic (J.N. Mohanty, Temple University, S.R. Saha, Jadavpur University, Amita Chatterjee,University of Calcutta, Tushar Kanti Sarkar, Jadavpur University, Sibajiban Bhattacharyya, University of Calcutta)
 
The Development of Mathematical Logicfrom Russell to Tarski: 1900–1935
Paolo Mancosu 
(University of California, Berkeley)
Richard Zach
(University of Calgary)
Calixto Badesa 
(Universitat de Barcelona)Final Draft—May 2004To appear in:Leila Haaparanta, ed.,
The Development of Modern Logic 
.New York and Oxford: Oxford University Press, 2004
 
Contents
Contents iIntroduction 11 Itinerary I: Metatheoretical Properties of Axiomatic Systems 3
1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31.2 Peano’s school on the logical structure of theories . . . . . . 41.3 Hilbert on axiomatization . . . . . . . . . . . . . . . . . . . . . . 81.4 Completeness and categoricity in the work of Veblen andHuntington . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101.5 Truth in a structure . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2 Itinerary II: Bertrand Russell’s Mathematical Logic 15
2.1 From the Paris congress to the
Principles of Mathematics 
1900–1903 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152.2 Russell and Poincar´e on predicativity . . . . . . . . . . . . . . . 192.3 On Denoting . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 212.4 Russell’s ramified type theory . . . . . . . . . . . . . . . . . . . 222.5 The logic of 
Principia 
. . . . . . . . . . . . . . . . . . . . . . . . . 252.6 Further developments . . . . . . . . . . . . . . . . . . . . . . . . 26
3 Itinerary III: Zermelo’s Axiomatization of Set Theory and Re-lated Foundational Issues 29
3.1 The debate on the axiom of choice . . . . . . . . . . . . . . . . 293.2 Zermelo’s axiomatization of set theory . . . . . . . . . . . . . . 323.3 The discussion on the notion of “definit” . . . . . . . . . . . . 353.4 Metatheoretical studies of Zermelo’s axiomatization . . . . . 38
4 Itinerary IV: The Theory of Relatives and L¨owenheim’s Theorem 41
4.1 Theory of relatives and model theory . . . . . . . . . . . . . . . 414.2 The logic of relatives . . . . . . . . . . . . . . . . . . . . . . . . . 444.3 L¨owenheim’s theorem . . . . . . . . . . . . . . . . . . . . . . . . 464.4 Skolem’s first versions of L¨owenheim’s theorem . . . . . . . . 56i
of 00

Leave a Comment

You must be to leave a comment.
Submit
Characters: ...
You must be to leave a comment.
Submit
Characters: ...