Counterfactuals in quantum theory are briefly reviewed and it is argued that they are very different from counterfactuals considered in the general philosophical literature. The issue of time symmetry of quantum counterfactuals is considered and a novel time-symmetric definition of quantum counterfactuals is proposed. This definition is applied for analyzing several controversies related to quantum counterfactuals.

Recently various gedankenexperiments have been formulated which argue that the assumption that “elements of reality” are Lorentz invariant cannot be reconciled with standard quantum mechanics. Two of these gedankenexperiments were subsequently analyzed using the notion of pre- and postselected quantum systems, and it was claimed that elements of reality can be made Lorentz invariant if the “product rule” of standard quantum mechanics is abandoned. In this paper we show that the apparent violations of the product rule in these gedankenexperiments are (...) not as significant as they appeared to be in the previous analysis. We conclude that the problems with Lorentz invariance which arise in these gedankenexperiments are essentially unrelated to the product rule violations. (shrink)

There is a trend to consider counterfactuals as invariably time-asymmetric. Recently, this trend manifested itself in the controversy about validity of counterfactual application of a time-symmetric quantum probability rule. Kastner (2003) analyzed this controversy and concluded that there are time-symmetric quantum counterfactuals which are consistent, but they turn out to be trivial. I correct Kastner's misquotation of my defense of time-symmetric quantum counterfactuals and explain their non-trivial aspects, thus contesting the claim that counterfactuals have to be time-asymmetric.

It is proposed that the recent controversy over "time-symmetric quantum counterfactuals" (TSQCs), based on the Aharonov-Bergmann-Lebowitz Rule for measurements of pre- and post-selected systems, can be clarified by taking TSQCs to be counterfactuals with a specific type of compound antecedent. In that case, inconsistency proofs such as that of Sharp and Shanks (1993) are not applicable, and the main issue becomes not whether such statements are true, but whether they are nontrivial. The latter question is addressed and answered in the (...) negative. Thus it is concluded that TSQCs, understood as counterfactuals with a compound antecedent, are true but only trivially so, and provide no new contingent information about specific quantum systems (except in special cases already identified in literature). (shrink)

We articulate the problems posed by the quantum liar experiment (QLE) for backwards causation interpretations of quantum mechanics, time-symmetric accounts and other dynamically oriented local hidden variable theories. We show that such accounts cannot save locality in the case of QLE merely by giving up “lambda-independence.” In contrast, we show that QLE poses no problems for our acausal Relational Blockworld interpretation of quantum mechanics, which invokes instead adynamical global constraints to explain Einstein–Podolsky–Rosen (EPR) correlations and QLE. We make the case (...) that the acausal and adynamical perspective is more fundamental and that dynamical entities obeying dynamical laws are emergent features grounded therein. (shrink)