This is a book that no one but Weyl could have written--and, indeed, no one has written anything quite like it since.

It is known that Maxwell’s electrodynamics—as usually understood at the present time—when applied to moving bodies, leads to asymmetries which do not appear to be inherent in the phenomena. Take, for example, the reciprocal electrodynamic action of a magnet and a conductor. The observable phenomenon here depends only on the relative motion of the conductor and the magnet, whereas the customary view draws a sharp distinction between the two cases in which either the one or the other of these bodies (...) is in motion. For if the magnet is in motion and the conductor at rest, there arises in the neighbourhood of the magnet an electric field with a certain definite energy, producing a current at the places where parts of the conductor are situated. But if the magnet is stationary and the conductor in motion, no electric field arises in the neighbourhood of the magnet. In the conductor, however, we find an electromotive force, to which in itself there is no corresponding energy, but which gives rise—assuming equality of relative motion in the two cases discussed—to electric currents of the same path and intensity as those produced by the electric forces in the former case. Examples of this sort, together with the unsuccessful attempts to discover any motion of the earth relatively to the “light medium,” suggest that the phenomena of electrodynamics as well as of mechanics possess no properties corresponding to the idea of absolute rest. They suggest rather that, as has already been shown to the first order of small quantities, the same laws of electrodynamics and optics will be valid for all frames of reference for which the equations of mechanics hold good.1 We will raise this conjecture (the purport of which will hereafter be called the “Principle of Relativity”) to the status of a postulate, and also introduce another postulate, which is only apparently irreconcilable with the former, namely, that light is always propagated in empty space with a definite velocity c which is independent of the state of motion of the emitting body.. (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)

Here, Bob Hale and Crispin Wright assemble the key writings that lead to their distinctive neo-Fregean approach to the philosophy of mathematics. In addition to fourteen previously published papers, the volume features a new paper on the Julius Caesar problem; a substantial new introduction mapping out the program and the contributions made to it by the various papers; a section explaining which issues most require further attention; and bibliographies of references and further useful sources. It will be recognized as the (...) most powerful presentation yet of a neo-Fregean program. (shrink)

This massive two-volume reference presents a comprehensive selection of the most important works on the foundations of mathematics. While the volumes include important forerunners like Berkeley, MacLaurin, and D'Alembert, as well as such followers as Hilbert and Bourbaki, their emphasis is on the mathematical and philosophical developments of the nineteenth century. Besides reproducing reliable English translations of classics works by Bolzano, Riemann, Hamilton, Dedekind, and Poincare, William Ewald also includes selections from Gauss, Cantor, Kronecker, and Zermelo, all translated here for (...) the first time. (shrink)

The seventeenth century saw dramatic advances in mathematical theory and practice. With the recovery of many of the classical Greek mathematical texts, new techniques were introduced, and within 100 years, the rules of analytic geometry, geometry of indivisibles, arithmatic of infinites, and calculus were developed. Although many technical studies have been devoted to these innovations, Mancosu provides the first comprehensive account of the relationship between mathematical advances of the seventeenth century and the philosophy of mathematics of the period. Starting with (...) the Renaissance debates on the certainty of mathematics, Mancosu leads the reader through the foundational issues raised by the emergence of these new mathematical techniques, including the influence of the Aristotelian conception of science in Cavalieri and Guldin, the foundational relevance of Descartes' Geometrie, the relation between geometrical and epistemological theories of the infinite, and the Leibnizian calculus and the opposition to infinitesimalist procedures. In the process Mancosu draws a sophisticated picture of the subtle dependencies between technical development and philosophical reflection in seventeenth century mathematics. (shrink)

When contrasted with "Continental" philosophy, analytical philosophy is often called "Anglo-American." Dummett argues that "Anglo-Austrian" would be a more accurate label. By re-examining the similar origins of the two traditions, we can come to understand why they later diverged so widely, and thus take the first step toward reconciliation.

In this new book, Michael Friedman argues that Kant's continuing efforts to find a metaphysics that could provide a foundation for the sciences is of the utmost ...

Kant's views on logic and logical theory play an important role in his critical writings, especially the Critique of Pure Reason. However, since he published only one short essay on the subject, we must turn to the texts derived from his logic lectures to understand his views. The present volume includes three previously untranslated transcripts of Kant's logic lectures: the Blumberg Logic from the 1770s; the Vienna Logic (supplemented by the recently discovered Hechsel Logic) from the early 1780s; and the (...) Dohna-Wundlacken Logic from the early 1790s. Also included is a new translation of the Jasche Logic, compiled at Kant's request and published in 1800 but which also appears to stem in part from a transcript of his lectures. Together these texts provide a rich source of evidence for Kant's evolving views on logic, on the relations between logic and other disciplines, and on a variety of topics (e.g. analysis and synthesis) central to Kant's mature philosophy. They also provide a portrait of Kant as lecturer, a role in which he was both popular and influential. This volume contains substantial editorial apparatus: a general introduction, linguistic and factual notes, glossaries of key terms (both German/English and English/German) and concordances relating Kant's lectures to Georg Frederich Meier's Excerpts from the Doctrine of Reason, the book on which Kant lectured throughout his life and in which he left extensive notes. (shrink)

In this sequence of philosophical essays about natural science, the author argues that fundamental explanatory laws, the deepest and most admired successes of modern physics, do not in fact describe regularities that exist in nature. Cartwright draws from many real-life examples to propound a novel distinction: that theoretical entities, and the complex and localized laws that describe them, can be interpreted realistically, but the simple unifying laws of basic theory cannot.

Does incommensurability threaten the realist’s claim that physical magnitudes express properties of natural kinds? Some clarification comes from measurement theory and scientific practice. The standard (empiricist) theory of measurement is metaphysically neutral. But its representational operational and axiomatic aspects give rise to several kinds of a one-sided metaphysics. In scientific practice. the scales of physical quantities (e.g. the mass or length scale) are indeed constructed from measuring methods which have incompatible axiomatic foundations. They cover concepts which belong to incomensurable theories. (...) I argue, however, that the construction of such scales conmmits us to a modest version of scientific realism. (shrink)

Dieses Buch ist in erster Linie als ein Beitrag zur phänomenologi­ schen Aufklärung der mathematischen Erkenntnis gedacht. Phä­ nomenologie als Methode kann nur im handanlegenden Bearbei­ ten von Bewußtseinsleistungen ihre Angemessenheit und ihre Lei­ stung erweisen. Weiterhin ist eine phänomenologische Klärung der Möglichkeit der Erkenntnis in Mathematik und Logik nahelie­ gend, weil es deren Erkenntnisprobleme waren, die Husserl zur Philosophie und schließlich zur Phänomenologie geführt haben. Will man sich bei diesem Vorhaben an der phänomenologischen Methode orientieren, so kann eine Sammlung (...) und Darstellung der verstreuten Husserlschen Stellungnahmen zur Philosophie der Mathematik nicht ausreichen. Jede dieser Stellungnahmen muß darüberhinaus an der phänomenologischen Methode gemessen werden, die Husserl mit viel größerer Mühe ausgearbeitet hat als seine Ansätze zu Einzelfragen, wie z. B. zur Klärung der Mathema­ tik, die im Rahmen seines philosophischen Gesamtvorhabens schließlich nur noch ein Problem neben anderen darstellten. In dem Vorhaben, Phänomenologie als Philosophie der Mathematik zu entfalten, mußten die wichtigsten, von Husserl vorgegebenen Lösungsansätze seinem eigenen Willen gemäß kritisch geprüft werden. Wo es sich als unumgänglich erwies, mußte im Namen der Methode auch eine andere Lösung bevorzugt werden. Die vorlie­ gende Schrift unterscheidet sich im wesentlichen von den bisheri­ gen Darstellungen von "Husserls Philosophie der Mathematik" durch die weiterführende Anwendung der phänomenologischen Methode auf Fragen der mathematischen Erkenntnisgewinnung. Husserls Äußerungen zu philosophischen Fragen der Mathema­ tik finden sich in allen seinen veröffentlichten phänomenologi- 2 EINLEITUNG sehen Schriften verstreut. Die Ausführungen der 4. und 6. (shrink)

In section 10 of Grundgesetze, Frege confronts an indeterm inacy left by his stipulations regarding his ‘smooth breathing’, from which names of valueranges are formed. Though there has been much discussion of his arguments, it remains unclear what this indeterminacy is; why it bothers Frege; and how he proposes to respond to it. The present paper attempts to answer these questions by reading section 10 as preparatory for the (fallacious) proof, given in section 31, that every expression of Frege's formal (...) language denotes. (shrink)

A precise notion of ‘mathematical structure’ other than that given by model theory may prove fruitful in the philosophy of mathematics. It is shown how the language and methods of category theory provide such a notion, having developed out of a structural approach in modern mathematical practice. As an example, it is then shown how the categorical notion of a topos provides a characterization of ‘logical structure’, and an alternative to the Pregean approach to logic which is continuous with the (...) modern structural approach in mathematics. (shrink)

This paper attempts to confine the preconceptions that prevented Frege from appreciating Hilbert?s Grundlagen der Geometrie to two: (i) Frege?s reliance on what, following Wilfrid Hodges, I call a Frege?Peano language, and (ii) Frege?s view that the sense of an expression wholly determines its reference.I argue that these two preconceptions prevented Frege from achieving the conceptual structure of model theory, whereas Hilbert, at least in his practice, was quite close to the model?theoretic point of view.Moreover, the issues that divided Frege (...) and Hilbert did not revolve around whether one or the other allowed metalogical notions.Frege, e.g., succeeded in formulating the notion of logical consequence, at least to the extent that Bolzano did; the point is rather that even though Frege had certain semantic concepts, he did not articulate them model?theoretically, whereas, in some limited sense, Hilbert did. (shrink)

From the reviews: "A good textbook can improve a lecture course enormously, especially when the material of the lecture includes many technical details. Van Dalen's book, the success and popularity of which may be suspected from this steady interest in it, contains a thorough introduction to elementary classical logic in a relaxed way, suitable for mathematics students who just want to get to know logic. The presentation always points out the connections of logic to other parts of mathematics. The reader (...) immediately see the logic is "just another branch of mathematics" and not something more sacred." Acta Scientiarum Mathematicarum, Hungary. (shrink)

Around the turn of the century, Poincare and Hilbert each published an account of geometry that took the discipline to be an implicit definition of its concepts. The terms ‘point’, ‘line’, and ‘plane’ can be applied to any system of objects that satisfies the axioms. Each mathematician found spirited opposition from a different logicist—Russell against Poincare' and Frege against Hilbert— who maintained the dying view that geometry essentially concerns space or spatial intuition. The debates illustrate the emerging idea of mathematics (...) as the science of structure. The article closes with some remarks on structuralist and nonstructuralist themes in Frege's own development of arithmetic. (shrink)

Moving beyond both realist and anti-realist accounts of mathematics, Shapiro articulates a "structuralist" approach, arguing that the subject matter of a mathematical theory is not a fixed domain of numbers that exist independent of each other, but rather is the natural structure, the pattern common to any system of objects that has an initial object and successor relation satisfying the induction principle.

This intellectual biography of Immanuel Kant's early years--from 1747 when his first book was published, to 1770 when his Critique of Pure Reason was about to be printed--makes an outstanding contribution to Kant scholarship. Schonfeld meticulously examines almost all of Kant's early works, summarizes their content, and exhibits their shortcomings and strengths. He places the early theories in their historical context and describes the scientific discoveries and philosophical innovations that distinguish Kant's pre-critical works. Schonfeld argues that these works were all (...) aspects of a single project carried out by Kant to reconcile metaphysical and scientific perspectives and combine them into a coherent model of nature. (shrink)

This volume presents the philosophical and heuristic framework Cantor developed and explores its lasting effect on modern mathematics. "Establishes a new plateau for historical comprehension of Cantor's monumental contribution to mathematics." --The American Mathematical Monthly.

SummaryA short exposition is given of the foundation of the causal description in classical physics and the failure of the principle of causality in coping with atomic phenomena. It is emphasized that the individuality of the quantum processes excludes a separation between a behaviour of the atomic objects and their interaction with the measuring instruments denning the conditions under which the phenomena appear. This circumstance forces us to recognize a novel relationship, conveniently termed complementarity, between empirical evidence obtained under different (...) experimental conditions. An appropriate tool for a complementary mode of description is provided by the quantum‐mechanical formalism which allows us to account for regularities of definite or statistical character beyond the grasp of classical physical explanation. – N. B. (shrink)

It is often supposed that the spectacular successes of our modern mathematical sciences support a lofty vision of a world completely ordered by one single elegant theory. In this book Nancy Cartwright argues to the contrary. When we draw our image of the world from the way modern science works - as empiricism teaches us we should - we end up with a world where some features are precisely ordered, others are given to rough regularity and still others behave in (...) their own diverse ways. This patchwork makes sense when we realise that laws are very special productions of nature, requiring very special arrangements for their generation. Combining classic and newly written essays on physics and economics, The Dappled World carries important philosophical consequences and offers serious lessons for both the natural and the social sciences. (shrink)

The business of mathematics is definition and proof, and its foundations comprise the principles which govern them. Modern mathematics is founded upon set theory. In particular, both the axiomatic method and mathematical logic belong, by their very natures, to the theory of sets. Accordingly, foundational set theory is not, and cannot logically be, an axiomatic theory. Failure to grasp this point leads obly to confusion. The idea of a set is that of an extensional plurality, limited and definite in size, (...) composed of well defined objects.It is the extension of Greek notion of 'number' (arithmos) into Cantor's 'transfinite'. (shrink)

The aim of the paper is this: Instead of presenting a provisional and necessarily insufficient characterization of what mathematical physics is, I will ask the reader to take it just as that, what he or she thinks or believes it is, yet to be prepared to revise his opinion in the light of what I am going to tell. Because this is precisely, what I intend to do. I will challenge some of the received or standard views about mathematical physics (...) and replace them by a more sophisticated picture, which takes into account the methodological and philosophical roots of mathematical physics in Göttingen. (shrink)