Grace A. de Laguna was an American philosopher of exceptional originality. Many of the arguments and positions she developed during the early decades of the twentieth century later came to be central to analytic philosophy. These arguments and positions included, even before 1930, a critique of the analytic-synthetic distinction, a private language argument, a critique of type physicalism, a functionalist theory of mind, a critique of scientific reductionism, a methodology of research programs in science and more. Nevertheless, de Laguna identified (...) herself as a defender of the speculative vision of philosophy, a vision which, in her words, “analytic philosophy condemns.” I outline her speculative vision of philosophy as well as what is, in effect, an argument she offers against analytic philosophy. This is an argument against the view that key parts of established opinion, e.g., our best theoretical physics or most certain common sense, should be assumed to be true in order to answer philosophical questions. I go on to bring out the implications of her argument for the approaches to philosophy of Bertrand Russell, Willard V. Quine and David Lewis, and I also compare the argument to recent, related arguments against analytic philosophy. I will suggest that de Laguna offers a viable critique of analytic philosophy and an alternative approach to philosophy that meets this critique. (shrink)

The paper discusses some formal difficulties concerning the theory of universals of Trope-Only ontologies, from which the formal theory of predication advanced by Trope-Only theorists seems to be irremediably affected. It is impossible to lay out a successful defense of a Trope-Only theory without Russellian types, but such types are ontologically inconsistent with tropes’ nominalism. Historically, Tropists’ first way to avoid the problem is appealing to the supervenience claim, which however fails on its terms and, thus, fails as a ground (...) for a solution to the higher-order or ‘type’ problem. A later solution involves the invariance of primitive equivalence relations in order to make universals ontologically innocuous. However, I argue that this latter solution fails to meet the requirements imposed on an ontologically unbiased nominalist attitude. So, this paper discusses how Trope-Only theories alter standard formal moves in Nominalism, and also is interested in clarifying further the formal assumptions for these problems. (shrink)

In this paper, I critically assess two recent proposals for an interpretation-independent understanding of non-relativistic quantum mechanics: the overlap strategy (Fraser & Vickers, 2022 ) and the textbook account (Egg, 2021 ). My argument has three steps. I first argue that they presume a Quinean-Carnapian meta-ontological framework that yields flat, structureless ontologies. Second, such ontologies are unable to solve the problems that quantum ontologists want to solve. Finally, only structured ontologies are capable of solving the problems that quantum ontologists want (...) to solve. But they require some dose of speculation. In the end, I defend the conservative way to do quantum ontology, which is (and must be) speculative and non-neutral. (shrink)

The question of ontological commitment in Plato’s Hippias Major has been important in disputes over the dialogue’s place in the corpus, its meaning, and its authenticity. But this question seems to have been settled—the Hippias Major is not committed to the ‘forms.’ Such an ontological conclusion has been vigorously defended, but its defenses rest on a problematic meta-ontological framework. This paper suggests a more adequate framework and brings more evidence to the evaluation of the question of ontological commitment in the (...) Hippias Major. It concludes that the dialogue is indeed committed to some kind of form. (shrink)

This paper is a defense of the view that existence is a property. Since the view is still a minority one, a fair amount of space is allotted to defending it against objections and counter-arguments. Positive arguments aren’t lacking, however, and emerge in the course of the discussion. Not all of the many positive or negative arguments which follow are wholly original—a fact to be expected in this context—but a fair number are, and both sorts of argument are seamlessly interwoven (...) in the warp and woof of what follows. (shrink)

Anthony Everett () argues that those who embrace the reality of fictional entities run into trouble when it comes to specifying criteria of character identity. More specifically, he argues that realists must reject natural principles governing the identity and distinctness of fictional characters due to the existence of fictions which leave it indeterminate whether certain characters are identical and the existence of fictions which say inconsistent things about the identities of their characters. Everett's critique has deservedly drawn much attention and (...) a number of defensive moves have been made by, or on the behalf of, fictional realists. My goal in this paper is to move this debate on a further step. I have three goals: to clarify the importance of Everett's discussion of identity criteria within the context of fictional realism, to reassess Everett's objections to realism in light of the resultant literature, and to develop a novel strategy for responding to Everett's concerns. On the approach to be developed, the problems emerge due to an indeterminacy inherent in the concept of a fictional character itself. (shrink)

I revisit my 1993 paper on Putnam and mathematical realism focusing on the indispensability argument and how it has fared over the years. This argument starts from the claim that mathematics is an indispensable part of science and draws the conclusion, from holistic considerations about confirmation, that the ontology of science includes abstract objects as well as the physical entities science deals with.

The celu of the philosophical literature on the hole argument is the 1987 paper by Earman \& Norton ["What Price Space-time Substantivalism? The Hole Story" Br. J. Phil. Sci.]. This paper has a well-known back-story, concerning work by Stachel and Norton on Einstein's thinking in the years 1913-15. Less well-known is a connection between the hole argument and Earman's work on Leibniz in the 1970s and 1980s, which in turn can be traced to an argument first presented in 1975 by (...) Howard Stein. Remarkably, this thread originates with a misattribution: the argument Earman attributes to Stein, which ultimately morphs into the hole argument, was not the argument Stein gave. The present paper explores this episode and presents some reflections on how it bears on the subsequent literature. (shrink)

What are the prospects for a linguistic approach to ontology? Given that it seems that there are true subject-predicate sentences containing empty names, traditional linguistic approaches to ontology appear to be flawed. I argue that in order to determine what there is, we need to determine which sentences ascribe properties (and relations) to objects, and that there does not appear to be any formal criterion for this. This view is then committed to giving an account of what predicates do in (...) sentences when they do not ascribe properties. I sketch an approach to the varieties of predication. (shrink)

Inspired both by our ordinary understanding of the world and by reflection on science, anti-Humeanism is a growing trend in metaphysics. Anti-Humeans reject the Lewisian doctrine of Humean supervenience that the world is “just one little thing and then another”, and argue instead that dispositions, powers, or capacities provide connection and activity in nature. But how exactly are we to understand the shared commitment of this anti-Humean movement? I argue that this kind of anti-Humeanism, at its most general level, is (...) to be understood neither as a view about ontology nor about fundamentality, but rather as a specific claim about what explains what. (shrink)

Quine is routinely perceived as saving metaphysics from Carnapian positivism. Where Carnap rejects metaphysical existence claims as meaningless, Quine is taken to restore their intelligibility by dismantling the former’s internal–external distinction. The problem with this picture, however, is that it does not sit well with the fact that Quine, on many occasions, has argued that metaphysical existence claims ought to be dismissed. Setting aside the hypothesis that Quine’s metaphysical position is incoherent, one has to conclude that his views on metaphysics (...) are subtler than is often presupposed; both the received view that Quine saved metaphysics and the opposite view that Carnap and Quine are on the same anti-metaphysical team seem too one-sided if we take seriously Quine’s own pronouncements on the issue. In this paper, I offer a detailed reconstruction of Quine’s perspective on metaphysical existence claims. Scrutinizing his published work as well as unpublished papers, letters, and notebooks, I show how Quine is able to both blur the boundary between scientific sense and metaphysical nonsense and to argue that we cannot ask what reality is really like in a distinctively philosophical way. I argue that although Quine’s position is much closer to Carnap’s than the received view suggests, it still differs in two crucial respects. (shrink)

I am a friend of supervaluationism. A statement lacks a definite truth value if, and only if, it comes out true on some admissible ways of precisifying the semantics of the relevant vocabulary and false on others. In this paper, I focus on the special case of identity statements. I take it that such statements, too, may occasionally suffer a truth-value gap, including philosophically significant instances. Yet there is a potentially devastating objection that can be raised against the supervaluationist treatment (...) of such cases—in fact two objections. Luckily, both can be resisted. But seeing how requires that we take a closer look at the ontological presuppositions of supervaluationism, allowing for more leeway than is usually supposed. (shrink)

Meinong’s thought has been rediscovered in recent times by analytic philosophy: his object theory has significant consequences in formal ontology, and especially his account of impossible objects has proved itself to be decisive in a wide range of fields, from logic up to ontology of fiction. Rejecting the traditional ‘prejudice in favour of the real’, Meinong investigates what there is not: a peculiar non-existing object is precisely the fictional object, which exemplifies a number of properties without existing in the same (...) way as flesh-and-blood detectives do. Fictional objects are in some sense incomplete objects, whose core of constituent properties is not completely determined. Now, what does it imply to hold that a fictional object may also occur in true statements? We shall deal with the objections raised by Russell and Quine against Meinong’s view, pointing out limits and advantages of both perspectives. (shrink)

On one influential view, metaphysical fundamentality can be understood in terms of joint‐carving. Ted Sider has recently argued that (i) some first order quantifier is joint‐carving, and (ii) modal notions are not joint‐carving. After vindicating the theoretical indispensability of quantification against recent criticism, I will defend a logical result due to Arnold Koslow which implies that (i) and (ii) are incompatible. I will therefore consider an alternative understanding of Sider's metaphysics to the effect that (i) some first order quantifier is (...) joint‐carving, and (iii) intensional notions are not joint‐carving. Another result due to Koslow entails that (i) and (iii) are also incompatible. I will argue that this second result is inconclusive. Nevertheless, (iii) is incompatible with another tenet of Sider's metaphysics, namely that (iv) ‘being joint‐carving’ is itself joint‐carving. In order to resolve the inconsistency, I will tentatively argue that condition (iv) should be renounced. (shrink)

To a significant extent, mainstream Western philosophy is not empirically minded. The neurophilosophy of the Churchlands seems to exhibit the greatest divergence from this orientation by far. Extending and neuralizing Quine’s naturalism, the Churchlands have been known to challenge most assumptions and principles of contemporary mainstream analytic and even existing naturalistic philosophies. Even the philosophers who identify themselves as full-blown naturalists have an inexplicably negative attitude toward the Churchlands. For many philosophers of the mind, the Churchlands’ problem is not that (...) they are philosophically wrong, but that they have no philosophical approach that could be wrong. They are nonphilosophers working at philosophy departments. Proper philosophy is not what they do or think they are doing. In this article, I argue to the contrary. The Churchlands would seem surprisingly moderate, and neither trivial nor near-trivial, when closely scrutinized. (shrink)

This paper tries to unleash the nature of the paradox of nonexistence or non-being or negative singular existentials by using a General Metalogical Theory. In the first section, this paper explains in detail the paradox of negative singular eixistentials and explains how Alexius Meinong and Bertrand Russell respond to this paradox. Russell resolves the paradox using quantification method which Quine extends to formulate a criterion of ontological commitments. In the second section, a General Metalogical Theory is explained, and it is (...) shown that how the developed General Metalogical Theory is useful in unleashing the paradox of nonexistence. The principles of General Metalogical Theory is developed from Quine’s criterion: to be is to be the value of bound variable. In Quine’s criterion, the notion of the bound variable is significant. The General Metalogical Theory in unleashing the nature of the paradox mainly focuses on the question: from where does the binding of the bound variable come? The paper argues that it is not enough to say that the binding of the bound variable comes from the existentially loaded use of the particular quantifier. General Metalogical Theory attempts to show that the binding of the bound variable comes from somewhere else, so that we attach the particular quantifier to the variable and use the particular quantifier in an existentially loaded sense. Explaining the binding nature of the bound variable in the above-mentioned manner will unleash the nature of the paradox. (shrink)

Cognitive theorists routinely disagree about the evidence supporting claims in cognitive science. Here, we first argue that some disagreements about evidence in cognitive science are about the evidence available to be drawn upon by cognitive theorists. Then, we show that one’s explanation of why this first kind of disagreement obtains will cohere with one’s theory of evidence. We argue that the best explanation for why cognitive theorists disagree in this way is because their evidence is what they rationally grant. Finally, (...) we explain why our view does not lead to a pernicious kind of relativism in cognitive science. (shrink)

European Journal of Philosophy, EarlyView.

According to a growing consensus in the secondary literature on Quine, the judgment Quine makes in favor of the nominalism outlined in “Steps Toward a Constructive Nominalism” is in tension with the naturalism he later adopts. In this paper, I show the consensus view is mistaken by showing that Quine’s judgment is rooted in a naturalistic standard of clarity. Moreover, I argue that Quine late in his career is committed to accepting one plausible reading of his judgment in 1947. In (...) making these arguments, I draw attention to a version of naturalism that misreadings of Quine have prevented philosophers from appreciating, and thereby articulate and clarify a version of naturalism I recommend philosophers investigate today. (shrink)

Ontological pluralism is the view that there are different fundamental ways of being. Trenton Merricks has recently raised three objections to combining pluralism with a generic way of being enjoyed by absolutely everything there is: first, that the resulting view contradicts the pluralist’s core intuition; second, that it is especially vulnerable to the charge—due to Peter van Inwagen—that it posits a difference in being where there is simply a difference in kind; and, third, that it is in tension with various (...) historically influential motivations for pluralism. I reply to each of these objections in turn. My replies will help to bring out the true nature of the pluralist’s basic commitments. (shrink)

This paper examines the realist interpretation of Vedānta that Rasvihari Das explicated in two of his celebrated treatises, namely, “The Theory of Ignorance in Advaitism” and “The Falsity of the World.” Rasvihari Das, unlike many of his contemporary thinkers of India, took a contrary position against the uninformed generalization about Indian thought that the philosophical tradition of India was one of an unbroken idealism and spiritualism. Though Rasviahari Das was influenced by his senior peer-thinkers of India like Hiralal Haldar, B. (...) N. Seal, and K. C. Bhattacharyya, Rasvihari Das had his own independent view on and interpretation of Vedānta. The paper argues that in the Vedāntic realism of Rasvihari Das there is no rejection of the world or the individuals. In the first part of the paper, I suggests the possible influence of Indian realism on Rasvihari Das. In the second part, I make an attempt to unearth and examine the interpretation of Rasvihari Das that unravels his Vedāntic realism. The third part is the concluding appraisal of Rasvihari Das who could take Vedānta forward from its religious moorings and place it resolutely on a philosophical candour. (shrink)

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 role of truthmakers. In this paper, I argue that closely considering the role of aboutness in truthmaking, that is considering what truthbearers are about, yields the result that there is no good truthmaker-based reason to think that truthmakers must be states of affairs understood as existing entities, whether complex or simple. First, I (...) introduce an aboutness-based account of truthmaking as a metaphysically modest alternative to the orthodox necessitarian account of truthmaking. Second, I discuss the distinction between states and events that has been made on the basis of linguistic evidence regarding aspectual markers and nominalisation. I argue that the modest approach to truthmaking allows us to accept that there is a real distinction between states and events without requiring that the distinction is ontologically substantial. Specifically, what we are talking about with state-truthbearers really differs from what we are talking about with event-truthbearers, but this difference need not be understood as a difference in kinds of entities. Because of its overall modesty, this is a theoretically virtuous result. (shrink)

Some revisionary ontologies are highly parsimonious: they posit far fewer entities than what we quantify over in ordinary discourse. The most radical examples are minimal ontologies, on which physical simples are the only things that exist. Highly parsimonious ontologies, and especially minimal ones, face the challenge of either accounting for the truth of our ordinary quantificational discourse, or paraphrasing such discourse away. Common strategies for addressing this challenge include classical reduction, paraphrase nihilism, and a distinction between ontological and existence commitments. (...) I argue, however, that these strategies are either implausible or fail to provide truth conditions consistent with minimal or parsimonious ontologies. I then discuss, defend, and suggest ways to strengthen an alternative framework for reduction, on which the sentences of reducing theories ground those of reducible theories. Relative to the other options for defending minimal ontology, a strengthened grounding-reductive approach can provide more defensible truth conditions for minimal ontology, better preserve scientific realist intuitions, set a more attainable standard for reduction, and allow our existence commitments to be more responsive to empirical evidence and scientific expertise. As a result, I argue that minimal ontology becomes more defensible—though not certain—on a grounding-reductive framework. But even if minimal ontology were wrong, the grounding-reductive framework makes other parsimonious but non-minimal ontologies more plausible. (shrink)

This paper is about intentional identity, the phenomenon of intentional attitudes having a common focus. I present an argument against an approach to explaining intentional identity, defended by Nathan Salmon, Terence Parsons and others, that involves positing exotic objects. For example, those who adopt this sort of view say that when two astronomers had beliefs about Vulcan, their attitudes had a common focus because there is an exotic object that both of their beliefs were about. I argue that countenancing these (...) exotic objects does not help us explain intentional identity. (shrink)

There are two families of influential and stubborn puzzles that many theories of aboutness (intentionality) face: underdetermination puzzles and puzzles concerning representations that appear to be about things that do not exist. I propose an approach that elegantly avoids both kinds of puzzle. The central idea is to explain aboutness (the relation supposed to stand between thoughts and terms and their objects) in terms of relations of co-aboutness (the relation of being about the same thing that stands between the thoughts (...) and terms themselves). (shrink)

On its usual interpretation, the Barcan Formula—◊∃_xB_ → ∃_x_◊_B_—says that, if there could have been something that is such and such a way, then there is something that could have been that way. It is traditionally held that contingentist actualists should—indeed, must—reject the Barcan Formula. I argue that contingentist actualists should—indeed, must—endorse the Barcan Formula, at least assuming a standard, Tarskian conception of truth and truth preservation. I end by proposing a logic for contingentist actualists that validates the Barcan Formula. (...) This logic has the surprising feature of also validating the Converse Barcan Formula, □∀_xB_ → ∀_x_□_B_, while still invalidating related formulas—such as □∀_x_□∃_y x_ = _y_ (NNE)—that contingentist actualists should reject. It does this by employing models with fixed domains but assignments to the identity predicate that vary across worlds. (shrink)

RÉSUMÉ : Les attitudes de se sont généralement considérées comme constituant une classe particulière d’attitudes de re. Cet article propose une analyse différente, qui s’appuie sur la notion d’attitude de objecto et qui évite un engagement ontologique envers le sujet. La proposition élabore l’idée de Hintikka d’une logique épistémique dite de seconde génération, qui introduit un marqueur syntaxique permettant d’exprimer des relations d’indépendance entre certaines constantes logiques. De cette sémantique résulte une conception du Moi, dénotation de «je», comme un objet (...) simplement intentionnel. ABSTRACT: De se attitudes are generally regarded as being a proper part of de re attitudes. In this paper an alternative analysis that avoids ontological commitment to the self is proposed, based on the notion of de objecto attitudes. This proposal develops an idea from Hintikka’s second generation epistemic logic, which introduces a syntactic marker expressing independence relations between certain logical constants. According to this semantic account, the Self, as the denotation of ‘I’, is conceived of as a mere intentional object. (shrink)

This essay is a study of ontological commitment, focused on the special case of arithmetical discourse. It tries to get clear about what would be involved in a defense of the claim that arithmetical assertions are ontologically innocent and about why ontological innocence matters. The essay proceeds by questioning traditional assumptions about the connection between the objects that are used to specify the truth-conditions of a sentence, on the one hand, and the objects whose existence is required in order for (...) the truth-conditions thereby specified to be satisfied, on the other. This allows one to set forth an assignment of truth-conditions to arithmetical sentences whereby nothing is required of the world in order for the truth-conditions of a truth of pure arithmetic to be satisfied. The essay then argues that such an assignment can be used to account for the a priori knowability of certain arithmetical truths. (shrink)

There is renewed interest in questions of ontology in various fields, as there has been in biosemiotics. But for umwelt theory, ontology needs to be approached in particular ways, in order to avoid it from being yet another “philosophy of access”, part and parcel of the epistemology-ontology dyad, where “ontology” is the leftover of epistemology, or any sort of subjective constitution of things. The article engages in philosophical considerations about what kinds of assumptions and preliminary considerations should be made for (...) a semiosic ontology that was multiple, relational, and irreducible, with the principle goal being to engage with some terminological issues at the meeting point of ontology and umwelt theory. Ontography is proposed as a name for a low-key descriptive engagement with non-human umwelts considered as “worldings”, and maieutics as a particular attitude, or ethos, for the practical situation of direct inaccessibility of nonhuman umwelts. Parallels are drawn with the ontological turn in anthropology, which has also successfully engaged with alterity. A comparative study of umwelts should consider the ontological self-determination of the nonhuman other. (shrink)

Who wouldn’t want to hear it said of their new book, ‘nothing would improve this’? Stephen Mumford wouldn’t! His Absence & Nothing: The Philosophy of What T.

RÉSUMÉDans cette contribution, les points fondamentaux du livre d'Anjan Chakravartty, Scientific Ontology, sont discutés de manière critique. Après une brève présentation du projet d'une ontologie dite «stance-based», je critique la manière dont Chakravartty conçoit l'inférence métaphysique. Puis, dans la section 4, je conteste l'opinion de Chakravartty selon laquelle les débats fondamentaux en métaphysique conduisent inévitablement à un désaccord insoluble. La section 5 examine le concept de position épistémique et relève les problèmes inhérents à la manière dont Chakravartty conçoit la rationalité (...) de la sélection d'une position. Finalement, la section 6 concerne les implications d'une ontologie qui serait basée sur les positions épistémiques pour le débat sur le réalisme scientifique. (shrink)

Proponents of the predictive processing (PP) framework often claim that one of the framework’s significant virtues is its unificatory power. What is supposedly unified are predictive processes in the mind, and these are explained in virtue of a common prediction error-minimisation (PEM) schema. In this paper, I argue against the claim that PP currently converges towards a unified explanation of cognitive processes. Although the notion of PEM systematically relates a set of posits such as ‘efficiency’ and ‘hierarchical coding’ into a (...) unified conceptual schema, neither the frameworks’ algorithmic specifications nor its hypotheses about their implementations in the brain are clearly unified. I propose a novel way to understand the fruitfulness of the research program in light of a set of research heuristics that are partly shared with those common to Bayesian reverse engineering. An interesting consequence of this proposal is that pluralism is at least as important as unification to promote the positive development of the predictive mind. (shrink)

Ontology is the name of the philosophical discipline that provides answers about what there is. The view laid out in the paper, i.e. austere realism, is realistic in that it defends the existence of a thought and language independent world. It is also inclined towards austerity in that it does not take this world to be as richly ontologically populated with entities as common sense initially presupposes. Yet it is a view that results from common sense taking a reflexive attitude (...) about its ontological commitments. Despite its austere consequences, according to this view, many thoughts and sentences expressed by common sense are true, provided that truth is not considered as direct correspondence, i.e. not as the ultimate ontological correspondence to the world. This is enabled by the construal of truth as indirect correspondence that merges the world and contextually operative semantic standards. Such a combined ontological cum semantic view seems a plausible and a well defendable position. (shrink)

Most practitioners of the metaphysics of science agree that it should be a naturalized metaphysics. But, just as in other areas of philosophy, there is no consensus on what constitutes naturalism. Here I will focus on just one aspect, viz., the idea that the metaphysics of science should be epistemically naturalized. In the first section I will characterize the kind of epistemic naturalism relevant to the metaphysics of science. The main idea, drawing on the work of Penelope Maddy, is that (...) metaphysical inquiry is to be conducted and metaphysical claims justified in the very same way that scientific inquiry is conducted and scientific claims are justified. I then examine two prominent examples of metaphysicians of science proposing to “naturalize” the metaphysics of science, and argue that they fail to be epistemically natural. These are approaches due to James Ladyman and Don Ross, and to Anjan Chakravartty. Considering their failures shows us a way forward for naturalized metaphysics of science that is both more metaphysical and more scientific. (shrink)

If Ned Block were a rockstar he would be Mick Jagger: sartorial, iconic, ever youthful, and still producing hit records after half a century. Fittingly, then, P.

I critically examine confirmational holism as it pertains to the indispensability arguments for mathematical Platonism. I employ a distinction between pure and applied mathematics that grows out of the often overlooked symbiotic relationship between mathematics and science. I argue that this distinction undercuts the notion that mathematical theories fall under the holistic scope of the confirmation of our scientific theories.Keywords: Confirmational holism; Indispensability argument; Mathematics; Application; Science.

The paper proposes a simple method for constructing ontological theories—an ‘ontology generator’. It shows that such a generator manages to produce major existing ontological theories, e.g., Realism, Nominalism, Trope theory, Bundle theory, Perdurantism, Endurantism, Possibilism, Actualism and more. It thus turns out, surprisingly, that all these seemingly unrelated different ontological theories that were designed by thinkers hundreds of years apart, can all be generated using the same simple mechanism. Moreover, this same generator manages to produce entirely novel ontological theories, that (...) fare no worse than existing ones in meeting the same common metaphysical challenges. (shrink)

According to Composition as Identity, a whole is distinct from each of its parts individually, but identical to all of them taken together. It is sometimes claimed that, if you accept CAI, then your belief in a whole is ‘ontologically innocent’ with respect to your belief in its parts. This claim is false. But the defender of CAI can claim a different advantage for her view. Following Agustín Rayo, I distinguish ontology from plethology. I then show that CAI allows us (...) to introduce an interesting notion of ‘plethological innocence’ which would otherwise collapse into the notion of ‘ontological innocence’, and that CAI renders belief in composite objects plethologically innocent. (shrink)

It’s generally assumed that, if an agent x acts by ϕ-ing, then there occurs an event which is x’s ϕ-ing. But what about when an agent tries to do something? Are there such things as attempts? The standard answer is ‘Yes’. But in a series of articles, and now a book, David-Hillel Ruben has argued that the answer is ‘No’: what happens when x tries to ϕ isn’t that an attempt occurs; rather, what happens is simply that a certain subjunctive (...) conditional fact obtains; x tries to ϕ just in case, had all the necessary conditions for success obtained, x would have intentionally ϕ-ed. I defend the existence of attempts. Following Ruben, I frame the issue in terms of the logical form of trying sentences. Against Ruben’s view that such sentences express subjunctive conditionals, I argue that they express existential quantifications over attempts qua events. Thus, trying sentences are true only if attempts qua events exist. (shrink)

We develop a bottom-up approach to truth-value semantics for classical logic of partial terms based on equality and apply it to prove the conservativity of the addition of partial description and selection functions, independently of any strictness assumption.

A formulational debate is a debate over whether certain definitions of scientific realism and antirealism are useful or useless. By contrast, an epistemological debate is a debate over whether we have sufficient evidence for scientific realism and antirealism defined in a certain manner. I argue that Hilary Putnam’s definitions of scientific realism and antirealism are more useful than Bas van Fraassen’s definitions of scientific realism and constructive empiricism because Putnam’s definitions can generate both formulational and epistemological debates, whereas van Fraassen’s (...) can generate only formulational debates. (shrink)

What is the relation of an earlier being to a later such that given the earlier there is or will be a later? I call this the question of material continuation. To answer, I offer a review of several philosophers’ thoughts, including those of Zeno, Aristotle, Descartes, Bertrand Russell, Henri Bergson, and Alfred North Whitehead. While there is considerable variety among the ontological views of these philosophers, and indeed some direct opposition of both method and assertion, my review suggests that (...) material continuation may be explained by reference to a principle of continual creation. This principle is reflected in Aristotle's unmoved mover, in Descartes's account of God's activity in persistence, in Bergson's concept of la durée, and in Whitehead's principle of creativity. It disappears from view in objective methodologies first emerging in pre-Socratic thought, made rigorous by the development of science by the modern philosophers such as Descartes, and realized in the scientist philosophy of Russell. I include some consideration of whether the creative principle might be ideal or divine. (shrink)

The axiom of infinity states that infinite sets exist. I will argue that this axiom lacks justification. I start by showing that the axiom is not self-evident, so it needs separate justification. Following Maddy’s :481–511, 1988) distinction, I argue that the axiom of infinity lacks both intrinsic and extrinsic justification. Crucial to my project is Skolem’s From Frege to Gödel: a source book in mathematical logic, 1879–1931, Cambridge, Harvard University Press, pp. 290–301, 1922) distinction between a theory of real sets, (...) and a theory of objects that theory calls “sets”. While Dedekind’s argument fails, his approach was correct: the axiom of infinity needs a justification it currently lacks. This epistemic situation is at variance with everyday mathematical practice. A dilemma ensues: should we relax epistemic standards or insist, in a skeptical vein, that a foundational problem has been ignored? (shrink)