In the literature, regress arguments often take one of two different forms: either they conclude that a given solution fails to solve any problem of a certain kind (the strong conclusion), or they conclude that a given solution fails to solve all problems of a certain kind (the weaker conclusion). This gives rise to a logical problem: do regresses entail the strong or the weaker conclusion, or none? In this paper I demonstrate that regress arguments can in fact take both (...) forms, and clearly set out the logical difference between them. Throughout the paper, I confine myself to metaphysical examples from the early Russell. Only now that we know they are valid can we start to discuss whether they are sound. (shrink)

The paper analyses the main trends in the discussions about the notion of supervenience in the last decades, putting the emphasis in some crucial problems. The starting point will be the various concepts of supervenience proposed by Jaegwon Kim. Through them, we will identify a dramatic tension between the extremes of eliminativism and dualism (in general, pluralism), being placed in the middle of them the positions of a non-eliminativist reductionism and of a non-dualist epiphenomenism. The open options facing that tension (...) show a very peculiar and valuable sort of philosophical work which could be called “conceptual engineering”. (shrink)

A version of Frege's theorem can be proved in a plural logic with pair abstraction. We talk through this and discuss the philosophical implications of the result.

In this article I examine the compatibility of a leading trope bundle theory of substance, so-called Nuclear Theory, with trope theory more generally. Peter Simons (1994) originally proposed Nuclear Theory (NT), and continues to develop (1998, 2000) and maintain (2002/03) the view. Recently, building on Simons’s theory, Markku Keinänen (2011) has proposed what he calls the Strong Nuclear Theory (SNT). Although the latter is supposed to shore up some of NT’s weaknesses, it continues to maintain NT’s central tenet, the premise (...) that tropes are variously existentially interdependent. I argue that the central tenet of NT frustrates several important aims of trope theory. If my arguments go through, they also implicate SNT. Because of this, I largely set aside other aspects of NT and SNT and focus on their shared central tenet. (shrink)

Several philosophers advance substantive theories of propositions, to deal with several issues they raise in connection with a concern with a long pedigree in philosophy, the problem of the unity of propositions. The qualification ‘substantive’ is meant to contrast with ‘minimal’ or ‘deflationary’ – roughly, views that reject that propositions have a hidden nature, worth investigating. Substantive views appear to create spurious problems by characterizing propositions in ways that make them unfit to perform their theoretical jobs. I will present in (...) this light some critical points against Hanks’ (2015, 2019) act-theoretic view, and Recanati’s (2019) recent elaboration of Hanks’ notion of cancellation. Both Hanks and Recanati, I’ll argue, rely on problematic conceptions of fiction and pretense. (shrink)

The accepted narrative treats John Stuart Mill's Kinds as the historical prototype for our natural kinds, but Mill actually employs two separate notions: Kinds and natural groups. Considering these, along with the accounts of Mill's 19th-century interlocutors, forces us to recognize two distinct questions. First, what marks a natural kind as worthy of inclusion in taxonomy? Second, what exists in the world that makes a category meet that criterion? Mill's two notions offer separate answers to the two questions: natural groups (...) for taxonomy, and Kinds for ontology. This distinction is ignored in many contemporary debates about natural kinds and is obscured by the standard narrative which treats our natural kinds just as a development of Mill's Kinds. (shrink)

Supervenience is the impossibility of independent variation. A crude statement of supervenience would be the claim that things cannot differ in some respect without differing in some other respect. For example, to say that the mental supervenes on the physical is to say that there cannot be mental differences without physical differences. ;The basic idea behind supervenience can be developed in a number of ways. My dissertation contains a detailed study of the different supervenience relations found in the literature. I (...) consider their logical relations to one another and their relative strengths and weaknesses. I then develop new, more useful supervenience relations. ;In general, supervenience is supposed to be a nonreductive dependence relation. A primary goal of my dissertation is to determine the nature and philosophical significance of the dependence relation provided by supervenience. So, for example, I attempt to determine whether materialism is adequately formulated as a supervenience thesis. Recently, many have claimed that it is not. They claim that the mental could supervene on the physical without being asymmetrically dependent on the physical in the way that materialism requires. I respond by agreeing that supervenience is not sufficient for the relevant sort of dependence, but I contend that the supervenience of the mental on the physical is a nontrivial necessary condition on materialism. So the question of the supervenience of the mental on the physical is significant, for if it fails to hold, then materialism is false. Thus, I defend the importance of supervenience to philosophy while acknowledging that some of the recent criticisms of supervenience are sound. (shrink)

In this essay I begin to lay out a conceptual scheme for: analysing dualities as cases of theoretical equivalence; assessing when cases of theoretical equivalence are also cases of physical equivalence. The scheme is applied to gauge/gravity dualities. I expound what I argue to be their contribution to questions about: the nature of spacetime in quantum gravity; broader philosophical and physical discussions of spacetime. - proceed by analysing duality through four contrasts. A duality will be a suitable isomorphism between models: (...) and the four relevant contrasts are as follows: Bare theory: a triple of states, quantities, and dynamics endowed with appropriate structures and symmetries; vs. interpreted theory: which is endowed with, in addition, a suitable pair of interpretative maps. Extendable vs. unextendable theories: which can, respectively cannot, be extended as regards their domains of application. External vs. internal intepretations: which are constructed, respectively, by coupling the theory to another interpreted theory vs. from within the theory itself. Theoretical vs. physical equivalence: which contrasts formal equivalence with the equivalence of fully interpreted theories. I will apply this scheme to answering questions - for gauge/gravity dualities. I will argue that the things that are physically relevant are those that stand in a bijective correspondence under duality: the common core of the two models. I therefore conclude that most of the mathematical and physical structures that we are familiar with, in these models, are largely, though crucially never entirely, not part of that common core. Thus, the interpretation of dualities for theories of quantum gravity compels us to rethink the roles that spacetime, and many other tools in theoretical physics, play in theories of spacetime. (shrink)

So selbstverständlich es klingt, vom Geist, der Psyche oder auch der Seele eines Menschen zu reden, und so vertraut uns wissenschaftliche Disziplinen sind, die sich philosophisch oder empirisch damit beschäftigen, so schwer fällt es, ein einheitliches Merkmale dafür anzugeben, wann etwas ein psychisches Phänomen ist. Viele der potentiellen Merkmale decken eben nur einen Teil des Spektrums dessen ab, was wir gewöhnlich als psychisch bezeichnen würden, und sind damit bestenfalls hinreichende, aber sicher keine notwendigen Bedingungen des Psychischen. Im Mittelpunkt des folgenden (...) Artikels wird dagegen ein Merkmal stehen, von dem feststeht, daß es nicht hinreichend ist, von dem man aber vermuten kann, es sei zumindest notwendig: die Individualität psychischer Phänomene. Die Frage, mit der ich mich beschäftigen werde, ist, ob sich diese Vermutung mit Bezug auf eine Grnppe paradigmatisch psychischer Phänomene aufrecht erhalten läßt, die intentionalen Einstellungen. (shrink)

Current approaches to formal representation in biomedicine are characterized by their focus on either the static or the dynamic aspects of biological reality. We here outline a theory that combines both perspectives and at the same time tackles the by no means trivial issue of their coherent integration. Our position is that a good ontology must be capable of accounting for reality both synchronically (as it exists at a time) and diachronically (as it unfolds through time), but that these are (...) two quite different tasks, whose simultaneous realization is by no means trivial. The paper is structured as follows. We begin by laying out the methodological and philosophical background of our approach. We then summarize the structure and elements of the Basic Formal Ontology on which it rests, in particular the SNAP ontology of objects and the SPAN ontology of processes. Finally, we apply the general framework to the specific domain of biomedicine. (shrink)

We investigate the concepts of past, present, and future that build upon a modal distinction between the settled past and the open future. The concepts are defined in terms of a pre-causal ordering and of qualitative differences between alternative histories. Finally, we look what an event's past, present, and future look like in the so-called Minkowskian Branching Structures, in which histories are isomorphic to Minkowski spacetime.

An explanatory gap ensues when the truths constituting the explanans do not entail the explanandum. Attempts to give a physicalist account of consciousness seem to generate an explanatory gap, which is special in the following psychological sense. In other cases, it is possible to bridge or close the gap by regimenting or eliminating the respective concepts. In the case of consciousness, however, there is a pervasive intuition that the gap remains even when one works out a notion of consciousness that (...) allows the entailment of truths about consciousness from physical premises. The intuition is expressed by the sense that something essential about consciousness is left out from any such conceptual regimentation. This paper defends the view that this intuition is generated by the way our experiences are given to us. Every experience has a component that is not captured by any specification. The gap intuition is due to this ineffable component in experiences. Since conscious experiences are partly ineffable, it seems that no account of consciousness captures conscious experiences entirely and so would develop the intuition that something has been left out. An alternative explanation to the gap intuition is provided by the “phenomenal concepts’ strategy”. According to this strategy, it is the peculiar nature of phenomenal concepts that feeds the intuition. The main problem with such an approach is that phenomenal concepts are more coarse-grained than the experiences themselves and thus their application still does not entail what it is like to have a particular phenomenal experience. (shrink)

If temporal parts are bona fide parts, then it is fitting to clarify and extend that notion (and related ones) using the resources of a theory of parts. But it often seems that those engaged in the 3D/4D debate appear to take for granted that, aside from introducing a welcome measure of rigor to the discussion, issues regarding theories of parthood can be allowed to recede into the background. What follows challenges that assumption — I demonstrate that the nature of (...) the fundamental mereological relation1 can decisively influence the outcome of the debate over persistence. In short, I show that if the fundamental mereological relation is proper parthood-at-atime then four-dimensionalism is false.2 Recognizing this does at least two things for us. First, it supplies a framework in which three-dimensionalists can clarify two things they have tended to say all along, namely that persisting things are ‘wholly present’ throughout their careers and that they do not have temporal parts. Second, it re-focuses the debate on a narrower and perhaps more tractable question: “What is the nature of the fundamental mereological relation?”. (shrink)