The Development of Mathematical Logic from Russell to Tarski: 1900-1935
Richard Zack has recently uploaded a very interesting manuscript on his homepage. 'The Development of Mathematical Logic from Russell to Tarski: 1930-1935' is a book-length article to appear in Leila Haaparanta, ed., The History of Modern Logic. New York and Oxford: Oxford University Press. The article is co-authored with Paolo Mancosu and Calixto Badesa. Here is the abstract:
Abstract: The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in particular, Löwenheim and Skolem. Itinerary V surveys the work in logic connected to the Hilbert school, and itinerary V deals specifically with consistency proofs and metamathematics, including the incompleteness theorems. Itinerary VII traces the development of intuitionistic and many-valued logics. Itinerary VIII surveys the development of semantical notions from the early work on axiomatics up to Tarski's work on truth.
Through Théorème.
Categories: Logic, Philosophy, Model-theory
Posts
2 comments:
Sounds like a good read when the thesis is finished and joblessness awaits. It is both interesting and encouraging that in recent years the historical interest in mathematical logic has extended beyond van Heijenoorts (quite lovely) collection of oldies.
btw, I've signed up for esslli and even bought lunch coupons, so you needn't worry no longer:)
Also on a slightly sader note, my comp is dead at the moment, so I'm somewhat cut off from the normal means of communication.
Post a Comment