Tomasz Bigaj

This paper addresses the issue of the multiplicity of various grades of discernibility that can be defined in model theory. Building upon earlier works on the subject, I first expand the known logical categorizations of discernibility by introducing several symmetry-based concepts of discernibility, including one I call “witness symmetry-discernibility”. Then I argue that only grades of discernibility stronger than this one possess certain intuitive features necessary to individuate objects. Further downsizing of the set of non-equivalent grades of discernibility can be achieved by stipulating that any relation of discernibility should be applied only to those pairs of objects which have been previously distinguished from the rest of the universe. Restricting discernibility to pairs of objects satisfying this condition gives an additional bonus in the form of restoring the transitivity of some types of indiscernibility which have been known to be non-transitive.

In the article I discuss possible amendments and corrections to Lewis’s semantics for counterfactuals that are necessary in order to account for the indeterministic and non-local character of the quantum world. I argue that Lewis’s criteria of similarity between possible worlds produce incorrect valuations for alternate-outcome counterfactuals in the EPR case. Later I discuss an alternative semantics which rejects the notion of miraculous events and relies entirely on the comparison of the agreement with respect to individual facts. However, a controversy exists whether to include future indeterministic events in the criteria of similarity. J. Bennett has suggested that an indeterministic event count toward similarity only if it is a result of the same causal chain as in the actual world. I claim that a much better agreement with the demands of the quantum-mechanical indeterminism can be achieved when we stipulate that possible worlds which differ only with respect to indeterministic facts that take place after the antecedent-event should always be treated as equally similar to the actual world. In the article I analyze and dismiss some common-sense counterexamples to this claim. Finally, I critically evaluate Bennett’s proposal regarding the truth-conditions for true-antecedent counterfactuals.

General metaphysical arguments have been proposed in favour of the thesis that all dispositions have categorical bases (Armstrong; Prior, Pargetter, Jackson). These arguments have been countered by equally general arguments in support of ungrounded dispositions (Molnar, Mumford). I believe that this controversy cannot be settled purely on the level of abstract metaphysical considerations. Instead, I propose to look for ungrounded dispositions in specific physical theories, such as quantum mechanics. I explain why non-classical properties such as spin are best interpreted as irreducible dispositional properties, and I give reasons why even seemingly classical properties, for instance position or momentum, should receive a similar treatment when interpreted in the quantum realm. Contrary to the conventional wisdom, I argue that quantum dispositions should not be limited to probabilistic dispositions (propensities) by showing reasons why even possession of well-defined values of parameters should qualify as a dispositional property. I finally discuss the issue of the actuality of quantum dispositions, arguing that it may be justified to treat them as potentialities whose being has a lesser degree of reality than that of classical categorical properties, due to the incompatibility relations between non-commuting observables.