Tomasz Bigaj

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.

In recent years, the so-calledindispensability argument has been given a lotof attention by philosophers of mathematics.This argument for the existence of mathematicalobjects makes use of the fact, neglected inclassical schools of philosophy of mathematics,that mathematics is part of our best scientifictheories, and therefore should receive similarsupport to these theories. However, thisobservation raises the question about the exactnature of the alleged connection betweenexperience and mathematics (for example: is itpossible to falsify empirically anymathematical theorems?). In my paper I wouldlike to address this question by consideringthe explicit assumptions of different versionsof the indispensability argument. My primaryclaim is that there are at least three distinctversions of the indispensability argument (andit can be even suggested that a fourth,separate version should be formulated). I willmainly concentrate my discussion on thisvariant of the argument, which suggests thepossibility of empirical confirmation ofmathematical theories. A large portion of mypaper will focus on the recent discussion ofthis topic, starting from the paper by E.Sober, who in my opinion put reasonablerequirements on what is to be counted as anempirical confirmation of a mathematicaltheory. I will develop his model into threeseparate scenarios of possible empiricalconfirmation of mathematics. Using an exampleof Hilbert space in quantum mechanicaldescription I will show that the most promisingscenario of empirical verification ofmathematical theories has neverthelessuntenable consequences. It will be hypothesizedthat the source of this untenability lies in aspecific role which mathematical theories playin empirical science, and that what is subjectto empirical verification is not themathematics used, but the representabilityassumptions. Further I will undertake theproblem of how to reconcile the allegedempirical verification of mathematics withscientific practice. I will refer to thepolemics between P. Maddy and M. Resnik,pointing out certain ambiguities of theirarguments whose source is partly the failure todistinguish carefully between different sensesof the indispensability argument. For thatreason typical arguments used in the discussionare not decisive, yet if we take into accountsome metalogical properties of appliedmathematics, then the thesis that mathematicshas strong links with experience seems to behighly improbable.

The existence of non-local correlations between outcomes of measurements in quantum entangled systems strongly suggests that we are dealing with some form of causation here. An assessment of this conjecture in the context of the collapse interpretation of quantum mechanics is the primary goal of this paper. Following the counterfactual approach to causation, I argue that the details of the underlying causal mechanism which could explain the non-local correlations in entangled states strongly depend on the adopted semantics for counterfactuals. Several relativistically-invariant interpretations of spatiotemporal counterfactual conditionals are discussed, and the corresponding causal stories describing interactions between parts of an entangled system are evaluated. It is observed that the most controversial feature of the postulated causal connections is not so much their non-local character as a peculiar type of circularity that affects them.

David Lewis’s latest theory of causation defines the causal link in terms of the relation of influence between events. It turns out, however, that one event’s influencing another is neither a necessary nor sufficient condition for its being a cause of that event. In the article one particular case of causality without influence is presented and developed. This case not only serves as a counterexample to Lewis’s influence theory, but also threatens earlier counterfactual analyses of causation by admitting a particularly troublesome type of preemption. The conclusion of the article is that Lewis’s influence method of solving the preemption problem fails, and that we need a new and fresh approach to the cases of redundant causation if we want to hold on to the counterfactual analysis of causation

The author presents and critically analyses different accounts of causal relation given by the main representants of Lvov-Warsaw School in philosophy. Although there are considerable differences between particular approaches to this problem, it is possible at least to distinguish the key questions, analysed and anwsered by these philosophers. Among them are such questions as: how to define „causal relation”, what are its formal features, what is the space-time localization of the effect and the cause, what are causal laws

This book uses the formal semantics of counterfactual conditionals to analyze the problem of non-locality in quantum mechanics. Counterfactual conditionals enter the analysis of quantum entangled systems in that they enable us to precisely formulate the locality condition that purports to exclude the existence of causal interactions between spatially separated parts of a system. They also make it possible to speak consistently about alternative measuring settings, and to explicate what is meant by quantum property attributions. The book develops the possible-world semantics of quantum counterfactuals using David Lewis's famous approach as a starting point but modifying it significantly in order to achieve compatibility with the demands of the special theory of relativity as well as quantum mechanics. There have been several attempts to use counterfactuals semantics to strengthen Bell's theorem and its cognates such as the GHZ and Hardy theorems. These are critically evaluated in the book. Finally, a counterfactual reconstruction of the EPR argument and Bell's theorem is proposed that sheds a new light on their philosophical consequences regarding the relations between realism and local causation.

The mathematical notion of a permutation of indices in the state description admits different physical interpretations. Two main interpretations analyzed in this paper are: exchange of essences and exchange of haecceities. It is argued that adopting the essentialist approach leads to the conclusion, contrary to the conventional wisdom, that quantum particles of the same type are sometimes discernible by their properties. The indiscernibility thesis can be supported only by the alternative interpretation in terms of primitive thisness.

The article deals with one particular problem created by the counterfactual analysis of causality à la Lewis, namely the context-sensitivity problem or, as I prefer to call it, the background condition problem. It appears that Lewis’ counterfactual definition of causality cannot distinguish between proper causes and mere causal conditions – i.e. factors necessary for the effect to occur, but commonly not seen as causally efficacious. The proposal is put forward to amend the Lewis definition with a condition, based on the notion of cotenability, which would eliminate the problem. It is shown that the corrected definition of causality leads to the transitivity of the causal relation. Possible objections to the proposed solution, involving the assumption of indeterminism and the preemption cases, are given a thorough consideration.

The paper consists of two parts. The first part begins with the problem of whether the original three-valued calculus, invented by J. Łukasiewicz, really conforms to his philosophical and semantic intuitions. I claim that one of the basic semantic assumptions underlying Łukasiewicz's three-valued logic should be that if under any possible circumstances a sentence of the form "X will be the case at time t" is true (resp. false) at time t, then this sentence must be already true (resp. false) at present. However, it is easy to see that this principle is violated in Lukasiewicz's original calculus (as the cases of the law of excluded middle and the law of contradiction show). Nevertheless it is possible to construct (either with the help of the notion of "supervaluation", or purely algebraically) a different three-valued, semi-classical sentential calculus, which would properly incorporate Łukasiewicz's initial intuitions. Algebraically, this calculus has the ordinary Boolean structure, and therefore it retains all classically valid formulas. Yet because possible valuations are no longer represented by ultrafilters, but by filters (not necessarily maximal), the new calculus displays certain non-classical metalogical features (like, for example, nonextensionality and the lack of the metalogical rule enabling one to derive "p is true or q is true" from" 'p ∨ q' is true"). The second part analyses whether the proposed calculus could be useful in formalizing inferences in situations, when for some reason (epistemological or ontological) our knowledge of certain facts is subject to limitation. Special attention should be paid to the possibility of employing this calculus to the case of quantum mechanics. I am going to compare it with standard non-Boolean quantum logic (in the Jauch-Piron approach), and to show that certain shortcomings of the latter can be avoided in the former. For example, I will argue that in order to properly account for quantum features of microphysics, we do not need to drop the law of distributivity. Also the idea of "reading off" the logical structure of propositions from the structure of Hilbert space leads to some conceptual troubles, which I am going to point out. The thesis of the paper is that all we need to speak about quantum reality can be acquired by dropping the principle of bivalence and extensionality, while accepting all classically valid formulas

In this paper I discuss some metaphysical consequences of an unorthodox approach to the problem of the identity and individuality of “indistinguishable” quantum particles. This approach is based on the assumption that the only admissible way of individuating separate components of a given system is with the help of the permutation-invariant qualitative properties of the total system. Such a method of individuation, when applied to fermionic compositions occupying so-called GMW-nonentangled states, yields highly implausible consequences regarding the number of distinct components of a given composite system. I specify the problem in detail, and I consider several strategies of solving it. The preferred solution of the problem is based on the premise that spatial location should play a privileged role in identifying and making reference to quantum-mechanical systems.

This is an attempt to formulate (along the line of H. Field's nominalization program) purely qualitative versions of two theories of space time: Galilean and Minkowskian theories. The starting point is to present qualitative theory for affine geometry, which is based only on one primitive predicate: „between”. Then it is shown that with the help of this predicate whole mathematical structure of affine geometry can be reconstructed as a simple definitional extension. As a next step it is shown in details how the same procedure can be carried out for both theories mentioned above

Three basic positions regarding the nature of fundamental properties are: dispositional monism, categorical monism and the mixed view. Dispositional monism apparently involves a regress or circularity, while an unpalatable consequence of categorical monism and the mixed view is that they are committed to quidditism. I discuss Alexander Bird's defence of dispositional monism based on the structuralist approach to identity. I argue that his solution does not help standard dispositional essentialism, as it admits the possibility that two distinct dispositional properties can possess the same stimuli and manifestations. Moreover, Bird's argument can be used to support the mixed view by relieving it of its commitment to quidditism. I briefly analyse an alternative defence of dispositional essentialism based on Leon Horsten's approach to the problem of circularity and impredicativity. I conclude that the best option is to choose Bird's solution but amend the dispositional perspective on properties. According to my proposal, the essences of dispositions are determined not directly by their stimuli and manifestations but by the role each property plays in the structure formed by the stimulus/manifestation relations