Kripke (1977) presents an argument designed to show that the considerations in Donnellan (1966) concerning attributive and referential uses of (definite) descriptions do not, by themselves, refute Russell’s (1905) unitary theory of description sentences (RTD), which takes (utterances of) them to express purely general, quantificational, propositions. Against Kripke, Marga Reimer (1998) argues that the two uses do indeed reflect a semantic ambiguity (an ambiguity at the level of literal truth conditions). She maintains a Russellian (quantificational) analysis of utterances involving (...) attributively used descriptions but attempts to defend the following two claims about utterances involving referentially used descriptions (referential utterances) (1998, p. 89). (shrink)

Gettier presented the now famous Gettier problem as a challenge to epistemology. The methods Gettier used to construct his challenge, however, utilized certain principles of formal logic that are actually inappropriate for the natural language discourse of the Gettier cases. In that challenge to epistemology, Gettier also makes truth claims that would be considered controversial in analytic philosophy of language. The Gettier challenge has escaped scrutiny in these other relevant academic disciplines, however, because of its façade as an epistemological analysis. (...) This article examines Gettier's methods with the analytical tools of logic and analytic philosophy of language. (shrink)

This paper discusses ancient versions of paradoxes today classified as paradoxes of presupposition and how their ancient solutions compare with contemporary ones. Sections 1–4 air ancient evidence for the Fallacy of Complex Question and suggested solutions, introduce the Horn Paradox, consider its authorship and contemporary solutions. Section 5 reconstructs the Stoic solution, suggesting the Stoics produced a Russellian-type solution based on a hidden scope ambiguity of negation. The difference to Russell’s explanation of definite descriptions is that in the Horn (...) Paradox the Stoics uncovered a hidden conjunction rather than existential sentence. Sections 6 and 7 investigate hidden ambiguities in “to have” and “to lose” and ambiguities of quantification based on substitution of indefinite plural expressions for indefinite or anaphoric pronouns, and Stoic awareness of these. Section 8 considers metaphorical readings and allusions that add further spice to the paradox. (shrink)

Propositionalism is the view that intentional attitudes, such as belief, are relations to propositions. Propositionalists argue that propositionalism follows from the intuitive validity of certain kinds of inferences involving attitude reports. Jubien (2001) argues powerfully against propositions and sketches some interesting positive proposals, based on Russell’s multiple relation theory of judgment, about how to accommodate “propositional phenomena” without appeal to propositions. This paper argues that none of Jubien’s proposals succeeds in accommodating an important range of propositional phenomena, such as the (...) aforementioned validity of attitude-report inferences. It then shows that the notion of a predication act-type, which remains importantly Russellian in spirit, is sufficient to explain the range of propositional phenomena in question, in particular the validity of attitude-report inferences. The paper concludes with a discussion of whether predication act-types are really just propositions by another name. (shrink)

This paper discusses and evaluates a recent argument for the conclusion that an attractive variety of Russellian monism ought to be regarded as a form of physicalism. According to this line of thought, if the Russellian’s “inscrutable” properties are held to ground not only experience, but also the physical structure of the world—and in this sense are not “experience-specific”—they thereby have an unproblematic place in physicalist metaphysics. I argue, in contrast, that there can be a sense in which (...) the Russellian’s inscrutables are experience-specific in a way that a physicalist probably ought to find objectionable, even if they play some role other than grounding experience. This will be the case, I argue, if certain worlds are taken to be possible, as they sometimes have: worlds of “bare structure” and worlds with what might be called “swapped inscrutables”. In this way, I claim that accepting certain possibilities has consequences for how one should understand the nature of the Russellian’s inscrutables and the place they have in physicalist metaphysics. (shrink)

Russellian Panpsychism or Panpsychist Russellian Monism (PRM) presents a new perspective on the ontological status of phenomenal consciousness, acknowledging its reality at the fundamental level of existence. Diverging from physicalism, PRM upholds the existence of phenomenal consciousness without disrupting the uniformity of nature, a departure from dualism. PRM posits a symbiotic relationship between mental and physical entities, asserting that the former provides intrinsic foundations for the latter, which are structural. This raises a pivotal inquiry: how does PRM reconcile (...) these distinct realms? Is it a form of property dualism, recognizing two fundamental entity categories, or does it propose the primacy of mental properties with physical reducibility? Examining prevalent interpretations of PRM as dualistic or idealistic, this paper contends that neither aligns with PRM’s criteria for ontological monism, where only one fundamental entity type exists. Instead, it advocates for a dual-aspect monism framework, portraying the mental and physical as two authentic facets of a singular entity or property. Through a thorough analysis, the paper demonstrates how this dual-aspect interpretation harmonizes with PRM’s foundational principles, providing a robust resolution to the mental-physical dichotomy while upholding ontological monism. The conclusion explores the implications and contributions of this framework to the metaphysical discourse on consciousness. (shrink)

Russellian monism – an influential doctrine proposed by Russell (1927/1992) – is roughly the view that the natural sciences can only ever tell us about the causal, dispositional, and structural properties of physical entities and not about their categorical properties, and, moreover, that our qualia are constituted by categorical properties. Recently, Stoljar (2001a, 2001b), Strawson (2008), Montero (2010, 2015), Alter and Nagasawa (2012), and Chalmers (2015) have attempted to develop this doctrine into a version of physicalism. Russellian monism (...) faces the so-called combination problem, according to which it is difficult to see how categorical properties could collectively constitute qualia. In this paper, I suggest that there is an insufficiently discussed aspect of the combination problem which I call the difference-maker problem. Taking the difference-maker problem into account, I argue that the combination problem – whether or not it can be solved – results in a dilemma for the project of developing Russellian physicalism. That is, Russellian monism is either physicalistically unacceptable or it is implausible; hence, Russellian monism and physicalism are incompatible. (shrink)

Russellian monists argue that non-structural properties, or a combination of structural and non-structural properties, necessitate phenomenal properties. Different Russellian monists offer varying accounts of the structural/non-structural distinction, leading to divergent forms of Russellian monism. In this paper, I criticise Derk Pereboom’s characterisation of the structural/non-structural distinction proposed in his Consciousness and the Prospects of Physicalism and further work. I argue that from Pereboom’s characterisation of structural and non-structural properties, one can formulate general metaphysical principles concerning what structural (...) and non-structural properties necessitate. These principles undermine the claim that non-structural properties – either alone or in combination with structural properties – necessitate phenomenal properties. Moreover, these principles are not affected by our supposed inability to conceive of non-structural properties in a manner conducive to the success of conceivability arguments. (shrink)

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity (...) problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (shrink)

Russellian monism—an influential doctrine proposed by Russell (The analysis of matter, Routledge, London, 1927/1992)—is roughly the view that physics can only ever tell us about the causal, dispositional, and structural properties of physical entities and not their categorical (or intrinsic) properties, whereas our qualia are constituted by those categorical properties. In this paper, I will discuss the relation between Russellian monism and a seminal paradox facing epiphenomenalism, the paradox of phenomenal judgment: if epiphenomenalism is true—qualia are causally inefficacious—then (...) any judgment concerning qualia, including epiphenomenalism itself, cannot be caused by qualia. For many writers, including Hawthorne (Philos Perspect 15:361–378, 2001), Smart (J Conscious Stud 11(2):41–50, 2004), and Braddon-Mitchell and Jackson (The philosophy of mind and cognition, Blackwell, Malden, 2007), Russellian monism faces the same paradox as epiphenomenalism does. I will assess Chalmers’s (The conscious mind: in search of a fundamental theory. Oxford University Press, New York, 1996) and Seager’s (in: Beckermann A, McLaughlin BP (eds) The Oxford handbook of philosophy of mind. Oxford University Press, New York, 2009) defences of Russellian monism against the paradox, and will put forward a novel argument against those defences. (shrink)

This essay introduces a puzzle about the interaction between quantifiers and epistemic modals. The puzzle motivates the idea that whether an object satisfies an epistemically modalized predicate depends on the mode of presentation of the domain of quantification. I compare two ways of implementing this idea, one using counterpart theory, the other using Aloni's 'conceptual covers' theory, and then provides some evidence in favor of the former.

The question whether natural language permits quantification over intentional objects as the ‘nonexistent’ objects of thought is the topic of a major philosophical controversy, as is the status of intentional objects as such. This paper will argue that natural language does reflect a particular notion of intentional object and in particular that certain types of natural language constructions (generally disregarded in the philosophical literature) cannot be analysed without positing intentional objects. At the same time, those intentional objects do not (...) come for free; rather they are strictly dependent on intentional acts that generally need to have a presence, in one way or another, in the semantic structure of the sentence. (shrink)

This chapter discusses ontological commitment to properties, understood as ontological correlates of predicates. We examine the issue in four metaontological settings, beginning with an influential Quinean paradigm on which ontology concerns what there is. We argue that this naturally but not inevitably avoids ontological commitment to properties. Our remaining three settings correspond to the most prominent departures from the Quinean paradigm. Firstly, we enrich the Quinean paradigm with a primitive, non-quantificational notion of existence. Ontology then concerns what exists. We argue (...) that this strengthens the Quinean case against ontological commitment to properties while also newly distinguishing between stronger and weaker forms of nominalism. Secondly, we enrich the Quinean paradigm with the ideology of fundamentality. Ontology then centrally concerns what’s fundamental. We argue that this leaves ontological commitment to properties wide open although Bradleyan regress threatens. Thirdly, we enrich the Quinean paradigm with primitive higher-order quantifiers. Ontology then expands to concern what there higher-order is and what there first-order is. We argue that this naturally but not inevitably incurs ontological commitment to properties. (shrink)

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity (...) problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (shrink)

Neo-Russellians like Salmon and Braun hold that: the semantic contents of sentences are structured propositions whose basic components are objects and properties, names are directly referential terms, and a sentence of the form ‘n believes that S’ is true in a context c iff the referent of the name n in c believes the proposition expressed by S in c. This is sometimes referred to as ‘the Naive Russellian theory’. In this talk, I will discuss the Naive Russellian (...) theory primarily in connection with a problem known as Schiffer’s puzzle. Schiffer first presented the puzzle as an argument against the Naive Russellian theory. Schiffer’s argument proceeds in two steps. In step one, Schiffer argues that the Naive Russellian theory is committed to two principles regarding de re belief; the special-case consequence and Frege’s constraint. Then, in step two, Schiffer argues that the special-case consequence is not consistent with Frege’s constraint. Salmon and Braun reply to Schiffer’s argument that although the Naive Russellian theory is committed to Frege’s constraint, it is not committed to the special-case consequence. However, in this paper, I will argue with a new Schiffer-case that even if the Naive Russellian theory is not committed to the special-case consequence, it is still not consistent with Frege’s constraint. Concluding, I will discuss the possibility to reject Frege’s constraint within the Naive Russellian theory. (shrink)

Bertrand Russell [1912] argued that we are acquainted with our experiences. Although this conclusion has generated a lot of discussion, very little has been said about Russell's actual arguments for it. This paper aims to remedy that. I start by spelling out two Russellian arguments for acquaintance. Then I show that these arguments cannot both succeed. For if one is sound, the other isn't. Finally, I weigh our options with respect to these arguments, and defend one option in particular. (...) I argue that we have good reason to believe that we can be, and sometimes are, acquainted with our experiences. (shrink)

Russellian monism (RM) attributes experience to the intrinsic nature of physics’ abstract mathematical accounts of the world. It’s touted as a promising mind-body solution, for it avoids dualist and physicalist issues. Yet this status is imperiled by its deeply obscure ideas of mental combination, protophenomenal entities, emergent experience, grounded abstractions, et cetera. This “metaphysical magical mystery tour” may render RM as problematic as competing views. A clear, simple panpsychism akin to Strawson’s might avoid these issues. In this theory (NPP), (...) experience is the real, underlying nature of matter-energy, hidden beyond its sensory appearances. NPP may avoid panpsychist combination problems by showing how neurons can electrically bind their minimal experience to form percepts, thoughts, and subjects. This might explain combination in testable ways, while RM instead turns to questionable microsubjects and binding mechanisms. NPP’s virtues are its metaphysical simplicity, empirical support, testable foundations—and its avoidance of the issues in RM and other standard theories. It might point to a mind-body solution. (shrink)

Belief does aim at the truth. When our beliefs do not fit the facts, they cannot do what they are supposed to do, because they cannot provide us with reasons. We cannot plausibly deny that a truth norm is among the norms that govern belief. What we should not say is that the truth norm is the fundamental epistemic norm. In this paper, I shall argue that knowledge is the norm of belief and that the truth norm has a derivative (...) status. Only a knowledge‐first approach to epistemic normativity can explain why epistemic assessment has its inward‐looking focus. (shrink)

Todd (2016) proposes an analysis of future-directed sentences, in particular sentences of the form 'will(φ)', that is based on the classic Russellian analysis of definite descriptions. Todd's analysis is supposed to vindicate the claim that the future is metaphysically open while retaining a simple Ockhamist semantics of future contingents and the principles of classical logic, i.e. bivalence and the law of excluded middle. Consequently, an open futurist can straightforwardly retain classical logic without appeal to supervaluations, determinacy operators, or any (...) further controversial semantical or metaphysical complication. In this paper, we will show that this quasi-Russellian analysis of 'will' both lacks linguistic motivation and faces a variety of significant problems. In particular, we show that the standard arguments for Russell's treatment of definite descriptions fail to apply to statements of the form 'will(φ)'. (shrink)

This paper deals with the logical form of quantified sentences. Its purpose is to elucidate one plausible sense in which quantified sentences can adequately be represented in the language of first-order logic. Section 1 introduces some basic notions drawn from general quantification theory. Section 2 outlines a crucial assumption, namely, that logical form is a matter of truth-conditions. Section 3 shows how the truth-conditions of quantified sentences can be represented in the language of first-order logic consistently with some established (...) undefinability results. Section 4 sketches an account of vague quantifier expressions along the lines suggested. Finally, section 5 addresses the vexed issue of logicality. (shrink)

Quantification, Negation, and Focus: Challenges at the Conceptual-Intentional Semantic Interface Tista Bagchi National Institute of Science, Technology, and Development Studies (NISTADS) and the University of Delhi Since the proposal of Logical Form (LF) was put forward by Robert May in his 1977 MIT doctoral dissertation and was subsequently adopted into the overall architecture of language as conceived under Government-Binding Theory (Chomsky 1981), there has been a steady research effort to determine the nature of LF in language in light of (...) structurally diverse languages around the world, which has ultimately contributed to the reinterpretation of LF as a Conceptual-Intentional (C-I) interface level between the computational syntactic component of the faculty of language and one or more interpretive faculties of the human mind. While this has opened up further possibilities of research in phenomena such as quantifier scope and scope interactions between negation, quantification, and focus, it has also given rise to a few real challenges to linguistic theory as well. Some of these are: (i) the split between lexical meaning – a matter supposedly belonging to the phase-wise selection of lexical arrays – and issues of semantic interpretation that arise purely from binding and scope phenomena (Mukherji 2010); (ii) partially relatedly, the level at which theta role assignment can be argued to take place, an issue that is taken up by me in Bagchi (2007); and (iii) how supposedly “pure” scopal phenomena relating to quantifiers, negation, and emphasizing expressions such as only and even (comparable to, e.g., Urdu/Hindi hii and bhii, Bangla –i and –o) also have dimensions of both focus and discourse reference. While recognizing all of these challenges, this talk aims to highlight particularly challenge (iii), both in terms of scholarship in the past and for the rich prospects for research on languages of south Asia with the semantics of quantification, negation, and focus in view. The scholarship of the past that I seek to relate this issue to is where, parallel to (and largely independently of) the research on LF that had been happening, Barwise and Cooper were developing their influential view of noun phrases as generalized quantifiers, culminating in their key 1981 article “Generalized Quantifiers and Natural Language” while, independently, McCawley, in his 1981 book Everything that Linguists have Always Wanted to Know about Logic, established through argumentation that all noun phrases semantically behave like generalized quantified expressions (further elaborated by him in the second – 1994 – revised edition of his book). I seek to demonstrate, based on limited data analysis from selected languages of south Asia, that our current understanding of quantification, negation, and focus under the Minimalist view owes something significant to the two major, but now largely marginalized, works of scholarship, and that for the way forward it is essential to adopt a more formal-semantic approach as adopted by them and also by later works such as Denis Bouchard’s (1995) The Semantics of Syntax, Mats Rooth’s work on focus (e.g., Rooth 1996, “Focus” in Shalom Lappin’s Handbook of Contemporary Semantic Theory), Heim and Kratzer’s Semantics in Generative Grammar (1998), and Yoad Winter’s (2002) Linguistic Inquiry article on semantic number, to cite just a few instances. (shrink)

I develop a new argument against Russellian Monism about consciousness.

There are two dominant approaches to quantification: the Fregean and the Tarskian. While the Tarskian approach is standard and familiar, deep conceptual objections have been pressed against its employment of variables as genuine syntactic and semantic units. Because they do not explicitly rely on variables, Fregean approaches are held to avoid these worries. The apparent result is that the Fregean can deliver something that the Tarskian is unable to, namely a compositional semantic treatment of quantification centered on truth (...) and reference. We argue that the Fregean approach faces the same choice: abandon compositionality or abandon the centrality of truth and reference to semantic theory. Indeed, we argue that developing a fully compositional semantics in the tradition of Frege leads to a typographic variant of the most radical of Tarskian views: variabilism, the view that names should be modeled as Tarskian variables. We conclude with the consequences of this result for Frege's distinction between sense and reference. (shrink)

It is sometimes claimed that in his 1912 work, "The Problems of Philosophy" (POP), and possibly as early as “on Denoting”, Russell conceives of the mind's acquaintance with sense-data as providing an indubitable or certain foundation for empirical knowledge. However, although he does say things suggestive of this view in certain of his 1914 works, Russell also makes remarks in POP that conflict with any such broadly "Cartesian" interpretation of this work. This paper attempts to resolve this apparent tension, while (...) also offering a close examination of Russell's views on the nature of acquaintance and their relationship to certain ideas in William James. (shrink)

This book surveys research in quantification starting with the foundational work in the 1970s. It paints a vivid picture of generalized quantifiers and Boolean semantics. It explains how the discovery of diverse scope behavior in the 1990s transformed the view of quantification, and how the study of the internal composition of quantifiers has become central in recent years. It presents different approaches to the same problems, and links modern logic and formal semantics to advances in generative syntax. A (...) unique feature of the book is that it systematically brings cross-linguistic data to bear on the theoretical issues, discussing French, German, Dutch, Hungarian, Russian, Japanese, Telugu (Dravidian), and Shupamem (Grassfield Bantu), and pointing to formal semantic literature involving quantification in around thirty languages. -- -/- 1. What this book is about and how to use it; 2. Generalized quantifiers and their elements: operators and their scopes; 3. Generalized quantifiers in non-nominal domains; 4. Some empirically significant properties of quantifiers and determiners; 5. Potential challenges for generalized quantifiers; 6. Scope is not uniform and not a primitive; 7. Existential scope versus distributive scope; 8. Distributivity and scope; 9. Bare numeral indefinites; 10. Modified numerals; 11. Clause-internal scopal diversity; 12. Towards a compositional semantics of quantifier words. (shrink)

As emphasized by Alonzo Church and David Kaplan (Church 1974, Kaplan 1975), the philosophies of language of Frege and Russell incorporate quite different methods of semantic analysis with different basic concepts and different ontologies. Accordingly we distinguish between a Fregean and a Russellian tradition in intensional semantics. The purpose of this paper is to pursue the Russellian alternative and to provide a language of intensional logic with a model-theoretic semantics. We also discuss the so-called Russell-Myhill paradox that threatens (...) simple Russellian type theory if propositions satisfies very strict principles of individuation. One way of avoiding the paradox is to adopt a ramified rather than a simple theory of types. (shrink)

I argue that academic psychology’s quest to achieve scientific respectability by reliance on quantification and objectification is deeply flawed. Specifically, psychological theory typically cannot support prognostication beyond the binary opposition of “effect present/effect absent”. Accordingly, the “numbers” assigned to experimental results amount to little more than affixing names (e.g., more than, less than) to the members of an ordered sequence of outcomes. This, in conjunction with the conceptual under-specification characterizing the targets of experimental inquiry, is, I contend, a primary (...) reason why psychologists find it difficult to discriminate between competing, explanations of the effects of mind on behavior. Absent well-specified theory capable of enabling precise and detailed quantitative prediction, inferring underlying mental mechanisms from experimental outcomes becomes a difficult, if not impossible, task. (shrink)

Few these days dispute that the knowledge argument demonstrates an epistemic gap between the physical facts and the facts about experience. It is much more contentious whether that epistemic gap can be used to demonstrate a metaphysical gap of a kind that is inconsistent with physicalism. In this paper I will explore two attempts to block the inference from an epistemic gap to a metaphysical gap – the first from the phenomenal concept strategy, the second from Russellian monism – (...) and suggest how the proponent of the knowledge argument might respond to each of these challenges. In doing so, I will draw on recent discussions of grounding and essence in the metaphysics literature. (shrink)

The result of combining classical quantificational logic with modal logic proves necessitism – the claim that necessarily everything is necessarily identical to something. This problem is reflected in the purely quantificational theory by theorems such as ∃x t=x; it is a theorem, for example, that something is identical to Timothy Williamson. The standard way to avoid these consequences is to weaken the theory of quantification to a certain kind of free logic. However, it has often been noted that in (...) order to specify the truth conditions of certain sentences involving constants or variables that don’t denote, one has to apparently quantify over things that are not identical to anything. In this paper I defend a contingentist, non-Meinongian metaphysics within a positive free logic. I argue that although certain names and free variables do not actually refer to anything, in each case there might have been something they actually refer to, allowing one to interpret the contingentist claims without quantifying over mere possibilia. (shrink)

Scientific realism holds that the terms in our scientific theories refer and that we should believe in their existence. This presupposes a certain understanding of quantification, namely that it is ontologically committing, which I challenge in this paper. I argue that the ontological loading of the quantifiers is smuggled in through restricting the domains of quantification, without which it is clear to see that quantifiers are ontologically neutral. Once we remove domain restrictions, domains of quantification can include (...) non-existent things, as they do in scientific theorizing. Scientific realism would therefore require redefining without presupposing a view of ontologically committing quantification. (shrink)

From the perspective of many philosophers of mind in these early years of the 21st Century, the debate between dualism and physicalism has seemed to have stalled, if not to have come to a complete standstill. There seems to be no way to settle the basic clash of intuitions that underlies it. Recently however, a growing number of proponents of Russellian monism have suggested that their view promises to show us a new way forward. Insofar as Russellian monism (...) might allow us to break out of the current gridlock, it's no wonder that it's become "hot stuff." To my mind, however, the excitement about Russellian monism is misplaced. Though some version of Russellian monism might well be true, I do not believe that it enables us to break free of the dualism/physicalism divide. As I will argue, once we properly understand what's required to flesh out an adequate monistic story, we will see that we are in an important way right back where we started. (shrink)

I here discuss two problems facing Russellian act-type theories of propositions, and argue that Fregean act-type theories are better equipped to deal with them. The first relates to complex singular terms like '2+2', which turn out not to pose any special problem for Fregeans at all, whereas Soames' theory currently has no satisfactory way of dealing with them (particularly, with such "mixed" propositions as the proposition that 2+2 is greater than 3). Admittedly, one possibility stands out as the most (...) promising one, but it requires that the Russellian treat complex properties as constituents of propositions. This leads to the second major problem for Russellians: that of proliferating propositions. I show how the most direct solution to this problem, that of rejecting complex predicative propositional constituents is available to Fregeans but very implausible for Russellians, since this virtually means rejecting complex properties. (shrink)

One of the most pressing challenges that occupy the Russellian panpsychist’s agenda is to come up with a way to reconcile the traditional argument from categorical properties (Seager, 2006; Alter & Nagasawa, 2015) with H. H. Mørch’s dispositionalism-friendly argument from the experience of causation (2014, 2018, 2020) — on the way to a unitary, all-encompassing case for the view. In this regard, Mørch claims that, via the commitment to the Identity theory of properties, one can consistently hold both panpsychist (...) arguments without contradiction (2020: 281) — I shall refer to such proposal as Reconciliation. In my paper, I shall argue that this is not the case. To this extent, I will first consider H. Taylor’s argument that the Identity theorists have the exact same resources as the dispositionalists (as, after careful enquiry, their views on the metaphysics of properties turn out to coincide (2018: 1438)), and thus contend that Reconciliation fails to obtain. Then, I will suggest that one can avoid the problem and reconcile the arguments by adopting a different version of the powerful qualities view, namely the Compound view — and thus advance a reformulated version of the claim, i.e. Reconciliation*. Finally, even though pursuing my proposed solution might expose Russellian panpsychism to the risk of epiphenomenalism, I shall conclude that such specific form of epiphenomenalism is a rather benign one, and thus that, via Reconciliation*, the constitution of a unitary case for panpsychism as a positive proposal (and not as a mere alternative to dualism and physicalism) can be achieved. (shrink)

According to Russellianism (or Millianism), the two sentences ‘Ralph believes George Eliot is a novelist’ and ‘Ralph believes Mary Ann Evans is a novelist’ cannot diverge in truth-value, since they express the same proposition. The problem for the Russellian (or Millian) is that a puzzle of Kaplan’s seems to show that they can diverge in truth-value and that therefore, since the Russellian holds that they express the same proposition, the Russellian view is contradictory. I argue that the (...) standard Russellian appeal to “ways of thinking” or “propositional guises” is not necessary to solve the puzzle. Rather than this retrograde concession to Fregeanism, appeal should be made to second-order belief. The puzzle is solved, and the contradiction avoided, by maintaining that both sentences are indeed true in addition to the sentence ‘Ralph (mistakenly) believes that he does not believe Mary Ann Evans/George Eliot is a novelist’. (shrink)

This paper describes quantificational structures in Greenlandic Eskimo (Kalaallisut), a language where familiar quantificational meanings are expressed in ways that are quite different from English. Evidence from this language thus poses some formidable challenges for cross-linguistic theories of compositional semantics.

I provide a classification of varieties of pantheism. I argue that there are two different kinds of commitments that pantheists have. On the one hand, there is an ontological commitment to the existence of a sum of all things. On the other hand, there is an ideological commitment: either collectively or distributively, the sum of all things is divine.

Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules for (...) the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

The Integrated Information Theory is a leading scientific theory of consciousness, which implies a kind of panpsychism. In this paper, I consider whether IIT is compatible with a particular kind of panpsychism, known as Russellian panpsychism, which purports to avoid the main problems of both physicalism and dualism. I will first show that if IIT were compatible with Russellian panpsychism, it would contribute to solving Russellian panpsychism’s combination problem, which threatens to show that the view does not (...) avoid the main problems of physicalism and dualism after all. I then show that the theories are not compatible as they currently stand, in view of what I call the coarse-graining problem. After I explain the coarse-graining problem, I will offer two possible solutions, each involving a small modification of IIT. Given either of these modifications, IIT and Russellian panpsychism may be fully compatible after all, and jointly enable significant progress on the mind–body problem. (shrink)

It seems that the most common strategy to solve the liar paradox is to argue that liar sentences are meaningless and, consequently, truth-valueless. The other main option that has grown in recent years is the dialetheist view that treats liar sentences as meaningful, truth-apt and true. In this paper I will offer a new approach that does not belong in either camp. I hope to show that liar sentences can be interpreted as meaningful, truth-apt and false, but without engendering any (...) contradiction. This seemingly impossible task can be accomplished once the semantic structure of the liar sentence is unpacked by a quantified analysis. The paper will be divided in two sections. In the first section, I present the independent reasons that motivate the quantificational strategy and how it works in the liar sentence. In the second section, I explain how this quantificational analysis allows us to explain the truth teller sentence and a counter-example advanced against truthmaker maximalism, and deal with some potential objections. (shrink)

The first section of this paper introduces talk about absolutely everything -- the world as a totality -- as an integral element in the project of natural theology, as it has been presented by Fergus Kerr and Denys Turner respectively. The following section presents talk about the world as a totality of facts as a theme in philosophical logic and outlines a problem it has given rise to there. After confronting the solution originally suggested by Bertrand Russell and defended by (...) David Armstrong, the paper points to key elements of the solution presented by Wittgenstein in Tractatus Logico-Philosophicus. I show how Wittgenstein’s answer to the question of unrestricted quantification draws on his notion of showing and the inexpressible. Against this background, the concluding section draws attention to an important difference in ambition between Kerr’s and Turner’s description of the prospects for natural theology. (shrink)

This paper has two main aims. The first is to present a general approach for understanding “dispositional” and “categorical” properties; the second aim is to use this approach to criticize Russellian Monism. On the approach I suggest, what are usually thought of as “dispositional” and “categorical” properties are really just the extreme ends of a spectrum of options. The approach allows for a number of options between these extremes, and it is plausible, I suggest, that just about everything of (...) scientific interest falls in this middle ground. I argue that Russellian Monism depends for its plausibility on the unarticulated assumption that there are no properties in the middle ground. (shrink)

There is an important difference between a thought that is directed towards a particular object and a thought that is not so directed. For example, there is a difference in my thoughts about my brother, and my thoughts about brothers, more generally. The first has the earmarks of singular thought, while the latter does not. After showing that there is no agreement about the nature of singular thought, I revisit early Russell to find greater clarity. I then advance a version (...) of Millianism that builds on early Russell’s view of singular thought. I argue that the advocates of the direct reference view who argue that being on the receiving end of a name is suffi cient for having singular thoughts about the object named have not provided good reasons for their views. Passing on a name can provide the recipient with a general understanding of the name, but not specific understanding. That is, when acquiring the name, the recipient may not learn the identity of the object named as this very object which, I argue, is required for one having singular thoughts of that object. (shrink)

This is Appendix A to the note: Deconstructing the Physical World (DPW). It shows how the conceptual framework developed in DPW relates to Russellian Monism (RM) and that it can accrue RM’s benefits while defeating the combination problem that challenges many RMs.

Call a quantifier ‘unrestricted’ if it ranges over absolutely all objects. Arguably, unrestricted quantification is often presupposed in philosophical inquiry. However, developing a semantic theory that vindicates unrestricted quantification proves rather difficult, at least as long as we formulate our semantic theory within a classical first-order language. It has been argued that using a type theory as framework for our semantic theory provides a resolution of this problem, at least if a broadly Fregean interpretation of type theory is (...) assumed. However, the intelligibility of this interpretation has been questioned. In this paper I introduce a type-free theory of properties that can also be used to vindicate unrestricted quantification. This alternative emerges very naturally by reflecting on the features on which the type-theoretic solution of the problem of unrestricted quantification relies. Although this alternative theory is formulated in a non-classical logic, it preserves the deductive strength of classical strict type theory in a natural way. The ideas developed in this paper make crucial use of Russell’s notion of range of significance. (shrink)

There is a growing movement towards construing some classic debates in ontology as meaningless, either because the answers seem obvious or the debates seem intractable. In this paper, I respond to this movement. The response has three components: First, the members of the two sides of the ontological debates that dismissivists have targeted are using different quantifiers. Second, the austere ontologist is using a more fundamental quantifier than her opponent. Third, the austere ontologist’s more fundamental quantifier is a restriction of (...) her opponent’s quantifier. This response takes seriously the intuition that there is something wrong with the ontological disputes, but does not entail dismissivism. (shrink)

The currently standard philosophical conception of existence makes a connection between three things: certain ways of talking about existence and being in natural language; certain natural language idioms of quantification; and the formal representation of these in logical languages. Thus a claim like ‘Prime numbers exist’ is treated as equivalent to ‘There is at least one prime number’ and this is in turn equivalent to ‘Some thing is a prime number’. The verb ‘exist’, the verb phrase ‘there is’ and (...) the quantifier ‘some’ are treated as all playing similar roles, and these roles are made explicit in the standard common formalization of all three sentences by a single formula of first-order logic: ‘(∃ x )[P( x ) & N( x )]’, where ‘P( x )’ abbreviates ‘ x is prime’ and ‘N( x )’ abbreviates ‘ x is a number’. The logical quantifier ‘∃’ accordingly symbolizes in context the role played by the English words ‘exists’, ‘some’ and ‘there is’. (shrink)

Nihilism is the thesis that no composite objects exist. Some ontologists have advocated abandoning nihilism in favor of deep nihilism, the thesis that composites do not existO, where to existO is to be in the domain of the most fundamental quantifier. By shifting from an existential to an existentialO thesis, the deep nihilist seems to secure all the benefits of a composite-free ontology without running afoul of ordinary belief in the existence of composites. I argue that, while there are well-known (...) reasons for accepting nihilism, there appears to be no reason at all to accept deep nihilism. In particular, deep nihilism draws no support either from the usual arguments for nihilism or from considerations of parsimony. (shrink)

This paper is the twin of (Duží and Jespersen, in submission), which provides a logical rule for transparent quantification into hyperprop- ositional contexts de dicto, as in: Mary believes that the Evening Star is a planet; therefore, there is a concept c such that Mary be- lieves that what c conceptualizes is a planet. Here we provide two logical rules for transparent quantification into hyperpropositional contexts de re. (As a by-product, we also offer rules for possible- world propositional (...) contexts.) One rule validates this inference: Mary believes of the Evening Star that it is a planet; therefore, there is an x such that Mary believes of x that it is a planet. The other rule validates this inference: the Evening Star is such that it is believed by Mary to be a planet; therefore, there is an x such that x is believed by Mary to be a planet. Issues unique to the de re variant include partiality and existential presupposition, sub- stitutivity of co-referential (as opposed to co-denoting or synony- mous) terms, anaphora, and active vs. passive voice. The validity of quantifying-in presupposes an extensional logic of hyperinten- sions preserving transparency and compositionality in hyperinten- sional contexts. This requires raising the bar for what qualifies as co-denotation or equivalence in extensional contexts. Our logic is Tichý’s Transparent Intensional Logic. The syntax of TIL is the typed lambda calculus; its highly expressive semantics is based on a procedural redefinition of, inter alia, functional abstraction and application. The two non-standard features we need are a hyper- intension (called Trivialization) that presents other hyperintensions and a four-place substitution function (called Sub) defined over hy- perintensions. (shrink)