Tomasz Bigaj

It is commonplace to formalize propositions involving essential properties of objects in a language containing modal operators and quantifiers. Assuming David Lewis’s counterpart theory as a semantic framework for quantified modal logic, I will show that certain statements discussed in the metaphysics of modality de re, such as the sufficiency condition for essential properties, cannot be faithfully formalized. A natural modification of Lewis’s translation scheme seems to be an obvious solution but is not acceptable for various reasons. Consequently, the only safe way to express some intuitions regarding essential properties is to use directly the language of counterpart theory without modal operators.

The aim of this paper is to reconstruct and correct one argument in support of the symmetrization postulate in quantum mechanics. I identify the central premise of the argument as a thesis specifying a particular ontic property of quantum superpositions. The precise form of this thesis depends on some underlying assumptions of a metaphysical character. I compare the exchange degeneracy argument with alternative formal arguments for the symmetrization postulate, and I discuss the role and meaning of labels in the symmetric/antisymmetric representations of the states of many particles.

An important part of the influential Humean doctrine in philosophy is the supervenience principle (sometimes referred to as the principle of separability). This principle asserts that the complete state of the world supervenes on the intrinsic properties of its most fundamental components and their spatiotemporal relations (the so-called Humean mosaic). There are well-known arguments in the literature purporting to show that in quantum mechanics the Humean supervenience principle is violated, due to the existence of entangled states. Recently, however, arguments have been presented to the effect that the supervenience principle can be defended in Bohmian mechanics. The key element of this strategy lies in the observation that according to Bohmian mechanics the fundamental facts about particles are facts about their spatial locations, and moreover, for any proper subsystem of the world its state may non-trivially depend on the spatial configuration of the rest of the universe. Thus quantum-mechanical states of subsystems do not represent their intrinsic properties but rather characterize their relations with the environment. In this paper we point out the worry that this Bohmian strategy --known as Bohumianism-- saves the letter but not the spirit of the Humean doctrine of supervenience, since it prima facie violates another seemingly important Humean principle, which we call Strong Supervenience and whose denial implies the existence of necessary connections among distinct individuals. We argue that the best defense for Bohumians is to question the fundamental existence of complex physical systems and their states by treating any reference to them as a convenient description of the underlying collection of Bohmian particles. We consider several pros and cons of this strategy.

The main focus of this paper is on the notion of transtemporal identity applied to quantum particles. I pose the question of how the symmetrization postulate with respect to instantaneous states of particles of the same type affects the possibility of identifying interacting particles before and after their interaction. The answer to this question turns out to be contingent upon the choice between two available conceptions of synchronic individuation of quantum particles that I call the orthodox and heterodox approaches. I argue that the heterodox approach offers a better explanation of the known experimental facts regarding particle interactions, and I probe deeper the concepts of synchronic and diachronic identity emerging from this approach.

One of the basic assumptions of David Lewis's formal semantics of counterfactuals is that the crucial relation of comparative similarity between possible worlds is a linear ordering.Yet there are arguments that when we take into account relativistic features of space-time, this relationshould be only a partial ordering. The first part of the paper deals with the question of how to formulate appropriatetruth conditions for counterfactuals under the supposition of a partial ordering of possible worlds. Such truthconditions will be put forward, and it will be argued that they are more general than those proposed in recentliterature, because they turn out to be applicable also when the so-called Limit Assumption is not met. The secondpart analyzes two relativistically invariant ways of interpreting spatiotemporal counterfactuals with antecedentsreferring to free-chance point events. After briefly examining key differences between these two approaches,the issue of their extension for a broader class of antecedents will be addressed. Following the approach of Finkelstein, who has proposed a specifically designed similarity relation between possible worlds, servingas a generalization tool in the case of one of the above intuitions, the possibility of a similar extension forthe second interpretation will be considered. The main result of the paper is the theorem to the effect that thegeneralization of the second intuition is impossible to obtain. More specifically, the theorem proved in the paperstates that there is no similarity relation which together with the Lewis-style truth conditions for counterfactualswould imply the second of the above interpretations as a special case. Some consequences of thistheorem for the applicability of the Lewis logic of counterfactuals to quantum phenomena will be briefly mentionedat the end of the paper.

In the first section of the chapter, I scrutinize Howard Stein’s 1991 definition of a transitive becoming relation that is Lorentz invariant. I argue first that Stein’s analysis gives few clues regarding the required characteristics of the relation complementary to his becoming—i.e. the relation of indefiniteness. It turns out that this relation cannot satisfy the condition of transitivity, and this fact can force us to reconsider the transitivity requirement as applied to the relation of becoming. I argue that the relation of becoming need not be transitive, as long as it satisfies the weaker condition of “cumulativity”: for a given observer the area of the events that have become real should not diminish as time progresses. I show that there are actually two relations of becoming that meet this weakened condition: Stein’s (transitive) relation of causal past connectibility and the (non-transitive) relation that is the logical complement of the future causal connectibility. In the second part of the chapter I defend Stein’s notion of temporal becoming against the attack that appeals to quantum-mechanical non-locality. I critically evaluate the argument given by Mauro Dorato (1996) that purports to show that space-like separated measurements done on the EPR system have to be mutually determinate. Finally, in order to account for the truth of counterfactual statements that link the space-like separated outcomes, I propose a dynamic conception of becoming, according to which the sphere of determinate events as of a given point may depend on the physical phenomena transpiring at this point.

This is an attempt to defend Field's nominalistic program from the criticism raised by K. Wójtowicz in his article. The author argues for the following theses: (a) that Wójtowicz uses the notion of „mathematical theory” broader than Field does it; (b) that he misinterprets the conception of the „abstract counterparts” of nominalistic statements; (c) and that his general evaluation of Field's program is based on too high methodological standards which he applies to the possible nominalistic versions of empirical theories. The second part of this paper contains an attempt to generalize the results of Field's analysis. The following fact is proved: every open sentence expressible in the language of an empirical theory and being empirically contentful is implicitly definable by the set of certain qualitative predicates. In the case of first-order language this result can be strengthened via Beth's definability theorem, to the theorem stating that every open sentence fulfilling conditions formulated above is definable explicitly with the help of certain nominalistic formula. The philosophical significance of this result is that each mathematized empirical theory for which representation theorem is true, can be translated into purely qualitative version

In the article the possibility of breaking the eigenvalue-eigenstate link in quantum mechanics is considered. An argument is presented to the effect that there are some non-maximal observables for which the implication from eigenstates to eigenvalues is not valid, i.e. such that although the probability of revealing certain value upon measurement is one, they don't possess this value before the measurement. It is shown that the existence of such observables leads to contextuality, i.e. the thesis that one Hermitean operator can represent more than one physical observable. Finally, contextuality brought about by these considerations is compared with contextuality suggested by the Kochen-Specker paradox.

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

In the paper, the proof of the non-locality of quantum mechanics, given by Bedford and Stapp (1995), and appealing to the GHZ example, is analyzed. The proof does not contain any explicit assumption of realism, but instead it uses formal methods and techniques of the Lewis calculus of counterfactuals. To ascertain the validity of the proof, a formal semantic model for counterfactuals is constructed. With the help of this model it can be shown that the proof is faulty, because it appeals to the unwarranted principle of “elimination of eliminated conditions” (EEC). As an additional way of showing unreasonableness of the assumption (EEC), it is argued that yet another alleged and highly controversial proof of non-locality of QM, using the Hardy example, can be made almost trivial with the help of (EEC). Finally, a general argument is produced to the effect that the locality condition in the form accepted by Stapp and Bedford is consistent with the quantum-mechanical predictions for the GHZ case under the assumption of indeterminism. This result undermines any future attempts of proving the incompatibility between the predictions of quantum theory and the idea of no faster-than-light influence in the GHZ case, quite independently of the negative assessment of the particular derivation proposed by Stapp and Bedford.