Presents German physicist Werner Heisenberg's 1958 text in which he discusses the philosophical implications and social consequences of quantum mechanics and other physical theories.

8.3 The consistency proof -- 8.4 Applications of the consistency proof -- 8.5 Second-order arithmetic -- Problems -- Chapter 9: Set Theory -- 9.1 Axioms for sets -- 9.2 Development of set theory -- 9.3 Ordinals -- 9.4 Cardinals -- 9.5 Interpretations of set theory -- 9.6 Constructible sets -- 9.7 The axiom of constructibility -- 9.8 Forcing -- 9.9 The independence proofs -- 9.10 Large cardinals -- Problems -- Appendix The Word Problem -- Index.

The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in ...

First published in 1971, Professor Putnam's essay concerns itself with the ontological problem in the philosophy of logic and mathematics - that is, the issue of whether the abstract entities spoken of in logic and mathematics really exist. He also deals with the question of whether or not reference to these abstract entities is really indispensible in logic and whether it is necessary in physical science in general.

Gödei's Theorem seems to me to prove that Mechanism is false, that is, that minds cannot be explained as machines. So also has it seemed to many other people: almost every mathematical logician I have put the matter to has confessed to similar thoughts, but has felt reluctant to commit himself definitely until he could see the whole argument set out, with all objections fully stated and properly met. This I attempt to do.

This book introduces a new approach to the issue of radical scientific revolutions, or "paradigm-shifts," given prominence in the work of Thomas Kuhn. The book articulates a dynamical and historicized version of the conception of scientific a priori principles first developed by the philosopher Immanuel Kant. This approach defends the Enlightenment ideal of scientific objectivity and universality while simultaneously doing justice to the revolutionary changes within the sciences that have since undermined Kant's original defense of this ideal. Through a modified (...) Kantian approach to epistemology and philosophy of science, this book opposes both Quinean naturalistic holism and the post-Kuhnian conceptual relativism that has dominated recent literature in science studies. Focussing on the development of "scientific philosophy" from Kant to Rudolf Carnap, along with the parallel developments taking place in the sciences during the same period, the author articulates a new dynamical conception of relativized a priori principles. This idea applied within the physical sciences aims to show that rational intersubjective consensus is intricately preserved across radical scientific revolutions or "paradigm-shifts and how this is achieved. (shrink)

"A valuable collection both for original source material as well as historical formulations of current problems."-- The Review of Metaphysics "Much more than a mere collection of papers . . . a valuable addition to the literature."-- Mathematics of Computation An anthology of fundamental papers on undecidability and unsolvability by major figures in the field, this classic reference opens with Godel's landmark 1931 paper demonstrating that systems of logic cannot admit proofs of all true assertions of arithmetic. Subsequent papers by (...) Godel, Church, Turing, and Post single out the class of recursive functions as computable by finite algorithms. Additional papers by Church, Turing, and Post cover unsolvable problems from the theory of abstract computing machines, mathematical logic, and algebra, and material by Kleene and Post includes initiation of the classification theory of unsolvable problems. Suitable for graduate and undergraduate courses. 1965 ed. (shrink)

Platonism is the most pervasive philosophy of mathematics. Indeed, it can be argued that an inarticulate, half-conscious Platonism is nearly universal among mathematicians. The basic idea is that mathematical entities exist outside space and time, outside thought and matter, in an abstract realm. In the more eloquent words of Edward Everett, a distinguished nineteenth-century American scholar, "in pure mathematics we contemplate absolute truths which existed in the divine mind before the morning stars sang together, and which will continue to exist (...) there when the last of their radiant host shall have fallen from heaven." In What is Mathematics, Really?, renowned mathematician Rueben Hersh takes these eloquent words and this pervasive philosophy to task, in a subversive attack on traditional philosophies of mathematics, most notably, Platonism and formalism. Virtually all philosophers of mathematics treat it as isolated, timeless, ahistorical, inhuman. Hersh argues the contrary, that mathematics must be understood as a human activity, a social phenomenon, part of human culture, historically evolved, and intelligible only in a social context. Mathematical objects are created by humans, not arbitrarily, but from activity with existing mathematical objects, and from the needs of science and daily life. Hersh pulls the screen back to reveal mathematics as seen by professionals, debunking many mathematical myths, and demonstrating how the "humanist" idea of the nature of mathematics more closely resembles how mathematicians actually work. At the heart of the book is a fascinating historical account of the mainstream of philosophy--ranging from Pythagoras, Plato, Descartes, Spinoza, and Kant, to Bertrand Russell, David Hilbert, Rudolph Carnap, and Willard V.O. Quine--followed by the mavericks who saw mathematics as a human artifact, including Aristotle, Locke, Hume, Mill, Peirce, Dewey, and Lakatos. In his epilogue, Hersh reveals that this is no mere armchair debate, of little consequence to the outside world. He contends that Platonism and elitism fit well together, that Platonism in fact is used to justify the claim that "some people just can't learn math." The humanist philosophy, on the other hand, links mathematics with geople, with society, and with history. It fits with liberal anti-elitism and its historical striving for universal literacy, universal higher education, and universal access to knowledge and culture. Thus Hersh's argument has educational and political ramifications. Written by the co-author of The Mathematical Experience, which won the American Book Award in 1983, this volume reflects an insider's view of mathematical life, based on twenty years of doing research on advanced mathematical problems, thirty-five years of teaching graduates and undergraduates, and many long hours of listening, talking to, and reading philosophers. A clearly written and highly iconoclastic book, it is sure to be hotly debated by anyone with a passionate interest in mathematics or the philosophy of science. (shrink)

Murdoch describes the historical background of the physics from which Bohr's ideas grew; he traces the origins of his idea of complementarity and discusses its meaning and significance. Special emphasis is placed on the contrasting views of Einstein, and the great debate between Bohr and Einstein is thoroughly examined. Bohr's philosophy is revealed as being much more subtle, and more interesting than is generally acknowledged.

In Rationality and Logic, Robert Hanna argues that logic is intrinsically psychological and that human psychology is intrinsically logical. He claims that logic is cognitively constructed by rational animals and that rational animals are essentially logical animals. In order to do so, he defends the broadly Kantian thesis that all rational animals possess an innate cognitive "logic faculty." Hanna 's claims challenge the conventional philosophical wisdom that sees logic as a fully formal or "topic-neutral" science irreconcilably separate from the species- (...) or individual-specific focus of empirical psychology.Logic and psychology went their separate ways after attacks by Frege and Husserl on logical psychologism--the explanatory reduction of logic to empirical psychology. Hanna argues, however, that--despite the fact that logical psychologism is false--there is an essential link between logic and psychology. Rational human animals constitute the basic class of cognizers or thinkers studied by cognitive psychology; given the connection between rationality and logic that Hanna claims, it follows that the nature of logic is significantly revealed to us by cognitive psychology. Hanna 's proposed "logical cognitivism" has two important consequences: the recognition by logically oriented philosophers that psychologists are their colleagues in the metadiscipline of cognitive science; and radical changes in cognitive science itself. Cognitive science, Hanna argues, is not at bottom a natural science; it is both an objective or truth-oriented science and a normative human science, as is logic itself. (shrink)

In 1931, the young Kurt Gödel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some arithmetical truths the theory cannot prove. This remarkable result is among the most intriguing in logic. Gödel also outlined an equally significant Second Incompleteness Theorem. How are these Theorems established, and why do they matter? Peter Smith answers these questions by presenting an unusual variety of proofs for the First Theorem, showing how to prove the (...) Second Theorem, and exploring a family of related results. The formal explanations are interwoven with discussions of the wider significance of the two Theorems. This book will be accessible to philosophy students with a limited formal background. It is equally suitable for mathematics students taking a first course in mathematical logic. (shrink)

The great three-volume Principia Mathematica is deservedly the most famous work ever written on the foundations of mathematics. Its aim is to deduce all the fundamental propositions of logic and mathematics from a small number of logical premisses and primitive ideas, and so to prove that mathematics is a development of logic. This abridged text of Volume I contains the material that is most relevant to an introductory study of logic and the philosophy of mathematics (more advanced students will wish (...) to refer to the complete edition). It contains the whole of the preliminary sections (which present the authors' justification of the philosophical standpoint adopted at the outset of their work); the whole of Part 1 (in which the logical properties of propositions, propositional functions, classes and relations are established); section 6 of Part 2 (dealing with unit classes and couples); and Appendices A and B (which give further developments of the argument on the theory of deduction and truth functions). (shrink)

Arthur I. Miller is a historian of science whose approach has been strongly influenced by current work in cognitive science, and in this book he shows how the two fields might be fruitfully linked to yield new insights into the creative process.

Niels Bohr, founding father of modern atomic physics and quantum theory, was as original a philosopher as he was a physicist. This study explores several dimensions of Bohr's vision: the formulation of quantum theory and the problems associated with its interpretation, the notions of complementarity and correspondence, the debates with Einstein about objectivity and realism, and his sense of the infinite harmony of nature. Honner focuses on Bohr's epistemological lesson, the conviction that all our description of nature is dependent on (...) the words we use and the ways we can unambiguously use them. (shrink)

On several occasions I have pointed out that the lesson taught us by recent developments in physics regarding the necessity of a constant extension of the frame of concepts appropriate for the classification of new experiences leads us to a general epistemological attitude which might help us to avoid apparent conceptual difficulties in other fields of science as well. Since, however, the opinion has been expressed from various sides that this attitude would appear to involve a mysticism incompatible with the (...) true spirit of science, I am very glad to use the present opportunity of addressing this assembly of scientists working in quite different fields but united in their striving to find a common ground for our knowledge, to come back to this question, and above all to try to clear up the misunderstandings which have arisen. (shrink)

Modest pessimism about philosophical progress is the view that while philosophy may sometimes make some progress, philosophy has made, and can be expected to make, only very little progress (where the extent of philosophical progress is typically judged against progress in the hard sciences). The paper argues against recent attempts to defend this view on the basis of the pervasiveness of disagreement within philosophy. The argument from disagreement for modest pessimism assumes a teleological conception of progress, according to which the (...) attainment of true answers to the big philosophical questions, or knowledge of them, is the primary goal of philosophy. The paper argues that this assumption involves a misconception of the goal of philosophy: if philosophy has a primary goal, its goal is the understanding of philosophical problems rather than knowledge of answers to philosophical questions. Moreover, it is argued that if the primary goal of philosophy is such understanding, then widespread disagreement within philosophy does not indicate that philosophy makes little progress. (shrink)

Abstract: According to the Veridicality Thesis, information requires truth. On this view, smoke carries information about there being a fire only if there is a fire, the proposition that the earth has two moons carries information about the earth having two moons only if the earth has two moons, and so on. We reject this Veridicality Thesis. We argue that the main notions of information used in cognitive science and computer science allow A to have information about the obtaining of (...) p even when p is false. (shrink)

Philosophers have debated at length the epistemological status of scientific thought experiments. I contend that the literature on this topic still lacks a common conceptual framework, a lacuna that produces radical disagreement among the participants in this debate. To remedy this problem, I suggest focusing on the distinction between the internal and the external validity of an experiment, which is also crucial for thought experiments. I then develop an account of both kinds of validity in the context of thought experiments. (...) I show that we can naturally conceptualise internal validity in terms of games of make-believe. Then, I argue that external validity is best defined as accurate representation of a target system. Finally, I turn back to the current debate on thought experiments and show that my diarchic account provides a general framework that can be shared by the competing philosophical views, as well as a fruitful guide for their reconciliation. (shrink)

The best known and most widely discussed aspect of Kurt Gödel's philosophy of mathematics is undoubtedly his robust realism or platonism about mathematical objects and mathematical knowledge. This has scandalized many philosophers but probably has done so less in recent years than earlier. Bertrand Russell's report in his autobiography of one or more encounters with Gödel is well known:Gödel turned out to be an unadulterated Platonist, and apparently believed that an eternal “not” was laid up in heaven, where virtuous logicians (...) might hope to meet it hereafter.On this Gödel commented:Concerning my “unadulterated” Platonism, it is no more unadulterated than Russell's own in 1921 when in the Introduction to Mathematical Philosophy … he said, “Logic is concerned with the real world just as truly as zoology, though with its more abstract and general features.” At that time evidently Russell had met the “not” even in this world, but later on under the infuence of Wittgenstein he chose to overlook it.One of the tasks I shall undertake here is to say something about what Gödel's platonism is and why he held it.A feature of Gödel's view is the manner in which he connects it with a strong conception of mathematical intuition, strong in the sense that it appears to be a basic epistemological factor in knowledge of highly abstract mathematics, in particular higher set theory. Other defenders of intuition in the foundations of mathematics, such as Brouwer and the traditional intuitionists, have a much more modest conception of what mathematical intuition will accomplish. (shrink)

John Barrow is increasingly recognized as one of our most elegant and accomplished science writers, a brilliant commentator on cosmology, mathematics, and modern physics. Barrow now tackles the heady topic of impossibility, in perhaps his strongest book yet. Writing with grace and insight, Barrow argues convincingly that there are limits to human discovery, that there are things that are ultimately unknowable, undoable, or unreachable. He first examines the limits on scientific inquiry imposed by the deficiencies of the human mind: our (...) brain evolved to meet the demands of our immediate environment, Barrow notes, and much that lies outside this small circle may also lie outside our understanding. Barrow investigates practical impossibilities, such as those imposed by complexity, uncomputability, or the finiteness of time, space, and resources. Is the universe finite or infinite? Can information be transmitted faster than the speed of light? The book also examines the deeper theoretical restrictions on our ability to know, including Godel's theorem--which proved that there were things that could not be proved--and Arrow's Impossibility theorem about democratic voting systems. Finally, having explored the limits imposed on us from without, Barrow considers whether there are limits we should impose upon ourselves. For instance, if the secrets of the atom are to be found only by recreating extreme environments at great financial cost, just how much should we devote to that quest? Weaving together this intriguing tapestry, he illuminates some of the most profound questions of science, from the possibility of time travel to the very structure of the universe. (shrink)

Intuitionism’s disagreement with classical logic is standardly based on its specific understanding of truth. But different intuitionists have actually explicated the notion of truth in fundamentally different ways. These are considered systematically and separately, and evaluated critically. It is argued that each account faces difficult problems. They all either have implausible consequences or are viciously circular.

Quantum theory is our deepest theory of the nature of matter. It is a theory that, notoriously, produces results which challenge the laws of classical logic and suggests that the physical world is illogical. This book gives a critical review of work on the foundations of quantum mechanics at a level accessible to non-experts. Assuming his readers have some background in mathematics and physics, Peter Gibbins focuses on the questions of whether the results of quantum theory require us to abandon (...) classical logic and whether quantum logic can resolve the paradoxes produced by quantum mechanics. He argues that quantum logic does not dispose of the problems faced by classical logic, that no reasonable interpretation of quantum mechanics in terms of 'hidden variables' can be found, and that after all these years quantum mechanics remains a mystery to us. Particles and Paradoxes provides a much-needed and valuable introduction to the philosophy of quantum mechanics and, at the same time, an example of just what it is to do the philosophy of physics. (shrink)

This book addresses the logical aspects of the foundations of scientific theories. Even though the relevance of formal methods in the study of scientific theories is now widely recognized and regaining prominence, the issues covered here are still not generally discussed in philosophy of science. The authors focus mainly on the role played by the underlying formal apparatuses employed in the construction of the models of scientific theories, relating the discussion with the so-called semantic approach to scientific theories. The book (...) describes the role played by this metamathematical framework in three main aspects: considerations of formal languages employed to axiomatize scientific theories, the role of the axiomatic method itself, and the way set-theoretical structures, which play the role of the models of theories, are developed. The authors also discuss the differences and philosophical relevance of the two basic ways of aximoatizing a scientific theory, namely Patrick Suppes’ set theoretical predicates and the "da Costa and Chuaqui" approach. This book engages with important discussions of the nature of scientific theories and will be a useful resource for researchers and upper-level students working in philosophy of science. (shrink)

The traditional view of evidence in mathematics is that evidence is just proof and proof is just derivation. There are good reasons for thinking that this view should be rejected: it misrepresents both historical and current mathematical practice. Nonetheless, evidence, proof, and derivation are closely intertwined. This paper seeks to tease these concepts apart. It emphasizes the role of argumentation as a context shared by evidence, proofs, and derivations. The utility of argumentation theory, in general, and argumentation schemes, in particular, (...) as a methodology for the study of mathematical practice is thereby demonstrated. Argumentation schemes represent an almost untapped resource for mathematics education. Notably, they provide a consistent treatment of rigorous and non-rigorous argumentation, thereby working to exhibit the continuity of reasoning in mathematics with reasoning in other areas. Moreover, since argumentation schemes are a comparatively mature methodology, there is a substantial body of existing work to draw upon, including some increasingly sophisticated software tools. Such tools have significant potential for the analysis and evaluation of mathematical argumentation. The first four sections of the paper address the relationships of evidence to proof, proof to derivation, argument to proof, and argument to evidence, respectively. The final section directly addresses some of the educational implications of an argumentation scheme account of mathematical reasoning. (shrink)

A look at Wittgenstein's comments on the incompleteness theorem with an inter-pretation that is consistent with what Gödel proved.

The Continuum Problem has inspired set theorists and philosophers since the days of Cantorian set theory. In the last 15 years, W. Hugh Woodin, a leading set theorist, has not only taken it upon himself to engage in this question, he has also changed his mind about the answer. This paper illustrates Woodin’s solutions to the problem, starting in Sect. 3 with his 1999–2004 argument that Cantor’s hypothesis about the continuum was incorrect. From 2010 onwards, Woodin presents a very different (...) argument, an argument that Cantor’s hypothesis is in fact true. This argument is still incomplete, but according to Woodin, some of the philosophical issues surrounding the Continuum Problem have been reduced to precise mathematical questions, questions that are, unlike Cantor’s hypothesis, solvable from our current theory of sets. (shrink)

A notion of feasible function of finite type based on the typed lambda calculus is introduced which generalizes the familiar type 1 polynomial-time functions. An intuitionistic theory IPVω is presented for reasoning about these functions. Interpretations for IPVω are developed both in the style of Kreisel's modified realizability and Gödel's Dialectica interpretation. Applications include alternative proofs for Buss's results concerning the classical first-order system S12 and its intuitionistic counterpart IS12 as well as proofs of some of Buss's conjectures concerning IS12, (...) and a proof that IS12 cannot prove that extended Frege systems are not polynomially bounded. (shrink)