In his recent The Parmenidean Ascent, Michael Della Rocca develops a regress-theoretic case, reminiscent of F.H. Bradley’s famous argument in Appearance and Reality, against the intelligibility of relations and in favor of a monistic conception of reality. I argue that Della Rocca illicitly supposes that “internal” relations – in one sense of that word – lead to a “chain” regress, a regress of relations relating relations and relata. In contrast, I contend that if “internal” or grounded relations lead to a (...) regress at all, it is a kind of “fission” regress within the relata themselves, and that a chain regress for relations only arises, if at all, for so-called “external” relations, relations not grounded in their relata. In this way, I contend that Della Rocca pursues a regress for so-called “internal” or grounded relations that only arises, if at all, for so-called “external” relations, relations not grounded in their relata. I compare Della Rocca’s case against relations with Bradley’s reasoning in Appearance and Reality, and suggest in this context that Bradley may, perhaps, have the upper hand. (shrink)

This chapter considers the ‘hosting question’ of how immanent universals, in contrast to transcendent universals, are ‘brought down to earth’ from ‘Plato’s heaven’. It explores the thesis that the hosting amounts to their being constituents of the states of affairs that result from their instantiations. These states of affairs are concrete complexes consisting of particulars and universals, and perhaps something that links them together. The traditional view that immanent universals are concrete is briefly defended against a recent prominent objection. On (...) relationalism, states of affairs are unified by a relation of some sort; on non-relationalism they are unified non-relationally. Roughly, these two conceptions of states of affairs are equivalent to Armstrong’s relational and non-relational versions of immanent realism, respectively. Armstrong mostly criticises the former and defends the latter. It is argued, however, that relationalism, at least potentially, answers the hosting question, whereas non-relationalism realism does not. (shrink)

Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While STT, understood as (...) a theory of intensional entities, retains the Fregean division of properties and relations into a multiplicity of categories according to their adicities and ‘input types’ and discards the division of intensional entities into different ‘orders’, OTT takes the opposite approach: it retains the hierarchy of orders (though with some modifications) and discards the categorisation of properties and relations according to their adicities and input types. In contrast to STT, this latter approach avoids intensional counterparts of the Epimenides and related paradoxes. Fundamental intensional entities lie at the base of the proposed hierarchy and are also given a prominent part to play in the individuation of non-fundamental intensional entities. (shrink)

Truth pluralists say that there are many ways to be true. Aaron Cotnoir (“Pluralism and Paradox” in: Pedersen and Wright (eds) Truth and pluralism: current debates, Oxford University Press, Oxford, 2013) has suggested a “uniquely pluralist response to the liar”. The basic idea is to maintain that, if a sentence says of itself that it is not true in a certain way, then that sentence is not apt to be true in that way, but is instead apt to be true (...) in a different way. While this is consistent with the basic tenets of truth pluralism, it is an open question whether or not it is amenable to any actual pluralist theory. The primary goal of this paper is to argue that Cotnoir's proposal is amenable to form-based pluralism, rather than domain-based pluralism. In particular, in Section 1, I argue that there are several serious obstacles in the way of the domain-based pluralist who wishes to endorse Cotnoir's proposal; in Section 2, I show how the form-based pluralist can overcome these difficulties. The secondary goal of the paper is to argue that most, if not all, substantivists about truth should find form-based pluralism independently attractive. As such, the possibility of a form-based pluralist solution to the liar is not merely a technical curiosity, but something in which substantivists about truth have a vested interest. (shrink)

What is the so-called “question of ontology?” Is the question of ontology genuinely a question about “categories” (Lowe 2006), “structure” (Sider 2011), “existence” (Thomasson 2015), or rather “reality” (Fine 2009)? In this article, I defend the neo-Sellarsian approach to the question of ontology, a novel, naturalistic approach according to which the foundational question of ontology is about “understanding the manifest and the scientific images of the world, and their multiple relationships.” First, I argue for the thesis of Impure Eliminativism, a (...) form of constructive pluralism about the question of ontology by which the substantivity of questions of ontology which are not the neo-Sellarsian one is to be built upon certain relations with the neo-Sellarsian question of ontology. Second, I argue for the categorial plasticity of the two images and their relations in connection with the hypothesis of Weak Epistemic Factualism. Third, and lastly, I argue for a person-based ontology framed in terms of the crucial notions of “fact” and “understanding” in response to the eliminativist categorizations of the two images and their relationships proposed by substantialism and structuralism. (shrink)

In The Philosophy of Logical Atomism Russell held the view that facts in the world are formally structured complexes, the structure of which matches the logical structure of correspondent propositions. Russell also seems to have denied that there are facts of identity and of diversity. This paper argues that Identity and Diversity can be understood as purely formal structures in Russellian facts. It considers Russell’s possible reasons for denying the existence of facts of identity and diversity and shows how problematic (...) these reasons are. In particular, I argue that identity statements are not tautologies, and their denial does not result into a contradiction. An important consequence of this thesis is that Metaphysics and Logic are not as tied up as Russell took them to be, but nevertheless these are good news for the old formal program for Metaphysics that lies at the very heart of what he called philosophical logic. (shrink)

I like the view that the fundamental facts are logically simple, not complex. However, some universal generalizations and negations may appear fundamental, because they cannot be explained by logically simple facts about particulars. I explore a natural reply: those universal generalizations and negations are true because certain logically simple facts—call them —are the fundamental facts. I argue that this solution is only available given some metaphysical frameworks, some conceptions of metaphysical explanation and fundamentality. It requires a ‘fitting’ framework, according to (...) which metaphysical theories explain the aptness of representations in terms of how things are fundamentally. Fitting frameworks conceive of the fundamental facts as those that are metaphysically ‘real’; call them the ‘facts-in-reality’. Moreover, we must take as primary a plural notion of the facts-in-reality, not the singular notion of a fact-in-reality. By contrast, a metaphysics that grounds facts is incompatible with my strategy for keeping the fundamental facts logically simple. (shrink)

The paper interprets Wittgenstein’s famous call to silence at the end of his Tractatus – that “whereof one cannot speak, thereof one must be silent” – as a critique of philosophy itself. Wittgenstein was concerned throughout his philosophical life with finding a way to delineate the limits of language. These limits, once we have them clearly in view, rob our attempts to put forth philosophical theories of their legitimacy. In order to give a critical assessment of this Wittgensteinian critique of (...) philosophy, the paper primarily focuses on the roots of that critique in Wittgenstein’s earliest writings – his notebooks, his 1913 “Notes on Logic,” the 1914 set of notes dictated to G. E. Moore, and the Tractatus itself. Wittgenstein’s influence by Fritz Mauthner and, mediated through Mauthner, by Kant receive special attention. The conclusion is that, far from Mauthner’s radical anti-philosophical bias, we can come to see a deep appreciation of the power, the draw, and the significance of philosophical problems in Wittgenstein’s writings. The text closes with a short look at how Wittgenstein’s thinking about the limits of language evolved later in his life. (shrink)

If I see, hear, or touch a sparrow, the sparrow seems real to me. Unlike Bigfoot or Santa Claus, it seems to exist; I will therefore judge that it does indeed exist. The “sense of existence” refers to the kind of awareness that typically grounds such ordinary judgments of existence or “reality.” The sense of existence has been invoked by Humeans, Kantians, Ideologists, and the phenomenological tradition to make substantial philosophical claims. However, it is extremely controversial; its very existence has (...) been called into question. This paper aims to clarify the nature and reality of the sense of existence by studying a psychiatric condition in which the sense appears to be disrupted: depersonalization disorder (DPD). (shrink)

According to Satosi Watanabe's "theorem of the ugly duckling", the number of predicates satisfied by any two different particulars is a constant, which does not depend on the choice of the two particulars. If the number of predicates satisfied by two particulars is their number of properties in common, and the degree of resemblance between two particulars is a function of their number of properties in common, then it follows that the degree of resemblance between any two different particulars is (...) also constant, which is absurd. Avoiding this absurd conclusion requires questioning assumptions about infinity in the proof or interpretation of the theorem, adopting a sparse conception of properties, or denying degree of resemblance is a function of number of properties in common. After arguing against both the first two options, this paper argues for a version of the third which analyses degree of resemblance as a function of properties in common, but weighted by their degree of naturalness or importance. (shrink)

In the old days of descriptivism, fictional reference and non-fictional reference with proper names were treated on a par. Descriptivism was not an intuitive theory, but it meritoriously provided a unitary semantic account of names, whether referentially full or empty. Then the revolution of the new theory of reference occurred. This new theory is definitely more intuitive than descriptivism, yet it comes with a drawback: the referentially full use and the referentially empty use, notably the fictional use, of names are (...) semantically no longer on the same footing. How the use of names from fiction is referentially empty has even been seen as a symptom of its not being a use at all. In this paper, I ask the following question: can one keep the merits of the new theory of reference and still provide a unitary account of both fictional and non-fictional reference with names? My answer is positive, provided that one conceives proper names as a special kind of indexicals. (shrink)

In this article, I seek to assess the extent to which Theism, the claim that there is a God, can provide a true fundamental explanation for the existence of the infinite plurality of concrete and abstract possible worlds, posited by David K. Lewis and Alvin Plantinga. This assessment will be carried out within the (modified) explanatory framework of Richard Swinburne, which will lead to the conclusion that the existence of God provides a true fundamental explanation for these specific entities. And (...) thus, given the truth of this type of explanation, we have another good abductive argument for God’s existence and grounds for affirming a weaker form of the principle of methodological naturalism in our metaphysical theorising. (shrink)

This paper defends a new version of truthmaker non-maximalism. The central feature of the view is the notion of a default truth-value. I offer a novel explanation for default truth-values and use it to motivate a general approach to the relation between truth-value and ontology, which I call truth-value-maker theory. According to this view, some propositions are false unless made true, whereas others are true unless made false. A consequence of the theory is that negative existential truths need no truthmakers (...) and that positive existential falsehoods need no falsemakers. (shrink)

Can we do science without numbers? How much contingency is there? These seemingly unrelated questions--one in the philosophy of math and science and the other in metaphysics--share an unexpectedly close connection. For as it turns out, a radical answer to the second leads to a breakthrough on the first. The radical answer is new view about modality called compossible immutabilism. The breakthrough is a new strategy for doing science without numbers. One of the chief benefits of the new strategy is (...) that, unlike the existing substantialism approach from Field (1980), the new strategy naturally generalizes to theories formulated in terms of state space. (shrink)

This paper proves a precisification of Hume’s Law—the thesis that one cannot get an ought from an is—as an instance of a more general theorem which establishes several other philosophically interesting, though less controversial, barriers to logical consequence.

This paper exposits and makes steps towards solving a puzzle about epistemic value. The puzzle is that several principles about the epistemic value of true beliefs and epistemic disvalue of false beliefs are, individually, plausible but, collectively, contradictory. My solution claims that sometimes false beliefs are epistemically valuable. I nonetheless show how my solution is not in deep tension with the Jamesian idea that true beliefs are epistemically valuable and false beliefs are epistemically disvaluable. I conclude by indicating how the (...) results here are relevant to formulating and defending Veritism. (shrink)

ABSTRACT In her paper “On the Nature of Judgment”, published in 1919 in Mind, Dorothy Wrinch aimed at understanding how Russell’s multiple relation theory of judgement might be made to work. In this paper we will focus on Wrinch’s claim that on the theory it is impossible, as it should be, to judge nonsense. After having presented the prima facie objection to the theory created by nonsense and what we can take her solution to such a problem to imply, we (...) will show how Wrinch can resist the two main objections that have been moved to such a solution, whether as explicitly attributed to Wrinch or discussed without mentioning her. The conclusion will be, contrary to what one might be tempted to think, that even if there might be reasons to take the multiple relation theory as doomed, Wrinch was the first to show us that nonsense is not one of those reasons. (shrink)

Remember how Kim Mental causation, Clarendon Press, Oxford, 1993b) used to argue against non-reductive physicalism to the effect that it cannot accommodate the causal efficacy of the mental? The argument was that if physicalists accept the causal closure of the physical, they are faced with an exclusion problem. In the original version of the argument, the dependence holding between the mental and the physical was cashed out in terms of supervenience. Due to the work or Fine and others, we have (...) since come to realize that modal notions are not well-suited to perform the work of properly characterizing dependence. As a consequence of this, an increasingly larger community of contemporary metaphysicians prefer to spell out mental-physical dependence in terms of a non-causal and non-reductive notion called grounding, which is intended to target a particular sort of metaphysical relation that takes us from ontologically less fundamental features of the world to that which is more fundamental. In this paper I join forces with those who think that this shift in focus is on the right track. More specifically, I will argue that the grounding physicalist can solve the exclusion problem in a way that is preferable to the supervenience-based nonreductive physicalist solution, as well as in a way that is compatible with the externalist picture of the mental. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for reductio proofs. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

The difference between Carnap and Quine over analyticity is usually thought to turn on a disagreement as to whether there is a notion of meaning, or rules of language, which enable us to define that idea. This paper argues that the more important disagreement is epistemological. Quine came to accept a notion of analyticity. That leaves him in a position somewhat like Putnam's in ‘The Analytic and the Synthetic’: that there is a notion of analyticity, but that it is of (...) no philosophical importance. But their reasons for thinking analyticity unimportant are quite different: for Putnam it is because all analytic truths are trivial; for Quine, the notion of analyticity itself is unimportant. I contrast Putnam's position with that of Carnap, and also contrast Carnap and Quine. Analyticity only has the force that it has for Carnap because he accepts the Principle of Tolerance, the idea that changes within a language and changes of language are subject to justification in different senses. Quine rejects that idea. That is why he does not take analyticity to be philosophically important or useful. (shrink)

What lies behind Aristotle’s declarations that an attribute or feature that is demonstrated to belong to a scientific subject is proper to that subject? The answer is found in APo. 2.8-10, if we understand these chapters as bearing not only on Aristotle theory of definition but also as clarifying the logical structure of demonstration in general. If we identify the basic subjects with what has no different cause, and demonstrable attributes with what do have ‘a different cause’, the definitions of (...) demonstrable attributes necessarily have the minor terms of the appropriate demonstrations in their definitions, for which reason the subjects and demonstrable attributes are coextensive. (shrink)

The concept of truth and competing philosophical theories on what truth amounts to have an important place in contemporary philosophy. The aim of this chapter is to give a synopsis of different theories of truth and the particular philosophical issues related to the concept of truth. The literature on this topic is vast, and we must necessarily be rather selective and very brief about complex questions of interpretation of various philosophers. The focus of the chapter is mainly on selected systematic (...) issues and the most influential and well-established philosophical theories and key concepts. (shrink)

Kit Fine distinguishes between inexact and exact truthmaking. He argues that the former can be defined from the latter, but not vice versa, and so concludes that truthmaker semanticists should treat the exact variety of truthmaking as primitive. I argue that this gets things backwards. We can define exact truthmaking in terms of inexact truthmaking and we can’t define inexact truthmaking in terms of exact truthmaking. I conclude that it’s inexact truthmaking, rather than exact truthmaking, that truthmaker semanticists should treat (...) as the primitive semantic relation. (shrink)

Each truth has a truthmaker: an entity in virtue of whose existence that truth is true. So say truthmaker maximalists. Arguments for maximalism are hard to find, whereas those against are legion. Most accept that maximalism comes at a significant cost, which many judge to be too high. The scales would seem to be balanced against maximalism. Yet, as I show here, maximalism can be derived from an acceptable premise which many will pre-theoretically accept.

Contingent negative existentials give rise to a notorious paradox. I formulate a version in terms of metaphysical grounding: nonexistence can't be fundamental, but nothing can ground it. I then argue for a new kind of solution, expanding on work by Kit Fine. The key idea is that negative existentials are contingently zero-grounded – that is to say, they are grounded, but not by anything, and only in the right conditions. If this is correct, it follows that grounding cannot be an (...) internal relation, and that no complete account of reality can be purely fundamental. (shrink)

Desires matter. What are desires? Many believe that desire is a motivational state: desiring is being disposed to act. This conception aligns with the functionalist approach to desire and the standard account of desire's role in explaining action. According to a second influential approach, however, desire is first and foremost an evaluation: desiring is representing something as good. After all, we seem to desire things under the guise of the good. Which understanding of desire is more accurate? Is the guise (...) of the good even right to assume? Should we adopt an alternative picture that emphasizes desire's deontic nature? What do neuroscientific studies suggest? -/- Essays in the first section of the volume are devoted to these questions, and to the puzzle of desire's essence. In the second part of the volume, essays investigate some implications that the various conceptions of desire have on a number of fundamental issues. For example, why are inconsistent desires problematic? What is desire's role in practical deliberation? How do we know what we want? -/- This volume will contribute to the emergence of a fruitful debate on a neglected, albeit crucial, dimension of the mind. (shrink)

Our aim is to propose a non-referential semantics for the principle of logical charity: neither logical universalism (one logic, one way of thinking), nor logical relativism (several logics, several ways of thinking) afford an adequate conceptual framework to interpret the meaning of any speech act. But neither of them is totally wrong, either. The point is to know to which extent each of these views is partly right, thus leading to a more consensual but paradoxical-sounding "relative principle of charity". After (...) recalling the theoretical background of logical charity, we suggest a four-valued logic of acceptance and rejection (hereafter: AR4); then we explain how such a non-referential semantics does justice both to the champions of logical charity and its opponents. While endorsing coherence as a precondition for rationality, we argue that such a criterion does not entail that classical logic is a necessary conceptual scheme to interpret the others' beliefs. A better application of charity should take account of the questions implicitly asked by a statement, and we bring these questions out in replacing Quine's truth-functions by Quine’s verdict functions while emphasizing upon their varying degrees of strength. (shrink)

Russell claims that ordinary proper names are eccentric, i.e. that the semantic referent of a name is determined by the descriptive condition that the individual utterer of the name associates with the name. This is deeply puzzling, for the evidence that names are subject to interpersonal coordination seems irrefutable. One way of making sense of Russell’s view would be to claim that he has been systematically misinterpreted and did not, in fact, offer a semantic theory at all. Such a view (...) is put forward in Sainsbury Departing from Frege, Routledge, London, 2002). Sainsbury claims that Russellian descriptivism is not the theory that the thought in the mind of the speaker determines the semantic reference of a name, but simply a theory about the thought in the mind of the speaker using a name. I argue that the truth is subtly different, and points the way towards an intuitive explanation of Russell’s eccentricity. (shrink)

It has become fashionable to worry about the development of superintelligent AI that results in the destruction of humanity. This worry is not without merit; but it may be overstated. This paper explores some previously undiscussed reasons to be optimistic that; even if superintelligent AI does arise; it will not destroy us. These have to do with the possibility that a superintelligent AI will become mired in skeptical worries that its superintelligence cannot help it to solve. I argue that superintelligent (...) AIs may lack the psychological idiosyncracies that allow humans to act in the face of skeptical problems; and so as a result they may become paralyzed in the face of these problems in a way that humans are not. (shrink)

Plural Logic is an extension of First-Order Logic with plural terms and quantifiers. When its plural terms are interpreted as denoting more than one object at once, Plural Logic is usually taken to be ontologically innocent: plural quantifiers do not require a domain of their own, but range plurally over the first-order domain of quantification. Given that Plural Logic is equi-interpretable with Monadic Second-Order Logic, it gives us its expressive power at the low ontological cost of a first-order language. This (...) makes it a valuable tool in various areas of philosophy. Some authors believe that Plural Logic can be extended into an even more expressive logic, Higher-Level Plural Logic, by adding higher-level plural terms and quantifiers to it. The basic idea is that second-level plurals stand to plurals like plurals stand to singulars. Allegedly, Higher-Level Plural Logic enjoys the expressive power of type theory while, again, committing us only to the austere ontology of a first-order language. Were this really the case, Higher-Level Plural Logic would be a very useful tool, extending and strengthening some of the applications of Plural Logic. However, while the notions of plural reference and quantification enjoy widespread acceptance today, their higher-level counterparts have been received with scepticism. The main objection raised against them is that higher-level plural reference is unintelligible. This has been argued, among others, on the grounds that there are no higher-level plurals in natural language and that, if there were any, they could be eliminated. In this thesis, after introducing the debate on plurals in Chapters 1 and 2, I turn to defending the legitimacy of the notion of higher-level plural reference. To this end, in Chapter 3, I present and elucidate the notion. Next, in Chapter 4, I show that some natural languages clearly contain these expressions and that they do so in an ineliminable manner. Finally, in Chapters 5 and 6, I develop a semantics for higher-level plurals that employs only devices previously well-understood by English speakers. To finish, in Chapter 7, I describe an application of Higher-level Plural Logic: a strengthening of the neo-Fregean programme. After describing my proposal, I turn to the issue of the logical status of this formalism and defend an optimistic take on the matter. (shrink)

This paper concerns Bertrand Russell’s changing views on negative judgement. ‘Negative judgement’ is considered in the context of three theories of judgement that Russell put forth at different times: a dual relation theory ; a multiple relation theory ; a psychological theory of judgement. Four issues are singled out for a more detailed discussion: quality dualism versus quality monism, that is, the question whether judgement comes in two kinds, acceptance and rejection, or whether there is only one judgement-quality ; the (...) structure of negative judging; the problem of truth-making for negative facts; the different roles of ‘fact’ in Russell’s theories of truth. What emerges from the discussion is a rough chronology of Russell’s views on negative judgement during the period from 1903 to 1948. (shrink)

The new theory of reference has won popularity. However, a number of noted philosophers have also attempted to reply to the critical arguments of Kripke and others, and aimed to vindicate the description theory of reference. Such responses are often based on ingenious novel kinds of descriptions, such as rigidified descriptions, causal descriptions, and metalinguistic descriptions. This prolonged debate raises the doubt whether different parties really have any shared understanding of what the central question of the philosophical theory of reference (...) is: what is the main question to which descriptivism and the causal-historical theory have presented competing answers. One aim of the paper is to clarify this issue. The most influential objections to the new theory of reference are critically reviewed. Special attention is also paid to certain important later advances in the new theory of reference, due to Devitt and others. (shrink)

According to presentism, only the present exists. The view is in a bad dialectical situation since it has to face several objections based on physics and a priori arguments. The view remains nonetheless popular because it is, allegedly, more intuitive than alternative views, namely eternalism (past, present and future entities exist) and no-futurism (only past and present entities exist). In the essay, I shall not discuss whether intuitivity is an accurate criterion for ontological enquiry. I will rather argue that any (...) philosophically acceptable version of presentism entails highly counterintuitive consequences. Indeed, the presentist has to commit herself to substantial claims in order to provide an answer to two problems : the grounding problem and the cross-temporal relations problem. Therefore, if the main motivation for presentism is the willingness to stick with common sense intuitions, presentists should consider endorsing another view about existence in time. (shrink)

ABSTRACT The aim of this paper is twofold: First, to critically discuss Lynne Rudder's Baker BA-theory of time, and second to contrast it with the R-theory (after Russell). In the course of my discussion I will contrast three different methodological approaches regarding the relation between common sense and ontology; clarify Russell's authentic view in contrast to the B-theory which is McTaggart's misrepresentation of Russell, and consider how the R-theory can respond to objections Baker makes to eternalism (as she understands it).

Humeans have a problem with quantities. A core principle of any Humean account of modality is that fundamental entities can freely recombine. But determinate quantities, if fundamental, seem to violate this core principle: determinate quantities belonging to the same determinable necessarily exclude one another. Call this the problem of exclusion. Prominent Humeans have responded in various ways. Wittgenstein, when he resurfaced to philosophy, gave the problem of exclusion as a reason to abandon the logical atomism of the Tractatus with its (...) free recombination of elementary propositions. Armstrong promoted a mereological solution to the problem of exclusion; but his account fails in manifold ways to provide a general solution to the problem. Lewis studiously avoided committing to any one solution, trusting simply that, since Humeanism was true, there had to be some solution. Abandonment; failure; avoidance: we Humeans need to do better. -/- In this paper, I present what I take to be the best account of quantities, tailoring it where needed to meet Humean demands as well as my own prior commitment to quidditism, and my own comparativist inclinations. In short: determinables, not determinates, are the fundamental properties, and freely recombine; determinates arise from the instantiation of determinables in an enhanced world structure; determinate quantities may be local (in a sense to be explained), but they are not intrinsic. Is the account I end up with Humean? Not, unfortunately, as it stands: the problem of exclusion still rears its ugly head. After dismissing a failed attempt at a solution, I consider in the final section the two viable Humean options. One attributes the source of the necessary exclusions to conventional definition, the other attributes it to logic. The first is safe and familiar, but not a response I can accept given my other commitments. The second is more radical and less familiar; but I am convinced it is on the right track. I don’t have space to develop it much here, but I put it out for future research. (shrink)

This paper defends a version of the old empiricist claim that to think about unobservable physical properties a subject must be able to think perception-based thoughts about observable properties. The central argument builds upon foundations laid down by G. E. M. Anscombe and P. F. Strawson. It bridges the gap separating these foundations and the target claim by exploiting a neglected connection between thought about properties and our grasp of causation. This way of bridging the gap promises to introduce substantive (...) constraints on right accounts of perception and perception-based thought. (shrink)

This paper extends the theory of situated inference from Mares to treat two weak relevant logics, B and DJ. These logics are interesting because they can be used as bases for consistent naïve theories, such as naïve set theory. The concepts of a situation and of information that are employed by the theory of situated inference are used to justify various aspects of these logics and to give an interpretation of the notion of set that is represented in the naïve (...) set theories that are based on them. (shrink)

The answer of Lowe to Ramsey’s argument against the distinction universal vs. indivi- dual: At the beginning of this article Ramsey’s argumentation against universal‐particular distinction is presented. It is based on the assumption that this division requires another one: namely, subject‐predicate distinction. This argumentation was a starting point for Lowe, who does not respect the aforementioned assumption. In his theory, there are not two but four categories, namely: substantial universals, non‐substantial universals, substantial particulars, and non‐substantial particulars. Two of these categories (...) are categories of universals; the other two are categories of particulars. Lowe tries to de ne categories in an ontological way, that is, with essential use of ontological notions. These notions are rigid and non‐rigid existential de‐ pendence, which are themselves de ned in terms of necessity and existence. The contribution of this paper is an analysis of Lowe’s solution. In the rst place, it is con onted with Ramsey remarks. Then other objections are considered. Some of them do not respect the very idea of autonomous ‘ontological way’ in philosophy. Others concern Lowe’s particular version of it. Possible answers to all of these objections are presented, such that Lowe’s theory is defended. However, there is no ultimate conclusion here. In the author’s opinion autonomy and the value of ontology cannot be shown om a purely external position. We should rst assume that this discipline does make sense and then explore its virtues by using its notions. (shrink)

In this paper, I outline and defend a novel approach to alethic pluralism, the thesis that truth has more than one metaphysical nature: where truth is, in part, explained by reference, it is relational in character and can be regarded as consisting in correspondence; but where instead truth does not depend upon reference it is not relational and involves only coherence. In the process, I articulate a clear sense in which truth may or may not depend upon reference: this involves (...) distinguishing semantic denotation from pragmatic speaker reference and claiming that there may or may not exist a metasemantic connection between these two notions. Finally, I argue that reference is not in general inscrutable—that this metasemantic connection does exist in the case of our ordinary discourse about present macroscopic concrete objects—but that it is in pure mathematics, where reference cannot be secured, and which therefore plays no role in accounting for truth. In this manner, alethic pluralism is upheld. (shrink)

Explanation has played myriad roles in truthmaker theory. The notion of explanation is sometimes thought to give content to the very idea of truthmaking, and is sometimes used as a weapon to undermine the entire point of truthmaker theory. I argue that the notion of explanation is dialectically useless in truthmaker theory: while it’s true that truthmaking offers a form of explanation, this claim is theoretically unilluminating, and leaves truthmaker theorists vulnerable to various kinds of attack. I advocate an alternative (...) approach to truthmaker theory that downplays the role of explanation, and show how it releases the enterprise from a variety of problematic commitments that have troubled truthmaker theorists. The “ontology-first” approach to truthmaking that I advocate not only restores the initial impulse behind truthmaking, but also has a number of theoretical advantages. Most prominently, it dodges the infamous problem of negative existentials, and lessens truthmaker theory’s dependence on contentious intuitive judgments about both explanation and truthmaking. (shrink)

This paper challenges the first Gettier counterexample to the tripartite account of knowledge. Noting that 'the man who will get the job' is a description and invoking Donnellan's distinction between their 'referential' and 'attributive' uses, I argue that Smith does not actually believe that the man who will get the job has ten coins in his pocket. Smith's ignorance about who will get the job shows that the belief cannot be understood referentially, his ignorance of the coins in his pocket (...) shows that it cannot be understood attributively. An explanation for why Smith appeared to have justified true belief is given by distinguishing between 'belief' and 'belief in truth'. Smith believes the sentence 'the man who will get the job has ten coins in his pocket' to be true (he mistakenly believes that Jones will get the job, of whom he knows that he has ten coins in his pocket) (hence his 'belief'), the sentence is true (hence 'truth'), and he has sufficient reason to assent to it (hence his 'justification'). But he does not believe the proposition expressed. Hence he does not know it either. (shrink)

How are philosophical questions about what kinds of things there are to be understood and how are they to be answered? This paper defends broadly Fregean answers to these questions. Ontological categories—such as object, property, and relation—are explained in terms of a prior logical categorization of expressions, as singular terms, predicates of varying degree and level, etc. Questions about what kinds of object, property, etc., there are are, on this approach, reduce to questions about truth and logical form: for example, (...) the question whether there are numbers is the question whether there are true atomic statements in which expressions function as singular terms which, if they have reference at all, stand for numbers, and the question whether there are properties of a given type is a question about whether there are meaningful predicates of an appropriate degree and level. This approach is defended against the objection that it must be wrong because makes what there depend on us or our language. Some problems confronting the Fregean approach—including Frege’s notorious paradox of the concept horse—are addressed. It is argued that the approach results in a modest and sober deflationary understanding of ontological commitments. (shrink)

I present a reconstruction of the logical system of the Tractatus, which differs from classical logic in two ways. It includes an account of Wittgenstein’s “form-series” device, which suffices to express some effectively generated countably infinite disjunctions. And its attendant notion of structure is relativized to the fixed underlying universe of what is named. -/- There follow three results. First, the class of concepts definable in the system is closed under finitary induction. Second, if the universe of objects is countably (...) infinite, then the property of being a tautology is \Pi^1_1-complete. But third, it is only granted the assumption of countability that the class of tautologies is \Sigma_1-definable in set theory. -/- Wittgenstein famously urges that logical relationships must show themselves in the structure of signs. He also urges that the size of the universe cannot be prejudged. The results of this paper indicate that there is no single way in which logical relationships could be held to make themselves manifest in signs, which does not prejudge the number of objects. (shrink)

Beliefs have what I will call ‘propositional content’. A belief is always a belief that so-and-so: a belief that grass is green, or a belief that snow is white, or whatever. Other things have propositional content too, such as sentences, judgments and assertions. The Standard View amongst philosophers is that what it is to have a propositional content is to stand in an appropriate relation to a proposition. Moreover, on this view, propositions are objects, i.e. the kind of thing you (...) can refer to with singular terms. For example, on the Standard View, we should parse the sentence ‘Simon believes that Sharon is funny’ as: [Simon] believes [that Sharon is funny]; ‘Simon’ is a term referring to a thinking subject, ‘that Sharon is funny’ is a term referring to a proposition, and ‘x believes y’ is a dyadic predicate expressing the believing relation. In this paper, I argue against the Standard View. This is how I think we should parse ‘Simon believes that Sharon is funny’: [Simon] believes that [Sharon is funny]; here we have a singular term, ‘Simon’, a sentence ‘Sharon is funny’, and a ‘prenective’ joining them together, ‘x believes that p’. On this Prenective View, we do not get at the propositional content of someone’s belief by referring to a reified proposition with a singular term; we simply use the sentence ‘Sharon is funny’ to express that content for ourselves. I argue for the Prenective View in large part by showing that an initially attractive version of the Standard View is actually vulnerable to the same objection that Wittgenstein used against Russell’s multiple-relation theory of judgment. (shrink)

In this essay, I first solve solve a conundrum and then deal with criteria of identity, Leibniz's definition of identity and Frege's adoption of it in his (failed) attempt to define the cardinality operator contextually in terms of Hume's Principle in Die Grundlagen der Arithmetik. I argue that Frege could have omitted the intermediate step of tentatively defining the cardinality operator in the context of an equation of the form ‘NxF(x) = NxG(x)'. Frege considers Leibniz's definition of identity to be (...) purely logical, although without saying why it is in line with his logicist project. I argue that the universal criterion of identity that Frege takes from Leibniz's definition and the specific criterion of identity for cardinal numbers embodied in Hume’s Principle (namely equinumerosity) work hand in hand in the tentative contextual definition of the cardinality operator. Yet the interplay between the two criteria is powerless to prevent the emergence of the Julius Caesar problem, let alone suggests how it could be solved. The final explicit definition of the cardinality operator that Frege sets up still rests on the identity criterion of equinumerosity since cardinal numbers are defined as equivalence classes of that relation. (shrink)

Kit Fine, the leading proponent of the metaphysical project of grounding theory, has offered a number of potentially devastating objections to truthmaker theory, the branch of metaphysics dedicated to exploring the ontological grounds for truths. In this paper I show what presuppositions about truthmaker theory Fine’s objections are based upon, and why they are false. I discuss four objections that Fine raises, and demonstrate how truthmaker theorists may respond to them. I then showcase the positive contribution that truthmaker theory can (...) make to metaphysics, including its ability to speak to a core metaphysical topic (the ontological grounds for truths) that Fine’s approach to grounding must ultimately remain silent on. I conclude by exploring what I take to be the best option when it comes to understanding how truthmaking and grounding fit together. (shrink)

Historians of philosophy commonly regard as antipodal Bertrand Russell and Edmund Husserl, the founding fathers of analytic philosophy and phenomenology. This paper, however, establishes that during a formative phase in both of their careers Russell and Husserl shared a range of seminal ideas. In particular, the essay adduces clear cases of family resemblance between Husserl’s and Russell’s philosophy during their middle period, which spanned the years 1905 through 1918. The paper thus challenges the received view of Husserl’s relation to early (...) analytic philosophy and this by pursuing two strategies of exposition. One involves comparing Husserl with Russell, and not, as has been the usual practice, with Frege. The other, which follows the first, foregrounds Husserl’s thinking vis-à-vis Russell’s from 1905 onward, a move that constitutes a break with what has become the standard approach of emphasising the relatedness of Husserl of the Logical Investigations (1900/1) to analytic philosophy. Moreover, this approach discloses two chief grounds of relatedness between the middle Husserl and the middle Russell. One is their shared interest in exploring philosophical “fundamentals”. The second consists of common elements shared by their epistemologies and philosophies of mind. (shrink)