Saul Kripke once noted that there is a tight connection between computation and de re knowledge of whatever the computation acts upon. For example, the Euclidean algorithm can produce knowledge of which number is the greatest common divisor of two numbers. Arguably, algorithms operate directly on syntactic items, such as strings, and on numbers and the like only via how the numbers are represented. So we broach matters of notation. The purpose of this article is to explore the relationship between (...) the notations acceptable for computation, the usual idealizations involved in theories of computability, flowing from Alan Turing’s monumental work, and de re propositional attitudes toward numbers and other mathematical objects. (shrink)

In this dissertation, I defend a Russellian form of descriptivism. The main supporting argument invokes a relation between meaning and thought. I argue that the meanings of sentences are the thoughts people use them to express. This is part of a Gricean outlook on meaning according to which psychological intentionality is prior to, and determinative of, linguistic intentionality. The right approach to thought, I argue in Chapter 1, is a type of functionalism on which thoughts have narrow contents. On this (...) view, the attitude ascriptions of a regimented psychology capture what people really believe and desire. These attitude ascriptions have content clauses that are what David Lewis calls ‘modified Ramsey sentences.’ I then conclude that, since the meanings of sentences are the narrow contents of the thoughts speakers use them to express, the meanings of sentences can also be represented with such descriptive sentences. I extend the view so that it applies to individual words. The resulting view is a form of descriptivism. Referring, I claim in Chapter 2, is the expression of a de re attitude. I argue that the non-psychological, de re individuation of thoughts captures only contingent features of these thoughts. Furthermore, whether a thought counts as de re depends on the attributor’s context. These two characteristics carry over to reference. The referential properties of speech acts and expressions are merely contingent features. Furthermore, whether a speech act or expression counts as referring depends upon the attributor’s context. In Chapter 3, I apply this version of descriptivism to indexicals, demonstratives and names. Indexicals turn out to have non-descriptive, context-insensitive, semantically determined meanings. Demonstratives have descriptive, context-sensitive, pragmatically determined meanings. Names, finally, have descriptive, context-insensitive, semantically determined meanings. In the final chapter, I address Putnam's model-theoretic argument, the most formidable obstacle to the form descriptivism outlined here. I criticize Lewis's ‘magnetist’ solution that invokes primitive naturalness because it is committed to the existence of incorrigible error about the external world. I suggest an empiricist approach on which psychological intentionality, and so ultimately linguistic intentionality as well, is anchored in experience. (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)

The aim of the paper is to show that W. V. O. Quine's animadversions against modal logic did not get the same attention that is considered to be the case nowadays. The community of logicians focused solely on the technical aspects of C. I. Lewis’ systems and did not take Quine's arguments and remarks seriously—or at least seriously enough to respond. In order to assess Quine's place in the history, however, his relation to Carnap is considered since their notorious break (...) was about the status of extensionality and modal logic. Since much of the works about the history of analytic philosophy is centered on the relationship of Quine and Carnap, their break about modality deserves much more attention—it also sheds some light on why should anyone wonder about Quine's early arguments against modal logic. The paper ends with some further considerations regarding the early formation of modal logic and hitherto unconsidered problematic issues. (shrink)

ABSTRACT: This paper defends the doctrine of Unrestricted Exportation (UE) against Saul Kripke’s attack on it. According to UE, the exportation step from the de dicto belief report, S believes that α is F, together with the premise that α exists, to the de re report, S believes of α that it is F, is valid. By presenting an alleged counterexample, Kripke tries to show that UE has much more implausible consequences than its advocates would accept. By going through the (...) details of Kripke’s scenario, I argue that UE does not commit us to the consequences Kripke associates with it. (shrink)

In this paper I argue that questions about the semantics of rigid designation are commonly and illicitly run together with distinct issues, such as questions about the metaphysics of essence and questions about the theoretical legitimacy of the possible-worlds framework. I discuss in depth two case studies of this phenomenon – the first concerns the relation between rigid designation and reference, the second concerns the application of the notion of rigidity to general terms. I end by drawing out some conclusions (...) about the relations between rigid designation, semantic frameworks, reference, and essence. (shrink)

In this investigation we explore a general strategy for constructing modal theories where the modal notion is conceived as a predicate. The idea of this strategy is to develop modal theories over axiomatic theories of truth. In this first paper of our two part investigation we develop the general strategy and then apply it to the axiomatic theory of truth Friedman-Sheard. We thereby obtain the theory Modal Friedman-Sheard. The theory Modal Friedman-Sheard is then discussed from three different perspectives. First, we (...) show that Modal Friedman-Sheard preserves theoremhood modulo translation with respect to modal operator logic. Second, we turn to semantic aspects and develop a modal semantics for the newly developed theory. Third, we investigate whether the modal predicate of Modal Friedman-Sheard can be understood along the lines of a proposal of Kripke, namely as a truth predicate modified by a modal operator. (shrink)

Saul Kripke once noted that there is a tight connection between computation and de re knowledge of whatever the computation acts upon. For example, the Euclidean algorithm can produce knowledge of _which number_ is the greatest common divisor of two numbers. Arguably, algorithms operate directly on syntactic items, such as strings, and on numbers and the like only via how the numbers are represented. So we broach matters of _notation_. The purpose of this article is to explore the relationship between (...) the notations acceptable for computation, the usual idealizations involved in theories of computability, flowing from Alan Turing’s monumental work, and de re propositional attitudes toward numbers and other mathematical objects. (shrink)

It is a consequence of Quine’s confirmation holism that the logical laws are in principle revisable. Some have worried this is at odds with another dictum in Quine, viz., that any translation which construes speakers as systematically illogical is ipso facto inadequate. In this paper, I try to formulate exactly what the problem is here, and offer a solution to it by (1) disambiguating the term ‘logic,’ and (2) appealing to a Quinean understanding of ‘necessity.’ The result is that the (...) different theses in Quine’s philosophy of logic are to be situated within different contexts of inquiry. (shrink)

Do you know who you are? If the question seems unclear, it might owe to the notion of ‘knowing-wh’ (knowing-who, knowing-what, knowing-when, etc.). Such knowledge contrasts with ‘knowing-that’, the more familiar topic of epistemologists. But these days, knowing-wh is receiving more attention than ever, and here we will survey three current debates on the nature of knowing-wh. These debates concern, respectively, (1) whether all knowing-wh is reducible to knowing-that (‘generalized intellectualism’), (2) whether all knowing-wh is relativized to a contrast proposition (...) (‘contrastivism about knowing-wh’), and (3) whether the context-sensitivity of knowing-wh is a semantic or purely pragmatic phenomenon (‘contextualism vs. invariantism about knowing-wh’). (shrink)

The present piece is a reply to G. Hoffmann on my infallibilist view of self-knowledge. Contra Hoffmann, it is argued that the view does not preclude a Quinean epistemology, wherein every belief is subject to empirical revision.

It is widely supposed that if there is to be a plausible connection between the truth of a de re attitude report about a subject and that subject’s possession of a singular thought, then ‘acquaintance’-style requirements on singular thought must be rejected. I show that this belief rests on poorly motivated claims about how we talk about the attitudes. I offer a framework for propositional attitude reports which provides both attractive solutions to recalcitrant puzzle cases and the key to preserving (...) acquaintance constraints. The upshot is that there is an independently motivated response to the principal argument against acquaintance. (shrink)

According to a widely shared generic conception of inferential justification—‘the standard conception’—an agent is inferentially justified in believing that p only if she has antecedently justified beliefs in all the non-redundant premises of a good argument for p. This conception tends to serve as the starting-point in contemporary debates about the nature and scope of inferential justification: as neutral common ground between various competing, more specific, conceptions. But it’s a deeply problematic starting-point. This paper explores three questions that haven’t been (...) given the attention they deserve, that complicate the application of the standard conception to cases, and that reveal it to be underspecified at the core—in ways that aren’t resolved but inherited by more specific (extant) versions of it. The goal isn’t to answer the questions, but to articulate them, explain what turns on them, and invite a critical re-examination of the standard conception. (shrink)

A priori reflection, common sense and intuition have proved unreliable sources of information about the world outside of us. So the justification for a theory of the categories must derive from the empirical support of the scientific theories whose descriptions it unifies and clarifies. We don’t have reliable information about the de re modal profiles of external things either because the overwhelming proportion of our knowledge of the external world is theoretical—knowledge by description rather than knowledge by acquaintance. This undermines (...) the traditional idea that to be an object of category C is to be an object with such- and-such characteristic possibilities of combination. But this is no loss because de re modal thought lacks utility for creatures like us. (shrink)

I argue that the principal roles standardly envisaged for abstract propositions can be discharged to the sentences themselves (and similarly for the meanings or senses of words). I discuss: (1) Cognitive Value: Hesperus-Phosphorus; (2) Indirect Sense and Propositional Attitudes; (3) the Paradox of Analysis; (4) the Picture Theory of the Tractatus; (5) Syntactical Diagrams and Meaning; (6) Quantifying-in. (7) Patterns of Use. I end with comparisons with related views of the territory.

Vernacularism is the view that logical forms are fundamentally assigned to natural language expressions, and are only derivatively assigned to anything else, e.g., propositions, mental representations, expressions of symbolic logic, etc. In this paper, we argue that Vernacularism is not as plausible as it first appears because of non-sentential speech. More specifically, there are argument-premises, meant by speakers of non-sentences, for which no natural language paraphrase is readily available in the language used by the speaker and the hearer. The speaker (...) can intend this proposition and the hearer can recover it (and its logical form). Since they cannot, by hypothesis, be doing this by using a sentence of their shared language, the proposition-meant has its logical form non-derivatively, which falsifies Vernacularism. We conclude the paper with a brief review of the debate on incomplete definite descriptions in which Vernacularism is assumed as a suppressed premise. (shrink)

I investigate when we can (rationally) have attitudes, and when we cannot. I argue that a comprehensive theory must explain three phenomena. First, being related by descriptions or names to a proposition one has strong reason to believe is true does not guarantee that one can rationally believe that proposition. Second, such descriptions, etc. do enable individuals to rationally have various non-doxastic attitudes, such as hope and admiration. And third, even for non-doxastic attitudes like that, not just any description will (...) allow it. I argue that we should think of attitude formation like we do (practical) choices among options. I motivate this view linguistically, extending "relevant alternatives'' theories of the attitudes to both belief and to the other, non-doxastic attitudes. Given a natural principle governing choice, and some important differences between doxastic and non-doxastic "choices'', we can explain these puzzling phenomena. (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)

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 argues for an account of the relation between thought ascription and the explanation of action according to which de re ascriptions and de dicto ascriptions of thought each form the basis for two different kinds of action explanations, nonrationalizing and rationalizing ones. The claim that de dicto ascriptions explain action is familiar and virtually beyond dispute; the claim that that de re ascriptions are explanatory of action, however, is not at all familiar and indeed has mostly been denied (...) by philosophers. I explain how de re ascriptions enter into non-rationalizing explanations of action and how attention to their distinctive explanatory nature reveals flaws in an alternative “dual-component” view about action explanation. (shrink)

Abstract:Much of Western speculative metaphysics has subscribed to what has been called “explanatory rationalism,” which holds that there is a reason for everything that is and for the way everything is. Theodicies, or metaphysical attempts to solve the problem of evil, have relied on a special application of this principle of explanatory rationalism, namely, the principle of plenitude, which holds that the evil in the world is a necessary ingredient in the world's overall perfection or degree of reality. This essay (...) argues that the principle of plenitude is aesthetically motivated, and that only in art and perhaps in revealed religion can the demands of explanatory rationalism be satisfied. (shrink)

In Quantifiers and Propositional Attitudes, Quine held (a) that the rule of exportation is always admissible, and (b) that there is a significant distinction between a believes-true (Ex)Fx and (Ex) a believes-true F of x. An argument of Hintikka's, also urged by Sleigh, persuaded him that these two intuitions are incompatible; and he consequently repudiated the rule of exportation. Hintikka and Kaplan propose to restrict exportation and quantifying in to favoured contexts — Hintikka to contexts where the believer knows who (...) or what the person or thing in question is; Kaplan to contexts where the believer possesses a vivid name of the person or thing in question. The bulk of this paper is taken up with criticisms of these proposals. Its ultimate purpose, however, is to motivate an alternative approach, which imposes no restrictions on exportation or quantifying in, but repudiates Quine's other intuition: this is the approach taken in my A Logical Form for the Propositional Attitudes. (shrink)

The author puts forth an approach to propositional attitude contexts based upon the view that one does not have beliefs of ordinary extensional entitiessimpliciter. Rather, one has beliefs of such entities as presented in various manners. Roughly, these are treated as beliefs of ordered pairs — the first member of which is the ordinary extensional entity and the second member of which is a predicate that it satisfies. Such an approach has no difficulties with problems involving identity, such as of (...) The Morning Star and The Evening Star (section 1). Given the second members of the pairs, the modes of presentation, it is quite natural to allow exportation everywhere. There is no need for essentialism. (One also can have non-essentialistic modal logic if one grants analyticity or the like.) (section 2). Given that the second member of the pair need only be one that is satisfied by the entity that is the first member (and need not be specificative), the method has no difficulties when one is concerned only with discriminations (and not specifications) (section 3). When this method is combined with the Frege-Carnap method of descriptions, fictional entities can be accommodated; Goodman''s unicorn-picture and the like can be brought within a Tarskian semantics; and Geach''s difficulties with intentional identity appear to be handled (section 4). Given the author''s ordered pair construals, there appears to be no additional need for notional construals; i.e., the author''s one unified method appears satisfactory for dealing with both traditionalde re (relational) andde dicto (notional) construals. The Paradox of the Knower and the like do not appear formulatable against the author''s approach. (section 5). The author also argues against the basic principles behind the Church-Langford translation argument (section 6). (shrink)

Hong Oak Yun is a person who is over three inches tall. And now you know who Hong Oak Yun is. For if someone were to ask you ‘Who is Hong Oak Yun?’, you could answer that Hong Oak Yun is a person who is over three inches tall, and you would know what you were saying. So you know an answer to the question ‘Who is Hong Oak Yun?’, and that is sufficient for knowing who Hong Oak Yun is. (...) Getting to know who a person is may be easier than you think. (shrink)

A theory is developed explaining how beliefs, and derivatively intentions and perhaps the other propositional attitudes, find their objects. Beliefs about particular objects are divided into two kinds. Attributive beliefs find their objects purely through the mediation of contained descriptive content, while referential beliefs connect directly with their objects via a causal connection. This distinction is explicated in terms of complementing semantic and epistemic differences, and details of the causal connection are explored.

In this article I contrast two opposing forms of essentialism, definitional and transcendental versus productivist and historical, and trace both forms back to Kripke's Naming and Necessity (1980). Definitional essentialism, as developed by Fine, centers on kind-membership. Historical essentialism, as anticipated by Prior and developed by Almog, puts origin at its center. The article focuses on the fundamentally distinct manners in which these two views handle the necessity of origin thesis. In the final section of the article, inspired by a (...) Nietzschean genealogical methodology, I pursue a naturalization strategy and conclude that rather than origin being necessary, it is essentialist necessity that reduces to origin. (shrink)

In this paper I analyze David Kaplan’s essay “Opacity”. In “Opacity” Kaplan attempts to dismiss Quine’s concerns about quantification across intensional (modal and intentional) operators. I argue that Kaplan succeeds in showing that quantification across intensional operators is logically coherent and that quantified modal logic is strictly speaking not committed to essentialism. However, I also argue that this is not in and of itself sufficient to support Kaplan’s more ambitious attempt to move beyond purely logical results and provide unified, uncontroversial (...) interpretations of both “believes” and “necessarily”. In the paper I raise several questions about the subject matter of logic and the role of semantics, with special focus on singular propositions. (shrink)

In this paper I respond to and elaborate on some of the ideas put forth on my book The Philosophy of Curiosity (2012) as well as its follow-up “Curiosity and Ignorance” (2016) by Nenad Miščević, Erhan Demircioğlu, Mirela Fuš, Safi ye Yiğit, Danilo Šuster, Irem Günhan Altıparmak, and Aran Arslan.

In the Twentieth Century, Logic and Philosophy of Language are two of the few areas of philosophy in which philosophers made indisputable progress. For example, even now many of the foremost living ethicists present their theories as somewhat more explicit versions of the ideas of Kant, Mill, or Aristotle. In contrast, it would be patently absurd for a contemporary philosopher of language or logician to think of herself as working in the shadow of any figure who died before the Twentieth (...) Century began. Advances in these disciplines make even the most unaccomplished of its practitioners vastly more sophisticated than Kant. There were previous periods in which the problems of language and logic were studied extensively (e.g. the medieval period). But from the perspective of the progress made in the last 120 years, previous work is at most a source of interesting data or occasional insight. All systematic theorizing about content that meets contemporary standards of rigor has been done subsequently. (shrink)

The elements of the referential proposal of Kripke and Putnam are presented. The consequences of such semantics in regard to the theory of truth and epistemology are examined. Some critical arguments are commented and, finally, it concludes with a general evaluation of the proposal of Kripke and Putnam.

The relevance of any logical analysis lies in its ability to solve paradoxes and trace conceptual troubles back; with this respect, the task of epistemic logic is to handle paradoxes in connection with the concept of knowledge. Epistemic logic is currently introduced as the logical analysis of crucial concepts within epistemology, namely: knowledge, belief, truth, and justification. An alternative approach will be advanced here in order to enlighten such a discourse, as centred upon the word assertion and displayed in terms (...) of utterance. Insofar as epistemic modalities express some attitudes, the intentionality of discourse will be emphasized within an illocutionary modal logic. Two large views will range over the whole study: declarative and epistemic sentences have one and the same logic (assertion logic); the plurality of languages games doesn’t entail any logical pluralism. -/- La valeur d'une analyse logique réside dans sa capacité à résoudre des paradoxes et à comprendre l'origine de nos problèmes conceptuels ; à ce titre, le rôle d'une logique épistémique est de traiter des paradoxes liés au concept de connaissance. On présente généralement la logique épistémique comme une analyse logique de concepts centraux en épistémologie : connaissance, croyance, vérité, justification. Une autre approche sera proposée ici en vue de clarifier ce genre de discours, centrée sur la notion d'assertion et décrite en termes d'énonciation. Parce que les modalités épistémiques expriment des attitudes, c'est l'intentionnalité du discours qui sera mise en valeur dans le cadre d'une logique modale illocutoire. Deux thèses transversales parcourront l'ensemble du travail : les énoncés déclaratifs et épistémiques partagent la même logique (logique assertorique) ; la pluralité des jeux de langages n'implique pas un pluralisme logique. (shrink)

There are two sorts of singular terms for which we have difficulty applying Donnellan’s referential/attributive distinction: complex definite descriptions, and proper names. With respect to the uses of such terms in certain contexts we seem to have conflicting intuitions as to whether they should be classified as referential or attributive. The problem concerning how to apply Donnellan’s distinction to the uses of certain complex definite descriptions has never been debated in the literature. On the other hand there have been attempts (...) to extend Donnellan’s distinction to the uses of proper names, the most popular one being due to Kripke. However the argument Kripke gives to this end in his ‘Speaker’s Reference and Semantic Reference’ seems to be inconsistent with the position he takes in Naming and Necessity. I suggest that the reason we seem to have conflicting intuitions with respect to the uses of such terms, is because there is not one but two separate distinctions inherent in Donnellan’s examples; a pragmatic distinction based on the speaker’s intentions in using a term , and an epistemic one based on the notion of having an object in mind. In the light of this, I argue that the issue of whether there are attributive uses of proper names, in the latter sense, relates to the epistemic problem of whether a speaker can have de re attitudes toward an object that he does not have in mind. On this epistemic issue Kripke and Donnellan are on opposite sides as revealed by their debate over the issue of whether there are contingent a priori propositions. (shrink)

The textbook-like history of analytic philosophy is a history of myths, re-ceived views and dogmas. Though mainly the last few years have witnessed a huge amount of historical work that aimed to reconsider our narratives of the history of ana-lytic philosophy there is still a lot to do. The present study is meant to present such a micro story which is still quite untouched by historians. According to the received view Kripke has defeated all the arguments of Quine against quantified (...) modal logic and thus it became a respectful tool for philosophers. If we accept the historical interpreta-tion of the network between Quine, Kripke and modal logic, which is to be presented here, we have to conclude that Quine’s real philosophical animadversions against the modalities are still on the table: though Kripke has provided some important (formal-logical) answers, Quine’s animadversions are still viable and worthy of further consideration. (shrink)