In this paper, I argue that (non-presentist) endurantism is incompatible with the view that properties are universals. I do so by putting forward a very simple objection that forces the endurantist to embrace tropes, rather than universals. I do not claim that this is bad news for the endurantist—trope theory seems to me by all means more appealing than universals—rather, I would like to see this result as a further motivation to embrace tropes. I then also put forward a (more (...) controversial) reason to believe that at least some versions of perdurantism also require tropes rather than universals. (shrink)

Finding an adequate definition of "life" has proven to be a tricky affair. In this article, I discuss the idea that nothing is really alive: we only say so. I shall argue that 'being alive' is not a genuine property of things, and that it only reflects the way we think and talk about things. An eliminativist strategy will then allow us to free ourselves from the burden of having to find a definition of life, and will allow us to (...) focus on the genuinely interesting properties of living (and non-living) entities. (shrink)

In this article, I defend Lewisian modal realism against objections arising from the possibility of ‘Island Universes’ and other similar cases. The problem comes from Lewis’ claim that possible worlds are spatio-temporally isolated. I suggest a modification of Lewisian modal realism in order to avoid this family of objections. This modification may sound quite radical since it amounts to abandoning the very notion of a possible world, but as radical as it may sound it in fact remains well in the (...) spirit of Lewis’ original view. (shrink)

Metaphysical theories are often counter-intuitive. But they also often are strongly supported and motivated by intuitions. One way or another, the link between intuitions and metaphysics is a strong and important one, and there is hardly any metaphysical discussion where intuitions do not play a crucial role. In this article, I will be interested in a particular kind of such intuitions, namely those that come, at least partly, from experience. There seems to be a route from experience to metaphysics, and (...) this is the core of my interest here. In order to better understand such ‘arguments from experience’ and the kind of relationship there is between this type of intuitions and metaphysical theories, I shall examine four particular cases where a kind of experience-based intuition seems to motivate or support a metaphysical theory. At the end of the day, I shall argue that this route is a treacherous one, and that in all of the four cases I shall concentrate on, phenomenological considerations are in fact orthogonal to the allegedly ‘corresponding’ metaphysical claims. An anti-realist view of metaphysics will emerge. (shrink)

The eternalist endurantist and perdurantist theories of persistence through time come in various versions, namely the two versions of perdurantism: the worm view and the stage view , and the two versions of endurantism: indexicalism and adverbialism . Using as a starting point the instructive case of what is depicted by photographs, I will examine these four views, and compare them, with some interesting results. Notably, we will see that two traditional enemies—the perdurantist worm view and the endurantist theories—are more (...) like allies : they are much less different than what is usually thought, and some alleged points of central disagreement fall prey to closer scrutiny. The aim of this paper is to examine carefully all those points, and to call attention to the places where the real differences between these views lie. I will then turn to the perdurantist stage view, and claim that with respect to some central issues it is the view that is the most different from the other three, but that in some places the reason why it different is also the reason why it is less satisfactory. (shrink)

The recent debate in metaontology gave rise to several types of (more or less classical) answers to questions about "equivalences" between metaphysical theories and to the question whether metaphysical disputes are substantive or merely verbal (i.e. various versions of realism, strong anti-realism, moderate anti-realism, or epistemicism). In this paper, I want to do two things. First, I shall have a close look at one metaphysical debate that has been the target and center of interest of many meta-metaphysicians, namely the problem (...) of how material objects persist through time : the endurantism vs. perdurantism controversy. It has been argued that this debate is a good example of a merely verbal one, where two allegedly competing views are in fact translatable one into each other – they end up, contrary to appearances, to be equivalent. In my closer look at this debate, I will conclude that this is correct, but only to some extent, and that there does remain room for substantive disagreement. The second thing that I wish to achieve in this paper, and that I hope will stem from my considerations about the persistence debate, is to defend a metaontological view that emphasizes that when asking the question "Are metaphysical debates substantive or verbal?" the correct answer is "It depends." Some debates are substantive, some debates are merely verbal, sometimes it is true that a problem or a question can be formulated in equally good frameworks where there is no fact of the matter as to which one is correct or where we just cannot know it. Furthermore, importantly, as my examination of the persistence debate will show, there is room for the view that a debate is largely merely verbal but not entirely and that some parts of it are substantive, and decidable by philosophical methods. It is possible, and it is the case with respect to the persistence debate, that inside a debate some points are merely verbal while other are places of substantive disagreement. A moral of this is that, at the end of the day, the best way to do meta-metaphysics is to do first-level metaphysics. (shrink)

Recently much has been made of the grounding relation, and of the idea that it is intimately tied to fundamentality. If A grounds B, then A is more fundamental than B (though not vice versa ), and A is ungrounded if and only if it is fundamental full stop—absolutely fundamental. But here is a puzzle: is grounding itself absolutely fundamental?

At a first glance, and even at a second one, it seems that if time is linear the threat of determinism is more severe than if time is branching, since in the latter case the future is open in a way it is not in the former one where, so to speak, there exists only one branch – one future. In this paper, I want to give a 'third glance' at this claim. I acknowledge that such a claim is intuitive (...) (this is the first glance) and that it is also meaningfully and interestingly defended in recent literature where branching time is either said to imply indeterminism or at least to be compatible with it. To try to make my third glance as precise and as fleshed out as possible, I shall first concentrate on what 'branching' is or could be, and I shall discuss various versions and interpretations of this view. I shall then (more quickly) turn my attention to what determinism is or could be, and I will distinguish three (well-known) kinds of it – focusing mainly on 'metaphysical determinism'. Having these tools in hand, I will then ask (and answer) the question whether branching time helps with avoiding determinism or not. As we shall see, it is incorrect to think that under the branching hypothesis the threat of determinism is any smaller – rather, I will argue that if one has reasons to think that determinism is true, branching will not help, and that the issue of branching versus linear time is then actually neutral with respect to the question whether determinism or indeterminism is true. (shrink)

In this article, I am interested in four versions of what is often referred to as "the Humphrey objection". This objection was initially raised by Kripke against Lewis's modal counterpart theory, so this is where I will start the discussion. As we will see, there is a perfectly good answer to the objection. I will then examine other places where a similar objection can be raised: it can arise in the case of temporal counterpart theory (in fact, it can arise (...) in the case of all kinds of counterpart theories, independently on modal realism), and a very similar worry can also arise against modal realism itself or against an ersatzist theory of possible worlds itself. For similar reasons, in similar situations, a similar objection will arise. What is interesting is that it is not the case that a similar response can be given in all of these similar cases. So, in the end, we will see what dissimilarities there are and how and why they are relevant. In particular, we will see the differences there are between alethic modalities and temporal modalities. In the case of alethic modalities (metaphysical necessity and possibility), the objection can be answered by appealing to the notion of representation, while this does not work very well in the case of temporal modalities. (shrink)

The aim of this paper is to explore the view that some ontological disputes are “metalinguistic negotiations”, and to make sense of the significance of these controversies in a way that is still compatible with a broadly deflationist approach. I start by considering the view advocated by Eli Hirsch to the effect that some ontological disputes are verbal. I take the Endurantism–Perdurantusm dispute as a case-study and argue that, while it can be conceded that the dispute is verbal at the (...) object-level, this does not rule out the possibility of a non-verbal disagreement at the metalinguistic level. I then explore the metalinguistic dispute hypothesis by seeing how it can be defended from a first objection playing on the idea of inter-translatability, as well as a second objection raising the question of equal theoretical virtues. (shrink)

Popper’s introduction of ‘‘propensity’’ was intended to provide a solid conceptual foundation for objective single-case probabilities. By considering the partly opposed contributions of Humphreys and Miller and Salmon, it is argued that when properly understood, propensities can in fact be understood as objective single-case causal probabilities of transitions between concrete events. The chief claim is that propensities are well-explicated by describing how they fit into the existing formal theory of branching space-times, which is simultaneously indeterministic and causal. Several problematic examples, (...) some commonsense and some quantum-mechanical, are used to make clear the advantages of invoking branching space-times theory in coming to understand propensities. (shrink)

The theory of branching space-times, put forward by Belnap, considers indeterminism as local in space and time. In the axiomatic foundations of that theory, so-called choice points mark the points at which the possible future can turn out in different ways. Working under the assumption of choice points is suitable for many applications, but has an unwelcome topological consequence that makes it difficult to employ branching space-times to represent a range of possible physical space-times. Therefore it is interesting to develop (...) a branching space-times theory without choice points. This is what we set out to do in this paper, providing new foundations for branching space-times in terms of choice sets rather than choice points. After motivating and developing the resulting theory in formal detail, we show that it is possible to translate structures of one style into structures of the other style and vice versa. This result shows that the underlying idea of indeterminism as the branching of spatio-temporal histories is robust with respect to different implementations, making a choice between them a matter of expediency rather than of principle. (shrink)

“Branching space-times” (BST) is intended as a representation of objective, event-based indeterminism. As such, BST exhibits both a spatio-temporal aspect and an indeterministic “modal” aspect of alternative possible historical courses of events. An essential feature of BST is that it can also represent spatial or space-like relationships as part of its (more or less) relativistic theory of spatio-temporal relations; this ability is essential for the representation of local (in contrast with “global”) indeterminism. This essay indicates how BST might be seen (...) to grow out of Newton’s deterministic and non-relativistic theory by two independent moves: (1) Taking account of indeterminism, and (2) attending to spatio-temporal relationships in a spirit derived from Einstein’s theory of special relativity. Since (1) and (2) are independent, one can see that there is room for four theories: Newtonian determinism, branching time indeterminism, relativistic determinism, and (finally) branching space-times indeterminism. (shrink)

This paper follows Part I of our essay on case-intensional first-order logic (CIFOL; Belnap and Müller (2013)). We introduce a framework of branching histories to take account of indeterminism. Our system BH-CIFOL adds structure to the cases, which in Part I formed just a set: a case in BH-CIFOL is a moment/history pair, specifying both an element of a partial ordering of moments and one of the total courses of events (extending all the way into the future) that that moment (...) is part of. This framework allows us to define the familiar Ockhamist temporal/modal connectives, most notably for past, future, and settledness. The novelty of our framework becomes visible in our discussion of substances in branching histories, i.e., in its first-order part. That discussion shows how the basic idea of tracing an individual thing from case to case via an absolute property is applicable in a branching histories framework. We stress the importance of keeping apart extensionality and moment-definiteness, and give a formal account of how the specification of natural sortals and natural qualities turns out to be a coordination task in BH-CIFOL. We also provide a detailed answer to Lewis’s well-known argument against branching histories, exposing the fallacy in that argument. (shrink)

(No abstract is available for this citation).

Branching space-time is a simple blend of relativity and indeterminism. Postulates and definitions rigorously describe the causal order relation between possible point events. The key postulate is a version of everything has a causal origin; key defined terms include history and choice point. Some elementary but helpful facts are proved. Application is made to the status of causal contemporaries of indeterministic events, to how splitting of histories happens, to indeterminism without choice, and to Einstein-Podolsky-Rosen distant correlations.

A structure is described that can serve as a foundation for a semantics for a modal agentive construction such as sees to it that Q ([ stit: Q]). The primitives are Tree,,Instant, Agent, choice. Eleven simple postulates governing this structure are set forth and motivated. Tree and encode a picture of branching time consisting of moments gathered into maximal chains called histories. Instant imposes a time-like ordering. Agent consists of agents, and choice assigns to each agent and each moment in (...) Tree a set of possible choices, where each possible choice is a set of histories. All of these ingredients are referred to in the semantics suggested for [ stit: Q]. The most complex part of the discussion is the motivation for the definition of what it means for a typically non-terminating chain of moments jointly to witness the truth of [ stit: Q] at a moment.The paper begins with an informal account of the Refref conjecture, which says that the only way to refrain from refraining from seeing to something is to see to it. The paper ends with a consideration of an argument of Prior's that in a certain sense contemplation and action are inconsistent. (shrink)

This paper follows Part I of our essay on case-intensional first-order logic ). We introduce a framework of branching histories to take account of indeterminism. Our system BH-CIFOL adds structure to the cases, which in Part I formed just a set: a case in BH-CIFOL is a moment/history pair, specifying both an element of a partial ordering of moments and one of the total courses of events that that moment is part of. This framework allows us to define the familiar (...) Ockhamist temporal/modal connectives, most notably for past, future, and settledness. The novelty of our framework becomes visible in our discussion of substances in branching histories, i.e., in its first-order part. That discussion shows how the basic idea of tracing an individual thing from case to case via an absolute property is applicable in a branching histories framework. We stress the importance of keeping apart extensionality and moment-definiteness, and give a formal account of how the specification of natural sortals and natural qualities turns out to be a coordination task in BH-CIFOL. We also provide a detailed answer to Lewis’s well-known argument against branching histories, exposing the fallacy in that argument. (shrink)

In Plato's Parmenides , Socrates proposes a 'Day' analogy to express one possible model of part/whole relations. His analogy is swiftly rejected and replaced with another analogy, that of the 'Sail'. In this paper, it is argued that there is a profound difference between these two analogies and that the 'Day' represents a distinct way to think about part/whole relations. This way of thinking, I argue, is the standard way of thinking in East Asian Buddhism. Plato's 'Day' analogy can then (...) be used to illuminate the meaning of an opaque but very important concept in East Asian Buddhism: li , which in this paper is developed as a modal concept of 'Wholeness'. (shrink)

Consequence is at the heart of logic; an account of consequence, of what follows from what, offers a vital tool in the evaluation of arguments. Since philosophy itself proceeds by way of argument and inference, a clear view of what logical consequence amounts to is of central importance to the whole discipline. In this book JC Beall and Greg Restall present and defend what thay call logical pluralism, the view that there is more than one genuine deductive consequence relation, a (...) position which has profound implications for many linguists as well as for philosophers. We should not search for one true logic, since there are many. (shrink)

Consequence is at the heart of logic; an account of consequence, of what follows from what, offers a vital tool in the evaluation of arguments. Since philosophy itself proceeds by way of argument and inference, a clear view of what logical consequence amounts to is of central importance to the whole discipline. In this book JC Beall and Greg Restall present and defend what thay call logical pluralism, the view that there is more than one genuine deductive consequence relation, a (...) position which has profound implications for many linguists as well as for philosophers. We should not search for one true logic, since there are many. (shrink)

What is an epiphenomenal property? This question needs to be settled before we can decide whether higher-level properties are epiphenomenal or not. In this paper, I offer an account of what it is for a property to have some causal power. From this, I derive a characterisation of the notion of an epiphenomenal property. I then argue that physically realized higher-level properties are not epiphenomenal because laws of nature impose causal similarities on the bearers of such properties, and these similarities (...) figure as powers in the causal profiles of these properties. (shrink)

ABSTRACT An apparent objection against my theory of instantiation as partial identity is that identity is necessary, yet instantiation is often contingent. To rebut the objection, I show how it can make sense that identity is contingent. I begin by showing how it can make sense that identity is temporary. I rely heavily on Andre Gallois’s formal theory of occasional identity, but argue that there is a gap in his explanation of how his formalisms make sense that needs to be (...) filled by appeal to my theory of Aspects. (shrink)

I here argue that Ted Sider's indeterminacy argument against vagueness in quantifiers fails. Sider claims that vagueness entails precisifications, but holds that precisifications of quantifiers cannot be coherently described: they will either deliver the wrong logical form to quantified sentences, or involve a presupposition that contradicts the claim that the quantifier is vague. Assuming (as does Sider) that the “connectedness” of objects can be precisely defined, I present a counter-example to Sider's contention, consisting of a partial, implicit definition of the (...) existential quantifier that in effect sets a given degree of connectedness among the putative parts of an object as a condition upon there being something (in the sense in question) with those parts. I then argue that such an implicit definition, taken together with an “auxiliary logic” (e.g., introduction and elimination rules), proves to function as a precisification in just the same way as paradigmatic precisifications of, e.g., “red”. I also argue that with a quantifier that is stipulated as maximally tolerant as to what mereological sums there are, precisifications can be given in the form of truth-conditions of quantified sentences, rather than by implicit definition. (shrink)

One feature of vague predicates is that, as far as appearances go, they lack sharp application boundaries. I argue that we would not be able to locate boundaries even if vague predicates had sharp boundaries. I do so by developing an idealized cognitive model of a categorization faculty which has mobile and dynamic sortals (`classes', `concepts' or `categories') and formally prove that the degree of precision with which boundaries of such sortals can be located is inversely constrained by their flexibility. (...) Given the literature, it is plausible that we are appropriately like the model. Hence, an inability to locate sharp boundaries is not necessarily because there are none; boundaries could be sharp and it is plausible that we would nevertheless be unable to locate them. (shrink)

The Physical Intentionality Thesis claims that dispositions share the marks of psychological intentionality; therefore, intentionality is not exclusively a mental phenomenon. Beyond the standard five marks, Alexander Bird introduces two additional marks of intentionality that he argues dispositions do not satisfy: first, thoughts are extrinsic; second, the direction of causation is that objects cause thoughts, not vice versa. In response, this paper identifies two relevant conceptions of extrinsicness, arguing that dispositions show deep parallels to thoughts on both conceptions. Then, it (...) shows that Bird’s discussion of direction of causation overlooks complexities of dispositionality and intentionality that problematize apparent differences between thoughts and dispositions. The paper ends with a discussion of why we find these parallels between thoughts and dispositions. (shrink)

The many-worlds view is one of the most discussed “interpretations” of quantum mechanics. As is well known, this view has some very controversial and much discussed aspects. This paper focuses on one particular problem arising from the combination of quantum mechanics with Special Relativity. It turns out that the ontology of the many-worlds view – the account of what there is and what branches of the universe exist – is relative to inertial frames. If one wants to avoid relativizing ontology, (...) one has to argue either that there is an additional source of branching due to Special Relativity and thus additional branches or worlds. Or one has to argue that there are not only many worlds but also many universes ; there is thus not only one tree of many world-branches but many frame-specific trees, a “forest” of many world-trees. The main problem here is how one can understand all or any of this. (shrink)

In non-philosophical discourse, “identity” is often used when the specific character of artefacts is described or evaluated. We argue that this usage of “identity” can be explicated as referring to the symbol properties of artefacts as they are conceptualized in the symbol theory of Goodman and Elgin. This explication is backed by an analysis of various uses of “identity”. The explicandum clearly differs from the concepts of numerical identity, qualitative identity and essence, but it has a range of similarities with (...) the notion of self-concept used in psychology and practical philosophy. The proposed explication is used to analyse claims about identity-pluralism and identity-conflicts. Firstly, the explication allows us to distinguish various ways how the same artefact can have a plurality of identities. Secondly, more or less sharp conflicts within an identity or between identities of an artefact are distinguished. Thirdly, many phenomena called “identity-conflicts” are only apparently identity-conflicts and can be analysed as involving some other form of tension. (shrink)

Several philosophers of science and metaphysicians claim that the dispositional properties of fundamental particles, such as the mass, charge, and spin of electrons, are ungrounded in any further properties. It is assumed by those making this argument that such properties are intrinsic, and thus if they are grounded at all they must be grounded intrinsically. However, this paper advances an argument, with one empirical premise and one metaphysical premise, for the claim that mass is extrinsically grounded and is thus an (...) extrinsic disposition. Although the argument concerns mass characterized as a disposition, it applies equally well whether mass is a categorical or dispositional property; however, the dispositional nature of mass is relevant to some important objections and implications discussed. (shrink)

The purpose of this essay is exegesis. I explicate Nicolas Malebranche's (1674, 1678, 1688, 1714) concept of intelligible extension. I begin by detailing how the concept matured throughout Malebranche's work, and the new functions it took on within his metaphysical system. I then examine Gustav Bergmann's “axiomatic” interpretation, as well as the criticism of it offered by Daise Radner. I argue that Radner's criticism of the interpretation is only partly successful; some of her objections can be met; others cannot. I (...) then develop a novel interpretation of the concept, given insights from this dispute. I call it the “programmatic interpretation.” I argue that this interpretation coheres well with Malebranche's famous Vision in God thesis, as well as many of his other commitments. I conclude by considering a certain pertinent objection to my proposal, summarizing the dialectic, and forcefully restating my case. (shrink)

Essentialists suppose that for every individual, if that individual exists at any possible world, then necessarily that individual exemplifies some non-trivial qualitative property essential to it, as such. Anti-essentialists deny this. One important argument leveled by some anti-essentialists against essentialism takes the form of a thought experiment, one originally introduced by Roderick Chisholm, sometimes referred to as Chisholm's Paradox (CP). In this essay, I defend essentialism against CP. I begin by presenting the argument and showing how it leads to a (...) contradiction of the essentialist thesis. I then consider one of the most popular solutions to CP to date, that given by Nathan Salmon. Next, I critique Salmon's proposal and show that it is an insufficient response on behalf of the essentialist. And finally, I propose a novel solution to the paradox and discuss why it is that many metaphysician in the past have found CP plausible, despite being fallacious. (shrink)

Much current debate in the metaphysics of time is between A-theorists and B-theorists. Central to this debate is the assumption that time exists and that the task of metaphysics is to catalogue time’s features. Relatively little consideration has been given to an error theory about time. Since there is very little extant work on temporal error theory the goal of this paper is simply to lay the groundwork to allow future discussion of the relative merits of such a view. The (...) paper thus develops a conceptual framework from within which to evaluate claims about the actual existence, or not, of temporality as that notion appears in folk discourses about time, and from there to examine claims about the counterfactual existence, or not, of temporality so conceived. We subsequently apply this framework to three extant positions drawn from physics and metaphysics that deny the existence of time. We show that only one of these positions is a folk temporal error theory; that is, a view that denies the existence of time as that notion is operative in our everyday thought and talk. (shrink)

The idea of ‘the university’ has stood for universal themes—of knowing, of truthfulness, of learning, of human development, and of critical reason. Through its affirming and sustaining of such themes, the university came itself to stand for universality in at least two senses: the university was neither partial nor local in its significance . Now, this universalism has been shot down: on the one hand, universal themes have been impugned as passé in a postmodern age; in the ‘knowledge society’, knowledge (...) with a capital ‘K’ is giving way to multiple and even local knowledges . On the other hand, the very process of globalization has been accused of being a new process of colonization. Global universities, accordingly, may be seen as a vehicle for the imposition of Western modes of reason . Diversity is the new watchword, a term that—we may note—has come to be part of the framing of the contemporary policy agenda for higher education. Accordingly, in such a situation of multiple meanings, both within and across institutions, the university becomes an institutional means for developing the capacities—at both the personal and the societal levels—to live with ‘strangeness’: perhaps here lies a new universal for the university? But, then, if that is the case, if strangeness is the new universal for the university, some large challenges await those who would claim to lead and manage universities. (shrink)

Many authors have considered that the notions of paraconsistency and dialetheism are intrinsically connected, in many cases, to the extent of confusing both phenomena. However, paraconsistency is a formal feature of some logics that consists in invalidating the rule of explosion, whereas dialetheism is a semantical/ontological position consisting in accepting true contradictions. In this paper, we argue against this connection and show that it is perfectly possible to adopt a paraconsistent logic and reject dialetheism, and, moreover, that there are examples (...) of non-paraconsistent logics that can be interpreted in a dialetheic way. (shrink)

Non-skeptical robust realists about normativity, mathematics, or any other domain of non- causal truths are committed to a correlation between their beliefs and non- causal, mind-independent facts. Hartry Field and others have argued that if realists cannot explain this striking correlation, that is a strong reason to reject their theory. Some consider this argument, known as the Benacerraf–Field argument, as the strongest challenge to robust realism about mathematics, normativity, and even logic. In this article I offer two closely related accounts (...) for the type of explanation needed in order to address Field's challenge. I then argue that both accounts imply that the striking correlation to which robust realists are committed is explainable, thereby discharging Field's challenge. Finally, I respond to some objections and end with a few unresolved worries. (shrink)

John goes out for a walk. If John endures and his walk perdures, they are different entities. However, what if both John and his walk perdure? Is John’s walk identical to his relevant temporal part? Some philosophers answer in the affirmative. Their motivations rest on ontological parsimony and the quest for clear-cut identity criteria for existing things. By contrast, one of the most widely accepted theories of events – the theory of events as property-exemplifications – allows us to formulate an (...) argument to the effect that objects’ temporal parts are distinct from the events they participate in: the AID argument, as I shall call it. In this paper, I argue that accepting austere nominalism is the best strategy a supporter of the identification between events and temporal parts of objects can take in order to resist the AID argument. (shrink)

Priority monism (hereafter, ‘monism’) is the view that there exists one fundamental entity—the world—and that all other objects that exist (a set of objects typically taken to include tables, chairs, and the whole menagerie of everyday items) are merely derivative. Jonathan Schaffer has defended monism in its current guise, across a range of papers. Each paper looks to add something to the monistic picture of the world. In this paper we argue that monism—as Schaffer describes it—is false. To do so (...) we develop an ‘island universe’ argument against Schaffer's monistic theory. (shrink)

In different papers, Carnielli, W. & Rodrigues, A., Carnielli, W. Coniglio, M. & Rodrigues, A. and Rodrigues & Carnielli, present two logics motivated by the idea of capturing contradictions as conflicting evidence. The first logic is called BLE and the second—that is a conservative extension of BLE—is named LETJ. Roughly, BLE and LETJ are two non-classical logics in which the Laws of Explosion and Excluded Middle are not admissible. LETJ is built on top of BLE. Moreover, LETJ is a Logic (...) of Formal Inconsistency. This means that there is an operator that, roughly speaking, identifies a formula as having classical behavior. Both systems are motivated by the idea that there are different conditions for accepting or rejecting a sentence of our natural language. So, there are some special introduction and elimination rules in the theory that are capturing different conditions of use. Rodrigues & Carnielli’s paper has an interesting and challenging idea. According to them, BLE and LETJ are incompatible with dialetheia. It seems to show that these paraconsistent logics cannot be interpreted using truth-conditions that allow true contradictions. In short, BLE and LETJ talk about conflicting evidence avoiding to talk about gluts. I am going to argue against this point of view. Basically, I will firstly offer a new interpretation of BLE and LETJ that is compatible with dialetheia. The background of my position is to reject the one canonical interpretation thesis: the idea according to which a logical system has one standard interpretation. Then, I will secondly show that there is no logical basis to fix that Rodrigues & Carnielli’s interpretation is the canonical way to establish the content of logical notions of BLE and LETJ. Furthermore, the system LETJ captures inside classical logic. Then, I am also going to use this technical result to offer some further doubts about the one canonical interpretation thesis. (shrink)

In this paper we present a new metaphysical theory of material objects. On our theory, objects are bundles of property instances, where those properties give the nature or essence of that object. We call the theory essential bundle theory. Property possession is not analysed as bundle-membership, as in traditional bundle theories, since accidental properties are not included in the object’s bundle. We have a different story to tell about accidental property possession. This move reaps many benefits. Essential bundle theory delivers (...) a simple theory of the essential properties of material objects; an explanation of how object coincidence can arise; an actual-world ground for modal differences between coincident objects; a simple story about intrinsic properties; and a plausible account of certain ubiquitous cases of causal overdetermination. (shrink)

Strong non-maximalism holds that some truths require no ontological ground of any sort. Strong non-maximalism allows one to accept that some propositions are true without being forced to endorse any corresponding ontological commitments. We show that there is a version of truthmaker theory available—anti-aboutness truthmaking—that enjoys the dialectical benefits of the strong non-maximalist’s position. According to anti-aboutness truthmaking, all truths require grounds, but a proposition need not be grounded in the very thing(s) that the proposition is about. We argue that (...) if strong non-maximalism can be defended, then so can anti-aboutness truthmaking on the very same basis; one can enjoy the benefits of strong non-maximalism without giving up on the idea that truth is always grounded in being. (shrink)

When a novel scientific theory conflicts with otherwise plausible moral assumptions, we do not treat that as evidence against the theory. We may scrutinize the empirical data more keenly and take extra care over its interpretation, but science is in some core sense immune to moral refutation. Can the same be said of philosophical theories (or the non-ethical, ‘metaphysical’ ones at least)? If a position in the philosophy of mind, for example, is discovered to have eye-widening moral import, does that (...) count against it at all? Actual responses by philosophers to the question of whether unanticipated moral consequences of metaphysical theories have evidential force are scattered, implicit, divergent, under-argued, and sometimes even self-undermining. The present discussion is, most immediately, an attempt to sort out the confusion. Beyond that, it exploits the new perspective this question gives us on a familiar topic: the relation of philosophy to science. (shrink)

According to a number of approaches in theoretical physics, spacetime does not exist fundamentally. Rather, spacetime exists by depending on another, more fundamental, non-spatiotemporal structure. A prevalent opinion in the literature is that this dependence should not be analyzed in terms of composition. We should not say, that is, that spacetime depends on an ontology of non-spatiotemporal entities in virtue of having them as parts. But is that really right? On the contrary, we argue that a mereological approach to dependent (...) spacetime is not only viable, but promises to enhance our understanding of the physical situation. (shrink)

PLEASE NOTE: This is the corrected 2nd eBook edition, 2021. ●●●●● _Critique of Impure Reason_ has now also been published in a printed edition. To reduce the otherwise high price of this scholarly, technical book of nearly 900 pages and make it more widely available beyond university libraries to individual readers, the non-profit publisher and the author have agreed to issue the printed edition at cost. ●●●●● The printed edition was released on September 1, 2021 and is now available through (...) all booksellers, including Barnes & Noble, Amazon, and brick-and-mortar bookstores under ISBN 978-0-578-88646-6. ●●●●● In light of the length of this book, readers who would like to have a more detailed description of the book's objectives and method may find it helpful to read the detailed and clearly written Wikipedia entry about this work: From the Wikipedia search page, use the search phrase "Critique of Impure Reason". At least at the time of this writing (11/29/2021), the Wikipedia entry is well-researched and accurate. ●●●●● In addition, a "Primer on Bartlett's CRITIQUE OF IMPURE REASON" has been made available by the author. It is available under its title through PhilPapers and other philosophy online archives. ●●●●● COMMENDATIONS OF THIS WORK, from the back cover of the published edition: ●●●●● “I admire its range of philosophical vision.” – Nicholas Rescher, Distinguished University Professor of Philosophy, University of Pittsburgh, author of more than 100 books. ●●●●● “Bartlett’s _Critique of Impure Reason_ is an impressive, bold, and ambitious work. Careful scholarship is balanced by original analyses that lead the reader to recognize the limits of meaning, knowledge, and conceptual possibility. The work addresses a host of traditional philosophical problems, among them the nature of space, time, causality, consciousness, the self, other minds, ontology, free will and determinism, and others. The book culminates in a fascinating and profound new understanding of relativity physics and quantum theory.” – Gerhard Preyer, Professor of Philosophy, Goethe-University, Frankfurt am Main, Germany, author of many books including _Concepts of Meaning_, _Beyond Semantics and Pragmatics_, _Intention and Practical Thought_, and _Contextualism in Philosophy_. ●●●●● “[This work’s] goal is of a unique and difficult species: Dr. Bartlett seeks to develop a formal logical calculus on the basis of transcendental philosophical arguments; in fact, he hopes that this calculus will be the formal expression of the transcendental foundation of knowledge.... I consider Dr. Bartlett’s work soundly conceived and executed with great skill.” – C. F. von Weizsäcker, philosopher and physicist, former Director, Max-Planck-Institute, Starnberg, Germany. ●●●●● “Bartlett has written an American “Prolegomena to All Future Metaphysics.” He aims rigorously to eliminate meaningless assertions, reach bedrock, and place philosophy on a firm foundation that will enable it, like science and mathematics, to produce lasting results that generations to come can build on. This is a great book, the fruit of a lifetime of research and reflection, and it deserves serious attention.” — Martin X. Moleski, former Professor, Canisius College, Buffalo, NY, studies of scientific method, the presuppositions of thought, and the self-referential nature of epistemology. ●●●●● “Bartlett has written a book on what might be called the underpinnings of philosophy. It has fascinating depth and breadth, and is all the more striking due to its unifying perspective based on the concepts of reference and self-reference.” – Don Perlis, Professor of Computer Science, University of Maryland, author of numerous publications on self-adjusting autonomous systems and philosophical issues concerning self-reference, mind, and consciousness. ●●●●● ●●●●● The _Critique of Impure Reason: Horizons of Possibility and Meaning_ comprises a major and important contribution to philosophy. Thanks to the generosity of its publisher, this massive 885-page volume has been published as a free open access eBook (3.75MB) as well as an open access printed edition. It inaugurates a revolutionary paradigm shift in philosophical thought by providing compelling and long-sought-for solutions to a wide range of philosophical problems. In the process, the work fundamentally transforms the way in which the concepts of reference, meaning, and possibility are understood. The book includes a Foreword by the celebrated German philosopher and physicist Carl Friedrich von Weizsäcker. ●●●●● In Kant’s _Critique of Pure Reason_ we find an analysis of the preconditions of experience and of knowledge. In contrast, but yet in parallel, the new _Critique_ focuses upon the ways—unfortunately very widespread and often unselfconsciously habitual—in which many of the concepts that we employ _conflict_ with the very preconditions of meaning and of knowledge. ●●●●● This is a book about the boundaries of frameworks and about the unrecognized conceptual confusions in which we become entangled when we attempt to transgress beyond the limits of the possible and meaningful. We tend either not to recognize or not to accept that we all-too-often attempt to trespass beyond the boundaries of the frameworks that make knowledge possible and the world meaningful. ●●●●● The _Critique of Impure Reason_ proposes a bold, ground-breaking, and startling thesis: that a great many of the major philosophical problems of the past can be solved through the recognition of a viciously deceptive form of thinking to which philosophers as well as non-philosophers commonly fall victim. For the first time, the book advances and justifies the criticism that a substantial number of the questions that have occupied philosophers fall into the category of “impure reason,” violating the very conditions of their possible meaningfulness. ●●●●● The purpose of the study is twofold: first, to enable us to recognize the boundaries of what is referentially forbidden—the limits beyond which reference becomes meaningless—and second, to avoid falling victims to a certain broad class of conceptual confusions that lie at the heart of many major philosophical problems. As a consequence, the boundaries of _possible meaning_ are determined. ●●●●● Bartlett, the author or editor of more than 20 books, is responsible for identifying this widespread and delusion-inducing variety of error, _metalogical projection_. It is a previously unrecognized and insidious form of erroneous thinking that undermines its own possibility of meaning. It comes about as a result of the pervasive human compulsion to seek to transcend the limits of possible reference and meaning. ●●●●● Based on original research and rigorous analysis combined with extensive scholarship, the _Critique of Impure Reason_ develops a self-validating method that makes it possible to recognize, correct, and eliminate this major and pervasive form of fallacious thinking. In so doing, the book provides at last provable and constructive solutions to a wide range of major philosophical problems. ●●●●● CONTENTS AT A GLANCE ▪▪▪▪▪ Preface ▪▪▪▪▪ Foreword by Carl Friedrich von Weizsäcker ▪▪▪▪▪ Acknowledgments ▪▪▪▪▪ Avant-propos: A philosopher’s rallying call ▪▪▪▪▪ Introduction ▪▪▪▪▪ A note to the reader ▪▪▪▪▪ A note on conventions ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART I ▪▪▪▪▪ ▪▪▪▪▪ WHY PHILOSOPHY HAS MADE NO PROGRESS AND HOW IT CAN ▪▪▪▪▪ 1 Philosophical-psychological prelude ▪▪▪▪▪ 2 Putting belief in its place: Its psychology and a needed polemic ▪▪▪▪▪ 3 Turning away from the linguistic turn: From theory of reference to metalogic of reference ▪▪▪▪▪ 4 The stepladder to maximum theoretical generality ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART II ▪▪▪▪▪ THE METALOGIC OF REFERENCE ▪▪▪▪▪ A New Approach to Deductive, Transcendental Philosophy ▪▪▪▪▪ 5 Reference, identity, and identification ▪▪▪▪▪ 6 Self-referential argument and the metalogic of reference ▪▪▪▪▪ 7 Possibility theory ▪▪▪▪▪ 8 Presupposition logic, reference, and identification ▪▪▪▪▪ 9 Transcendental argumentation and the metalogic of reference ▪▪▪▪▪ 10 Framework relativity ▪▪▪▪▪ 11 The metalogic of meaning ▪▪▪▪▪ 12 The problem of putative meaning and the logic of meaninglessness ▪▪▪▪▪ 13 Projection ▪▪▪▪▪ 14 Horizons ▪▪▪▪▪ 15 De-projection ▪▪▪▪▪ 16 Self-validation ▪▪▪▪▪ 17 Rationality: Rules of admissibility ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART III ▪▪▪▪▪ PHILOSOPHICAL APPLICATIONS OF THE METALOGIC OF REFERENCE ▪▪▪▪▪ Major Problems and Questions of Philosophy and the Philosophy of Science ▪▪▪▪▪ 18 Ontology and the metalogic of reference ▪▪▪▪▪ 19 Discovery or invention in general problem-solving, mathematics, and physics ▪▪▪▪▪ 20 The conceptually unreachable: “The far side” ▪▪▪▪▪ 21 The projections of the external world, things-in-themselves, other minds, realism, and idealism ▪▪▪▪▪ 22 The projections of time, space, and space-time ▪▪▪▪▪ 23 The projections of causality, determinism, and free will ▪▪▪▪▪ 24 Projections of the self and of solipsism ▪▪▪▪▪ 25 Non-relational, agentless reference and referential fields ▪▪▪▪▪ 26 Relativity physics as seen through the lens of the metalogic of reference ▪▪▪▪▪ 27 Quantum theory as seen through the lens of the metalogic of reference ▪▪▪▪▪ 28 Epistemological lessons learned from and applicable to relativity physics and quantum theory ▪▪▪▪▪ ▪▪▪▪▪ PART IV ▪▪▪▪▪ HORIZONS ▪▪▪▪▪ 29 Beyond belief ▪▪▪▪▪ 30 _Critique of Impure Reason_: Its results in retrospect ▪▪▪▪▪ ▪▪▪▪▪ SUPPLEMENT ▪▪▪▪▪ The Formal Structure of the Metalogic of Reference ▪▪▪▪▪ APPENDIX I ▪▪▪▪▪ The Concept of Horizon in the Work of Other Philosophers ▪▪▪▪▪ APPENDIX II ▪▪▪▪▪ Epistemological Intelligence ▪▪▪▪▪ References ▪▪▪▪▪ Index ▪▪▪▪▪ About the author. (shrink)

This paper offers a new way to evaluate counterfactual conditionals on the supposition that actually, there is no time. We then parlay this method of evaluation into a way of evaluating causal claims. Our primary aim is to preserve, at a minimum, the assertibility of certain counterfactual and causal claims once time has been excised from reality. This is an important first step in a more general reconstruction project that has two important components. First, recovering our ordinary language claims involving (...) notions such as persistence, change and agency and, second, recovering enough observational evidence so that any timeless metaphysics is not empirically self-refuting. However, the project of investigating causation in a timeless setting has a greater relevance than its application to timeless physical theory alone. For, as we show, it can be used to model the assertibility conditions of causal claims more generally. (shrink)

A fundamental fact is “pure” just in case it has no grounded entities—ex. Tokyo, President Biden, the River Nile, {Socrates}, etc.—among its constituents. Purity is the thesis that every fundamental fact is pure. I argue that Purity is false. My argument begins with a familiar conditional: if Purity is true, then there are no fundamental “grounding facts” or facts about what grounds what. This conditional is accepted by virtually all of Purity’s defenders. However, I argue that it is also the (...) first step toward Purity’s undoing. For, if every grounding fact has a ground, then some grounded entities have “groundmates” or distinct grounded entities that share their full grounds. But, if there are groundmates, then Purity is false. So Purity leads to a contradiction. Therefore, it is false. I close by noting that my argument against Purity also gives us a powerful reason to think that some grounding facts are fundamental. (shrink)

There is an old meta-philosophical worry: very roughly, metaphysical theories have no observational consequences and so the study of metaphysics has no value. The worry has been around in some form since the rise of logical positivism in the early twentieth century but has seen a bit of a renaissance recently. In this paper, I provide an apology for metaphysics in the face of this kind of concern. The core of the argument is this: pure mathematics detaches from science in (...) much the same manner as metaphysics and yet it is valuable nonetheless. The source of value enjoyed by pure mathematics extends to metaphysics as well. Accordingly, if one denies that metaphysics has value, then one is forced to deny that pure mathematics has value. The argument places an added burden on the sceptic of metaphysics. If one truly believes that metaphysics is worthless (as some philosophers do), then one must give up on pure mathematics as well. (shrink)