One of the most interesting programs in the foundations of quantum mechanics is the realist quantum logic approach associated with Putnam, Bub, Demopoulos and Friedman (and which is the focus of my own research.) I believe that realist quantum logic is our best hope for making sense of quantum mechanics, but I have come to suspect that the usual version may not be the correct one. In this paper, I would like to say why and to propose an alternative.

In a recent paper, Michael Friedman and Hilary Putnam argued that the Luders rule is ad hoc from the point of view of the Copenhagen interpretation but that it receives a natural explanation within realist quantum logic as a probability conditionalization rule. Geoffrey Hellman maintains that quantum logic cannot give a non-circular explanation of the rule, while Jeffrey Bub argues that the rule is not ad hoc within the Copenhagen interpretation. As I see it, all four are wrong. Given that (...) there is to be a projection postulate, there are at least two natural arguments which the Copenhagen advocate can offer on behalf of the Luders rule, contrary to Friedman and Putnam. However, the argument which Bub offers is not a good one. At the same time, contrary to Hellman, quantum logic really does provide an explanation of the Luders rule, and one which is superior to that of the Copenhagen account, since it provides an understanding of why there should be a projection postulate at all. (shrink)

This book concentrates on research done during the last twenty years on the philosophy of quantum mechanics. In particular, the author focuses on three major issues: whether quantum mechanics is an incomplete theory, whether it is non-local, and whether it can be interpreted realistically. Much of the book is concerned with distinguishing various senses in which these questions can be taken, and assessing the bewildering variety of answers philosophers and physicists have given up to now. The book is self-contained in (...) that it presents the necessary parts of the mathematical formalism of quantum mechanics and also covers other interpretative topics, such as the problem of measurement and the uncertainty relations. A considerable portion of the book is based on original arguments presented by the author in lectures and research papers over the past ten years. However, this material is integrated with a broad coverage of most of the recent research in the field, so as to provide a balanced introduction to the whole subject. (shrink)

Quantum theory is a probabilistic theory that embodies notoriously striking correlations, stronger than any that classical theories allow but not as strong as those of hypothetical ‘super-quantum’ theories. This raises the question ‘Why the quantum?’—whether there is a handful of principles that account for the character of quantum probability. We ask what quantum-logical notions correspond to this investigation. This project isn’t meant to compete with the many beautiful results that information-theoretic approaches have yielded but rather aims to complement that work.

In this paper, I want to present a family of results that may seem to add up to a new proof of the impossibility of hidden variables. In fact, I very much doubt that that’s really what really emerges, but I think the results are nonetheless interesting because they help to sharpen the discussion of Jon Jarrett’s very useful decompostion theorem, in particular, of the condition he calls locality. Jarrett (1984) and Ballentine and Jarrett (1987) have suggested that the so-called (...) condition of locality is the one that provides the conceptual link between hidden variable theories and relativity: if locality is violated, so is relativity. On the other hand, a theory may violate the condition Jarrett calls completeness without running afoul of relativity. Now I agree with Jarrett and Ballentine about completeness, but I strongly suspect that we have quite a way to go before we really understand what would be involved in a violation of locality. (shrink)

Emilio Santos has argued (Santos, Studies in History and Philosophy of Physics http: //arxiv-org/abs/quant-ph/0410193) that to date, no experiment has provided a loophole-free refutation of Bell’s inequalities. He believes that this provides strong evidence for the principle of local realism, and argues that we should reject this principle only if we have extremely strong evidence. However, recent work by Malley and Fine (Non-commuting observables and local realism, http: //arxiv-org/abs/quant-ph/0505016) appears to suggest that experiments refuting Bell’s inequalities could at most confirm (...) that quantum mechanical quantities do not commute. They also suggest that experiments performed on a single system could refute local realism. In this paper, we develop a connection between the work of Malley and Fine and an argument by Bub from some years ago [Bub, The Interpretation of Quantum Mechanics, Chapter VI(Reidel, Dodrecht,1974)]. We also argue that the appearance of conflict between Santos on the one hand and Malley and Fine on the other is a result of differences in the way they understand local realism. (shrink)

Jarrett (1984) and Ballentine and Jarrett (1987) have argued that violations of Jarrett's locality condition are strictly forbidden by the theory of relativity. In Ballentine and Jarrett, this claim is supported by an appeal to the fact that superluminal signalling gives rise to causal paradoxes. In this paper, it is argued that if violations of locality are permitted, certain puzzles indeed arise. The result takes the form of a set of apparent "no go" theorems. However, it is argued that the (...) results may not really show what they seem to, and that contrary to Ballentine and Jarrett, it is by no means clear that relativity forbids violations of Jarrett's locality condition. (shrink)

Quantum logic understood as a reconstruction program had real successes and genuine limitations. This paper offers a synopsis of both and suggests a way of seeing quantum logic in a larger, still thriving context.

I begin with an appeal to the GHZ/Mermin state to illustrate the allure of contextualism and value-definiteness. I then point out that standard contextualism, with its special status for non-degenerate operators, faces some embarrassing questions. Further, there is an alternative that apparently does not have the same problems. A modest re-pasting of Hilbert space makes the honors almost even between these two varieties. The paper closes with some reflections on the peculiarities of contextualism.

We define a family of ‘no signaling’ bipartite boxes with arbitrary inputs and binary outputs, and with a range of marginal probabilities. The defining correlations are motivated by the Klyachko version of the Kochen-Specker theorem, so we call these boxes Kochen-Specker-Klyachko boxes or, briefly, KS-boxes. The marginals cover a variety of cases, from those that can be simulated classically to the superquantum correlations that saturate the Clauser-Horne-Shimony-Holt inequality, when the KS-box is a generalized PR-box (hence a vertex of the ‘no (...) signaling’ polytope). We show that for certain marginal probabilities a KS-box is classical with respect to nonlocality as measured by the Clauser-Horne-Shimony-Holt correlation, i.e., no better than shared randomness as a resource in simulating a PR-box, even though such KS-boxes cannot be perfectly simulated by classical or quantum resources for all inputs. We comment on the significance of these results for contextuality and nonlocality in ‘no signaling’ theories. (shrink)

What determines qualitative sameness and difference? This book explores four principal accounts of the ontological basis of properties, including universals, trope theory, resemblance nominalism, and class nominalism, considering the assumptions and ontolological commitments which are required to make each into a plausible account of properties. -/- The latter half of the book investigates the applications of property theory and the different conceptions of properties which might be adopted with these in mind: first, the possibility and desirability of individuating properties, and (...) the distinction between sparse and abundant conceptions of properties; second, the distinction between intrinsic and extrinsic properties; third, the relationship between properties and their causal powers, and whether this is necessary or contingent; fourth, the relationship between properties and causation, modality, and laws of nature; finally, whether properties exist objectively, and if they do, what our epistemic position is with respect to such entities. (shrink)

The subject of this book is moral change, including moral progress and regression. The intention is to use the best thinking about the evolution of morality and the best available social science research to determine the possibilities for progressive change in human moralities by examining important morally progressive changes that have already occurred, in order to determine the social conditions that are conducive to moral progress.

Presents a self-contained introduction to logic suitable for majors and nonmajors, and can be covered entirely in a one-semester course. Natural deduction systems of sentential logic and of first-order logic, truth tables, and the basic ideas of model theory are presented without superfluous discussion.

In this book, Newell makes the case for unified theories by setting forth a candidate.

Does critical theory still need psychoanalysis? In Critique on the Couch, Amy Allen offers a cogent and convincing defense of its ongoing relevance. Countering the overly rationalist and progressivist interpretations of psychoanalysis put forward by contemporary critical theorists such as Jürgen Habermas and Axel Honneth, Allen argues that the work of Melanie Klein offers an underutilized resource. She draws on Freud, Klein, and Lacan to develop a more realistic strand of psychoanalytic thinking that centers on notions of loss, (...) negativity, ambivalence, and mourning. Far from leading to despair, such an understanding of human subjectivity functions as a foundation of creativity, productive self-transformation, and progressive social change. At a time when critical theorists are increasingly returning to psychoanalytic thought to diagnose the dysfunctions of our politics, this book opens up new ways of understanding the political implications of psychoanalysis while preserving the progressive, emancipatory aims of critique. (shrink)

Kant's Moral Religion argues that Kant's doctrine of religious belief if consistent with his best critical thinking and, in fact, that the "moral arguments"--along with the faith they justify--are an integral part of Kant's critical thinking.

Scholars have detected hostility to technology in Daoist thought. But is this a problem with any machine or only some applications of some machines by some people? I show that the problem is not with machines per se but with the people who introduce them, or more exactly with their knowledge. It is not knowledge as such that causes the disorder Laozi and Zhuangzi associate with machines; it is confused, disordered knowledge—superficial, inadequate, unsubtle, and artless. In other words the problem (...) is not with machines but with the ethics of engineering and the government of technology. The Daoist argument does not devalue machines or knowledge of them; instead, it sets a new goal, defining an alternative ideal—alternative to techniques held hostage to despotic ideas about efficiency and profit. (shrink)

According to naïve realist (or primitivist) theories of colour, colours are sui generis mind-independent properties. The question that I consider in this paper is the relationship of naïve realism to what Mark Johnston calls Revelation, the thesis that the essential nature of colour is fully revealed in a standard visual experience. In the first part of the paper, I argue that if naïve realism is true, then Revelation is false. In the second part of the paper, I defend naïve realism (...) against a number of objections. (shrink)

The demise of behaviorism has made ethologists more willing to ascribe mental states to animals. However, a methodology that can avoid the charge of excessive anthropomorphism is needed. We describe a series of experiments that could help determine whether the behavior of nonhuman animals towards dead conspecifics is concept mediated. These experiments form the basis of a general point. The behavior of some animals is clearly guided by complex mental processes. The techniques developed by comparative psychologists and behavioral ecologists are (...) able to provide us with the tools to critically evaluate hypotheses concerning the continuity between human minds and animal minds. (shrink)

Kant’s position on the problem of free will can be perplexing and frustrating: all the real questions about human agential capacities or even about issues of moral imputability are empirical questions, which have empirical answers. But there remains a metaphysical or transcendental problem about the possibility of freedom, which is forever insoluble. Ian Proops’ discussion in The Fiery Test of Critique is to be commended for displaying the rare virtue of appreciating this last point and presenting Kant’s position about it (...) accurately. The only questionable part has to do with the standard terminology – ‘determinism’, ‘libertarianism’, ‘compatibilism’, and ‘incompatibilism’. I argue that it would be better to say, as Kant does, and Proops also does most of the time, that practical freedom, hence transcendental freedom, must be presupposed whenever we act or even judge, but how freedom is possible is both unknowable and even incomprehensible to us. (shrink)

On the occasion of a first conference on Cognitive Science, it seems appropriate to review the basis of common understanding between the various disciplines. In my estimate, the most fundamental contribution so far of artificial intelligence and computer science to the joint enterprise of cognitive science has been the notion of a physical symbol system, i.e., the concept of a broad class of systems capable of having and manipulating symbols, yet realizable in the physical universe. The notion of symbol so (...) defined is internal to this concept, so it becomes a hypothesis that this notion of symbols includes the symbols that we humans use every day of our lives. In this paper we attempt systematically, but plainly, to lay out the nature of physical symbol systems. Such a review is in ways familiar, but not thereby useless. Restatement of fundamentals is an important exercise. (shrink)

This book offers twelve examples, from 1600-2000, of the development of scientific ideas that were shaped by religious factors. Understood in this way, the development of science is deeply influenced by theological ways of thought.

In Sounds, Ecologies, Musics, authors pose exciting challenges and provide fresh opportunities for scholars, scientists, environmental activists, and musicians to consider music and sound from ecological standpoints. The book covers topics such as how environment enables music and sound, how music and sound relate to Western environmental science, and mutidisciplinary collaborations among scholars.

Forty years ago, Vaughn Ball demonstrated that the then received notion of conditional relevance served no useful purpose, as it would only come into effect if the probability of an element were 0.0. But, if the probability of an element were 0.0, a directed verdict would be in order and so once again conditional relevancy was doing no work. I extended that analysis to include the relationship between proffers of evidence and facts of consequence to demonstrate that the work that (...) conditional relevancy was supposedly doing was isomorphic to that done by relevancy in all significant ways, and yet the Federal Rules of Evidence provide different standards for the two situations to determine admissibility. I thus proposed an amendment to FRE 104(b) to provide for the same standard to be applied to ‘relevancy’ and ‘conditional relevancy’. In a recent article, Matthew Kotzen appears to subject this work to intense scrutiny and criticism, yet at the same time reaches, so far as I can tell, identical conclusions. This raises the question, which I examine, whether this is an example of cross-disciplinary difficulties in communication. (shrink)

This important study, the first book-length treatment of an increasingly crucial topic, treats the moral issues of secession at two levels. At the practical level, Professor Buchanan develops a coherent theory of the conditions under which secession is morally justifiable. He then applies it to historical and contemporary examples, including the U.S. Civil War and more recent events in Bangladesh, Katanga, and Biafra, the Baltic states, South Africa, and Quebec. This is the first systematic account of the conditions and terms (...) that justify secession from a political union.But Buchanan also locates this account of the right to secede in the broader context of contemporary political thought, introducing readers to influential accounts of political society such as contractarianism and communitarianism, and showing how the possibility of secession fits into a more complete understanding of political community and political obligation.At both levels this is an important book. It will interest not just political and social theorists but any reader concerned with one of the most momentous issues of our day: the future of troubled political federations and other states under conditions of ethnic and cultural pluralism. (shrink)