Quantum Mechanics and the Plight of Physicalism

The literature on physicalism often fails to elucidate, I think, what the word physical in physicalism precisely means. Philosophers speak at times of an ideal set of fundamental physical facts, or they stipulate that physical means non-mental, such that all fundamental physical facts are fundamental facts pertaining to the non-mental. In this article, I will probe physicalism in the very much tangible framework of quantum mechanics. Although this theory, unlike “ideal physics” or some “final theory of non-mentality”, is an incomplete theory of the world, I believe this analysis will be of value, if for nothing else, at least for bringing some taste of physical reality, as it were, back to the debate. First, I will introduce a broad characterization of the physicalist credo. In Sect. 2, I will provide a rather quick review of quantum mechanics and some of its current interpretations. In Sect. 3, the notion of quantum non-separability will be analyzed, which will facilitate a discussion of the wave function ontology in Sect. 4. In Sects. 5 and 6, I will explore competing views on the implications of this ontology. In Sect. 7, I will argue that the prior results, based on a thoroughly realist interpretation of quantum mechanics, support only a weak version of non-reductive physicalism.     

Modal Meinongianism and fiction: the best of three worlds

We outline a neo-Meinongian framework labeled as Modal Meinongian Metaphysics (MMM) to account for the ontology and semantics of fictional discourse. Several competing accounts of fictional objects are originated by the fact that our talking of them mirrors incoherent intuitions: mainstream theories of fiction privilege some such intuitions, but are forced to account for others via complicated paraphrases of the relevant sentences. An ideal theory should resort to as few paraphrases as possible. In Sect. 1, we make this explicit via two methodological principles, called the Minimal Revision and the Acceptability Constraint. In Sect. 2, we introduce the standard distinction between internal and external fictional discourse. In Sects. 3–5, we discuss the approaches of (traditional) Meinongianism, Fictionalism, and Realism—and their main troubles. In Sect. 6 we propose our MMM approach. This is based upon (1) a modal semantics including impossible worlds (Subsect. 6.1); (2) a qualified Comprehension Principle for objects (Subsect. 6.2); (3) a notion of existence-entailment for properties (Subsect. 6.3). In Sect. 7 we present a formal semantics for MMM based upon a representation operator. And in Sect. 8 we have a look at how MMM solves the problems of the three aforementioned theories.     

Personal responsibility and middle knowledge: a challenge for the Molinist

In this paper, I develop and discuss an argument intended to demonstrate that the Molinist notion of middle knowledge, and in particular the concept of counterfactuals of freedom, is incompatible with the notion of personal responsibility (for created creatures). In Sect. 1, I discuss the Molinist concepts of middle knowledge and counterfactuals of freedom. In Sect. 2, I develop an argument (henceforth, the Transfer of Negative Responsibility Argument, or TNRA) to the effect that, due to their construal of the concepts of middle knowledge and counterfactuals of freedom, Molinists are not entitled to the notion that individuals are personally responsible—even for those actions that they freely perform. I then discuss the only two promising strategies for rejecting the argument in Sects. 3 and 4. Finally, in Sect. 5, I contend that, although TNRA may be unsuccessful as an internal argument against the Molinist, either of the possible strategies for rejecting TNRA poses a difficulty for the Molinist. Both response strategies force the Molinist into adopting a popular compatibilist strategy for rejecting a common negative argument against compatibilism. Thus, if Molinism represents a libertarian—i.e., incompatibilist—account of human freedom (as, e.g., Flint claims in his recent Divine Providence: The Molinist Account, noting that libertarianism is one of the “twin bases of Molinism”), then the discussion of TNRA poses, if not a dilemma, at the very least a serious challenge for the Molinist.     

Luck and interests

Recent work on the nature of luck widely endorses the thesis that an event is good or bad luck for an individual only if it is significant for that individual. In this paper, I explore this thesis, showing that it raises questions about interests, well-being, and the philosophical uses of luck. In Sect. 1, I examine several accounts of significance, due to Pritchard (2005), Coffman (2007), and Rescher (1995). Then in Sect. 2 I consider what some theorists want to ‘do’ with luck, taking important examples from epistemology (explaining Gettier-style examples) and political philosophy (offering a rationale for the just distribution of resources in society), while suggesting implications for significance. Drawing together lessons from Sects. 1 and 2, I develop a new account of significance in Sect. 3 before concluding with reflections on the debate in Sect. 4.     

Truthmakers and necessary connections

In this paper I examine the objection to truthmaker theory, forcibly made by David Lewis and endorsed by many, that it violates the Humean denial of necessary connections between distinct existences. In Sect. 1 I present the argument that acceptance of truthmakers commits us to necessary connections. In Sect. 2 I examine Lewis’ ‘Things-qua-truthmakers’ theory which attempts to give truthmakers without such a commitment, and find it wanting. In Sects. 3–5 I discuss various formulations of the denial of necessary connections and argue that each of them is either false or compatible with truthmaker theory. In Sect. 6 I show how the truthmaker theorist can resist the charge that they are committed to necessary exclusions between possible existents. I conclude that there is no good objection to truthmaker theory on the grounds that it violates the Humean dictum.     

Revisiting the Zahavi–Brough/Sokolowski Debate

In 1999, Dan Zahavi’s Self Awareness and Alterity: A Phenomenological Investigation initiated a critique of the standard interpretation of the distinction between the second and third levels of Husserl’s analysis of time-constituting consciousness. At stake was the possibility of a coherent account of self-awareness (Zahavi’s concern), but also the possibility of prereflectively distinguishing the acts of consciousness (Brough and Sokolowski’s rebuttal of Zahavi’s critique). Using insights gained from Husserl’s Analyses Concerning Passive Synthesis rather than the work on time-consciousness, this paper provides a new, more precise vocabulary in which to carry on the debate, in the hopes of bringing it to a mutually satisfactory resolution. After briefly laying out the terms of the Zahavi–Brough/Sokolowski debate (Sect. 2), I then elaborate a three-fold distinction in consciousness from the Analyses (Sect. 3) and relate that back to the issue of objectivity in the debate (Sect. 4). I end by suggesting how this three-fold model from the Analyses helps us preserve the essentially tripartite structure (as Brough and Sokolowski insist we do) while not making one of these levels the object of another (in keeping with Zahavi’s critique) (Sect. 5).     

Manifesting belief in absolute necessity

McFetridge (in Logical necessity and other essays. London: Blackwell, 1990) suggests that to treat a proposition as logically necessary—to believe a proposition logically necessary, and to manifest that belief—is a matter of preparedness to deploy that proposition as a premise in reasoning from any supposition. We consider whether a suggestion in that spirit can be generalized to cover all cases of absolute necessity, both logical and non-logical, and we conclude that it can. In Sect. 2, we explain the significance that such an account of manifestation of belief in absolute necessity has for the prospects of a non-realist theory of modality. In Sect. 3, we offer a sympathetic articulation of the detail that underlies the McFetridge conception of belief in logical necessity. In Sects. 4 and 5, we show that the conception so articulated will not generalize to encompass all cases of belief in absolute necessity and proceed to offer a remedy. Our proposal is based upon a distinction between two kinds of suppositional act: A-supposing and C-supposing (Sect. 6). In Sect. 7, we then explain and defend our central thesis: (roughly) that (manifestation of) belief in absolute necessity is a matter of preparedness to deploy as a premise in reasoning under any C-supposition. Finally, we indicate that there is some promise in the parallel thesis that manifestation of the treatment of a proposition as a priori is a matter of preparedness to deploy as a premise in reasoning under any A-supposition (Sect. 8).     

Semantic Information and the Correctness Theory of Truth

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the nature of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of “verification” and “validation”); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of “proxy”) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of “commutation”); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained.     

Zwart and Franssen’s impossibility theorem holds for possible-world-accounts but not for consequence-accounts to verisimilitude

Zwart and Franssen’s impossibility theorem reveals a conflict between the possible-world-based content-definition and the possible-world-based likeness-definition of verisimilitude. In Sect. 2 we show that the possible-world-based content-definition violates four basic intuitions of Popper’s consequence-based content-account to verisimilitude, and therefore cannot be said to be in the spirit of Popper’s account, although this is the opinion of some prominent authors. In Sect. 3 we argue that in consequence-accounts, content-aspects and likeness-aspects of verisimilitude are not in conflict with each other, but in agreement. We explain this fact by pointing towards the deep difference between possible-world- and the consequence-accounts, which does not lie in the difference between syntactic (object-language) versus semantic (meta-language) formulations, but in the difference between ‘disjunction-of-possible-worlds’ versus ‘conjunction-of-parts’ representations of theories. Drawing on earlier work, we explain in Sect. 4 how the shortcomings of Popper’s original definition can be repaired by what we call the relevant element approach. We propose a quantitative likeness-definition of verisimilitude based on relevant elements which provably agrees with the qualitative relevant content-definition of verisimilitude on all pairs of comparable theories. We conclude the paper with a plea for consequence-accounts and a brief analysis of the problem of language-dependence (Sect. 6).     

Universals

In this paper, I argue that there are universals. I begin (Sect. 1) by proposing a sufficient condition for a thing’s being a universal. I then argue (Sect. 2) that some truths exist necessarily. Finally, I argue (Sects. 3 and 4) that these truths are structured entities having constituents that meet the proposed sufficient condition for being universals.     

Yet Another Run around the Circle

In a recent article, D. A. Truncellito (2004, ‘Running in Circles about Begging the Question’, Argumentation 18, 325–329) argues that the discussion between Robinson (1971, ‘Begging the Question’, Analysis 31, 113–117), Sorensen (1996, ‘Unbeggable Questions’, Analysis 56, 51–55) and Teng (1997, ‘Sorensen on Begging the Question’, Analysis 57, 220–222) shows that we need to distinguish between logical fallacies, which are mistakes in the form of the argument, and rhetorical fallacies, which are mistakes committed by the arguer. While I basically agree with Truncellito’s line of thinking, I believe this distinction is not tenable and offer a different view. In addition, I will argue that the conclusion to draw from the abovementioned discussion is that validity is not a sufficient criterion of begging the question, and that we should be wary of the containment-metaphor of a deductive argument.     

Parental Influences on Young Women’s Certainty about Their Career Aspirations

Identity control theory (Kerpelman, Pittman, & Lamke, Journal of Adolescent Research, 12: 325–346, 1997) and the literature on possible selves (Markus & Nurius, American Psychologist, 41: 954–969, 1986) and family influences on adolescents’ vocational choices (e.g., Otto, Journal of Career Development, 27: 111–117, 2000; Whiston & Keller, The Counseling Psychologist, 32: 493–568, 2004) were used to guide this study of young women’s career aspirations. How mother–daughter and father–daughter relationships were associated with young women’s certainty about their anticipated future careers was addressed with data from 304 female undergraduates. Findings indicated that parent–daughter connectedness predicted the young women’s anticipated distress, as well as their willingness to change to fit parental views should their parents disagree with their career aspirations. In addition, anticipated distress mediated associations between willingness to change and connectedness with parents, and between willingness to change and father–daughter career discussions. Discussing career goals with mother increased mother’s influence, but decreased father’s influence, on daughter’s career certainty under conditions of father–daughter disagreement about career choice. The ability to separate her own feelings from those of her father was particularly important in reducing the daughter’s willingness to change her career goals to fit maternal or paternal expectations. Collectively, these findings offer additional insights about the role of parent–adolescent relationships in understanding young women’s career aspirations and note the importance of considering the distinct influences of mothers and fathers on their daughters’ career goals and plans.     

Expectations from preceding prosody influence segmentation in online sentence processing

Previous work examining prosodic cues in online spoken-word recognition has focused primarily on local cues to word identity. However, recent studies have suggested that utterance-level prosodic patterns can also influence the interpretation of subsequent sequences of lexically ambiguous syllables (Dilley, Mattys, & Vinke, Journal of Memory and Language, 63:274–294, 2010; Dilley & McAuley, Journal of Memory and Language, 59:294–311, 2008). To test the hypothesis that these distal prosody effects are based on expectations about the organization of upcoming material, we conducted a visual-world experiment. We examined fixations to competing alternatives such as pan and panda upon hearing the target word panda in utterances in which the acoustic properties of the preceding sentence material had been manipulated. The proportions of fixations to the monosyllabic competitor were higher beginning 200 ms after target word onset when the preceding prosody supported a prosodic constituent boundary following pan-, rather than following panda. These findings support the hypothesis that expectations based on perceived prosodic patterns in the distal context influence lexical segmentation and word recognition.     

Vollkommene Syllogismen und reine Vernunftschlüsse: Aristoteles und Kant. Eine Stellungnahme zu Theodor Eberts Gegeneinwänden. Teil 1

In an earlier article (s. J Gen Philos Sci 40:341–355, 2009), I have rejected an interpretation of Aristotle’s syllogistic which (since Patzig) is predominant in the literature on Aristotle, but wrong in my view. According to this interpretation, the distinguishing feature of perfect syllogisms is their being evident. Theodor Ebert has attempted to defend this interpretation by means of objections (s. J Gen Philos Sci 40:357–365, 2009) which I will try to refute in part [1] of the following article. I want to show that (1) according to Aristotle’s Prior Analytics perfect and imperfect syllogisms do not differ by their being evident, but by the reason for their being evident, (2) Aristotle uses the same words to denote proofs of the validity of perfect and imperfect syllogisms („apodeixis“, “deiknusthai” etc.), (3) accordingly, Aristotle defines perfect syllogisms not as being evident, but as “requiring nothing beyond the things taken in order to make the necessity evident“, i.e. as not “requiring one or more things that are necessary because of the terms assumed, but that have not been taken among the propositions” (APr. I. 1), (4) the proofs by which the validity of perfect assertoric syllogisms can be shown according to APr. I. 4 are based on the Dictum de omni et nullo, (5) the fact that Aristotle describes these proofs only in rough outlines corresponds to the fact that his proofs of the validity of other fundamental rules are likewise produced in rough outlines, e.g. his proof of the validity of conversio simplex in APr. I. 2, which usually has been misunderstood (also by Ebert): (6) Aristotle does not prove the convertibility of E-sentences by presupposing the convertibility of I-sentences; only the reverse is true.     

Measuring Meaning in Life

The present studies addressed the need for a comprehensive, economical, and psychometrically adequate measure of existential meaning. In Study 1, principal-axis factor analysis of participants’ responses to popular meaning measures identified five latent constructs underlying them, labelled purposeful life, principled life, valued life, exciting life, and accomplished life. These dimensions resonate with the meaning in life concept as understood by Frankl (1963. Man’s search for meaning. (Revised Ed.) London: Hodder & Stoughton) and the panoply of subsequent theoretical definitions (e.g. Battista and Almond. (1973). Psychiatry, 36, 409–427; 2000. Exploring existential meaning: Optimising human development across the life span (pp. 39–55). USA: Sage; 1998. The human quest for meaning: A handbook of psychological research and clinical applications (pp. 11–140). Mahwah: Lawrence Erlbaum). Study 2 used these results as a foundation for developing a psychometrically satisfactory self-report questionnaire of each of these aspects of meaning in life. Confirmatory factor analysis (CFA) validated a five-factor structure, with each factor loading on a common second-order factor. Study 3 provided evidence for this new measure’s convergent validity and economic property. The final Meaningful Life Measure is reported and provides comprehensive but differentiated measurement of the meaning in life construct.     

Arguments,Meta-arguments,and Metadialogues: A Reconstruction of Krabbe,Govier, and Woods

Krabbe (2003, in F.H. van Eemeren, J.A. Blair, C.A. Willard and A.F. Snoeck Henkemans (eds.), Proceedings of the Fifth Conference of the International Society for the Study of Argumentation, Sic Sat, Amsterdam, pp. 641–644) defined a metadialogue as a dialogue about one or more dialogues, and a ground-level dialogue as a dialogue that is not a metadialogue. Similarly, I define a meta-argument as an argument about one or more arguments, and a ground-level argument as one which is not a meta-argument. Krabbe (1995, in F.H van Eemeren, R. Grootendorst, J.A. Blair, C.A. Willard and A.F. Snoeck Henkemans (eds.), Proceedings of the Third ISSA Conference on Argumentation, Sic Sat, Amsterdam, pp. 333–344) showed that formal-fallacy criticism (and more generally, fallacy criticism) consists of metadialogues, and that such metadialogues can be profiled in ways that lead to their proper termination or resolution. I reconstruct Krabbe’s metadialogical account into monolectical, meta-argumentative terminology by describing three-types of meta-arguments corresponding to the three ways of proving formal invalidity he studied: the trivial logic-indifferent method; the method of counterexample situation; and the method of formal paraphrase. A fourth type of meta-argument corresponds to what Oliver (1967, Mind 76, 463–478), Govier (1985, Informal Logic 7, 27–33), and Copi (1986) call refutation by logical analogy. A fifth type of meta-argument represents my reconstruction of arguments by parity of reasoning studied by Woods and Hudak (1989, Informal Logic 11, 125–139). Other particular meta-arguments deserving future study are Hume’s critique of the argument from design in the Dialogues Concerning Natural Religion, and Mill’s initial argument in The Subjection of Women about the importance of established custom and general feeling vis-à-vis argumentation.     

Non-monotonicity and Informal Reasoning: Comment on Ferguson (2003)

In this paper, it is argued that Ferguson’s (2003, Argumentation 17, 335–346) recent proposal to reconcile monotonic logic with defeasibility has three counterintuitive consequences. First, the conclusions that can be derived from his new rule of inference are vacuous, a point that as already made against default logics when there are conflicting defaults. Second, his proposal requires a procedural “hack” to the break the symmetry between the disjuncts of the tautological conclusions to which his proposal leads. Third, Ferguson’s proposal amounts to arguing that all everyday inferences are sound by definition. It is concluded that the informal logic response to defeasibility, that an account of the context in which inferences are sound or unsound is required, still stands. It is also observed that another possible response is given by Bayesian probability theory (Oaksford and Chater, in press, Bayesian Rationality: The Probabilistic Approach to Human Reasoning, Oxford University Press, Oxford, UK; Hahn and Oaksford, in press, Synthese).     

When good theories make bad predictions

Chaos-related obstructions to predictability have been used to challenge accounts of theory validation based on the agreement between theoretical predictions and experimental data (Rueger & Sharp, 1996. The British Journal for the Philosophy of Science, 47, 93–112; Koperski, 1998. Philosophy of Science, 40, 194–212). These challenges are incomplete in two respects: (a) they do not show that chaotic regimes are unpredictable in principle (i.e., with unbounded resources) and, as a result, that there is something conceptually wrong with idealized expectations of correct predictions from acceptable theories, and (b) they do not explore whether chaos-induced predictive failures of deterministic models can be remedied by stochastic modeling. In this paper we appeal to an asymptotic analysis of state space trajectories and their numerical approximations to show that chaotic regimes are deterministically unpredictable even with unbounded resources. Additionally, we explain why stochastic models of chaotic systems, while predictively successful in some cases, are in general predictively as limited as deterministic ones. We conclude by suggesting that the way in which scientists deal with such principled obstructions to predictability calls for a more comprehensive approach to theory validation, on which experimental testing is augmented by a multifaceted mathematical analysis of theoretical models, capable of identifying chaos-related predictive failures as due to principled limitations which the world itself imposes on any less-than-omniscient epistemic access to some natural systems. We give special thanks to two anonymous reviewers for their helpful comments that have substantially contributed to the final version of this paper     

Mereology and mathematics: Christian Wolff's foundational programme

ABSTRACT

How did the traditional doctrine of parts and wholes evolve into contemporary formal mereology? This paper argues that a crucial missing link may lie in the early modern and especially Wolffian transformation of mereology into a systematic sub-discipline of ontology devoted to quantity. After some remarks on the traditional scholastic approach to parts and wholes (Sect. 1), Wolff's mature mereology is reconstructed as an attempt to provide an ontological foundation for mathematics (Sects. 2–3). On the basis of Wolff's earlier mereologies (Sect. 4), the origin of this foundational project is traced back to one of Wolff's private conversations with Leibniz (Sect. 5) and especially to the former's appropriation of the latter's notion of similarity as a means to define quantity (Sect. 6). Despite some hesitancy concerning the ultimate characterization of quantity (Sect. 7), Wolff's contribution was historically significant and influential. By developing a quantitative, extensional account of mereological relations, Wolff departed from the received doctrine and paved the way for the later revival of mereology at the intersection of ontology and mathematics.