Presentism,truthmakers and distributional properties

Presentists face a challenge from truthmaker theory: if you hold that the only existing objects are presently existing objects and, moreover, you agree that truth supervenes on being, then you will be hard pressed to identify some existent on which a given true but traceless claim about the past supervenes. Cameron (Philos Books 49:292–301, 2008, Oxford Studies in Metaphysics, In: D Zimmerman (ed), 2011) aims to meet this challenge by appeal to distributional properties. So, to give a simple example, the truth that you were once a child supervenes on you presently instantiating the property of being initially a child and then an adult, a property distributed over time. I argue that a presentist ought to deny that distributional properties can serve as truthmakers.     

The explanation of logical theorems and reductive truthmakers

Philosophical Studies - This paper first identifies several plausible desiderata on satisfactory explanations of logical theorems, shows that ordinary grounding explanations cannot satisfy them and...     

Aboutness and ontology: a modest approach to truthmakers

Philosophical Studies - Truthmaker theory has been used to argue for substantial conclusions about the categorial structure of the world, in particular that states of affairs are needed to play the...     

Forget the virtual: Bergson,actualism, and the refraction of reality

In this essay I critique a particular reading of Bergson that places an excessive weight on the concept of the ‘virtual’. Driven by the popularity of Deleuze’s use of the virtual, this image of Bergson (seen especially through his text of 1896, Matter and Memory, where the idea is introduced) generates an imbalance that fails to recognise the importance of concepts of actuality, like space or psychology, in his other works. In fact, I argue that the virtual is not the key concept for Bergsonism and that there is a good deal of evidence in Bergson’s other writings, especially those connected with his actualist notion of ‘refraction’, to think of him as a perspectivist philosopher. Moreover, it will be seen that Virtualism resides within an economy of reflection that is subsumed within the broader paradigm of Actualist refraction. Taking these optical metaphors seriously, the virtual becomes a perspectival image seen from an actual position, or rather, an interacting set of actual positions. This interaction is termed ‘virtualization’, denoting the substitution of a substantive conception with a processual one. In the first two parts of the essay, I direct my remarks more towards Deleuzian readings of the actual rather than Deleuze himself (Deleuze is so open about the biases he brings to his reading of Bergson as to be beyond criticism). In the second two sections, I pursue a philosophical argument for the probity of a non-Virtualist position as such within philosophy, based upon the concept of refraction. This is done not only because it is important that we remain open to other readings of Bergson that are not so heavily mediated in one direction, but also in view of the power of refraction as a new concept for reconciling actual modes such as molar identity, the present, and extension, with their virtual opposites.     

Modal Rationalism and Modal Monism

Modal rationalism includes the thesis that ideal primary positive conceivability entails primary possibility. Modal monism is the thesis that the space of logically possible worlds is coextensive with the space of metaphysically possible worlds. In this paper I explore the relation between the two theses. My aim is to show that the former thesis implies the latter thesis, and that problems with the latter make the former implausible as a complete picture of the epistemology of modality. My argument explores the relation between logical modality and metaphysical modality.

---

On the Proof-Theory of two Formalisations of Modal First-Order Logic

We introduce a Gentzen-style modal predicate logic and prove the cut-elimination theorem for it. This sequent calculus of cut-free proofs is chosen as a proxy to develop the proof-theory of the logics introduced in [14, 15, 4]. We present syntactic proofs for all the metatheoretical results that were proved model-theoretically in loc. cit. and moreover prove that the form of weak reflection proved in these papers is as strong as possible.     

Modal Mereology and Modal Supervenience

David Lewis insists that restrictivist composition must be motivated by and occur due to some intuitive desiderata for a relation R among parts that compose wholes, and insists that a restrictivist??s relation R must be vague. Peter van Inwagen agrees. In this paper, I argue that restrictivists need not use such examples of relation R as a criterion for composition, and any restrictivist should reject a number of related mereological theses. This paper critiques Lewis and van Inwagen (and others) on their respective mereological metaphysics, and offers a Golden Mean between their two opposite extremes. I argue for a novel account of mereology I call Modal Mereology that is an alternative to Classical Mereology. A modal mereologist can be a universalist about the possible composition of wholes from parts and a restrictivist about the actual composition of wholes from parts. I argue that puzzles facing Modal Mereology (e.g., puzzles concerning Cambridge changes and the Problem of the Many, and how to demarcate the actual from the possible) are also faced in similar forms by classical universalists. On my account, restricted composition is rather motivated by and occurs due to a possible whole??s instantiating an actual type. Universalists commonly believe in such types and defend their existence from objections and puzzles. The Modal Mereological restrictivist can similarly defend the existence of such types (adding that such types are the only wholes) from similar objections and puzzles.     

Modal Scepticism, Unqualified Modality, and Modal Kinds

I formulate and defend two sceptical theses on specific parts of our modal knowledge (unqualified and absolute modalities). My main point is that unqualified modal sentences are defective in that they fail to belong unambiguously to specific modal kinds and thus cannot be evaluated; hence, we must be sceptical of beliefs involving them.     

Modal Stability and Warrant

Keith DeRose believes that it is a strength of his contextualist analysis that it explains why the recently much-discussed skeptical Argument from Ignorance (AI) is so persuasive. Not only that, however; DeRose also believes that he is able to explain the underlying dynamics of AI by utilizing solely the epistemological and linguistic resources contained within his contextualist analysis. DeRose believes, in other words, that his contextualist analysis functions as a genuinely self-contained explanation of skepticism. But does it? In this paper I argue that DeRose’s analysis does not function as a self-contained explanation of skepticism since, as it turns out, DeRose’s analysis is simply irrelevant to the main concerns of the skeptic. To the extent that DeRose’s analysis is irrelevant in this way, I conclude that such an analysis cannot be considered a satisfactory treatment of AI.     

Consciousness and Modal Empiricism

David Chalmers supports his contention that there is a possible world populated by our zombie twins by arguing for the assumption that conceivability entails possibility. But, I argue, the modal epistemology he sets forth, ‘modal rationalism,’ ignores the problem of incompleteness and relies on an idealized notion of conceivability. As a consequence, this epistemology can’t justify our quotidian judgments of possibility, let alone those judgments that concern the mind/body connection. Working from the analogy that the imagination is to the possible as perception is to the actual, I set forth a competing epistemology, ‘modal empiricism.’ This epistemology survives the incompleteness objection and allows some of our everyday modal judgments to be justified. But this epistemology can’t justify the claim that Zombie World is possible, which leaves Chalmers’s property dualism without the support it needs.

Modal Fictionalism and Compositionality

Modal fictionalists propose to defuse the unwanted ontological commitments of modal realism by treating modal realism as a fictional story, and modal assertions as assertions, prefixed by a fictionalist operator, that something is true in that story. However, consideration of conditionals with modal antecedents raises the problem ofembedding, which shows that the simple prefixing strategy cannotsucceed. A compositional version of the fictionalist strategy isdeveloped and critiqued, and some general semantic morals aredrawn from the failures of both strategies.     

Products of Modal Logics. Part 3: Products of Modal and Temporal Logics

In this paper we improve the results of [2] by proving the product f.m.p. for the product of minimal n-modal and minimal n-temporal logic. For this case we modify the finite depth method introduced in [1]. The main result is applied to identify new fragments of classical first-order logic and of the equational theory of relation algebras, that are decidable and have the finite model property.     

Modal Ontology and Generalized Quantifiers

Timothy Williamson has argued that in the debate on modal ontology, the familiar distinction between actualism and possibilism should be replaced by a distinction between positions he calls contingentism and necessitism. He has also argued in favor of necessitism, using results on quantified modal logic with plurally interpreted second-order quantifiers showing that necessitists can draw distinctions contingentists cannot draw. Some of these results are similar to well-known results on the relative expressivity of quantified modal logics with so-called inner and outer quantifiers. The present paper deals with these issues in the context of quantified modal logics with generalized quantifiers. Its main aim is to establish two results for such a logic: Firstly, contingentists can draw the distinctions necessitists can draw if and only if the logic with inner quantifiers is at least as expressive as the logic with outer quantifiers, and necessitists can draw the distinctions contingentists can draw if and only if the logic with outer quantifiers is at least as expressive as the logic with inner quantifiers. Secondly, the former two items are the case if and only if all of the generalized quantifiers are first-order definable, and the latter two items are the case if and only if first-order logic with these generalized quantifiers relativizes.     

Causal Overdetermination and Modal Compatibilism

Compatibilists respond to the problem of causal exclusion for nonreductive physicalism by rejecting the exclusionist’s ban on overdetermination. By the compatibilist’s lights there are two forms of overdetermination, one that’s problematic and another that is entirely benign. Furthermore, multiple causation by “tightly related” causes requires only the benign form of overdetermination. Call this the tight relation strategy for avoiding problematic forms of overdetermination. To justify the tight relation strategy, modal compatibilists appeal to a widely accepted counterfactual test. The argument of this paper is that the counterfactual test fails to legitimize the tight relation strategy as it fails to adequately distinguish between problematic and benign overdetermination. Contrary to modal compatibilists, modal dependence does not suffice for benignity. I conclude by arguing that adequately addressing overdetermination worries requires a much heavier metaphysical burden than modal compatibilists have typically recognized.