This is a book about the philosophy of time, and in particular the philosophy of the great logician Kurt Godel (1906-1978). It evaluates Godel's attempt to show that Einstein has not so much explained time as explained it away. Unlike recent more technical studies, it focuses on the reality of time. The book explores Godel's conception of time, existence, and truth with special reference to Plato, Aristotle, Kant, and Frege. In the light of this investigation an attempt is made to (...) shed light on such issues as the precise sense in which Godel believed in the possibility of time travel, the relationship of the reality of time to the objectivity of temporal becoming, and the significance of time for human existence.This is a book about the philosophy of time, and in particular the philosophy of the great logician Kurt Godel (1906-1978). It evaluates Godel's attempt to show that Einstein has not so much explained time as explained it away. Unlike recent more technical studies, it focuses on the reality of time. The book explores Godel's conception of time, existence, and truth with special reference to Plato, Aristotle, Kant, and Frege. In the light of this investigation an attempt is made to shed light on such issues as the precise sense in which Godel believed in the possibility of time travel, the relationship of the reality of time to the objectivity of temporal becoming, and the significance of time for human existence. (shrink)

In this first extended treatment of his life and work, Hao Wang, who was in close contact with Godel in his last years, brings out the full subtlety of Godel's ideas and their connection with grand themes in the history of mathematics and ...

First published in 1974. Despite the tendency of contemporary analytic philosophy to put logic and mathematics at a central position, the author argues it failed to appreciate or account for their rich content. Through discussions of such mathematical concepts as number, the continuum, set, proof and mechanical procedure, the author provides an introduction to the philosophy of mathematics and an internal criticism of the then current academic philosophy. The material presented is also an illustration of a new, more general method (...) of approach called substantial factualism which the author asserts allows for the development of a more comprehensive philosophical position by not trivialising or distorting substantial facts of human knowledge. (shrink)

First published in 1974. Despite the tendency of contemporary analytic philosophy to put logic and mathematics at a central position, the author argues it failed to appreciate or account for their rich content. Through discussions of such mathematical concepts as number, the continuum, set, proof and mechanical procedure, the author provides an introduction to the philosophy of mathematics and an internal criticism of the then current academic philosophy. The material presented is also an illustration of a new, more general method (...) of approach called substantial factualism which the author asserts allows for the development of a more comprehensive philosophical position by not trivialising or distorting substantial facts of human knowledge. (shrink)

Gödel's conclusion that time-travel is possible in his models of Einstein's gravitational theory has been questioned by Chandrasekhar and Wright, and treated as doubtful in the recent philosophical literature. The present note is intended to remove this doubt: a review of Gödel's construction shows that his arguments are entirely correct; and the objection is seen to rest upon a misunderstanding. Computational points treated succinctly by Gödel are here presented in fuller detail. The philosophical significance of Gödel's results is briefly considered, (...) and a set of technical questions is posed whose answers would clarify this significance. (shrink)

The study of the physical world had its origins in philosophy, and, two-and-one-half millennia later, the scientific advances of the twentieth century are bringing the two fields closer together again. So argues Lawrence Sklar in this brilliant new text on the philosophy of physics.Aimed at students of both disciplines, Philosophy of Physics is a broad overview of the problems of contemporary philosophy of physics that readers of all levels of sophistication should find accessible and engaging. Professor Sklar’s talent for clarity (...) and accuracy is on display throughout as he guides students through the key problems: the nature of space and time, the problems of probability and irreversibility in statistical mechanics, and, of course, the many notorious problems raised by quantum mechanics.Integrated by the theme of the interconnectedness of philosophy and science, and linked by many references to the history of both disciplines, Philosophy of Physics is always clear, while remaining faithful to the complexity and integrity of the issues. It will take its place as a classic text in a field of fundamental intellectual importance. (shrink)

sn y™to˜er —nd xovem˜er IWHUD just over two ye—rs —fter the ™ompletion of his spe™i—l theory of rel—tivityD iinstein m—de the ˜re—kthrough th—t set him on the p—th to the gener—l theory of rel—tivityF ‡hile prep—ring — review —rti™le on his new spe™i—l theory of rel—tivityD he ˜e™—me ™onvin™ed th—t the key to the extension of the prin™iple of rel—tivity to —™™eler—ted motion l—y in the rem—rk—˜le —nd unexpl—ined empiri™—l ™oin™iden™e of the equ—lity of inerti—l —nd gr—vit—tion—l m—ssesF „o interpret (...) —nd exploit this ™oin™iden™eD he introdu™ed — new —nd powerful physi™—l prin™ipleD soon to ˜e ™—lled the ’prin™iple of equiv—len™e4 upon whi™h his se—r™h for — gener—l theory of reE l—tivity would ˜e ˜—sedF woreoverD with the ™ompletion of the theory —nd throughout the rem—inder of his lifeD iinstein insisted on the fund—ment—l import—n™e of the prin™iple to his gener—l theory of rel—tivityF iinstein9s insisten™e on this point h—s ™re—ted — puzzle for philosophers —nd histori—ns of s™ien™eF st h—s ˜een —rgued vigorously th—t the prin™iple in its tr—dition—l formul—tion does not hold in th™ gener—l theory of rel—tivityD gonsiderD for ex—mpleD — tr—dition—l formul—tion su™h —s €—uli9s in his IWPI Encyklopadie —rti™leF por €—uli the prin™iple —sserts th—t one ™—n —lw—ys tr—nsform —w—y —n —r˜itr—ry gr—vit—tion—l eld in —n innitely sm—ll region of sp—™eEtimeD ˜y tr—nsforming to —n —ppropri—te ™oordin—te system @€—uli IWPID pF IRSAF sn responseD su™h eminent rel—tivists —s ƒynge @IWTHD pF ixAD —nd even iddington ˜efore him @IWPRD ppF QW{RIAD h—ve o˜je™ted th—t — ™oordin—te tr—nsform—tion or ™h—nge of st—te of motion of the o˜server ™—n h—ve no ee™t on the presen™e or —˜sen™e of — gr—vit—tion—l eldF „he presen™e of — ’true4 gr—vit—tion—l eld is determined ˜y —n inv—ri—nt ™riterionD the ™urv—ture of the metri™F „he gr—vit—tionEfree ™—se of spe™i—l rel—tivity is just the ™—se in whi™h this ™urv—ture v—nishesD where—s the true gr—vit—tion—l elds of gener—l rel—tivity —re distinguished ˜y the nonv—nishing of this ™urv—tureF „his o˜je™tion h—s immedi—te r—mi™—tions for the ’iinstein elev—tor4 thought experimentD whi™h is ™ommonly used in the formul—tion of the prinE ™iple of equiv—len™eF sn this thought experimentD — sm—ll ™h—m˜ers su™h —s.... (shrink)

It is shown how the development of physics has involved making explicit what were homocentric projections which had heretofore been implicit, indeed inexpressible in theory. This is shown to support a particular notion of the invariant as the real. On this basis the divergence in ideals of physical intelligibility between Bohr and Einstein is set out. This in turn leads to divergent, but explicit, conceptions of objectivity and completeness for physical theory. *I am indebted to Dr. G. McLelland. Professor F. (...) Rohrlich and an anonymous referee of this journal for several improvements in the formulation of the paper. (shrink)

SummaryThis paper is an account of Kepler's explicit awareness of the problem of experimental error. As a study of the Astronomia nova shows, Kepler exploited his awareness of the occurrences of experimental errors to guide him to the right conclusion. Errors were thus employed, so to speak, perhaps for the first time, to bring about a major physical discovery: Kepler's laws of planetary motion. ‘Know then’, to use Kepler's own words, ‘that errors show us the way to truth.’ With a (...) survey of Kepler's revolutionary contribution to optics, the paper demonstrates that Kepler's awareness of the problem of experimental error extended beyond discrepancies between calculations and observations to types of error which pertain to observations and instruments. It emerges that Kepler's belief in the unity of knowledge and physical realism, facilitated—indeed created—the right philosophical posture for comprehending the problem of error in an entirely novel way. (shrink)

The question is raised as to the kind of methodology required to deal with foundational issues. A comparative study of the methodologies of Gödel and Einstein reveals some similar traits which reflect a concern with foundational problems. It is claimed that the interest in foundational problems stipulates a certain methodology, namely, the methodology of limiting cases.

The story of Einstein's struggle to create a general theory of relativity, and his early discontentment with the final form of the theory , is well known in broad outline. Thanks to the work of John Norton and others, much of the fine detail of the story is also now known. One aspect of Einstein's work in this period has, however, been relatively neglected: Einstein's commitment to Mach's ideas on inertia, and the influence this commitment had on Einstein's work on (...) general relativity from 1907 to 1918. In this paper published writings and archival material are examined, to try to reconstruct the details of Einstein's thinking about inertia and gravitation, and the role that Mach's ideas played in Einstein's crucial work on the general theory. By the end, a clear picture of Einstein's conceptions of Mach's ideas on inertia, and their philosophical motivations, will emerge. Several surprising conclusions also emerge: Einstein's desire for a Machian gravitation theory was the central force driving his work from 1912 to 1915, keeping him going despite numerous frustrating setbacks; Einstein's continued commitment to Mach's ideas in 1916–1917 kept him at work trying various strategies of modification of the field equations, in order to exclude anti-Machian solutions ; and as late as early 1918, Einstein was ready to call the whole General Theory a failure if no way of squaring it with Mach's ideas on inertia could be found. But by 1920 Einstein advocated a view that granted spacetime independent existence with physical qualities of its own, a complete break with his earlier Machian views. (shrink)

Time magazine's "Man of the Century", Albert Einstein is the founder of modern physics and his theory of relativity is the most important scientific idea of the modern era. In this short book, Einstein explains, using the minimum of mathematical terms, the basic ideas and principles of the theory that has shaped the world we live in today. Unsurpassed by any subsequent books on relativity, this remains the most popular and useful exposition of Einstein's immense contribution to human knowledge. With (...) a new foreword by Derek Raine. (shrink)

Kurt Godel was the most outstanding logician of the twentieth century, famous for his work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, and the foundations of computation theory, as well as for the strong individuality of his writings on the philosophy of mathematics. Less well-known is his discovery of unusual cosmological models for Einstein's (...) equations, permitting "time-travel" into the past. This second volume of a comprehensive edition of Godel's works collects together all his publications from 1938 to 1974. Together with Volume I (Publications 1929-1936), it makes available for the first time in a single source all of his previously published work. Continuing the format established in the earlier volume, the present text includes introductory notes that provide extensive explanatory and historical commentary on each of the papers, a facing English translation of the one German original, and a complete bibliography. Succeeding volumes are to contain unpublished manuscripts, lectures, correspondence, and extracts from the notebooks. Collected Works is designed to be accessible and useful to as wide an audience as possible without sacrificing scientific or historical accuracy. The only complete edition available in English, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, and computer science. These volumes will also interest scientists and all others who wish to be acquainted with one of the great minds of the twentieth century. (shrink)

This is an expansion of the author's 1991 work which investigates the implications of Gödel's writings on Einstein's theory of relativity as they relate to the fundamental questions of the nature of time and the possibilities for time travel.

This is an exploration of a cluster of related logical results. Taken together these seem to have something philosophically important to teach us: something about knowledge and truth and something about the logical impossibility of totalities of knowledge and truth. The book includes explorations of new forms of the ancient and venerable paradox of the :Liar, applications and extensions of Kaplan and Montague's paradox of the Knower, generalizations of Godel's work on incompleteness, and new uses of Cantorian diagonalization. Throughout, the (...) concern is with metaphysical and epistemological implications of these results: what such results may have to teach us about knowledge, truth, and possibility. (shrink)

This richly detailed biography captures both the personal life and the scientific career of Isaac Newton, presenting a fully rounded picture of Newton the man, the scientist, the philosopher, the theologian, and the public figure. Professor Westall treats all aspects of Newton's career, but his account centers on a full description of Newton's achievements in science. Thus the core of the work describes the development of the calculus, the experimentation that altered the direction of the science of optics, and especially (...) the investigations in celestial dynamics that led to the law of universal gravitation. (shrink)

There are several forms of the Ontological Argument, but it is more or less fair to say that all hang on the contention that the notion of a perfect being entails the existence of that being, since existence is involved in perfection. My first interest is in the word "perfect." The word, I think, is usually vague but it seems to me that, in the context of the proof, it has a meaning which turns out to be much more pedestrian (...) than we would suspect. The argument, if it is valid, must assert that any perfect being would have to have every possible characteristic. It alleges that existence is a characteristic and it is, of course, over this that most debate has centered. It seems clear, however, that "perfect," as employed in the argument, merely means what we would call "complete" in less august transactions. In some forms of the proof, indeed, this is made somewhat clearer since the expression "greatest possible" being is substituted for "perfect." Ordinarily, no one would be tempted to pass lightly from the notion of "that which is complete" to the notion of "the deity." Both "perfect" and "greatest possible" appear to have moral connotations and "complete" usually does not. The slide, however, is made easier by the recurrent notion that evil is not a positive quality but merely the absence of another positive quality, usually goodness. If this view is held, it certainly does follow that whatever is "complete" must be "perfect" in the moral sense as well as in the other usual senses. It is not, here, my concern to pass judgment on this notion. I am, at the moment, merely trying to trace possible sources of confusion in the argument. (shrink)