It is a commonplace that in the development of modern logic towards its actual shape at least two directions or traditions have to be distinguished. These traditions may be called, following the mo...

This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.

Kurt Gödel, mathematician and logician, was one of the most influential thinkers of the twentieth century. Gödel fled Nazi Germany, fearing for his Jewish wife and fed up with Nazi interference in the affairs of the mathematics institute at the University of Göttingen. In 1933 he settled at the Institute for Advanced Study in Princeton, where he joined the group of world-famous mathematicians who made up its original faculty. His 1940 book, better known by its short title, The Consistency of (...) the Continuum Hypothesis, is a classic of modern mathematics. The continuum hypothesis, introduced by mathematician George Cantor in 1877, states that there is no set of numbers between the integers and real numbers. It was later included as the first of mathematician David Hilbert's twenty-three unsolved math problems, famously delivered as a manifesto to the field of mathematics at the International Congress of Mathematicians in Paris in 1900. In The Consistency of the Continuum Hypothesis Gödel set forth his proof for this problem. In 1999, Time magazine ranked him higher than fellow scientists Edwin Hubble, Enrico Fermi, John Maynard Keynes, James Watson, Francis Crick, and Jonas Salk. He is most renowned for his proof in 1931 of the 'incompleteness theorem,' in which he demonstrated that there are problems that cannot be solved by any set of rules or procedures. His proof wrought fruitful havoc in mathematics, logic, and beyond. (shrink)

Analytic philosophy has become the dominant philosophical tradition in the English-speaking world. This book illuminates that tradition through a historical examination of a crucial period in its formation: the rejection of Idealism by Bertrand Russell and G.E. Moore at the beginning of the twentieth century, and the subsequent development of Russell's thought in the period before the First World War.

Thorough a detailed analysis of version III of Gödel's Is mathematics syntax of language?, we propose a new interpretation of Gödel's criticism against the conventionalist point of view in mathematics. When one reads carefully Gödel's text, it brings out that, contrary to the opinion of some commentators, Gödel did not overlook the novelty of Carnap's solution, and did not criticise him from an old-fashioned conception of science. The general aim of our analysis is to restate the Carnap/Gödel debate in the (...) Fregean heritage. We stress the way both of them try to answer, from different Fregean perspectives, to the question of the nature of logic and mathematics in knowledge. (shrink)

This study offers a novel integration of distinct aspects of Russell's thought.