|Abstract||From ancient times to the beginning of the nineteenth century, mathematics was commonly viewed as the general science of quantity, with two main branches: geometry, which deals with continuous quantities, and arithmetic, which deals with quantities that are discrete. Mathematical logic does not ﬁt neatly into this taxonomy. In 1847, George Boole  oﬀered an alternative characterization of the subject in order to make room for this new discipline: mathematics should be understood to include the use of any symbolic calculus “whose laws of combination are known and general, and whose results admit of a consistent interpretation.” Depending on the laws chosen, symbols can just as well be used to represent propositions instead of quantities; in that way, one can consider calculations with propositions on par with more familiar arithmetic calculations. Despite Boole’s eﬀorts, logic has always held an uncertain place in the mathematical community. This can partially be attributed to its youth; while number theory and geometry have their origins in antiquity, mathematical logic did not emerge as a recognizable discipline until the latter half of the nineteenth century, and so lacks the provenance and prestige of its elder companions. Furthermore, the nature of the subject matter serves to set it apart; as objects of mathematical study, formulas and proofs do not have the same character as groups, topological spaces, and measures. Even distinctly mathematical branches of contemporary logic, like model theory and set theory, tend to employ linguistic classiﬁcations and measures of complexity that are alien to other mathematical disciplines. The Birth of Model Theory, by Calixto Badesa, describes a seminal step in the emergence of logic as a mature mathematical discipline. As its title suggests, the focus is on one particular result, now referred to as the L¨owenheim-Skolem theorem, as presented in a paper by L¨owenheim in 1915. But the book is, more broadly, about the story of the logic community’s gradual coming to the modern distinction between syntax and semantics, that is, between systems of symbolic expressions and the meanings that can be assigned to them..|
|Keywords||No keywords specified (fix it)|
|Categories||No categories specified (fix it)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Volker Peckhaus (1999). 19th Century Logic Between Philosophy and Mathematics. Bulletin of Symbolic Logic 5 (4):433-450.
Massimo Mugnai (2011). Logic and Mathematics in the Seventeenth Century. History and Philosophy of Logic 31 (4):297-314.
Alfred Tarski (1994). Introduction to Logic and to the Methodology of the Deductive Sciences. Oxford University Press.
Volker Peckhaus (1997). The Way of Logic Into Mathematics. Theoria 12 (1):39-64.
Richard Kaye (2007). The Mathematics of Logic: A Guide to Completeness Theorems and Their Applications. Cambridge University Press.
Hao Wang (1981/1993). Popular Lectures on Mathematical Logic. Dover Publications.
P. T. Johnstone (1987). Notes on Logic and Set Theory. Cambridge University Press.
Paolo Mancosu, Richard Zach & Calixto Badesa (2008). The Development of Mathematical Logic From Russell to Tarski, 1900-1935. In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press.
Michał Walicki (2012). Introduction to Mathematical Logic. World Scientific.
John N. Crossley (ed.) (1972/1990). What is Mathematical Logic? Dover Publications.
Stephen Cole Kleene (1967/2002). Mathematical Logic. Dover Publications.
Paul C. Rosenbloom (1950/2005). The Elements of Mathematical Logic. New York]Dover Publications.
René Cori (2000). Mathematical Logic: A Course with Exercises. Oxford University Press.
Added to index2010-12-22
Total downloads5 ( #160,204 of 548,984 )
Recent downloads (6 months)1 ( #63,327 of 548,984 )
How can I increase my downloads?