Tomasz Bigaj

Bell’s theorem in its standard version demonstrates that the joint assumptions of the hidden-variable hypothesis and the principle of local causation lead to a conflict with quantum-mechanical predictions. In his latest counterfactual strengthening of Bell’s theorem, Stapp attempts to prove that the locality assumption itself contradicts the quantum-mechanical predictions in the Hardy case. His method relies on constructing a complex, non-truth functional formula which consists of statements about measurements and outcomes in some region R, and whose truth value depends on the selection of a measurement setting in a space-like separated location L. Stapp argues that this fact shows that the information about the measurement selection made in L has to be present in R. I give detailed reasons why this conclusion can and should be resisted. Next I correct and formalize an informal argument by Shimony and Stein showing that the locality condition coupled with Einstein’s criterion of reality is inconsistent with quantum-mechanical predictions. I discuss the possibility of avoiding the inconsistency by rejecting Einstein’s criterion rather than the locality assumption.

he paper addresses the issue of the applicability of David Lewis’s possible world semantics of counterfactual conditionals to the explication of some quantum-mechanical phenomena. Three main reasons why counterfactual semantics may be useful for this task are given. It is further argued that two possible semantic approaches to counterfactuals involving spatiotemporal events which satisfy requirements of special relativity should be taken into account. The main problem considered in the article is how to expand both approaches into full semantic systems. The first of the approaches is known to be amenable to a generalization within the Lewis-style semantics. The second one, however, poses a greater challenge, as it has been proven (Bigaj 2004) that it cannot be incorporated into a similarity-based counterfactual semantics. In this article, an alternative method of generalization for the second counterfactual semantics is developed, which goes beyond Lewis’s framework based on the rigid similarity relation between possible worlds. The proposed method of evaluating counterfactuals is then put to the test using an example from the quantum theory. As a result of this test, a small correction of the method turns out to be necessary.

As it is well known, Jan Lukasiewicz invented his three-valued logic as a result of philosophical considerations concerning the problem of determinism and the status of future contingent sentences. In the article I critically analyse the thesis that the sentential calculus introduced by Lukasiewicz himself actually fulfills his philosophical assumptions. I point out that there are some counterintuitive features of Lukasiewicz three-valued logic. Firstly, there is no clear explanation for adopting specific truth-tables for logical connectives, such as conjunction, disjunction and first of all implication. Secondly, it is by no means clear, why certain classical logical principles should be invalid for future contingents. And thirly, I show that within Lukasiewicz logic it is possible to construct a „paradoxical” sentence, namely a conditional which changes in time its logical value from truth to falsity. This fact obviously contradicts Lukasiewicz's philosophical reading of his three truth values, according to which true sentences are already positively determined, false sentences are negatively determined, and possible sentences are neither positively, nor negatively determined. Above-mentioned facts justify in my opinion the thesis that Lukasiewicz's three-valued logic does not satisfy his philosophical intuitions. For this purpose more appropriate seems to be sentential calculus based on the so-called supervaluation. It is three-valued, non-extentional calculus, which nevertheless preserves all tautologies of the classical logic. At the end of the article I consider the possibility of introducing to this calculus modal operators.