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)

Contemporary philosophy often chants the mantra, ‘Philosophy is continuous with science.’ Now Shepanski gives it a clear sense, by extracting from W. V. Quine’s writings an explicit normative epistemology – i.e. an explicit set of norms for theorizing – that applies to philosophy and science alike. It is recognizably a version of empiricism, yet it permits the kind of philosophical theorizing that Quine practised all his life. Indeed, it is that practice, more than any overt avowals, that justifies attributing this (...) set of norms to Quine. -/- The Quinean epistemology is supported by a metaphilosophy that judges epistemologies by the tenability of their consequences. Shepanski explores the Quinean epistemology’s consequences for inductive and abductive inference, for mathematical entities, for science and for common sense. Moreover, he finds that it continues to be fruitful, as illustrated by a case study in which Quinean methods lead to a new formal treatment of the propositional attitudes. Finally, there is critical discussion of popular alternative views, including foundationalism, the centrality of knowledge, and Quine’s own epistemological naturalism. -/- By focusing on Quine’s normative epistemology, Shepanski illuminates a part of Quine’s thought that has hitherto been insufficiently discussed, and provides a tractable starting point for readers who are new to Quine. Most importantly, he isolates the part of Quine’s thought that has the greatest potential impact outside epistemology, outside philosophy of language, and even outside philosophy. (shrink)

I present a puzzle for the standard, propositional semantic account of belief reports by considering novel inferences which it incorrectly predicts to be invalid under assumptions that are plausible by its advocates’ own lights. In response, I propose a conservative departure from the standard view on which certain ‘that’-clauses designate novel devices of semantic type that I call open propositions. After outlining some desiderata for a theory of open propositions, I provide some reasons for advocates of the standard view to (...) treat them as properties of a certain kind. Then I give a bridge principle between the core notions of belief and belief-about before showing how the resulting view can be implemented in accordance with formal theories of syntax and semantics. I bring out some of the consequences this investigation has beyond our semantic theorizing and conclude, more generally, that any response to the puzzle requires paying some surprising cost or another. (shrink)

There is a considerable sub-literature, stretching back over 35 years, addressed to the question: Precisely which general terms ought to be classified as rigid designators? More fundamentally: What should we take the criterion for rigidity to be, for general terms? The aim of this paper is to give new grounds for the old view that if a general term designates the same kind in all possible worlds, then it should be classified as a rigid designator. The new grounds in question (...) have to do with excavating the connection between rigid designation and semantic structure. Other original contributions of the present work consist in developing responses to some objections to this approach to rigid designation. (shrink)

Exploring intentionality from an externalist perspective, I distinguish three kinds of intentionality in the case of seeing, which I call transparent, translucent, and opaque respectively. I then extend the distinction from seeing to knowing, and then to believing. Having explicated the three-fold distinction, I then critically explore some important consequences that follow from granting that (i) there are transparent and translucent intentional states and (ii) these intentional states are mental states. These consequences include: first, that existential opacity is neither the (...) mark of intentionality nor of the mental; second, that Sellars has not shown that all intentionality is non-relational; third, that a key Quinean argument for semantic indeterminacy rests on a false premise; fourth, that perceptual experience is intentional on Alston’s Theory of Appearing; fifth, that either some mental causation is more than internal physiological causation or some mental states are epiphenomenal. (shrink)

In his famous 1979 article 'A Puzzle About Belief' Saul Kripke presents two puzzles regarding belief attribution, and he uses them to cast doubt on classical substitution arguments against the Millian view that a proper name has a 'denotation' (or reference) but no 'connotation' (or sense). In this article, I present Kripke's puzzles in what I take to be their most revealing form, discuss their relevance to the abovementioned arguments, briefly survey the ways in which philosophers have responded to these (...) puzzles, and call attention to some issues related to the puzzles that have yet to receive the consideration they deserve. (shrink)

In The Things We Mean, Stephen Schiffer defends a novel account of the entities to which belief reports relate us and to which their that-clauses refer. For Schiffer, the referred-to entities—propositions—exist in virtue of contingencies of our linguistic practices, deriving from “pleonastic restatements” of ontologically neutral discourse. Schiffer’s account of the individuation of propositions derives from his treatment of that -clause reference. While that -clauses are referential singular terms, their reference is not determined by the speaker’s referential intentions. Rather, their (...) reference is determined in a top-down manner—in Schiffer’s words, “by what the speaker and audience mutually take to be essential to the truth-value of the belief report.” While this accounts for a deep disanalogy between belief reports and other relational propositions—a disanalogy emphasized by Schiffer—I argue that the proposal runs into trouble when we consider the case of de re belief. I close by showing how a modification of Schiffer’s approach—one differing in essential ways from the theory developed in Things—is capable of handling these difficulties. (shrink)

I discuss Stalnaker’s views on modality. In particular, his views on actualism, anti-essentialism, counterpart theory, and the Barcan formulas.

Peter Geach's puzzle of intentional identity is to explain how the claim ‘Hob thinks a witch has blighted Bob's mare, and Nob wonders whether she killed Cob's sow’ is compatible with there being no such witch. I clarify the puzzle and reduce it to the familiar problem of negative existentials. That problem is a paradox of representations that seem to include denials of commitment , to carry commitment to what they deny commitment to, and to be true. The best proposed (...) solutions can be understood through this paradox; I evaluate them, and defend a new solution. (shrink)

I argue that Frege Problems in thought are best modeled using graph-theoretic machinery; and that these problems can arise even when subjects associate all the same qualitative properties to the object they’re thinking of twice. I compare the proposed treatment to similar ideas by Heck, Ninan, Recanati, Kamp and Asher, Fodor, and others.

We prove how to validly quantify into hyperpropositional contexts de dicto in Transparent Intensional Logic. Hyperpropositions are sentential meanings and attitude complements individuated more finely than up to logical equivalence. A hyperpropositional context de dicto is a context in which only co-hyperintensional propositions can be validly substituted. A de dicto attitude ascription is one that preserves the attributee’s perspective when one complement is substituted for another. Being an extensional logic of hyperintensions, Transparent Intensional Logic validates all the rules of extensional (...) logic, including existential quantification. Yet the rules become more exacting when applied to hyperintensional contexts. The rules apply to only some types of entities, because the existence of only some types of entities is entailed by a hyperpropositional attitude de dicto. The insight that the paper offers is how a particular logic of hyperintensions is capable of validating quantifying-in in a principled and rigorous manner. This result advances the community-wide understanding of how to logically manipulate hyperintensions. (shrink)

The Hilbert–Bernays Theorem establishes that for any satisfiable first-order quantificational schema S, one can write out linguistic expressions that are guaranteed to yield a true sentence of elementary arithmetic when they are substituted for the predicate letters in S. The theorem implies that if L is a consistent, fully interpreted language rich enough to express elementary arithmetic, then a schema S is valid if and only if every sentence of L that can be obtained by substituting predicates of L for (...) predicate letters in S is true. The theorem therefore licenses us to define validity substitutionally in languages rich enough to express arithmetic. The heart of the theorem is an arithmetization of Gödel's completeness proof for first-order predicate logic. Hilbert and Bernays were the first to prove that there is such an arithmetization. Kleene established a strengthened version of it, and Kreisel, Mostowski, and Putnam refined Kleene's result. Despite the later refinements, Kleene's presentation of th.. (shrink)

Peter Geach has said that Russell's use of ‘propositional function’ is ‘hopelessly confused and inconsistent’. Geach is right, and attempts to say what exactly a Russellian propositional function is, or is supposed to be, are bound to end in frustration. Nevertheless, it may be worthwhile to pursue an account of propositional functions that accommodates a good deal of what Russell says about them and that can provide some of what he expected of them.