Is the macro grounded in the micro? That is, is every truth about a macroscopic object fully grounded in a truth wholly about its microscopic parts? In a recent interesting paper, Martin Glazier argued for a negative answer. Following him, call the position that the macro is grounded in the micro ‘priority micro pluralism’ (‘pluralism’ for short). In this discussion note, I propose a way out for the pluralist. In brief, it consists in the recognition that some metaphysical (...) positions, including pluralism, are best expressed by fundamentally de dicto grounding claims. In that these claims have a distinctive modal force, this recognition has far-reaching consequences that go beyond a defence of pluralism. (shrink)

Lewis’ analysis of modality faces a problem in that it appears to confer unintended truth values to certain modal claims about the pluriverse: e.g. ‘It is possible that there are many worlds’ is false when we expect truth. This is the problem of advanced modalizing. Divers presents a principled solution to this problem by treating modal modifiers as semantically redundant in some such cases. However, this semantic move does not deal adequately with advanced de re modal claims. Here, (...) we motivate and detail a comprehensive semantics for advanced modalizing de dicto and de re. The generalized semantic feature of the initial solution is not redundancy but absence from counterpart-theoretic translations of world-constrictions. (shrink)

This paper deals with the semantics of de dicto , de re and de se belief reports. First, I flesh out in some detail the established, classical theories that assume syntactic distinctions between all three types of reports. I then propose a new, unified analysis, based on two ideas discarded by the classical theory. These are: (i) modeling the de re/de dicto distinction as a difference in scope, and (ii) analyzing de se as merely a special case of (...) relational de re attitudes. The resurrection of these ideas takes place in a dynamic setting. My formalization of the first idea involves a modification of the presupposition-as-anaphora resolution algorithm for DRT. The second involves treating acquaintance relations as second-order presuppositions, to be bound in the context by means of higher-order unification, or accommodated if necessary. The resulting framework requires no syntactic distinctions between different modes of attitude, with the exception of a specific subclass of de se reports characterized by special ‘ de se pronouns’ (i.e. PRO and logophors). These special pronouns are handled in syntax; everything alse is passed on to the pragmatic resolution module as it appears on the surface. The more sophisticated contextual resolution process nonetheless ensures adequate output truth conditions for a variety of classical and novel puzzles. In particular, I compare the new pragmasemantic system to the classical, syntactic analysis with respect to iterated and quantified reports, and monstrously shifted indexicals. (shrink)

The Property Theory of attitudes holds that the contents of mental states --- especially de se states --- are properties. The "nonexistence problem" for the Property Theory holds that the theory gives the wrong consequences as to which worlds "fit" which mental states: which worlds satisfy desires, make beliefs true, and so on. If I desire to not exist, since there is no world where I have the property of not existing, my desire is satisfied in no worlds. In this (...) paper I argue that the problem can be solved with a suitable account of how properties as mental states fit worlds. The solution relies on a distinction between to kinds of property-instantiation at worlds inspired by Fine's distinction between "inner" and "outer" truth. (shrink)

This article investigates the prospect of giving de dicto- and de re-necessity a uniform treatment. The historical starting point is a puzzle raised by Aristotle's claim, advanced in one of the modal chapters of his Prior Analytics, that universally privative apodeictic premises simply convert. As regards the Prior and the Posterior Analytics, the data suggest a representation of propositions of the type in question by doubly modally qualified formulae of modal predicate logic that display a necessity operator in two (...) distinct positions. Can the N-operator occurring in these positions be given a unified semantical treatment (which would justify dispensing with a notational differentiation)? A positive answer, based on a suitably shaped truth condition for N-formulae, is given, and is supported in the final section with an alternative proof theoretically based conception of a property's essential belonging to an individual. (shrink)

The investigation of concept of “true” and “false” has long privileged in contemporary philosophy apophantic truth, that is, the truth of dicta (sentences or propositions). To which entities, though, beyond dicta, the predicate ‘true’ pertains? This paper sheds a light on the less frequently investigated cases where we speak of a truth of things, or res. We say, for instance, that a 17 euros banknote is not a true banknote, or that a true soldier ought to be (...) brave. The paper, thus, distinguishes, beside the concept of de dicto (apophantic) truth, the concept of de re truth and two of its subspecies: eidological truth and idiological truth. (shrink)

In Adelaster (2016), A. G. Conte proposes a distinction between de dicto and de re attributions of truth and falsity, which he illustrates mostly with documents of legal standing, but also with an artificial object (a false tooth). The present aim is to propose an analogous distinction between monadic (one-place) and polyadic uses of “true” and “false”, and to sketch some features of its logical functioning with closer attention to the monadic pole than is usual. One proposal is (...) that, in these uses, “true” and “false” do not function as opposites under negation. (shrink)

This chapter focuses mainly on how possible worlds relate to the truth and falsity of modal claims (or propositions), and therefore to whether claims are necessarily true, necessarily false, possibly true, possibly false, and so on. This issue is that of modality de dicto, modality concerning propositions. But there is another type of modality, namely modality de re. This has to do with the modal status of relations between things and their properties, with whether things possess properties necessarily, (...) contingently or not even possibly. This chapter introduces the distinction between de dicto and de re necessity, and then explores different ways of making sense of de re necessity‐necessities involving particular individuals. It talks about Strong Transworld Identity, and explores how Abstractionists respond to the Leibniz's Law argument. Some metaphysicians go farther and identify what is possible with what is conceivable, or perhaps with what we are justified in believing to be possible. (shrink)

pt. 1. De dicto: Necessary and contingent truths, by G. W. Leibniz. New essays concerning human understanding, by G. W. Leibniz. Introduction to the critique of pure reason, by Immanuel Kant. On the nature of mathematical truth, C. G. Hempel. Two dogmas of empiricism, by W. V. O. Quine. In defense of a dogma, by H. P. Grace and P. F. Strawson. The a priori and the analytic, by A. Quinton. The truths of reason, by R. Chisholm.--pt. 2. (...) De re: Reference and modality, by W. V. O. Quine. De re et de dicto, by A. Plantinga. World and essence, by A. Plantinga.--Bibliography (p. 200-202). (shrink)

This chapter contains sections titled: Introduction Truthmaker Theory The Nature of Truth Metaphysical Knowledge Three Objections What Might be Salvaged from Truthmaker Theory? Philosophical Import Conclusions.

This thesis concerns the source of modal truth. I aim to answer the question: what is it in virtue of which there are truths concerning what must have been the case as a matter of necessity, or could have been the case but isn't. I begin by looking at a dilemma put forward by Simon Blackburn which attempts to show that any realist answer to this question must fail, and I conclude that either horn of his dilemma can be (...) resisted. I then move on to clarify the nature of the propositions whose truth I am aiming to find the source of. I distinguish necessity de re from necessity de dicto, and argue for a counterpart theoretic treatment of necessity de re. As a result, I argue that there is no special problem concerning the source of de re modal facts. The problem is simply to account for what it is in virtue of which there are qualitative ways the world could have been, and qualitative ways it couldn't have been. I look at two ways to answer this question: by appealing to truthmakers in the actual world, or by appealing to non-actual ontology. I develop a theory of truthmakers, but argue that it is unlikely that there are truthmakers for modal truths among the ontology of the actual. I look at the main possibilist ontology, David Lewis' modal realism, but argue that warrant for that ontology is unobtainable, and that we shouldn't admit non-actual possibilia into our ontology. I end by sketching a quasi-conventionalist approach to modality which denies that there are modal facts, but nevertheless allows that we can speak truly when we use modal language. (shrink)

Kearns (2021) reconstructs Berkeley’s (1713) Master Argument as a formally valid argument against the Materialist Thesis, with the key premise the Distinct Conceivability Thesis, namely the thesis that truths about sensible objects having or lacking thinkable qualities are (distinctly) conceivable and as its conclusion that all sensible objects are conceived. It will be shown that Distinct Conceivability Thesis entails the Reduction Thesis, which states that de dicto propositional (ordinary or distinct) conceivability reduces to de re propositional (ordinary or distinct) (...) conceivability. While Kearns (2021) set out to avoid the confusion of a de re claim with a de dicto claim, which Prior (1955) accused Berkeley of, Kearns can be accused of making a similar conceptual confusion. (shrink)

Subjective language has attracted substantial attention in the recent literature in formal semantics and philosophy of language Subjective meaning: alternatives to relativism, De Gruyter, Berlin, pp 1–19, 2016; Lasersohn in Subjectivity and perspective in truth-theoretic semantics, Oxford University Press, Oxford, 2017; Vardomskaya in Sources of subjectivity, Ph.D. thesis, University of Chicago, IL, 2018; Zakkou in Faultless disagreement: a defense of contextualism in the realm of personal taste, Vittorio Klostermann, Frankfurt a. M., 2019b). Most current theories argue that Subjective Predicates, (...) which express matters of opinion, semantically differ from ordinary predicates, which express matters of fact. We will call this view “SP exceptionalism”. This paper addresses SP exceptionalism by scrutinizing the behavior of SPs in attitude reports, which, as we will argue, significantly constrains the space of analytical options and rules out some of the existing theories. As first noticed by Stephenson :487–525, 2007a; Towards a theory of subjective meaning, Ph.D. thesis, Massachusetts Institute of Technology, Cambridge, MA, 2007b), the most prominent reading of embedded SPs is one where they talk about the attitude holder’s subjective judgment. As is remarked sometimes :327–352, 2009; Pearson in J Semant 30:103–154, 2013a), this reading is not the only one: embedded SPs may also talk about someone else’s, non-local, judgment. We concentrate specifically on such cases and show that non-local judgment is possible if and only if SPs are used within a DP that is outside main predicate position and that entire DP is read de re. We demonstrate that the behavior of SPs in attitude reports does not differ from that of ordinary predicates: it follows from general constraints on intersective modification and intensional quantification Ways of scope taking, Springer, Dordrecht, pp 183–215, 1997; Musan in On the temporal interpretation of noun phrases, Garland, New York, 1997; Percus in Nat Lang Semant 8:173–229, 2000; Keshet in Good intensions: paving two roads to a theory of the de re/de dicto distinction, Ph.D. thesis, Massachusetts Institute of Technology, Cambridge, MA, 2008). We argue that this unexceptional behavior of SPs in fact has unexpected consequences for SP exceptionalism. Precisely because SPs have been argued to be semantically different from ordinary predicates, not all theories correctly predict these less-studied data: some overgenerate :691–706, 2007; Sæbø 2009) and some undergenerate Proceedings of Sinn und Bedeutung, vol 11, pp 433–447, 2007; Pearson 2013a). Out of the currently available theories, only relativist accounts :643–686, 2005; MacFarlane 2014; Bylinina in J Semant 34, 291–331, 2017; Coppock in Linguist Philos 41:125–164, 2018) predict the right interpretation, and only that interpretation. We thus present a novel empirical argument for relativism, and, more generally, formulate a constraint that has to be taken into consideration by any view that advocates SP exceptionalism. (shrink)

According to a well-established view of desire satisfaction, a desire that p is satisfied iff p obtains. Call this the 'standard view'. The standard view is purely semantic, which means the satisfaction condition of desires is placed in the truth of the embedded proposition that indicates the content of the desire. This paper aims to defend the standard view against two frequently discussed problems: the problem of underspecification and desires conditional on their own persistence. The former holds that the (...) standard view cannot capture the specific ways of desire satisfaction. The latter holds that the standard view does not provide sufficient conditions for the satisfaction of desires conditional on their own persistence. To address the first problem, I will disambiguate different interpretations of desire ascriptions using de re/de dicto distinction. My argument to address the second problem rests on the disambiguation of different senses of satisfaction: semantic and agent. (shrink)

Many meta-ethicists have thought that rationality requires us to heed apparent normative reasons, not objective normative reasons. But what are apparent reasons? There are two kinds of standard answers. On de dicto views, R is an apparent reason for S to \ when it appears to S that R is an objective reason to \ . On de re views, R is an apparent reason for S to \ when R’s truth would constitute an objective reason for S (...) to \ , and it appears to S that R. De re views are currently more popular because they avoid overintellectualizing rationality. But they face problems owing to the way in which they do so. Some assume that we can escape these problems by requiring more information to be apparent or by appealing to defeat. But these strategies fail. So, I defend a new view: apparent reasons are apparent facts that agents are competently attracted to treat like objective reasons, where competence is indirectly defined in terms of objective reasons and a competence/performance distinction is honored. Since one can treat X like an F without having the concept of an F, the view does not overintellectualize rationality. But it is also strong enough to dodge the pitfalls of de re views. (shrink)

We approach the traditional problem of the relationship between opinion and truth, objects and appearances, from the standpoint and tools of logic of belief, combining an informal and technical approach. We describe and comment on some logics of individual concepts and modes of representation, and address the question of how to explain the possibility of a contradictory de re belief integrated with the corresponding non-contradictory de dicto belief. The QB logic is proposed, where the semantic problem is resolved (...) (1) by extending the framework and model domain with the domain of appearances, with a special S-accessibility relation among worlds, and with non-rigid interpretation of appearance names, as well as (2) redefining the concept of satisfaction (and truth), including the satisfaction of identity statements, by relativizing satisfaction to the difference between things and appearances and to the S-accessibility of different epistemic alternatives. In doing so, all worlds are classical within themselves, while inconsistency and incompleteness in beliefs stem from different ways of connecting (merging and separating) worlds in determining the satisfaction of a formula. (shrink)

Speech reports of the form ‘A said that p’ are sometimes used by a speaker S as a reason in support of S’s own claim to know that p – in particular, when S’s claim to know is made on the basis of A’s testimony. In this paper I appeal to intuitions regarding the epistemology of testimony to argue that such ‘testimonial’ uses of speech reports ought to be ascribed their strict de dicto truth conditions. This result is (...) then used as the basis for the claim that, no matter how they are used, all speech reports of this form ought to be ascribed their strict de dicto truth conditions. I conclude by offering a characterization of the content of the notions of saying and what is said, and by making some programmatic remarks regarding the role of these notions in semantic theory. (shrink)

This book on modal logic is especially designed for philosophy students. It provides an accessible yet technically sound treatment of modal logic and its philosophical applications. Every effort is made to simplify the presentation by using diagrams instead of more complex mathematical apparatus. These and other innovations provide philosophers with easy access to a rich variety of topics in modal logic, including a full coverage of quantified modal logic, non-rigid designators, definite descriptions, and the de-re de-dicto distinction. Discussion of (...) philosophical issues concerning the development of modal logic is woven into the text. The book uses natural deduction systems, which are widely regarded as the easiest to teach and use. It also includes a diagram technique that extends the method of truth trees to modal logic. This provides a foundation for a novel method for showing completeness that is easy to extend to quantifiers. This second edition contains a new chapter on logics of conditionals, an updated and expanded bibliography, and is updated throughout. (shrink)

Ratio, Volume 34, Issue 4, Page 303-311, December 2021.

In this paper I show that we have strong empirical and theoretical reasons to treat the verbs we use in our semantic theorizing—particularly ‘refers to ’, ‘applies to ’, and ‘is true of ’—as intensional transitive verbs. Stating our semantic theories with intensional vocabulary allows us to partially reconcile two competing approaches to the nature and subject-matter of semantics: the Chomskian approach, on which semantics is non-relational, internalistic, and concerns the psychology of language users, and the Lewisian approach, on which (...) semantics is fully relational, specifies truth-conditions, and has metaphysical implications. ITVs have two readings: an intensional, de dicto reading, and a relational, de re reading. A semantic theory stated with the de dicto readings of our semantic verbs captures the core insights of the Chomskian approach to semantics, in part because it allows us to assign extremely fine-grained semantic values to expressions, even when those expressions are empty. On the other hand, the de re reading yields a theory that is fully relational, and issues in truth-conditions. The resulting theories are related—and compatible—in that they are expressed by two different readings of the very same semantic vocabulary, and plausibly, the distinction between these two readings is one of scope. (shrink)

Abstract It would be puzzling if the morally best agents were not so good after all. Yet one prominent account of the morally best agents ascribes to them the exact motivational defect that has famously been called a “fetish.” The supposed defect is a desire to do the right thing, where this is read de dicto . If the morally best agents really are driven by this de dicto desire, and if this de dicto desire is really (...) a fetish, then the morally best agents are moral fetishists. This is puzzling. I resolve the puzzle by showing that on a proper understanding of the interaction between de dicto and de re moral motivation, it is not only not fetishistic, but quite possibly desirable, to be motivated by a de dicto desire to do the right thing. My argument relies partly on an appeal to a non-buck-passing account of moral rightness, according to which rightness is itself an additional reason-giving property over and above the right-making properties of an action. If this account of moral rightness is correct, then we would expect the morally best agents to exhibit de dicto moral motivation. However, since their de dicto desire acts in concert with de re desires, there is no reason to consider it a fetish. Content Type Journal Article Pages 1-19 DOI 10.1007/s11098-011-9825-z Authors Vanessa Carbonell, Philosophy Department, University of Cincinnati, P.O. Box 210374, Cincinnati, OH 45221-0374, USA Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116. (shrink)

In this textbook, Michael Morris offers a critical introduction to the central issues of the philosophy of language. Each chapter focusses on one or two texts which have had a seminal influence on work in the subject, and uses these as a way of approaching both the central topics and the various traditions of dealing with them. Texts include classic writings by Frege, Russell, Kripke, Quine, Davidson, Austin, Grice and Wittgenstein. Theoretical jargon is kept to a minimum and is fully (...) explained whenever it is introduced. The range of topics covered includes sense and reference, definite descriptions, proper names, natural-kind terms, de re and de dicto necessity, propositional attitudes, truth-theoretical approaches to meaning, radical interpretation, indeterminacy of translation, speech acts, intentional theories of meaning, and scepticism about meaning. The book will be invaluable to students and to all readers who are interested in the nature of linguistic meaning. (shrink)

This chapter contains sections titled: Introduction Intensions Models About Quantification Truth in Models Equality Rigidity De Re/De Dicto Partial Designation Designation and Existence Definite Descriptions What Next?

This paper investigates the truth conditions of sentences containing indefinite noun phrases, focusing on occurrences in attitude reports, and, in particular, a puzzle case due to Walter Edelberg. It is argued that indefinites semantically contribute the (thought-)object they denote, in a manner analogous to attributive definite descriptions. While there is an existential reading of attitude reports containing indefinites, it is argued that the existential quantifier is contributed by the de re interpretation of the indefinite (as the de re reading (...) adds existential quantification to the interpretation of definites on Kaplan’s analysis). (shrink)

Having drawn the distinction between logic as a discipline and logic as organon, this short paper focuses on the latter, the purpose of which is twofold. First, it highlights the importance of second-order logic and modal logic in ontology. To this aim, the role of second-order logic is illustrated in formalizing realist ontology committing to the existence of properties. It is also emphasized how quantified modal logic helps clarify de re/de dicto distinction that implicitly takes place in ordinary language. (...) Secondly, the paper concentrates on the significance of modal logic in the philosophy of language. In pursuing this goal, we considered Kripke’s notions of rigid designator, necessary a posteriori and contingent a priori statements. Given the definition of rigid designator, it is possible to prove in quantified modal logic that an identity between proper names, like “Hesperus” and “Phosphorus”, if true, is necessarily true. But the truth of the identity statement “Hesperus = Phosphorus” is known a posteriori. Therefore, there are necessary a posteriori truths. There are also contingent a priori true statements like “The length of stick S at time t 0 = one meter”, as there exists a possible world in which this statement is false. (shrink)

During the last few decades, the historical turn within the tradition of the analytic tradition has experienced growing enthusiasm concerning the procedure of rational reconstruction, whose validity or importance, despite its paradigmatic examples in Frege and Russell, has not always enjoyed a consensus. Among the analytic philosophers who are the frontrunners of this movement, Robert Brandom is one of a kind: his work on Hegel as well as on German Idealism has been increasing interest in, as well as awareness of, (...) Hegel´s possible contributions to some current problems in that tradition, and connecting Hegel scholars to current questions. Thus, this work aims to explore Brandom´s methodology of rational reconstruction, as well as his dialogue with history of Philosophy, mainly exposed in his Tales of the mighty dead (2002). As we will see, Brandom´s distinction between a de dicto and a de re approach intends to present a way of identifying and analyzing a given philosopher´s theoretical (hidden) commitments that can be useful to improve the quality of the dialogue with past philosophers. From such methodological exposition, I to turn to Kierkegaard in order to make explicit some of his ontological commitments and presenting Brandom’s approach as a valuable tool for doing history of philosophy. (shrink)

This volume develops a theory of meaning and a semantics for both mathematical and empirical sentences inspired to Chomsky’s internalism, namely to a view of semantics as the study of the relations of language not with external reality but with internal, or mental, reality. In the first part a theoretical notion of justification for a sentence A is defined, by induction on the complexity of A; intuitively, justifications are conceived as cognitive states of a particular kind. The main source of (...) inspiration for this part is Heyting’s explanation of the intuitionistic meaning of logical constants. In the second part the theory is applied to the solution of several foundational problems in the theory of meaning and epistemology, such as Frege’s puzzle, Mates’ puzzle about synonymy, the paradox of analysis, Kripke’s puzzle about belief, the de re/de dicto distinction, the specific/non-specific distinction, Gettier’s problems, the paradox of knowability, and the characterization of truth. On a more general philosophical level, throughout the book the author develops a tight critique of the neo-verificationism of Dummett, Prawitz and Martin-Löf, and defends a mentalist interpretation of intuitionism. (shrink)

Given Kripke’s semantic views, a statement, such as ‘Water is H 2 O’, expresses a necessary a posteriori truth. Yet it seems that we can conceive that this statement could have been false; hence, it appears that we can conceive impossible states of affairs as holding. Kripke used a de dicto strategy and a de re strategy to address three illusions that arise with respect to necessary a posteriori truths: (1) the illusion that a statement such as ‘Water (...) is H 2 O’ possibly expresses a falsehood, (2) the illusion that conceivability can fail to latch on to a genuine metaphysical possibility, and (3) the illusion that one can access a real metaphysical possibility by conceiving that water is not H 2 O. In this paper I argue that while Kripke’s de dicto strategy dispels (1), his strategies do not enable him to dispel (2) and (3). (shrink)

If death is a harm then it is a harm that cannot be experienced. The proponent of death’s harm must therefore provide an answer to Epicurus, when he says that ‘death, is nothing to us, since when we are, death is not present, and when death is present, then we are not’. In this paper I respond to the two main ways philosophers have attempted to answer Epicurus, regarding the subject of death’s harm: either directly or via analogy. The direct (...) way argues that there is a truth-maker (or difference-maker) for death’s harm, namely in virtue of the intrinsic value the subject’s life would have had if they had not died. The analogy argues that there are cases analogous to death, where the subject is harmed although they experience no pain as a result. I argue that both accounts beg the question against the Epicurean: the first by presupposing that one can be harmed while experiencing no displeasure as a result and the second by conflating a de re with a de dicto reading of death’s harm. Thus, I argue, until better arguments are provided, one is best to agree with Epicurus and those who follow him that death is not a harm. (shrink)

What are the requirements on an adequate genuine modal realist analysis of modal discourse? One is material adequacy: the modal realist must provide for each candidate analysandum an analysans in the language of counterpart theory which by his lights has the same truth value as the candidate analysandum. Must the material biconditional joining these be necessarily true? This is the requirement of strict adequacy. It is not satisfied if Lewis’s 1968 scheme provides the analysis. John Divers puts forward a (...) modification, which identifies cases of ‘advanced modalizing’ in which the modal operator is semantically redundant. Even with this modification modal realist analyses of statements of modal discourse will be strictly inadequate. Strict adequacy can be achieved by extending the redundancy interpretation to all de dicto modal statements. The price is the denial of de dicto contingency. But perhaps material adequacy is enough. If the modal realist has a systematic means of replacing every sentence of quantified modal logic which he considers true by a sentence of counterpart theory that he considers true, perhaps he need do no more. Still, traditionally philosophical analysis aims at strict adequacy so it is as well to know that this is a test the modal realist analysis fails unless he abandons de dicto contingency. (shrink)

This chapter contains sections titled: Literature, Fiction, and Truth Literary Cognitivism Thought Experiments Genres Learning by Supposing De se Suppositions.

The identification of two possible readings – de re and de dicto – of modal claims is considered one of the greatest achievements of Abelard’s logic. In the Dialectica and the Logica “Ingredientibus,” Abelard uses this distinction as a basis for his modal semantics and theory of modalities. Rather than focusing on Abelard’s own theory, the aim of this article is to pay attention to a number of sources that – like Abelard’s logical works – are datable to the (...) first decades of the twelfth century, to investigate whether the de re–de dicto distinction was already adopted and debated in them. It argues that, even if there is no systematic theorization of the distinction in these sources, Abelard’s contemporaries put forward a number of questions concerning the syntax and the signification of modal claims that contributed to set the stage for the distinction’s identification and later development. (shrink)

Those who do not exist cannot be harmed. If someone is not worse off than she otherwise would have been, she is not harmed. Together, these claims entail that the individuals in non-identity cases are not harmed, because no one who exists is made worse off. While these claims might be true at the individual level, their truth does not preclude our having harm-based concerns about future persons in general. These concerns are justified when we recognize the responsibility we (...) have over certain offices that persons come to fill. By positing an account of de dicto harm and arguing for its moral relevance, I provide a solution to the non- identity problem that coheres nicely with our intuitions regarding harm, responsibility, and obligations to future persons. (shrink)

The so-called ‘type method’ widely employed in biological taxonomy is often seen as conforming to the causal-historical theory of reference. In this paper, I argue for an alternative account of reference for biological nomenclature in which taxon names are understood as descriptive names. A descriptive name, as the concept came to be known from the work of Gareth Evans, is a referring expression introduced by a definite description. There are three main differences between the DN and the causal account. First, (...) according to the DN account, rather than fixing a name to a referent, the assignment of a type specimen to serve as the name-bearer for a taxon should be seen as performatively establishing a synonymy between a name and a definite description of the form “the taxon whose type is t”. Each taxon name is therefore associated with a criterion of application, a semantic rule that establishes the connection between the name and the descriptive content. This is the second major difference from the causal account: taxon names do have some descriptive content associated with them. The final locus of dissent concerns the strength of the modality resulting from the usage of taxon names. In order to address this point, I use the DN account to focus on the debate between Matt Haber and Joeri Witteveen concerning misidentification of type specimens, misapplication of names, and the truth conditions of Joseph LaPorte’s de dicto necessary sentence “Necessarily, any species with a type specimen contains its type specimen”. Using a pragmatic variant of the distinction between attributive and referential uses of descriptions, I argue that a metalinguistic version of the de dicto sentence is in fact falsified, as previously argued by Haber. (shrink)

Some fictionalist approaches to the notion of scientific model are based on the concept of game of make-believe developed by Kendall Walton, without proposing a similar interpretation of it. The distinction between authorized and unauthorized games can be one of the sources of those divergences. In relation to the distinction made by Walton, the de dicto and de re modalities of the fiction-operator reflect different epistemological engagements concerning objects which satisfy properties. This paper aims at following up on the (...) proposals formulated by Roman Frigg and Adam Toon by using some modal logic concepts, notably by defining the identities of properties in modal contexts in terms of world-lines. Applying a model to a target-system consists in transposing fictional truths into actual situations, through an extrapolation that goes beyond the games of make-believe. (shrink)

I hear the patter of little feet around the house, I expect Bruce. What I expect is a cat, a particular cat. If I heard such a patter in another house, I might expect a cat but no particular cat. What I expect then seems to be a Meinongian incomplete cat. I expect winter, expect stormy weather, expect to shovel snow, expect fatigue---a season, a phenomenon, an activity, a state. I expect that someday mankind will inhabit at least five planets. (...) This time what I expect is a state of affairs. If we let surface grammar be our guide, the objects of expectation seem quite a miscellany. The same goes for belief, since expectation is one kind of belief. The same goes for desire: I could want Bruce, want a cat but no particular cat, want winter, want stormy weather, want to shovel snow, want fatigue, or want that someday mankind will inhabit at least five planets. The same goes for other attitudes to the extent that they consist partly of beliefs or desires or lacks thereof. But the seeming diversity of objects might be an illusion. Perhaps the objects of attitudes are uniform in category, and it is our ways of speaking elliptically about these uniform objects that are diverse. That indeed is our consensus. We mostly think that the attitudes uniformly have propositions as their objects. That is why we speak habitually of "propositional attitudes.". (shrink)

In the first chapter I have introduced Carnapian intensional logic against the background of Frege's and Quine's puzzles. The main body of the dissertation consists of two parts. In the first part I discussed Carnapian modal logic and arithmetic with descriptions. In the second chapter, I have described three Carnapian theories, CCL, CFL, and CNL. All three theories have three things in common. First, they are formulated in languages containing description terms. Second, they contain a system of modal logic. Third, (...) they do not contain the unrestricted classical substitution principle, but they do contain the classical substitution principle restricted to non-modal formulas and the Carnapian substitution principle, which says that two terms can be substituted salva veritate if they are necessarily coreferential. There are two major differences between the three theories. First, CCL and CFL allow universal instantiation with description terms, whereas CNL does not. Moreover, the quantificational theory of the CCL is classical, whereas the quantificational theory of CFL is a free logic. Another difference is that CCL and CFL contain different description principles. Most importantly, the description principle of CCL ensures that even improper descriptions have a denotation, whereas the description principle of CFL does not guarantee this. CNL does not have a description principle. In the third chapter, I have studied collapse arguments for CCL, CFL, and CNL. A collapse argument is an argument for the following statement: if p is true, then it is necessarily true. A crucial role in the proofs of these collapse results was played by so-called self-predication principles, which say that under certain conditions the predicate that expresses the descriptive condition can be combined by the description term formed out of that predicate with the result being a true sentence. In this chapter I have discussed a collapse argument for the extension of CCL with a self-predication principle, I have given a collapse argument for a similarly extended CFL, and most importantly, I have given a collapse argument for the extension of CNL with a self- predication principle. Finally, I have argued that the relevant self-predication principles are unsound under a Carnapian interpretation. In the fourth chapter, I have studied the extension of Peano Arithmetic with a Carnapian modal logic C, which is a dummy letter standing for either CCL or CFL. One can prove that the principle of the necessity of identity is a theorem of CPA. This implies that one gets a collapse result for CPA. The standard principle of weak induction was crucial for the proof. One can also prove that, if one assumes a particular self-predication principle, and if one assumes the principle of strong induction or, equivalently, the least-number principle, then one gets a partial collapse of de re modal truths in de dicto modal truths. I have argued that, if the box operator is interpreted as a metaphysical necessity operator, then Platonists would not be inimical to the collapse result. But if CPA is extended with a physical theory, then there is a threat that physical truths become physical necessiti es. It was shown that, under a Carnapian interpretation, the standard principle of weak induction is unsound, and that it can be replaced by a Carnapian principle of weak induction that is sound. The problem of logical and mathematical omniscience prevents ordinary Carnapian intensional logic from being taken seriously as a logic adequate for describing the principles of demonstrability. Yet many of the proof-theoretic results of the first part carry over to the part on Carnapian epistemic arithmetic with descriptions, since proof-theoretic results are independent of the informal reading of the operators. In the fifth chapter, I looked at extensions of arithmetic with a modal logic in which the box operator is interpreted as a demonstrability operator. A first extension in that sense is Shapiro s Epistemic Arithmetic. Shapiro himself offered the problem of mathematical omniscience as a reason why it is difficult to find a model theory for EA. Horsten attempted to provide a model theory via the detour of Modal-Epistemic Arithmetic. The attention of the reader was drawn to an incoherence in the model theory of. Two alternative solutions were presented and, after a short discussion of the problem of de re demonstrability one of those alternatives was chosen. The discussion of the problem of de re demonstrability made it clear that it would be interesting to study the epistemic properties of notation systems. Horsten himself provided a framework for this, viz. Carnapian Epistemic Arithmetic, and he started a systematic study of the epistemic properties of notation systems within that framework. However, he did not provide non-trivial but adequate models. To make a start with solving the problem of finding good models for CEA, I introduced Carnapian Modal-Epistemic Arithmetic In constructing CMEA I incorporated the lesson about the principle of weak induction learnt in the fourth chapter. In the sixth chapter, I gave a critical assessment of an argument concerning the limits of de re demonstrability about the natural numbers. The conclusion of the Description Argument is that it is undemonstrable that there is a natural number that has a certain property but of which it is undemonstrable that it has that property. A crucial step in the Description Argument involved a self-predication principle. Making good use of one of the results obtained in the third chapter, I proved a collapse result for the background theory against which the Description Argument was formulated. I concluded that either the either the Description Argument is sound but its conclusion is trivial, o r the Description Argument is unsound, or it is a cheapshot. As an appendix I included an article co-authored by prof. dr. Leon Horsten and me. The topic of the article is indirectly related to some other topics investigated in my dissertation. Also, it backs up one of the addition al theses I might be asked to publicly defend during my doctoral exam. T he topic of the appendix is the set of the so-called paradoxes of strict implication. Jonathan Lowe has argued that a particular variation on C.I. Lewis notion of strict implication avoids the paradoxes of strict implication. Pace Lowe, it is argued that Lowe s notion of implication does not achieve this aim. Moreover, a general argument is offered to the effect that no other variation on Lewis notion of constantly strict implication describes the logical behaviour of natural language conditional s in a satisfactory way. (shrink)

A standard strategy for defending a claim of non-identity is one which invokes Leibniz’s Law. (1) Fa (2) ~Fb (3) (∀x)(∀y)(x=y ⊃ (∀P)(Px ⊃ Py)) (4) a=b ⊃ (Fa ⊃ Fb) (5) a≠b In Kalderon’s view, this basic strategy underlies both Moore’s Open Question Argument (OQA) as well as (a variant formulation of) Frege’s puzzle (FP). In the former case, the argument runs from the fact that some natural property—call it “F-ness”—has, but goodness lacks, the (2nd order) property of its (...) being an open question whether everything that instantiates it is good to the conclusion that goodness and F-ness are distinct. And in the latter case, the argument runs from the fact that that Hesperus has, but Phosphorus lacks, the property of being believed by the ancient astronomers to be visible in the evening sky to the conclusion that Hesperus and Phosphorus are distinct. Kalderon argues that both the OQA and FP fail because in neither case is there good reason to believe that both (1) and (2) are true. The reason we are tempted to believe that they are true is because we mistake de dicto claims for de re claims. In order for FP to go through, the truth of the following de re claims needs to be established: FP1) Hesperus was believed by the ancient astronomers to be visible in the evening sky. (shrink)

How does Descartes justify his claim that conceiving of a mind as a thinking thing and a body as an extended thing show that mind and body are distinct substances? The paper attempts to answer that question by following a clue Descartes gave Arnauld that virtually everything in Meditations Three through Five is germane to the real distinction between mind and body. The paper develops the distinction between material truth and formal truth from Descartes’s discussions of falsity in (...) Meditation Three. In Meditation Three, clear and distinct ideas are materially true. They are consistent. They represent the possibility that there is something that corresponds to the idea (de dicto possibility). God is not a deceiver. Since it is psychologically impossible to doubt a clear and distinct idea, Descartes concludes Meditation Four by arguing that clear and distinct ideas are formally true (representative). Clear and distinct ideas represent true and immutable natures (essences). It is in virtue of true and immutable natures that it is possible that there are things of determinate kinds. Hence, in Meditation Five, clear and distinct ideas represent de re possibilities. Since the mind/body distinction is a distinction between true and immutable natures, Descartes takes clearly and distinctly conceiving a thinking thing as distinct from an extended thing to be sufficient for claiming a real distinction between mind and body. (shrink)

Martin Bell; X*—The De Dicto/De Re Distinction in Relation to Actions, Proceedings of the Aristotelian Society, Volume 83, Issue 1, 1 June 1983, Pages 159–174.

Propositions - truths and falsehoods - are "eternal" objects of possible ("de dicto") belief and disbelief, potential points of agreement and disagreement. Accordingly the criterion of two sentence-tokens "expressing tiie same proposition" will be tiie logical impossibility of beheving (disbelieving) what one expresses without believing (disbelieving) what the other expresses. This involves an ultra-thight synonymity relation ("semantic equivalence") and a sharing of denotations as between corresponding Unguistic expressions in each. Only locutions containing names, indexicals, etc. which commit speakers to (...) the same purported existents can "express the same proposition", but Stephen Schiffer is wrong to argue that saying one believes such a proposition necessarily imputes any metalinguistic conceptions to one. Propositions lack simplicity-or-complexity and hence structure (because sometimes a conjunction is one of its conjuncts). Each true (false) proposition has "its own" fact which it asserts (denies). (shrink)

This paper articulates a formal theory of belief incorporating three key theses: (1) belief is a dyadic relation between an agent and a property; (2) this property is not the belief's truth condition (i.e., the intuitively self-ascribed property which the agent must exemplify for the belief to be true) but is instead a certain abstract property (a "thought-content") which contains a way of thinking of that truth condition; (3) for an agent a to have a belief "about" such-and-such (...) items it is necessary that a possesses a language of thought, $M_{a}$ , and that a (is disposed as one who) inwardly affirms a sentence of $M_{a}$ in which there are terms that denote those objects. Employing an extended version of E. Zalta's system ILAO, the proffered theory locates thought-contents within a typed hierarchy of "senses" and their "modes of presentation", the provisional definitions of which (suppressing complications added later to accommodate the contents of beliefs about beliefs) are as follows. A mode of presentation of e is a ternary relation of the sort [λxyz z is a name in $M_{y}$ that denotes x, and $D_{e}yz$ ] in which $D_{e}$ is an e-determiner - a relation between agents and their mental expressions imposing a syntactico-semantic condition sufficient for such an expression to denote e therein. A sense of an entity e is an abstract property that "contains" a mode of presentation $R_{e}$ of e by dint of encoding its property-reduct [λx(∃y)(∃z) $R_{e}xyz$ ]. In particular, a thought-content is a sense T of an ordinary first-order property P containing a mode of presentation whose P-determiner $D_{P}$ is such that, for any y and z, $D_{P}yz$ entails that z is a λ-abstract [λv S] of $M_{y}$ in which S is a sentence whose non-logical parts stand in appropriate semantic relations to the constituents of T's (some of which may themselves be senses). Where $I_{a}$ is agent a's dedicated self-demonstrative and |T| is the mode of presentation contained in a thought-content T, the belief relation itself is then characterized as obtaining between a and T iff a( is disposed as one who) inwardly affirms the substitution instance $S(I_{a}/v)$ of a sentence S in $M_{a}$ such that |T|(P, a, [λv S]). The aforementioned "constituents" and "appropriate semantic relations" are formally characterized so as to permit a system of canonical descriptions for thought-contents of arbitrary complexity. These canonical descriptions are then employed to chart the nature and interrelations of belief de re, de dicto and de se and to identify the source of opacity in belief ascription. (shrink)

One of the most surprisingly prominent themes in Robert Brandom’s A Spirit of Trust is the role of genealogical explanations. Brandom sees genealogies or ‘debunking arguments’ as significant because of their ability to deprive our discursive acts of the normative status they require to be genuinely discursive or conceptual. His solution to the problem of genealogy is to offer rationalizing reconstructions of others’ discursive acts, which credit them with normative status. He calls this “forgiveness”. In this paper, I provide some (...) additional conceptual resources to explicate Brandom’s notions of genealogy and forgiveness. These resources allow me to discriminate between two alternate and seemingly incompatible ways of responding to genealogies. One way depends on rationalizing explanations that still attempt to attribute commitments to their subjects, the other avoids making such attributions in favor of explaining commitments only in terms of norms accepted by the rationalizer. I argue that Brandom’s work sometimes promotes the latter response to genealogy but that this tendency should be eliminated from the account. (shrink)

Propositions - truths and falsehoods - are "eternal" objects of possible ("de dicto") belief and disbelief, potential points of agreement and disagreement. Accordingly the criterion of two sentence-tokens "expressing tiie same proposition" will be tiie logical impossibility of beheving (disbelieving) what one expresses without believing (disbelieving) what the other expresses. This involves an ultra-thight synonymity relation ("semantic equivalence") and a sharing of denotations as between corresponding Unguistic expressions in each. Only locutions containing names, indexicals, etc. which commit speakers to (...) the same purported existents can "express the same proposition", but Stephen Schiffer is wrong to argue that saying one believes such a proposition necessarily imputes any metalinguistic conceptions to one. Propositions lack simplicity-or-complexity and hence structure (because sometimes a conjunction is one of its conjuncts). Each true (false) proposition has "its own" fact which it asserts (denies). (shrink)

There are genuine moral conflicts. sometimes by doing what we ought to do we do what we ought not to do. "pace" bernard williams the existence of such conflicts is compatible with the truth of moral realism. we realize this when we understand that ascriptions of rightness, wrongness, and obligatoriness are "de re" rather than "de dicto".

What role should a motivation to do the right thing, read de dicto, play in the life of a virtuous agent? According to a prominent argument from Michael Smith, those who are only motivated by such a desire are moral fetishists. Since Smith’s argument, a number of philosophers have examined what role this desire would play in the life of the morally virtuous agent. My primary aim in this paper is an historical one. I will show that much of (...) this discussion can be found in Adam Smith’s The Theory of the Moral Sentiments (1764), published over two hundred years before Michael Smith’s The Moral Problem. I will then argue that there is an important insight to be found in Adam Smith’s book that is missing from the contemporary discussion. According to Adam Smith, while a de dicto desire to do the right thing can play an important role in the life of a virtuous agent, the person who is only ever motivated by this desire will often be epistemically disadvantaged compared to the person who possesses the appropriate sentiments. I will argue that Adam Smith’s claim is plausible given his own view of the moral sentiments as providing the foundation of morality. In addition, there is good reason to accept Smith’s claim even for those who do not accept his view of the foundational role of the moral sentiments. (shrink)

Jerry Fodor now holds (1990) that the content of mental state types opaquely taxonomized (de dicto content: DDC) is determined by the 'orthographical' syntax + the computational/functional role of such states. Mental states whose tokens are both orthographically and truth-conditionally identical may be different with regard to the computational/functional role played by their respective representational cores. This make them tantamount to different contentful states, i.e. states with different DDCs, insofar as they are opaquely taxonomized. Indeed they cannot both (...) be truthfully ascribed to a single subject at the same time. Some years ago (1987), Fodor postulated a notion of mental content which also went beyond that of a mental state's truth-conditions. States whose tokens differ in their truth-conditions, or broad content, might, he claimed, still share a narrow content (NC), which was causally responsible for the shared behavior of the subjects of these states. For instance, two molecularly identical individuals, living in environments in all respects the same, except for the chemical substance of the phenomenically indistinguishable liquids filling their respective lakes and rivers, would behave similarly when having truth-conditionally different thoughts regarding those liquids. According to Fodor, this sameness of behavior was causally dependent on the sameness of the NC of the two individuals' truth-conditionally different thoughts. Now, this way of individuating mental states is still of interest for semantics. Indeed, NC allows one contextually to fix the broad content of a mental state token. Echoing Kaplan's notion of character,1 Fodor explained NC as a function that mapped contexts (of thought) onto broad contents. NC was thus invoked by Fodor mainly in order to account for sameness of intentional behavior. But DDC also plays a role in explaining intentional behavior, precisely by explaining why a subject whose thought-tokens have identical truthconditions may behave differently.. (shrink)

In this paper, I undertake to apply the de dicto/de re distinction familiar to philosophers of language from objects to properties. To do this, I come up with a new characterization of the distinction, and apply it to some cases in the literature to show how it deals with them, and how the phenomena are more common and varied than one might think. I discuss how it would apply to color-blind people’s understanding of color terms, to show its intuitiveness, (...) and how it would call for the use of Higher Order Logic, and then apply it to outstanding questions in Metaphysics, Moral Psychology, Epistemology, Philosophy of Mind, Moore Studies, Metaphilosophy, Metaethics, and Philosophy of Science, in order to develop new and significant ideas and insights. By doing this, I hope not only to cast light on old problems, and support some common and traditional, and I hope, common sense, views by showing how the distinction has the potential to deal with some familiar objections, but also to provide support for accepting the view that the de re/de dicto distinction makes sense when applied to properties, and that we should therefor embrace it and Higher Order Logic, because of their fecundity. (shrink)

This paper investigates the analysis of the de re/de dicto distinction and related facts. I start with the assumption, supported by Cresswell 1990, that the evaluation of the truth of a proposition relative to a particular possible world/situation is mediated via the presence in the syntax of a silent pronoun with type-s denotation. In this system, the de re/de dicto distinction arises from a difference in which an operator binds a given situation pronoun. Percus 2000 shows that (...) such a system potentially overgenerates, in that a third type of reading is predicted to exist for sentences which actually have only two: de re and de dicto. Percus proposes constraints on the binding of situation pronouns, which correctly rule out these third readings. This paper shows, however, that extrinsic constraints on the binding of situation pronouns are not necessary to rule out the unwanted readings, as long as we develop a more precise theory of binding in the first place. I adapt the binding operator argued for by Büring 2004, originally developed only for overt pronouns, and show that when used as an operator for situation pronouns, the unwanted readings are not predicted to occur. (shrink)

In the course of his philosophical development, Jerry Fodor has indicated two sorts of non-broad (i.e., non-truthconditional) content of mental representations, namely content of mental state types opaquely taxonomized (de dicto content: DDC) and narrow content (NC) qua mapping function from contexts (of thought) to broad contents. According to the former conceptualization, mental state tokens which are truth-conditionally identical may be such that they cannot both truthfully ascribed to one and the same subject at the same time, for (...) they differ in their respective DDC. In Fodor's own example, Oedipus' thoughts that he will marry Jocasta and that he will marry Mum are truth-conditionally identical, but different as far their DDC is concerned; one cannot indeed truthfully ascribe both thoughts to him simultaneously1. According to the latter conceptualization instead, mental state tokens of molecularly identical twins placed in different environments (such as Earth and Twin-Earth) are such that, although they differ in their truth-conditions, they share the same NC2. For instance, these twins respectively think that water quenches thirst and that twater (a liquid similar to water but its chemical composition) quenches thirst. Although these thoughts thus differ in broad content, they have the same NC: had the Twin-Earthling twin been brought up on Earth rather than on Twin-Earth where he actually lives, he would have thought that water quenches thirst rather than that twater quenches thirst3. According to Fodor's picture, both concepts are invoked for the purpose of psychology in order to account for one and the same thing, namely subjects' behavior. On the one hand, difference in behavior of a subject whose thought-tokens have the same truth-conditions may be ascribed to difference in the DDC of these tokens4. On the other hand, identity in behavior between two molecularly identical subjects whose thought-tokens have different truth-conditions is explained in terms of the NC- identity of these tokens5.. (shrink)