Fundamentality plays a pivotal role in discussions of ontology, supervenience, and possibility, and other key topics in metaphysics. However, there are two different ways of characterising the fundamental: as that which is not grounded, and as that which is the ground of everything else. I show that whether these two characterisations pick out the same property turns on a principle—which I call “Dichotomy”—that is of independent interest in the theory of ground: that everything is either fully grounded or not even (...) partially grounded. I then argue that Dichotomy fails: some facts have partial grounds that cannot be complemented to a full ground. Rejecting Dichotomy opens the door to recognising a bifurcation in our notion of fundamentality. I sketch some of the far-reaching metaphysical consequences this might have, with reference to big-picture views such as Humeanism. Since Dichotomy is entailed by the standard account of partial ground, according to which partial grounds are subpluralities of full grounds, a non-standard account is needed. In a technical “Appendix”, I show that truthmaker semantics furnishes such an account, and identify a semantic condition that corresponds to Dichotomy. (shrink)

Current orthodoxy in modal logic and metaphysics has it that actuality is non-contingent in the following sense: for all p, if actually, p, then necessarily, actually, p. Call this thesis (Actuality) Necessitism and its negation (Actuality) Contingentism. Thus, according to Contingentism, there is at least one proposition p which is actually true but which could have been actually false. In another paper, one of us (Glazier 2023) has recently defended Contingentism. The present paper explores the logic of actuality under Contingentism. (...) After informally introducing Contingentism and outlining what we take to be the main motivations for accepting it, we consider how contingent actuality should be taken to be. We argue that the nature, or essence, of actuality imposes certain limits on the extent to which actuality could have been different, and these then inform our view of the logic of actuality. Turning to the formal study of the logic of contingent actuality, we specify a formal language and a possible world semantics for that language and distinguish a number of natural notions of validity and consequence to which it gives rise. We present axiomatizations of the different resulting logics and examine the variety of iterated modalities in our systems. We establish soundness and completeness results. (shrink)

A commonly held idea regarding the nature of time is that the future is open and the past is fixed or closed. This article investigates the notion that there is an asymmetry in openness between the past and the future. The following questions are considered: How exactly is this asymmetry in openness to be understood? What is the relation between an open future and various ontological views about the future? Is an open future a branching future? What is the relation (...) between an open future and the question of whether contingent statements about the future are true or false? Is an open future compatible with a single determinate future? (shrink)

Models are of central importance in many scientific contexts. The centrality of models such as the billiard ball model of a gas, the Bohr model of the atom, the MIT bag model of the nucleon, the Gaussian-chain model of a polymer, the Lorenz model of the atmosphere, the Lotka-Volterra model of predator-prey interaction, the double helix model of DNA, agent-based and evolutionary models in the social sciences, or general equilibrium models of markets in their respective domains are cases in point. (...) Scientists spend a great deal of time building, testing, comparing and revising models, and much journal space is dedicated to introducing, applying and interpreting these valuable tools. In short, models are one of the principal instruments of modern science. -/- Philosophers are acknowledging the importance of models with increasing attention and are probing the assorted roles that models play in scientific practice. The result has been an incredible proliferation of model-types in the philosophical literature. Probing models, phenomenological models, computational models, developmental models, explanatory models, impoverished models, testing models, idealized models, theoretical models, scale models, heuristic models, caricature models, didactic models, fantasy models, toy models, imaginary models, mathematical models, substitute models, iconic models, formal models, analogue models and instrumental models are but some of the notions that are used to categorize models. While at first glance this abundance is overwhelming, it can quickly be brought under control by recognizing that these notions pertain to different problems that arise in connection with models. For example, models raise questions in semantics (what is the representational function that models perform?), ontology (what kind of things are models?), epistemology (how do we learn with models?), and, of course, in philosophy of science (how do models relate to theory?; what are the implications of a model based approach to science for the debates over scientific realism, reductionism, explanation and laws of nature?). (shrink)

Fundamental theories are hard to come by. But even if we had them, they would be too complicated to apply. Quantum chromodynamics is a case in point. This theory is supposed to govern all strong interactions, but it is extremely hard to apply and test at energies where protons, neutrons and ions are the effective degrees of freedom. Instead, scientists typically use highly idealized models such as the MIT Bag Model or the Nambu Jona-Lasinio Model to account for phenomena in (...) this domain, to explain them and to gain nderstanding. Based on these models, which typically isolate a single feature of QCD and disregard many others, scientists attempt to get a better understanding of the physics of strong interactions. But does this practice make sense? Is it justified to use these models for the purposes at hand? Interestingly, these models do not even provide an accurate description of the mass spectrum of protons, neutrons and pions and their lowest lying excitations well - despite several adjustable parameters. And yet, the models are heavily used. I'll argue that a qualitative story, which establishes an explanatory link between the fundamental theory and a model, plays an important role in model acceptance in these cases. (shrink)

Science strives for coherence. For example, the findings from climate science form a highly coherent body of knowledge that is supported by many independent lines of evidence: greenhouse gas emissions from human economic activities are causing the global climate to warm and unless GHG emissions are drastically reduced in the near future, the risks from climate change will continue to grow and major adverse consequences will become unavoidable. People who oppose this scientific body of knowledge because the implications of cutting (...) GHG emissions—such as regulation or increased taxation—threaten their worldview or livelihood cannot provide an alternative view that is coherent by the standards of conventional scientific thinking. Instead, we suggest that people who reject the fact that the Earth’s climate is changing due to greenhouse gas emissions oppose whatever inconvenient finding they are confronting in piece-meal fashion, rather than systematically, and without considering the implications of this rejection to the rest of the relevant scientific theory and findings. Hence, claims that the globe “is cooling” can coexist with claims that the “observed warming is natural” and that “the human influence does not matter because warming is good for us.” Coherence between these mutually contradictory opinions can only be achieved at a highly abstract level, namely that “something must be wrong” with the scientific evidence in order to justify a political position against climate change mitigation. This high-level coherence accompanied by contradictory subordinate propositions is a known attribute of conspiracist ideation, and conspiracism may be implicated when people reject well-established scientific propositions. (shrink)

Effective field theories have been a very popular tool in quantum physics for almost two decades. And there are good reasons for this. I will argue that effective field theories share many of the advantages of both fundamental theories and phenomenological models, while avoiding their respective shortcomings. They are, for example, flexible enough to cover a wide range of phenomena, and concrete enough to provide a detailed story of the specific mechanisms at work at a given energy scale. So will (...) all of physics eventually converge on effective field theories? This paper argues that good scientific research can be characterised by a fruitful interaction between fundamental theories, phenomenological models and effective field theories. All of them have their appropriate functions in the research process, and all of them are indispensable. They complement each other and hang together in a coherent way which I shall characterise in some detail. To illustrate all this I will present a case study from nuclear and particle physics. The resulting view about scientific theorising is inherently pluralistic, and has implications for the debates about reductionism and scientific explanation. (shrink)

We propose that emotion psychology would significantly gain from including narrative(s) and the conversational negotiation of appropriateness. Using the example of anger, we argue that narrators need to construct plausible narratives of emotional events to achieve validating responses by listeners. We argue first that narrators attempt to demonstrate that the appraisal conditions for their emotion are given so that the emotion fits the narrated events. Second, we argue that this in turn explains why narratives of specific emotions exhibit specific forms. (...) Third, we argue that coping with emotional experiences is helped by narrating such that the fittingness of emotions is demonstrated. We conclude that narrative plays an important role for identifying, processing, communicating, and eliciting emotions. (shrink)

The authors challenge the reigning “causal power framework” as an explanation for whether a particular outcome was actually caused by a specific potential cause. They test a new measure of causal attribution in two experiments by embedding the measure within the Structure Induction model of Singular Causation (SISC, Stephan & Waldmann, 2016).

In this discussion note, we explain how to relax some of the standard assumptions made in Garber-style solutions to the Problem of Old Evidence. The result is a more general and explanatory Bayesian approach.

Metaphysical grounding is standardly taken to be irreflexive: nothing grounds itself. Kit Fine has presented some puzzles that appear to contradict this principle. I construct a particularly simple variant of those puzzles that is independent of several of the assumptions required by Fine, instead employing quantification into sentence position. Various possible responses to Fine's puzzles thus turn out to apply only in a restricted range of cases.

We define a notion of difference-making for partial grounds of a fact in rough analogy to existing notions of difference-making for causes of an event. Using orthodox assumptions about ground, we show that it induces a non-trivial division with examples of partial grounds on both sides. We then demonstrate the theoretical fruitfulness of the notion by applying it to the analysis of a certain kind of putative counter-example to the transitivity of ground recently described by Jonathan Schaffer. First, we show (...) that our conceptual apparatus of difference-making enables us to give a much clearer description than Schaffer does of what makes the relevant instances of transitivity appear problematic. Second, we suggest that difference-making is best seen as a mark of good grounding-based explanations rather than a necessary condition on grounding, and argue that this enables us to deal with the counter-example in a satisfactory way. Along the way, we show that Schaffer's own proposal for salvaging a form of transitivity by moving to a contrastive conception of ground is unsuccessful. We conclude by sketching some natural strategies for extending our proposal to a more comprehensive account of grounding-based explanations. (shrink)

Discussions about a replicability crisis in science have been driven by the normative claim that all of science should be replicable and the empirical claim that most of it isn’t. Recently, such crisis talk has been challenged by a new localism, which argues a) that serious problems with replicability are not a general occurrence in science and b) that replicability itself should not be treated as a universal standard. The goal of this article is to introduce this emerging strand of (...) the debate and to discuss some of its implications and limitations. I will in particular highlight the issue of demarcation that localist accounts have to address, i.e. the question of how we can distinguish replicable science from disciplines where replicability does not apply. (shrink)

In many scientific, economic and policy-related problems, pieces of information from different sources have to be aggregated. Typically, the sources are not equally competent. This raises the question of how the relative weights and competences should be related to arrive at an optimal final verdict. Our paper addresses this question under a more realistic perspective of measuring the practical loss implied by an inaccurate verdict.

How does a predecessor theory relate to its successor? According to Heinz Post’s General Correspondence Principle, the successor theory has to account for the em- pirical success of its predecessor. After a critical discussion of this principle, I outline and discuss various kinds of correspondence relations that hold between successive scientific theories. I then look in some detail at a case study from contemporary physics: the various proposals for a theory of high-temperature superconductivity. The aim of this case study is (...) to understand better the prospects and the place of a methodological principle such as the Generalized Correspondence Principle. Generalizing from the case study, I will then argue that some such principle has to be considered, at best, as one tool that might guide scientists in their theoriz- ing. Finally I present a tentative account of why principles such as the Generalized Correspondence Principle work so often and why there is so much continuity in scientific theorizing. (shrink)

This paper is an essay review of Steven French and Harmke Kamminga (eds.), Correspondence, Invariance and Heuristics. Essays in Honour of Heinz Post (Dordrecht: Kluwer, 1993). I distinguish a varity of correspondence relations between scientific theories (exemplified by cases from the book under review) and examine how one can make sense of the the prevailing continuity in scientific theorizing.

This article focuses on existential feelings. To begin with, it depicts how they differ from other affective phenomena and what type of intentionality they manifest. Furthermore, a detailed analysis shows that existential feelings can be subdivided, first, into elementary and nonelementary varieties, and second, into three foci of primary relatedness: oneself, the social environment, and the world as such. Eventually, five strategies of emotion regulation are examined with respect to their applicability to existential feelings. In the case of harmful existential (...) feelings, it turns out that none seems fitting except one, attentional deployment. (shrink)

The life sciences are said to be in the midst of a replication crisis because a majority of published results are irreproducible, and scientists rarely replicate existing data. Here I argue that point 2 of this assessment is flawed because there is a hitherto unidentified form of replication in the experimental life sciences, which I call ‘microreplications’. Using a case study from biochemistry, I illustrate how MRs depend on a key element of experimentation, namely, experimental controls. I end by reflecting (...) on what MRs mean for the broader debate about the replication crisis. (shrink)

Equal and proportional representation are two poles of a continuum of models of representation for the assembly of a federation of states. The choice of a model has repercussions on the welfare distribution in the federation. We determine, first by means of Monte Carlo simulations, what welfare distributions result after assemblies that were constituted on the basis of different models of representation have considered a large number of motions. We assess what model of representation is favored by a Rawlsian maximin (...) measure and by the utilitarian measure and present matching analytical results for the utilitarian measure for a slightly idealized case. Our results show that degressive proportionality can be justified as a compromise between maximin and utilitarian considerations. There is little surprise in this result. What is more surprising, however, is that, within certain contexts of evaluation, degressive proportionality can also be justified on strictly utilitarian grounds. (shrink)

The reported birth of genetically modified twins in late 2018 has given new fuel to debates about the ethics of germline genome editing (GGE). There is a broad consensus among stakeholders that clinical uses of GGE should be temporarily banned as the technology is not yet deemed safe for use in humans. However, the idea of a complete ban is dismissed by many based on the expectation that more research will eventually allow scientists to make the technology safe without having (...) to put humans at risk first. In this article, I will analyse this assumption and argue that it is undermined by recent developments in the postgenomic life sciences. In particular, I will argue that in a postgenomic view of germline editing a complete ban on specific uses of the technology is warranted, because the research needed to assess the safety of these interventions would not be morally defensible. (shrink)

This volume, the second in the Springer series Philosophy of Science in a European Perspective, contains selected papers from the workshops organised by the ESF Research Networking Programme PSE (The Philosophy of Science in a European Perspective) in 2009. Five general topics are addressed: 1. Formal Methods in the Philosophy of Science; 2. Philosophy of the Natural and Life Sciences; 3. Philosophy of the Cultural and Social Sciences; 4. Philosophy of the Physical Sciences; 5. History of the Philosophy of Science. (...) This volume is accordingly divided in five sections, each section containing papers coming from the meetings focussing on one of these five themes. However, these sections are not completely independent and detached from each other. For example, an important connecting thread running through a substantial number of papers in this volume is the concept of probability: probability plays a central role in present-day discussions in formal epistemology, in the philosophy of the physical sciences, and in general methodological debates---it is central in discussions concerning explanation, prediction and confirmation. The volume thus also attempts to represent the intellectual exchange between the various fields in the philosophy of science that was central in the ESF workshops. (shrink)

Recently, some philosophers have argued that we should take quantification of any (finite) order to be a legitimate and irreducible, sui generis kind of quantification. In particular, they hold that a semantic theory for higher-order quantification must itself be couched in higher-order terms. Øystein Linnebo has criticized such views on the grounds that they are committed to general claims about the semantic values of expressions that are by their own lights inexpressible. I show that Linnebo’s objection rests on the assumption (...) of a notion of semantic value or contribution which both applies to expressions of any order, and picks out, for each expression, an extra-linguistic correlate of that expression. I go on to argue that higher-orderists can plausibly reject this assumption, by means of a hierarchy of notions they can use to describe the extra-lingustic correlates of expressions of different orders. (shrink)

A lot of research has recently been done on the topic of ground, and in particular on the logic of ground. According to a broad consensus in that debate, ground is hyperintensional in the sense that even logically equivalent truths may differ with respect to what grounds them, and what they ground. This renders pressing the question of what we may take to be the ground-theoretic content of a true statement, i.e. that aspect of the statement’s overall content to which (...) ground is sensitive. I propose a novel answer to this question, namely that ground tracks how, rather than just by what, a statement is made true. I develop that answer in the form of a formal theory of ground-theoretic content and show how the resulting framework may be used to articulate plausible theories of ground, including in particular a popular account of the grounds of truth-functionally complex truths that has proved difficult to accommodate on alternative views of content. (shrink)

Plastids and mitochondria arose through endosymbiotic acquisition of formerly free-living bacteria. During more than a billion years of subsequent concerted evolution, the three genomes of plant cells have undergone dramatic structural changes to optimize the expression of the compartmentalized genetic material and to fine-tune the communication between the nucleus and the organelles. The chimeric composition of many multiprotein complexes in plastids and mitochondria (one part of the subunits being nuclear encoded and another one being encoded in the organellar genome) provides (...) a paradigm for co-evolution at the cellular level. In this paper, we discuss the co-evolution of nuclear and organellar genomes in the context of environmental adaptation in species and populations. We highlight emerging genetic model systems and new experimental approaches that are particularly suitable to elucidate the molecular basis of co-adaptation processes and describe how nuclear-cytoplasmic co-evolution can cause genetic incompatibilities that contribute to the establishment of hybridization barriers, ultimately leading to the formation of new species. (shrink)

Say that two sentences are ground-theoretically equivalent iff they are interchangeable salva veritate in grounding contexts. Notoriously, ground-theoretic equivalence is a hyperintensional matter: even logically equivalent sentences may fail to be interchangeable in grounding contexts. Still, there seem to be some substantive, general principles of ground-theoretic equivalence. For example, it seems plausible that any sentences of the form A∧B\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$A \wedge B$$\end{document} and B∧A\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$B (...) \wedge A$$\end{document} are ground-theoretically equivalent. What, then, are in general the conditions for two sentences to stand in the relation of ground-theoretic equivalence, and what are the logical features of that relation? This paper develops and defends an answer to these questions based on the mode-ified truthmaker theory of content presented in my recent paper ‘Towards a theory of ground-theoretic content’ :785–814, 2018). (shrink)

Shows how to construct a coherence quasi-ordering that respects the claim that the more coherent a set of propositions is, the greater the degree of confidence ought to be in its content, ceteris paribus. Applies this result to the problem of scientific-theory choice.

Applies the models to the confirmation of scientific hypotheses by means of partially reliable test instruments. Shows that the variety-of-evidence thesis is false under certain plausible interpretations and assesses the Duhem–Quine thesis for positively relevant versus independent hypotheses and auxiliaries.

Presents some general reflections on the role and the challenges of probabilistic modelling in philosophy.

Introduces the topic of information-gathering from multiple independent sources through some well-known Genesis stories.

Shows how the degree of confidence that information from multiple sources is a function of the plausibility and the coherence of the information as well as of the reliability of the sources. There is a long-standing question in epistemology about how to construct a measure that yields a coherence ordering over sets of propositions and there are various proposals in the literature. Presents an impossibility result to the effect that there cannot exist such a measure. This has implications for the (...) coherence theory of justification. (shrink)

Introduces different interpretations of witness reliability into the models and constructs Bayesian-Network representations. Applies the models to Condorcet-style jury voting and Tversky and Kahneman’s Linda puzzle.

The frame model was developed in cognitive psychology and imported into the philosophy of science in order to provide representations of scientific concepts and conceptual taxonomies. The aim of this article is to show that beside the representation of scientific concepts the frame model is an efficient instrument to represent and analyze scientific theories. That is, we aim to establish the frame model as a representation tool for the structure of theories within the philosophy of science. For this, we will (...) develop the notion of a theory frame and distinguish between theory frames for qualitative theories in which scientific measurement is based on nominal scales and theory frames for quantitative theories in which measurement is based on ratio scales. In three case studies, we will apply frames to a psychological, a linguistic, and a physical theory, thereby showing that the frame model is a powerful and intuitively accessible instrument to analyze the laws of scientific theories, the determination of theoretical concepts, the explanatory role of theoretical concepts, the abductive introduction of a new theoretical concept, the distinction between the core and the periphery of a theory, the diachronic development of a theory, and the distinction between qualitative and quantitative scientific concepts. Finally, we will provide a comparison to the structuralist view of theories, one of the most elaborated and applied models of theory representation. (shrink)

In Nothing to Come, Fabrice Correia and Sven Rosenkranz provide a sophisticated, compelling, and thoroughly defended account of the growing block theory. This note critically evaluates two aspects of this account. First, it evaluates Correia and Rosenkranz’s attempt at providing a grounding principle for future truths and argues that this principle fails to make progress in explaining why future truths are true. Second, it evaluates Correia and Rosenkranz’s construal of the open future arguing that the asymmetry in openness with respect (...) to the past and future is not plausibly understood in terms of determinism and indeterminism, and in the final section, it evaluates their claim that a growing block theorist is able to maintain that the future is open in a stronger sense than the block theorist. (shrink)

Does the global supervenience of one class on another entail reductionism, in the sense that any property in the former class is definable from properties in the latter class? This question appears to be at the same time formally tractable and philosophically significant. It seems formally tractable because the concepts involved are susceptible to rigorous definition. It is philosophically significant because in a number of debates about inter-level relationships, there are prima facie plausible positions that presuppose that there is no (...) such entailment: standard versions of non-reductive physicalism and of normative non-naturalism accept global supervenience while rejecting reductionism. I identify a gap in an influential argument for the entailment, due to Frank Jackson and Robert Stalnaker, and draw on the model theory of infinitary languages to argue that some globally supervening properties are not reducible. (shrink)

The Problem of Old Evidence has troubled Bayesians ever since Clark Glymour first presented it in 1980. Several solutions have been proposed, but all of them have drawbacks and none of them is considered to be the definite solution. In this article, I propose a new solution which combines several old ideas with a new one. It circumvents the crucial omniscience problem in an elegant way and leads to a considerable confirmation of the hypothesis in question.