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.

In the context of a discussion of time symmetry in the quantum mechanical measurement process, Aharonov et al. (1964) derived an expression concerning probabilities for the outcomes of measurements conducted on systems which have been pre- and postselected on the basis of both preceding and succeeding measurements. Recent literature has claimed that a resulting "time-symmetrized" interpretation of quantum mechanics has significant implications for some basic issues, such as contextuality and determinateness, in elementary, nonrelativistic quantum mechanics. Bub and Brown (1986) have (...) shown that under the standard interpretation of the aforementioned expression, these claims employ ensembles which are not well defined. It is argued here that under a counterfactual interpretation of the expression, these claims may be understood as employing well-defined ensembles; it is shown, however, that such an interpretation cannot be reconciled with the standard interpretation of quantum mechanics. (shrink)

An apparent paradox proposed by Aharonov and Vaidman in which a single particle can be found with certainty in two (or more) boxes is analyzed by way of a simple thought experiment. It is found that the apparent paradox arises from an invalid counterfactual usage of the Aharonov-Bergmann-Lebowitz (ABL) rule and effectively attributes conflicting properties not to the same particle but no different particles. A connection is made between the present analysis and the consistent histories formulation of Griffiths. Finally, a (...) critique is given of some recent counterarguments by Vaidman against the rejection of the counterfactual usage of the ABL rule. (shrink)