The law of gravitation, an example of physical law The relation of mathematics to physics The great conservation principles Symmetry in physical law The distinction of past and future Probability and uncertainty: the quantum mechanical view of nature Seeking new laws.

Using everyday language, spatial concepts, visualizations and his renowned "Feynman diagrams," the author clearly and humorously communicates the substance and spirit of QED (quantum electodynamics).

The physical limitations, due to quantum mechanics, on the functioning of computers are analyzed.

Argumenta el autor que ciencia no es lo que han dicho los filósofos y tampoco lo que dicen las guías del profesor. ¿Qué es? Y afirma: durante toda mi vida he hecho ciencia y sé lo que es, pero me siento incapaz de decirlo. Y lo ejemplifica con el maravilloso número pi, diciendo: lo importante para mí no era el número, sino la idea de que existía un misterio. Pero finalmente se arriesga: dudar de la veracidad de lo que nos (...) es trasmitido del pasado y tratar de determinar ab initio nuevamente esas situaciones a partir de la experiencia, en vez de admitir las experiencias del pasado tal como nos llegan, esto es la ciencia. (shrink)

The quantum theory of decoherence plays an important role in a pragmatist interpretation of quantum theory. It governs the descriptive content of claims about values of physical magnitudes and offers advice on when to use quantum probabilities as a guide to their truth. The content of a claim is to be understood in terms of its role in inferences. This promises a better treatment of meaning than that offered by Bohr. Quantum theory models physical systems with no mention of measurement: (...) it is decoherence, not measurement, that licenses application of Born’s probability rule. So quantum theory also offers advice on its own application. I show how this works in a simple model of decoherence, and then in applications to both laboratory experiments and natural systems. Applications to quantum field theory and the measurement problem will be discussed elsewhere. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Rhetoric 35.2 (2002) 153-174 [Access article in PDF] LSDNA: Rhetoric, Consciousness Expansion, and the Emergence of Biotechnology Richard Doyle I had to struggle to speak intelligibly. —Albert Hofmann on his self-experiment with LSD-25 Finding a place to start is of utmost importance. Natural DNA is a tractless coil, like an unwound and tangled audio tape on the floor of the car in the dark. —Kary Mullis (...) on the invention of Polymerase Chain Reaction 1. Undoing life What happened is this: Once upon a time there was a narrative of vitality. Ok, not a narrative, but an apprehension, a fear, a vision. It didn't have a beginning, middle, or end. It was. Its contours were no more determinable than those of consciousness. Indeed, our consciousness, as humans, was our sole alleged difference from it. From something called "life." We were more than life, but were also, tragically, confined to it. You know the story all too well. Some of its major authors were Cuvier, Lamarck, Darwin, Bichat. Even Shelley.Just because this sudden transformation happened on paper doesn't mean it was easy to endure. Enormous numbers of humans went on tranquilizers just to deal with the effects. Others, elsewhere, knew nothing but rumors. Nonetheless, they became increasingly implicated in its effects, the effects of understanding and experiencing both "life" and "consciousness" as informatic events. Suddenly—and it is sudden, a real surprise—both our vitality and our thought were distributed, scattered across a network and nowhere in particular. Timothy Leary and Francis Crick were speaking the same language, the language of information where the organic and the machinic enfold each other helically and, sometimes, the capacity for replication goes through the ceiling. This new language of information would [End Page 153] introduce a novel response and abyss: the pleasures and hells of eternal replication. The distribution of both life and consciousness enabled a dream of immortality from which we have not yet awakened, as the mere specter of infinite clonal replicants provokes entropies of identity even as it preserves the self from onslaughts of decay. 1In at least one of its characteristics this shift toward an informatic understanding of life is perhaps not really so novel. The seductions of control are hardly, historians of science tell us, foreign to the practices and effects of technoscience. Evelyn Fox Keller makes this point concisely and precisely in her not-quite eponymous essay, "From Secrets of Life to Secrets of Death," itself a self-professed sequel to her 1986 "Making Gender Visible." Here the scientific "impulse" is underwritten by a perennial motif that underlies much of scientific creativity, namely, the urge to fathom the secrets of nature and the collateral hope that, in fathoming the secrets of nature, we will fathom (and hence gain control of) our own mortality (Secrets, 29).Surely Keller is correct that the nascent practices of molecular biology were cryptographic in character, an espionage project unknowingly launched by Erwin Schrodinger during the Second World War. Surely it is crucial to this moment that while Schrodinger's 1943 Dublin lectures were introducing audiences to the concept of the code-script, Alan Turing again brilliantly decrypted a modified U-boat code, giving the Allies code superiority for the remainder of the war. 2 But in this segment on that strange growth called "biotechnology," I want to focus on what Keller has called the "collateral" of hope in this cryptographic impulse, namely the collateral equation between inquiry and control, specifically the control of mortality.For is "fathoming" a secret identical to the exercise of control? The very cadence and rhetorical encryption of Keller's formulation here, a general parenthetical syllogistic conclusion within and alongside a hyphenated invocation of particularity, suggest that concepts and practices of secrecy are more unstable than Keller implies with her invocation of Feynman's "disease" of lock picking: "One of my diseases, one of my things in life, is that anything that is secret, I try to undo" (40).For Keller, Feynman's confession is emblematic of a desire to control life and death... (shrink)

During the Middle Ages there were all kinds of crazy ideas, such as that a piece of rhinoceros horn would increase potency. Then a method was discovered for separating the ideas -- which was to try one to see if it worked, and if it didn't work, to eliminate it. This method became organized, of course, into science. And it developed very well, so that we are now in the scientific age. It is such a scientific age, in fact, that (...) we have difficulty in understanding how witch doctors could ever have existed, when nothing that they proposed ever really worked -- or very little of it did. (shrink)

This essay is prompted, in part, by a spate of alarmist articles in the media over the past several years concerning what journalists have called "the creativity crisis,"2 articles claiming, in other words, that American creativity is in decline. A corresponding call has arisen to seek remedies and determine how creativity might be fostered in the lives of children so as to stem the tide of this (alleged) decline. While taking these dramatic concerns and pronouncements cum grano salis, this article (...) responds, nevertheless, by extracting a set of themes drawn from the childhoods of three individuals whose remarkable contributions to the disparate fields of science, classical music, and visual art are beyond.. (shrink)

As histories of nanotechnology are created, one question arises repeatedly: how influential was Richard Feynman’s 1959 talk, “There’s Plenty of Room at the Bottom”? It is often said by knowledgeable people that this talk was the origin of nanotech. It preceded events like the invention of the scanning tunneling microscope, but did it inspire scientists to do things they would not have done otherwise? Did Feynman’s paper directly influence important scientific developments in nanotechnology? Or is his paper (...) being retroactively read into the history of nanotechnology? To explore those questions, I trace the history of “Plenty of Room,” including its publication and republication, its record of citations in scientific literature, and the comments of eight luminaries of nanotechnology. This biography of a text and its life among other texts enables us to articulate Feynman’s paper with the history of nanotechnology in new ways as it explores how Feynman’s paper is read. (shrink)

As histories of nanotechnology are created, one question arises repeatedly: how influential was Richard Feynman’s 1959 talk, “There’s Plenty of Room at the Bottom”? It is often said by knowledgeable people that this talk was the origin of nanotech. It preceded events like the invention of the scanning tunneling microscope, but did it inspire scientists to do things they would not have done otherwise? Did Feynman’s paper directly influence important scientific developments in nanotechnology? Or is his paper (...) being retroactively read into the history of nanotechnology? To explore those questions, I trace the history of “Plenty of Room,” including its publication and republication, its record of citations in scientific literature, and the comments of eight luminaries of nanotechnology. This biography of a text and its life among other texts enables us to articulate Feynman’s paper with the history of nanotechnology in new ways as it explores how Feynman’s paper is read. (shrink)

Seven years after Richard Feynman died, I visited Caltech for the first time. One reason for the visit was to give a talk about the transactional interpretation of quantum mechanics, which draws so strongly on Feynman's own unusual ideas about the nature of electromagnetic radiation, now more than half a century old. It was, to say the least, an unusual feeling to be talking not just from the spot where Feynman himself used to lecture, but about (...) his own work. And when, during the question period at the end of the talk, the discussion moved on to QED, the dream-like quality of the occasion intensified -- an audience at Caltech, of all places, was asking me to explain QED to them! (shrink)

In 1949, Richard Feynman published the essentials of his solution to the recalcitrant problems that plagued quantum theories of electrodynamics of his days. The main problem was that the theory, that was considered to be correct and often led to correct observable consequences, also implied that some quantities should be infinite, while by common sense or empirical evidence they were finite. Feynman devised a method of solving the relevant theoretical equations in which particular combinations of elementary solutions (...) yielded empirically adequate results even when applied to complex problems. The combination of the basic solutions was guided by relatively simple graphical considerations... (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

This study reconstructs the relationship between philosophy and politics in the way in which Heidegger's failure as a politician influenced the redevelopment of philosophy in the 1930s. The author also explains how Heidegger's failure influenced the content and direction of his later work.

Studies the politics of Heidegger in terms of "thrownness" or "existential contingency". Attempts to think through Heidegger's philosophy in a manner that parallels his own dialogue with other key western thinkers.

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

Having visited Ireland regularly during the 1930s, Ludwig Wittgenstein resigned his Cambridge philosophy professorship in 1947 and moved there, living in a fishing village on the Atlantic coast and hotels in Dublin and the Wicklow Mountains. Although Wittgenstein spent some time out of the country, Ireland was effectively his base for three very productive years during which he worked on what would become one of his key books, the posthumously published Philosophical Investigations. Wittgenstein in Ireland represents the first sustained account (...) of Wittgenstein's time in Ireland, placing it in its historical context. Wall pays a good deal of attention to the representation of the Irish landscape in which the Austrian philosopher found himself able to work; a large part of his writings were produced in the bleak landscapes of Ireland and Norway. (shrink)

Despite their differences in origin, the three influential schools of twentieth-century continental cultural criticism--the Frankfurt School, existentialism, and poststructuralism--have long been treated as an ensemble and with critical hesitancy. Examining these schools as responses to the apparent collapse of Western civilization in the twentieth-century and as formidable intellectual challenges to the cultural legacies of the Enlightenment, this book provides a productive base for criticism and broadens our understanding of their histories and reception.

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...) the connectives in question. (shrink)

This classic, provocative introduction to classical metaphysical questions focuses on appreciating the problems, rather than attempting to proffer answers.

Drawing on case studies from around the world - including Iran, Guatemala, USA and Mexico - this collection documents how transnational human rights discourses and legal institutions are materialised, imposed, resisted and transformed in a variety of contexts.

Written by a former student of Heidegger, this book examines the relationship between the philosophy and the politics of a celebrated teacher and the allure that Nazism held out for scholars committed to revolutionary nihilism.

In this study, Worsley argues that it is rational to believe in a loving God in the face of evil. Beginning with a critique of Alvin Plantinga, he shows that human freedom is highly complex, and so depends upon complex structures in nature. These are both necessary for freedom but also sufficient for natural evil. He offers close analysis of the evolution of the human brain. The book develops a parallel argument that human evil stems from the evolution of personality.

. History of the concept of economic efficiency . INTRODUCTION James Buchanan won the Nobel Prize by proving that the process by which elected officials ...