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 cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics. 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 the interpretational and objective modalities and 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 while bypassing the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. 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)

Quine introduced a famous distinction between the ‘notional’ sense and the ‘relational’ sense of certain attitude verbs. The distinction is both intuitive and sound but is often conflated with another distinction Quine draws between ‘dyadic’ and ‘triadic’ (or higher degree) attitudes. I argue that this conflation is largely responsible for the mistaken view that Quine’s account of attitudes is undermined by the problem of the ‘exportation’ of singular terms within attitude contexts. Quine’s system is also supposed to suffer from the (...) problem of ‘suspended judgement with continued belief’. I argue that this criticism fails to take account of a crucial presupposition of Quine’s about the connection between thought and language. The aim of the paper is to defend the spirit of Quine’s account of attitudes by offering solutions to these two problems. (shrink)

In “On Referring” Peter Strawson pointed out that incomplete descriptions pose a problem for Russell’s analysis of definite descriptions. Howard Wettstein and Michael Devitt appealed to incomplete descriptions to argue, first, that Russell’s analysis of definite descriptions fails, and second, that Donnellan’s referential/attributive distinction has semantic bite. Stephen Neale has defended Russell’s analysis of definite descriptions against Wettstein’s and Devitt’s objections. In this paper, my aim is twofold. First, I rebut Neale’s objections to Wettstein’s and Devitt’s argument and argue that (...) Neale’s attempt to provide an account of referential descriptions within a Russellian framework fails. Second, contra Devitt and Wettstein, I argue that the problem posed by incomplete descriptions shows that Donnellan was right in believing that referential descriptions refer even if the definite description fits nothing. (shrink)

In ‘Reference and Definite Descriptions', Keith Donnellan claimed that Bertrand Russell and Peter Strawson ignored referential uses of definite descriptions. The intense debate that followed Donnellan's paper focused on the contrast between Donnellan and Russell, leaving Strawson aside. In this paper, I focus on the contrast between Donnellan and Strawson. By focusing on this contrast, my aim is, first, to clarify the nature of Donnellan's distinction between referential and attributive uses of definite descriptions and, second, to argue that a proper (...) understanding of referential uses holds the key to a proper understanding of direct reference. Contrary to the standard view, the crucial issue is not the nature of the proposition expressed (singular versus general) but how a speaker comes to talk about an object. (shrink)

We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide models to show (...) that some of these logics are non-degenerate. (shrink)

As Quine observed, the following sentence has a reading which, if true, would be of special interest to the authorities: Ralph believes that someone is a spy. This is the reading where the quantifier is naturally understood as taking wide scope relative to the attitude verb and as binding a variable within the scope of the attitude verb. This essay is interested in addressing the question what the semantic analysis of this kind of reading should look like from a Fregean (...) perspective—a perspective according to which attitude states are generally relations to structured Fregean thoughts composed of senses. The Fregean view faces a challenge of compositionality here. This essay describes the challenge and offers a response on the Fregean's behalf. (shrink)

In this paper, I argue that a number of recent Russell interpreters, including Evans, Davidson, Campbell, and Proops, mistakenly attribute to Russell what I call ‘the received view of acquaintance’: the view that acquaintance safeguards us from misidentifying the objects of our acquaintance. I contend that Russell’s discussions of phenomenal continua cases show that he does not accept the received view of acquaintance. I also show that the possibility of misidentifying the objects of acquaintance should be unsurprising given underappreciated aspects (...) of Russell’s overall theory of knowledge and acquaintance. Finally, I consider the radical impact that Russell’s actual views on acquaintance have for our understanding of his well-known George IV case in ‘On Denoting’. In particular, I argue that Russell’s treatment of the George IV case is not a one-size-fits-all solution to Frege’s Puzzle and provides no support for the received view of acquaintance. (shrink)

The main goal of this paper is to present and compare two approaches to formalizing cross-world comparisons like John might have been taller than he is in quantified modal logics. One is the standard method employing degrees and graded positives, according to which the example just given is to be paraphrased as something like The height that John has is such that he might have had a height greater than it, which is amenable to familiar formalization strategies with respect to (...) quantified modal logic. The other approach, based on subjunctive modal logic, mimics the mixed indicative-subjunctive patterns typical of cross-world comparisons in many natural languages by means of explicit mood markers. This latter approach is new and should, for various reasons, appeal to linguists and philosophers. Along the way, I argue that attempts to capture cross-world comparison by means of sentential operators are either inadequate or subject to substantive logical and philosophical objections. (shrink)

Following Neale, I call the notion that there can be no such thing as a structured referring expression ‘structure skepticism’. The specific aim of this paper is to defuse some putative counterexamples to structure skepticism. The general aim is to bolster the case in favor of the thesis that lack of structure—in a sense to be made precise—is essential to reference.

This note responds to criticism put forth by Jessica Keiser against a theory of lying as Stalnakerian assertion. According to this account, to lie is to say something one believes to be false and thereby propose that it become common ground. Keiser objects that this view wrongly counts particular kinds of non-literal speech as instances of lying. In particular, Keiser argues that the view invariably counts metaphors and certain uses of definite descriptions as lies. It is argued here that both (...) these claims are false. (shrink)

In §442 of Philosophical Investigations Wittgenstein criticizes the application of Russell’s theory of descriptions to the sentence in the title without mentioning Russell or his theory. Wittgenstein is making a general point of wider interest. I have two aims. The first is to situate Wittgenstein’s critique within the larger theoretical setting of Russell’s theory of descriptions and Frege’s theory of indirect reference in light of the familiar problem of quantifying into attitude contexts. The second is to draw broader methodological implications (...) from the foregoing for how best to think of the role of individual semantic paraphrases within the formal semantic study of natural language. (shrink)

It is widely agreed that sentences containing a non-denoting description embedded in the scope of a propositional attitude verb have true de dicto interpretations, and Russell's (1905) analysis of definite descriptions is often praised for its simple analysis of such cases, cf. e.g. Neale (1990). However, several people, incl. Elbourne (2005, 2009), Heim (1991), and Kripke (2005), have contested this by arguing that Russell's analysis yields incorrect predictions in non-doxastic attitude contexts. Heim and Elbourne have subsequently argued that once certain (...) facts about presupposition projection are fully appreciated, the Frege/Strawson analysis of definite descriptions has an explanatory advantage. In this paper, I argue that both Russell's analysis and the Frege/Strawson analysis face a serious problem when it comes to the interaction of attitude verbs and definite descriptions. I argue that the problem observed by Elbourne, Heim, and Kripke is much more general than standardly assumed and that a solution requires a revision of the semantics of definite and indefinite descriptions. I outline the conditions that are required to solve the problem and present an analysis couched in dynamic semantics which can provide a solution. I conclude by discussing some further issues related to propositional attitude verbs that complicate a fully general solution to the problem. (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)

A recent challenge to Russell’s theory of definite description centers upon the divergent behavior of definites and their Russellian paraphrases in non-extensional contexts. Russellians can meet this challenge, I argue, by incorporating the familiarity theory of definiteness into Russell’s theory. The synthesis of these two seemingly incompatible theories produces a conceptually consistent and empirically powerful framework. As I show, the coalescence of Russellianism and the familiarity theory of definiteness stands as a legitimate alternative to both Traditional Russellianism and alternative semantic (...) frameworks. (shrink)

The paper critically scrutinizes the widespread idea that Russell subscribes to a "Universalist Conception of Logic." Various glosses on this somewhat under-explained slogan are considered, and their fit with Russell's texts and logical practice examined. The results of this investigation are, for the most part, unfavorable to the Universalist interpretation.

In order to reconnect Quine's views to the current debate on scientific realism, I reframe Quine's scientific realism into a semantic, a metaphysical, and an epistemological dimension. With this conceptual background, I review the historical development of Quine's scientific realism from the late 1940s until his death in 2000. I challenge Soames's view that Quine is a phenomenalist at the time of “Two Dogmas of Empiricism” (1951) and show that he remains agnostic between a realist and an anti‐realist conceptual scheme (...) instead. I also argue that Quine's early views on regimentation are incompatible with a strong formulation of semantic realism. I proceed in reconstructing how he becomes a metaphysical and epistemological realist in the mid‐1950s and argue against the view of Keskinen and Fogelin that interprets Quine as being a metaphysical anti‐realist. Contrary to Davidson, I defend the view that he never gave up normative epistemology and really is a proper epistemological realist. Finally, I discuss how he tries to reconcile his realism with his thesis of ontological relativity and how this necessitates the switch to a stronger form of semantic realism. (shrink)

Structured propositions are often invoked to explain why intensionally equivalent sentences do not substitute salva veritate into attitude ascriptions. As the semantics is standardly developed—for example, in Salmon, Soames :47–87, 1987) and King :516–535, 1995), the semantic value of a complex expression is an ordered complex consisting of the semantic values of its components. Such views, however, trivialize semantic composition since they do not allow for independent constraints on the meaning of complexes. Trivializing semantic composition risks “trivializing semantics” Semantics versus (...) pragmatics, Oxford University Press, Oxford, 2005). Yet, proponents of structured propositions suggest a route to reimpose substantive compositionality. While the mapping from a sentence to the structured proposition it expresses is trivially compositional, there is a non-trivial mapping from the structured proposition to its truth-value. This non-trivial level of semantic composition allows the meanings assigned to complex expressions to impose substantive constraints on the meanings of the simple ones. I first articulate the basic desiderata: an account of structured propositions capable of explaining attitude attributions and of delivering a non-trivially compositional semantics. I then show that the two-stage semantics proposed by standard proponents of structured propositions does not satisfy these joint goals. (shrink)

Semantics in the Montagovian tradition combines two basic tenets. One tenet is that the semantic value of a sentence is an intension, a function from points of evaluations into truth-values. The other tenet is that the semantic value of a composite expression is the result of applying the function denoted by one component to arguments denoted by the other components. Many philosophers object to intensional semantics on the grounds that intensionally equivalent sentences do not substitute salva veritate into attitude ascriptions. (...) They propose instead that the semantic values of sentences must be structured propositions. In rejecting intensional semantics, philosophers who endorse structured propositions also usually reject functional compositionality, undermining both tenets of the Montagovian programme. I defend a semantic theory that incorporates both structured propositions and functional compositionality. I argue that this semantic theory can preserve many explanatory benefits of Montague semantics. Finally, I show how treating composition functional application can resolve core problems internal to a theory of structured propositions. (shrink)

Russell's notion of an incomplete symbol has become a standard against which philosophers compare their views on the relationship between language and the world. But Russell's exact characterization of incomplete symbols and the role they play in his philosophy are still disputed. In this paper, I trace the development of the notion of an incomplete symbol in Russell's philosophy. I suggest – against Kaplan, Evans, and others – that Russell's many characterizations of the notion of an incomplete symbol are compatible. (...) To this end, I examine and reject arguments for the purported incompatibility between declaring an expression to be incomplete and incorporating that symbol into a compositional semantic theory. I then examine how Russell puts the notion of an incomplete symbol to use in metaphysics. (shrink)

The existence of complex predicates seems to support an abundant conception of properties. Specifically, the application conditions for complex predicates seem to be explained by the distribution of a sparser base of predicates. This explanatory link might suggest that the existence and distribution of properties expressed by complex predicates are explained by the existence and distribution of a sparser base of properties. Thus, complex predicates seem to legitimize the assumption of a wide array of properties. The additional properties are no (...) explanatory addition to the sparse base. I argue, however, that construing complex predicates as expressing properties undermines the explanatory links between simple and complex predications. The argument explores a variety of accounts of complex predicates currently on offer and develops a number of themes from the work of Herbert Hochberg. (shrink)

For various reasons several authors have enriched classical first order syntax by adding a predicate abstraction operator. “Conservatives” have done so without disturbing the syntax of the formal quantifiers but “revisionists” have argued that predicate abstraction motivates the universal quantifier’s re-classification from an expression that combines with a variable to yield a sentence from a sentence, to an expression that combines with a one-place predicate to yield a sentence. My main aim is to advance the cause of predicate abstraction while (...) cautioning against revisionism. In so doing, however, I shall pursue a secondary aim by conveying mixed blessings to those who hold the view that in the logical sense of “existence” some existing object is such as to exist contingently. Advocates of this view must concede Williamson’s recent contention that the domain of unrestricted objectual quantification could not have been narrower than it is actually, but predicate abstraction affords them some hope of accommodating this concession. (shrink)

This is the introductory essay to a collection commemorating the 100th anniversary of the publication in Mind of Bertrand Russell’s paper ‘On Denoting’.

Arguments against the Russellian theory of definite descriptions based on cases that involve failures of uniqueness are a recurrent theme in the relevant literature. In this paper, I discuss a number of such arguments, from Strawson (1950), Ramachandran (1993) and Szabo (2005). I argue that the Russellian has resources to account for these data by deploying a variety of mechanisms of quantifier domain restrictions. Finally, I present a case that is more problematic for the Russellian. While the previous cases all (...) involve referential uses of descriptions (or some variations of such uses), the most effective objection to the uniqueness condition draws on genuine attributive uses. (shrink)

Recent scholarship holds that unfulfilled definite descriptions do not play a role in motivating Russell’s theory of descriptions. In this paper, I make use of Gustav Bergmann’s ideal language method to develop an interpretation that restores the puzzle raised by ‘the King of France’ to the central place it once occupied in discussions of the theory of descriptions. In restoring ‘the King of France’, I show that Russell’s discussion of the problem it raises provides a decisive argument against Fregean senses, (...) a claim that also runs counter to most recent work on the theory of descriptions. (shrink)

Soames's cognitive propositions are strings of acts to be performed by an agent, such as predicating a property of an individual. King takes these structured propositions to task for proliferating too easily. King's objection is based on an example that purports to show that three of Soames's propositions are really just one proposition. I translate the informally stated propositions King attributes to Soames into the intensional λ-calculus. It turns out that they are all β-equivalent to the proposition King claims Soames's (...) three propositions are identical to. I argue on philosophical grounds against identifying β-equivalent propositions. The reason is that β-conversion obliterates too many of the procedural distinctions that are central to an act-based theory such as Soames's and which are worth preserving. In fact, β-expansion allows the addition of a fifth proposition that highlights additional procedural distinctions and propositional structure. The welcome conclusion is that we have five procedurally distinct, if equivalent, propositions. (shrink)

Fregean theories of descriptions as terms have to deal with improper descriptions. To save bivalence various proposals have been made that involve assigning referents to improper descriptions. While bivalence is indeed saved, there is a price to be paid. Instantiations of the same general scheme, viz. the one and only individual that is F and G is G, are not only allowed but even required to have different truth values.

In this paper we study the termination behavior of Russell’s description elimination rewrite system. We discuss certain claims made by Kripke (2005) in his paper concerning the possible nontermination of elimination of descriptions.

We investigate incomplete symbols, i.e. definite descriptions with scope-operators. Russell famously introduced definite descriptions by contextual definitions; in this article definite descriptions are introduced by rules in a specific calculus that is very well suited for proof-theoretic investigations. That is to say, the phrase ‘incomplete symbols’ is formally interpreted as to the existence of an elimination procedure. The last section offers semantical tools for interpreting the phrase ‘no meaning in isolation’ in a formal way.

This paper presents a new argument for necessitism, the claim that necessarily everything is necessarily something. The argument appeals to principles about the metaphysics of quantification and predication which are best seen as constraints on reality’s fineness of grain. I give this argument in section 4; the impatient reader may skip directly there. Sections 1-3 set the stage by surveying three other arguments for necessitism. I argue that none of them are persuasive, but I think it is illuminating to consider (...) my argument in light of the others and vice versa. These interconnections should be of interest even to those who reject necessitism; of particular interest may be the new conception of validity proposed in section 5. (shrink)

Contrary to a claim made by Kaplan (Mind 114:933–1003, 2005) and Neale (Mind 114:809–871, 2005), the readings available to sentences containing definite descriptions embedded under propositional attitude verbs and conditionals do pose a significant problem for the Russellian theory of definite descriptions. The Fregean theory of descriptions, on the other hand, deals easily with the relevant data.

Alonzo Church (1903–1995) was a renowned mathematical logician, philosophical logician, philosopher, teacher and editor. He was one of the founders of the discipline of mathematical logic as it developed after Cantor, Frege and Russell. He was also one of the principal founders of the Association for Symbolic Logic and the Journal of Symbolic Logic. The list of his students, mathematical and philosophical, is striking as it contains the names of renowned logicians and philosophers. In this article, we focus primarily on (...) Church’s philosophical contributions. (For an account of his life and academic history see the Introduction to The Collected Works of Alonzo Church (2019).) However, we also discuss his mathematical results when it is desirable to do so in order to pursue a philosophical issue. (shrink)

In this paper [submitted in 2008] I discuss the relation between truth and assertion. But the paper was never published, because the journal did not start (I don't know whether it started with another name and I wish all the best for this enterprise). After a while, I realized that what I had written was unclear and I tried to re-write with more details for "Agora filosofica". In this new paper I discuss in detail Kripke's example presented as a case (...) against Donnellan's distinction, and I claim that one of the two dialogues breaks Grice's Cooperation principle (and,in general, the charity principle). (shrink)

DOIhttps://doi.org/10.25247/P1982-999X.2019.v19n1.p103-134• Esta obra está licenciada sob uma licençaCreative Commons Atribuição 4.0 InternacionalISSN 1982-999x|Pragmatic ambiguity and Kripke’s dialogue against DonnellanAmbiguidade Pragmática e o diálogo de Kripke contra DonnellanCarlo Penco (Universidade de Genova, Itália)AbstractIn this paper I discuss Donnellan’s claim of the pragmatic ambiguity of the distinction between referential and attributive uses of definite des-criptions. The literature on the topic is huge and full of alternative analysis. I will restrict myself to a very classical topos: the challenge posed by Kripke to Donnellan’s (...) distinction with the case of a dialogue on an attempt to update a misdescription. I claim that to treat the problem of the referential use of definite descriptions we need not only to take into account the context of utterance, but also the cognitive context with its epistemic restrictions and the possible different contexts of reception of the same utterance. I try to show different aspects of what can be called “pragmatic ambiguity”, which seem not correctly considered by Kripke, and connect them to the basic tenets of Grice Cooperative principle. (shrink)