Showing papers in "Synthese in 2015"

One world, one beable

Abstract: Is the quantum state part of the furniture of the world? Einstein found such a position indigestible, but here I present a different understanding of the wavefunction that is easy to stomach First, I develop the idea that the wavefunction is nomological in nature, showing how the quantum It or Bit debate gets subsumed by the corresponding It or Bit debate about laws of nature Second, I motivate the nomological view by casting quantum mechanics in a “classical” formalism (Hamilton–Jacobi theory) and classical mechanics in a “quantum” formalism (Koopman–von Neumann theory) and then comparing and contrasting classical and quantum wave functions I argue that Humeans about laws can treat classical and quantum wave functions on a par and that doing so yields many benefits

Inquisitive dynamic epistemic logic

Abstract: Information exchange can be seen as a dynamic process of raising and resolving issues. The goal of this paper is to provide a logical framework to model and reason about this process. We develop an inquisitive dynamic epistemic logic (IDEL), which enriches the standard framework of dynamic epistemic logic (DEL), incorporating insights from recent work on inquisitive semantics. At a static level, IDEL does not only allow us to model the information available to a set of agents, like standard epistemic logic, but also the issues that the agents entertain. At a dynamic level, IDEL does not only allow us to model the effects of communicative actions that provide new information, like standard DEL, but also the effects of actions that raise new issues. Thus, IDEL provides the fundamental tools needed to analyze information exchange as a dynamic process of raising and resolving issues.

A uniform semantics for embedded interrogatives: an answer, not necessarily the answer

Abstract: Our paper addresses the following question: Is there a general characterization, for all predicates P that take both declarative and interrogative complements (responsive predicates in the sense of Lahiri’s 2002 typology, see Lahiri, Questions and Answers in Embedded Contexts, OUP, 2002), of the meaning of the P-interrogative clause construction in terms of the meaning of the P-declarative clause construction? On our account, if P is a responsive predicate and Q a question embedded under P, then the meaning of ‘P + Q’ is, informally, “to be in the relation expressed by P to some potential complete answer to Q”. We show that this rule allows us to derive veridical and non-veridical readings of embedded questions, depending on whether the embedding verb is veridical or not, and provide novel empirical evidence supporting the generalization. We then enrich our basic proposal to account for the presuppositions induced by the embedding verbs, as well as for the generation of intermediate exhaustive readings of embedded questions (Klinedinst and Rothschild in Semant Pragmat 4:1–23, 2011).

Ideal rationality and logical omniscience

Abstract: Does rationality require logical omniscience? Our best formal theories of rationality imply that it does, but our ordinary evaluations of rationality seem to suggest otherwise. This paper aims to resolve the tension by arguing that our ordinary evaluations of rationality are not only consistent with the thesis that rationality requires logical omniscience, but also provide a compelling rationale for accepting this thesis in the first place. This paper also defends an account of apriori justification for logical beliefs that is designed to explain the rational requirement of logical omniscience. On this account, apriori justification for beliefs about logic has its source in logical facts, rather than psychological facts about experience, reasoning, or understanding. This account has important consequences for the epistemic role of experience in the logical domain. In a slogan, the epistemic role of experience in the apriori domain is not a justifying role, but rather an enabling and disabling role.

Inductive risk and the contexts of communication

Abstract: In recent years, the argument from inductive risk against value free science has enjoyed a revival. This paper investigates and clarifies this argument through means of a case-study: neonicitinoid research. Sect. 1 argues that the argument from inductive risk is best conceptualised as a claim about scientists’ communicative obligations. Sect. 2 then shows why this argument is inapplicable to “public communication”. Sect. 3 outlines non-epistemic reasons why non-epistemic values should not play a role in public communicative contexts. Sect. 4 analyses the implications of these arguments both for the specific case of neonicitinoid research and for understanding the limits of the argument from inductive risk. Sect. 5 sketches the broader implications of my claims for understanding the “Value Free Ideal” for science.

Why there isn’t inter-level causation in mechanisms

Abstract: The experimental interventions that provide evidence of causal relations are notably similar to those that provide evidence of constitutive relevance relations. In the first two sections, I show that this similarity creates a tension: there is an inconsistent triad between (1) Woodward’s popular interventionist theory of causation, (2) Craver’s mutual manipulability account of constitutive relevance in mechanisms, and a variety of arguments for (3) the incoherence of inter-level causation. I argue for an interpretation of the views in which the tension is merely apparent. I propose to explain inter-level relations without inter-level causation by appealing to the notion of fat-handed interventions, and an argument against inter-level causation which dissolves the problem.

External Representations and Scientific Understanding

Abstract: This paper provides an inferentialist account of model-based understanding by combining a counterfactual account of explanation and an inferentialist account of representation with a view of modeling as extended cognition. This account makes it understandable how the manipulation of surrogate systems like models can provide genuinely new empirical understanding about the world. Similarly, the account provides an answer to the question how models, that always incorporate assumptions that are literally untrue of the model target, can still provide factive explanations. Finally, the paper shows how the contrastive counterfactual theory of explanation can provide tools for assessing the explanatory power of models.

On malfunctioning software

Abstract: Artefacts do not always do what they are supposed to, due to a variety of reasons, including manufacturing problems, poor maintenance, and normal wear-and-tear. Since software is an artefact, it should be subject to malfunctioning in the same sense in which other artefacts can malfunction. Yet, whether software is on a par with other artefacts when it comes to malfunctioning crucially depends on the abstraction used in the analysis. We distinguish between “negative” and “positive” notions of malfunction. A negative malfunction, or dysfunction, occurs when an artefact token either does not (sometimes) or cannot (ever) do what it is supposed to. A positive malfunction, or misfunction, occurs when an artefact token may do what is supposed to but, at least occasionally, it also yields some unintended and undesirable effects. We argue that software, understood as type, may misfunction in some limited sense, but cannot dysfunction. Accordingly, one should distinguish software from other technical artefacts, in view of their design that makes dysfunction impossible for the former, while possible for the latter.

Scientific understanding: truth or dare?

Abstract: It is often claimed—especially by scientific realists—that science provides understanding of the world only if its theories are (at least approximately) true descriptions of reality, in its observable as well as unobservable aspects. This paper critically examines this ‘realist thesis’ concerning understanding. A crucial problem for the realist thesis is that (as study of the history and practice of science reveals) understanding is frequently obtained via theories and models that appear to be highly unrealistic or even completely fictional. So we face the dilemma of either giving up the realist thesis that understanding requires truth, or allowing for the possibility that in many if not all practical cases we do not have scientific understanding. I will argue that the first horn is preferable: the link between understanding and truth can be severed. This becomes a live option if we abandon the traditional view that scientific understanding is a special type of knowledge. While this view implies that understanding must be factive, I avoid this implication by identifying understanding with a skill rather than with knowledge. I will develop the idea that understanding phenomena consists in the ability to use a theory to generate predictions of the target system’s behavior. This implies that the crucial condition for understanding is not truth but intelligibility of the theory, where intelligibility is defined as the value that scientists attribute to the theoretical virtues that facilitate the construction of models of the phenomena. I will show, first, that my account accords with the way practicing scientists conceive of understanding, and second, that it allows for the use of idealized or fictional models and theories in achieving understanding.

Active externalism, virtue reliabilism and scientific knowledge

Abstract: Combining active externalism in the form of the extended and distributed cognition hypotheses with virtue reliabilism can provide the long sought after link between mainstream epistemology and philosophy of science. Specifically, by reading virtue reliabilism along the lines suggested by the hypothesis of extended cognition, we can account for scientific knowledge produced on the basis of both hardware and software scientific artifacts (i.e., scientific instruments and theories). Additionally, by bringing the distributed cognition hypothesis within the picture, we can introduce the notion of epistemic group agents, in order to further account for collective knowledge produced on the basis of scientific research teams.

On the semantics and logic of declaratives and interrogatives

Abstract: In many natural languages, there are clear syntactic and/or intonational differences between declarative sentences, which are primarily used to provide information, and interrogative sentences, which are primarily used to request information. Most logical frameworks restrict their attention to the former. Those that are concerned with both usually assume a logical language that makes a clear syntactic distinction between declaratives and interrogatives, and usually assign different types of semantic values to these two types of sentences. A different approach has been taken in recent work on inquisitive semantics. This approach does not take the basic syntactic distinction between declaratives and interrogatives as its starting point, but rather a new notion of meaning that captures both informative and inquisitive content in an integrated way. The standard way to treat the logical connectives in this approach is to associate them with the basic algebraic operations on these new types of meanings. For instance, conjunction and disjunction are treated as meet and join operators, just as in classical logic. This gives rise to a hybrid system, where sentences can be both informative and inquisitive at the same time, and there is no clearcut division between declaratives and interrogatives. It may seem that these two general approaches in the existing literature are quite incompatible. The main aim of this paper is to show that this is not the case. We develop an inquisitive semantics for a logical language that has a clearcut division between declaratives and interrogatives. We show that this language coincides in expressive power with the hybrid language that is standardly assumed in inquisitive semantics, we establish a sound and complete axiomatization for the associated logic, and we consider a natural enrichment of the system with presuppositional interrogatives.

Fundamental physical ontologies and the constraint of empirical coherence: a defense of wave function realism

Abstract: This paper defends wave function realism against the charge that the view is empirically incoherent because our evidence for quantum theory involves facts about objects in three-dimensional space or space-time (local beables). It also criticizes previous attempts to defend wave function realism against this charge by claiming that the wave function is capable of grounding local beables as elements of a derivative ontology.

An assessment of the foundational assumptions in high-resolution climate projections: the case of UKCP09

Abstract: The United Kingdom Climate Impacts Programme’s UKCP09 project makes highresolution projections of the climate out to 2100 by post-processing the outputs of a large-scale global climate model. The aim of this paper is to describe and analyse the methodology used and then urge some caution. Given the acknowledged systematic, shared shortcomings in all current climate models, treating model outputs as decision relevant projections can be significantly misleading. In extrapolatory situations, such as projections of future climate change impacts, there is little reason to expect that postprocessing of model outputs can correct for the consequences of such errors. This casts doubt on our ability, today, to make trustworthy, high-resolution probabilistic projections out to the end of this century.

Methodology, ontology, and interventionism

Abstract: This paper defends an interventionist account of causation by construing this account as a contribution to methodology, rather than as a set of theses about the ontology or metaphysics of causation. It also uses the topic of causation to raise some more general issues about the relation between, on the one hand, methodology, and, on the other hand, ontology and metaphysics, as these are understood in contemporary philosophical discussion, particularly among so-called analytic metaphysicians. It concludes with the suggestion that issues about the ontology of causation often can be fruitfully reconstrued as methodological proposals.

Evidence of factive norms of belief and decision

Abstract: According to factive accounts of the norm of belief and decision-making, you should not believe or base decisions on a falsehood. Even when the evidence misleadingly suggests that a false proposition is true, you should not believe it or base decisions on it. Critics claim that factive accounts are counterintuitive and badly mischaracterize our ordinary practice of evaluating beliefs and decisions. This paper reports four experiments that rigorously test the critic’s accusations and the viability of factive accounts. The results undermine the accusations and provide the best evidence yet of factive norms of belief and decision-making. The results also help discriminate between two leading candidates for a factive norm: truth and knowledge. Knowledge is the superior candidate.

What is a wavefunction

Abstract: Much of the the discussion of the metaphysics of quantum mechanics focusses on the status of wavefunctions. This paper is about how to think about wavefunctions, when we bear in mind that quantum mechanics—that is, the nonrelativistic quantum theory of systems of a fixed, finite number of degrees of freedom—is not a fundamental theory, but arises, in a certain approximation, valid in a limited regime, from a relativistic quantum field theory. We will explicitly show how the wavefunctions of quantum mechanics, and the configuration spaces on which they are defined, are constructed from a relativistic quantum field theory. Two lessons will be drawn from this. The first is that configuration spaces are not fundamental, but rather are derivative of structures defined on ordinary spacetime. The second is that wavefunctions are not as much like classical fields as might first appear, in that, on the most natural way of constructing wavefunctions from quantum field-theoretic quantities, the value assigned to a point in configuration space is not a local fact about that point, but rather, depends on the global state.

Can the wave function in configuration space be replaced by single-particle wave functions in physical space?

Abstract: The ontology of Bohmian mechanics includes both the universal wave function (living in 3N-dimensional configuration space) and particles (living in ordinary 3-dimensional physical space). Proposals for understanding the physical significance of the wave function in this theory have included the idea of regarding it as a physically-real field in its 3N-dimensional space, as well as the idea of regarding it as a law of nature. Here we introduce and explore a third possibility in which the configuration space wave function is simply eliminated—replaced by a set of single-particle pilot-wave fields living in ordinary physical space. Such a re-formulation of the Bohmian pilot-wave theory can exactly reproduce the statistical predictions of ordinary quantum theory. But this comes at the rather high ontological price of introducing an infinite network of interacting potential fields (living in 3-dimensional space) which influence the particles’ motion through the pilot-wave fields. We thus introduce an alternative approach which aims at achieving empirical adequacy (like that enjoyed by GRW type theories) with a more modest ontological complexity, and provide some preliminary evidence for optimism regarding the (once popular but prematurely-abandoned) program of trying to replace the (philosophically puzzling) configuration space wave function with a (totally unproblematic) set of fields in ordinary physical space.

Primitive ontology and quantum state in the GRW matter density theory

Abstract: The paper explains in what sense the GRW matter density theory (GRWm) is a primitive ontology theory of quantum mechanics and why, thus conceived, the standard objections against the GRW formalism do not apply to GRWm. We consider the different options for conceiving the quantum state in GRWm and argue that dispositionalism is the most attractive one.

What ‘Extended Me’ knows

Abstract: Arguments for the ‘extended mind’ seem to suggest the possibility of ‘extended knowers’—agents whose specifically epistemic virtues may depend on systems whose boundaries are not those of the brain or the biological organism. Recent discussions of this possibility invoke insights from virtue epistemology, according to which knowledge is the result of the application of some kind of cognitive skill or ability on the part of the agent. In this paper, I argue that there is a fundamental tension in these appeals to cognitive virtue. The tension centers on the presence of a tool or technology as an object of awareness, hence something apt for epistemically virtuous engagement on the part of the agent. I highlight a dilemma: the better something looks as a non-biological element of the machinery of mind, the worse it looks as a potential object of any specifically epistemic skill or ability on the part of the agent. The tension is resolved, I argue, by thinking about sub-personal forms of epistemic hygiene. I examine one such form (rooted in the vision of the ‘predictive brain’), and show how it sits neatly with the vision of the extended mind. I end by asking what we can still reasonably expect, given this more complex sub-personal story, by way of agent-level cognitive hygiene.

Many worlds: decoherent or incoherent?

Abstract: We claim that, as it stands, the Deutsch–Wallace–Everett approach to quantum theory is conceptually incoherent. This charge is based upon the approach’s reliance upon decoherence arguments that conflict with its own fundamental precepts regarding probabilistic reasoning in two respects. This conceptual conflict obtains even if the decoherence arguments deployed are aimed merely towards the establishment of certain ‘emergent’ or ‘robust’ structures within the wave function: To be relevant to physical science notions such as robustness must be empirically grounded, and, on our analysis, this grounding can only plausibly be done in precisely the probabilistic terms that lead to conceptual conflict. Thus, the incoherence problems presented necessitate either the provision of a new, non-probabilistic empirical grounding for the notions of robustness and emergence in the context of decoherence, or the abandonment of the Deutsch–Wallace–Everett programme for quantum theory.

Mereological nihilism and the special arrangement question

Abstract: Mereological nihilism is the thesis that composite objects—objects with proper parts—do not exist. Nihilists generally paraphrase talk of composite objects F into talk of there being “xs arranged F-wise” (for example, while nihilists deny that there are tables, they concede that there are “xs arranged table-wise”). Recently several philosophers have argued that nihilism is defective insofar as nihilists are either unable to say what they mean by such phrases as “there are xs arranged F-wise,” or that nihilists are unable to employ such phrases without incurring significant costs, perhaps even undermining one of the chief motivations for nihilism. In this paper I defend nihilism against these objections. A key theme of the paper is this: if nihilists need to employ such phrases as “there are xs arranged F-wise,” non-nihilists will need to do so as well. Accordingly, any costs incurred by the nihilist when she employs such phrases will be shared by everyone else. What’s more, such phrases are intelligible when employed by the nihilist, as well as when they are employed by the non-nihilist, insofar as analyses of such phrases will not essentially involve mereological concepts incompatible with nihilism.

Scientific misrepresentation and guides to ontology: the need for representational code and contents

Abstract: In this paper I show how certain requirements must be set on any tenable account of scientific representation, such as the requirement allowing for misrepresentation. I then continue to argue that two leading accounts of scientific representation—the inferential account and the interpretational account—are flawed for they do not satisfy such requirements. Through such criticism, and drawing on an analogy from non-scientific representation, I also sketch the outline of a superior account. In particular, I propose to take epistemic representations to be intentional objects that come with reference, semantic contents and a representational code, and I identify faithful representations as representations that act as guides to ontology.

Robustness and reality

Abstract: Robustness is often presented as a guideline for distinguishing the true or real from mere appearances or artifacts. Most of recent discussions of robustness have focused on the kind of derivational robustness analysis introduced by Levins, while the related but distinct idea of robustness as multiple accessibility, defended by Wimsatt, has received less attention. In this paper, I argue that the latter kind of robustness, when properly understood, can provide justification for ontological commitments. The idea is that we are justified in believing that things studied by science are real insofar as we have robust evidence for them. I develop and analyze this idea in detail, and based on concrete examples show that it plays an important role in science. Finally, I demonstrate how robustness can be used to clarify the debate on scientific realism and to formulate new arguments.

Multiverse conceptions in set theory

Abstract: We review different conceptions of the set-theoretic multiverse and evaluate their features and strengths. In Sect. 1, we set the stage by briefly discussing the opposition between the ‘universe view’ and the ‘multiverse view’. Furthermore, we propose to classify multiverse conceptions in terms of their adherence to some form of mathematical realism. In Sect. 2, we use this classification to review four major conceptions. Finally, in Sect. 3, we focus on the distinction between actualism and potentialism with regard to the universe of sets, then we discuss the Zermelian view, featuring a ‘vertical’ multiverse, and give special attention to this multiverse conception in light of the hyperuniverse programme introduced in Arrigoni-Friedman (Bull Symb Logic 19(1):77–96, 2013). We argue that the distinctive feature of the multiverse conception chosen for the hyperuniverse programme is its utility for finding new candidates for axioms of set theory.

Knowledge and the norm of assertion: a simple test

Abstract: An impressive case has been built for the hypothesis that knowledge is the norm of assertion, otherwise known as the knowledge account of assertion. According to the knowledge account, you should assert something only if you know that it’s true. A wealth of observational data supports the knowledge account, and some recent empirical results lend further, indirect support. But the knowledge account has not yet been tested directly. This paper fills that gap by reporting the results of such a test. The knowledge account passes with flying colors.

Exploring the beta quadrant

Abstract: The theory of existential graphs, which Peirce ultimately divided into four quadrants (\(\upalpha , \upbeta , \upgamma \) and \(\updelta \)), is a rich method of analysis in the philosophy of logic. Its \(\upbeta \)-part boasts a diagrammatic theory of quantification, which by 1902 Peirce had used in the logical analysis of (i) natural-language expressions such as complex donkey-type anaphora, (ii) quantificational patterns describing new mathematical concepts, and (iii) cognitive information processing. In the \(\upbeta \)-quadrant, he came close to inventing independence-friendly logic, the idea of which he found indispensable in fulfilling the tasks (i)–(iii).

Persistence through function preservation

Abstract: When do the folk think that material objects persist? Many metaphysicians have wanted a view which fits with folk intuitions, yet there is little agreement about what the folk intuit I provide a range of empirical evidence which suggests that the folk operate with a teleological view of persistence: the folk tend to intuit that a material object survives alterations when its function is preserved Given that the folk operate with a teleological view of persistence, I argue for a debunking explanation of folk intuitions, concluding that metaphysicians should dismiss folk intuitions as tied into a benighted view of nature

To navigate safely in the vast sea of empirical facts

Abstract: This paper examines issues of ontology and methodology in behavioral economics: the attempt to increase the explanatory and predictive power of economic theory by providing it with more psychologically plausible foundations. Of special interest is the epistemological status of neoclassical economic theory within behavioral economics, the runaway success story of contemporary economics. Behavioral economists aspire to replace the fundamental assumptions of orthodox, neoclassical economic theory. Yet, behavioral economists have gone out of their way to praise those very assumptions. Matthew Rabin, for example, writes that behavioral economics “is not only built on the premise that [orthodox] economic methods are great, but also that most mainstream economic assumptions are great.” These apparently contradictory attitudes toward neoclassical theory raises the question of what, exactly, its epistemological status within behavioral economics is. This paper argues that the paradox can be resolved, and the question answered, by thinking of the epistemological status of neoclassical theory within behavioral economics in terms of Max Weber’s ideal types: analytical constructs that are not intended to be descriptively true of anything but which nevertheless can be used for a variety of theoretical purposes. The analysis is consistent with many of the insights from the philosophical literature on models in science and has important implications for the practice of economics—behavioral and neoclassical—as well as for the very nature of rationality.

Transparent quantification into hyperintensional objectual attitudes

Abstract: We demonstrate how to validly quantify into hyperintensional contexts involving non-propositional attitudes like seeking, solving, calculating, worshipping, and wanting to become. We describe and apply a typed extensional logic of hyperintensions that preserves compositionality of meaning, referential transparency and substitutivity of identicals also in hyperintensional attitude contexts. We specify and prove rules for quantifying into hyperintensional contexts. These rules presuppose a rigorous method for substituting variables into hyperintensional contexts, and the method will be described. We prove the following. First, it is always valid to quantify into hyperintensional attitude contexts and over hyperintensional entities. Second, factive empirical attitudes (e.g. finding the site of Troy) validate, furthermore, quantifying over intensions and extensions, and so do non-factive attitudes, both empirical and non-empirical (e.g. calculating the last decimal of the expansion of $$\pi $$ ), provided the entity to be quantified over exists. We focus mainly on mathematical attitudes, because they are uncontroversially hyperintensional.