Singular Propositions

¿Cómo puede la lógica representar expresiones indéxicas como “yo”, “aquí” y “ahora”? ¿Cómo no debe representarlas? Examino estas dos preguntas a partir de la Lógica de los Demostrativos (LD) de Kaplan y su impopular prohibición de operadores monstruosos. A pesar de algunos defectos de formulación, sostengo que dicha prohibición está guiada por una poderosa visión de las relaciones lógicas de validez entre oraciones con indéxicos que desafía la concepción tradicional de consecuencia lógica como preservación de la verdad y resalta el (...) papel fundamental de la información semántica en la construcción de sistemas formales concebidos como modelos de las lenguas naturales. (shrink)

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

This chapter offers an opinionated introduction to higher-order formal languages with an eye towards their applications in metaphysics. A simply relationally typed higher-order language is introduced in four stages: starting with first-order logic, adding first-order predicate abstraction, generalizing to higher-order predicate abstraction, and finally adding higher-order quantification. It is argued that both β-conversion and Universal Instantiation are valid on the intended interpretation of this language. Given these two principles, it is then shown how we can use pure higher-order logic to (...) ask, and begin to answer, metaphysical questions with non-trivial implications. In particular, while we must reject the popular idea that structural differences between sentences correspond to parallel distinctions in the logical structure of extra-linguistic reality, it may still be possible to give a purely logical characterization of objectual aboutness and related notions. (shrink)

In a 2019 paper, Hausmann raised a new and interesting problem for Kripke’s account of negative existentials. He argued that Kripke’s account leads to the absurd consequence that anybody who has good reasons to believe that there are no propositions also has good reasons to believe that he or she does not exist. In this paper I propose a modified Kripkean theory, which is invulnerable to a Hausmann-like argument. As will be seen, the modified theory can be squarely justified in (...) light of the key observations behind Kripke’s original proposal. (shrink)

What is involved in having a singular thought about an ordinary object? On the leading epistemic view, one has this capacity if and only if one has belief-forming dispositions which would reliably enable one to get its properties right (Dickie, 2015). I first argue that Dickie’s official view entails surprising and unpalatable claims about either rationality or singular thought, before offering a precisification. Once we have reached that level of abstraction, it becomes difficult to see what is distinctively epistemic about (...) the framework. If we are to tease out the delicate connection between singular thought and knowledge, we should suspend the assumption that there is a homogeneous core, present in all cases of such thought, and that it is from there that its (univocal) epistemic character derives. (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)

In this paper we take up the question of the explanatory significance of the notion of propositional content. Our first goal is to disentangle two types of approach: According to what we call inflationism, propositions should be taken seriously enough to expect explanatory payoffs from them. The alternative deflationary approach rejects this claim. Our second goal is to explore the inflationism vs. deflationism contrast in depth by focusing on the distinction between singular and general propositions. We argue that inflationism fails (...) and outline a variety of deflationism that offers the best prospects for explaining the singular/general divide. (shrink)

Empty names are a problem for Russellians. I describe three ways to approach solving the problem. These are positing gappy propositions as contents, nonsingular propositions as contents, or denying that sentences containing empty names have contents. I discuss methods for deciding between solutions. I then argue for some methods over others and defend one solution using those methods. I reject the arguments that either intuitions about truth value, truth, content, or meaningfulness can decide between the solutions. I give an alternative (...) argument which does decide between the three solutions. The alternative is based on the idea that a sentence and its internal negation are contrary: they cannot both be true, but they might both be false. I argue from Russellian premises to the conclusion that such sentences cannot be assigned truth values when they contain empty names. The argument shows that no Russellian should assign a truth value to a sentence containing an empty name, and therefore that no Russellian should assign a proposition as the content of such a sentence. This shows that Russellians should conclude that sentences containing empty names do not have contents, i.e. the no proposition view. (shrink)

Presentism is the view that only present things exist. So understood, presentism is primarily an ontological doctrine; it’s a view about what exists, absolutely and unrestrictedly. The view is the subject of extensive discussion in the literature on time and change, with much of it focused on the problems that presentism allegedly faces. Thus, most of the literature that frames the development of presentism has grown up either in formulating objections to the view (e.g., Sider 2001: 11–52), or in response (...) to such objections (e.g., Bigelow 1996; Markosian 2004), with exceptions to this largely coming via the ways in which presentism is motivated. This entry mirrors the structure of that literature, for the most part. Here’s the plan for what follows. We begin with a more detailed sketch of presentism, unpacking its commitments and motivations. Then, we move to consider several concerns raised for presentists. We use these to illustrate the breadth and severity of the challenges that presentism faces, as well as the range of different versions of presentism developed to help meet these challenges. (shrink)

Propositional contingentism is the view that what propositions there are is a contingent matter—certain propositions ontologically depend on objects which themselves only contingently exist. Possible worlds are, loosely, complete ways the world could have been. That is to say, the ways in which everything in its totality could have been. Propositional contingentists make use of possible worlds frequently. However, a neglected, but important, question concerns whether there are any notions of worlds which are both theoretically adequate and consistent with propositional (...) contingentism. Some notion of a possible world is adequate if the systematic connection between, at least, possibility and truth at some possible world holds. Here, I argue that no adequate notion of a possible world is available to at least those who subscribe to one natural formulation of propositional contingentism. I also show that this result contrasts with a simple and adequate definition of a possible world available to the necessitist—those who hold that necessarily everything necessarily exists. (shrink)

Combining new insights from cognitive science and speech act theory, Unnsteinsson develops a compelling theory of singular reference which avoids well-known puzzles. The theory, Edenic intentionalism, is grounded in a mechanistic perspective on explanation in cognitive science and a new Gricean account of speaker meaning and speaker reference.

Parmi toutes les pensées que nous avons sur le monde, certaines portent sur des objets particuliers de façon plus directe (ou moins lâche) que les pensées dites descriptives et sont, pour cette raison, qualifiées de singulières. La pensée exprimée par l’énoncé : « Jean Nicod est mort en 1924 » n’est, intuitivement, pas la même que celle exprimée par l’énoncé : « L’auteur de la Géométrie dans le monde sensible est mort en 1924 », ne serait-ce que parce que la (...) seconde ne porte sur l’individu particulier auquel réfère le nom propre Jean Nicod (dans le premier énoncé) qu’indirectement, via la satisfaction par ce dernier d’un ensemble de conditions descriptives. La thèse selon laquelle notre espace cognitif serait peuplé d’authentiques pensées singulières n’est pourtant pas, loin s’en faut, triviale et mérite d’être évaluée à la lumière des différentes approches possibles du phénomène. Ce livre tente de le cerner en présentant et évaluant les théories sémantiques, épistémiques et cognitives les plus significatives de la pensée singulière. Il promeut une approche intégrée qui vise à donner son juste poids aux aspects mis en lumière par ces théories. Il est assorti d’un commentaire de deux extraits de texte: l’un, de Bertrand Russell, souvent considéré comme le locus classicus de la thèse singulariste et des théories épistémiques de l’accointance; l’autre, du philosophe américain contemporain Kent Bach, sur la portée de la conception essentialiste orthodoxe des pensées de re. (shrink)

Views that treat the contents of sentences as structured, Russellian propositions face a problem with empty names. It seems that those sorts of things cannot be the contents of sentences containing such names. I motivate and defend a solution to the problem according to which a sentence may have a singular proposition as its content at one time, and a nonsingular one at another. When the name is empty the content is a nonsingular Russellian structured proposition; when the name is (...) not empty the content is a singular Russellian structured proposition. (shrink)

Sentences in context have semantic contents determined by a range of factors both internal and external to speakers. I argue against the thesis that semantic content is transparent to speakers in the sense of being immediately accessible to speakers in virtue of their linguistic competence.

Logical Investigations (notably, The Thought) is one of the works wherein Frege voices his hostility to psychologism in logic, science, and semantics. Such hostility lies, arguably, behind his threefold conceptual distinction between thought (Gedanke), thinking (Denken), and ideas (Vorstellungen). In this essay I investigate, to begin with, Frege’s motivations for drawing the distinction and keeping thinking episodes (one of the meanings of ‘thoughts’ in English) out of the picture. It turns out, or so I argue, that psychologism threatens, on Frege’s (...) view, to destroy the objectivity requirement by which thoughts are defined as answerable contents. I then draw a connection between this feature in Frege’s view and an on-going debate in philosophy of mind and language over the nature of world-directed thoughts and show that the feature lies at the heart of the singularist stance. Finally, I show that, despite Frege’s own hostility to all that bears the mark of the subjective in logic, science, and semantics, a psychological argument can be mounted in support of singularism (i.e. the view that some of our thoughts are about particulars qua particulars) using his disparaged notion of idea (Vorstellung) and that, appearances notwithstanding, the argument is compatible with the objectivity requirement on answerable thought-contents. (shrink)

Existentialism about propositions is the view that a proposition expressed in a sentence containing a nonempty name or indexical depends ontologically on the referent of the name or indexical: the proposition could not exist if the referent did not. The paper focuses on names. It discusses some arguments for existentialism and then presents a novel one. That argument does not presuppose that propositions have constituents, and it could be accepted by those who hold broadly Fregean views about names. It shows (...) that, for example, if Aristotle had not existed, no sentence could have meant that Aristotle is a philosopher. The paper also touches on the consequences of existentialism. (shrink)

In this paper, I try to show that Kripke’s proposed solution to the problem of negative existentials fails. I try to show that Kripke’s proposal fails because it entails that anybody who has good reasons to believe that there are no propositions has also good reasons to believe that he or she does not exist. However, there were philosophers who had good reasons to believe that there are no propositions even though they didn’t have good reasons to believe that they (...) do not exist. I conclude that Kripke’s proposed solution to the problem of negative existentials fails. (shrink)

Thisness Presentism outlines and defends a novel version of presentism, the view that only present entities exist and what is present really changes. Presentism is a view of time that captures a real and objective difference between what is past, present, and future, and which offers a model of reality that is dynamic and mutable, rather than static and immutable. The book advances a new defence of presentism by developing a novel ontology of thisness, combining insights about the nature of (...) essence, the metaphysics of propositions, and the relationship between true propositions and the elements of reality that make them true, alongside insights about time itself. It shows how, by accepting an ontology of thisness, presentists can respond to a number of pressing challenges to presentism, including claims that presentism cannot account for true propositions about the past, and that it is inconsistent with the reality of temporal passage and the openness of the future. This is one of the only book-length defences of presentism. It will be of interest to students and scholars working on the debate about presentism in the philosophy of time, as well as those interested in the metaphysics of propositions and truth-making, more generally. (shrink)

Existentialism claims that propositions that directly refer to individuals depend on those individuals for their existence. I argue for two points regarding Existentialism. First, I argue that recent accounts of Existentialism run into difficulties accommodating the possibility of there being a lonely alien electron. This problem is distinct from one of the better-known alien problems—concerning iterated modal properties of aliens—and can’t be solved using a standard response to the iterated case. Second, though the lonely alien electron problem might seem to (...) be reason to reject the sort of Existentialist view at hand, there’s a plausible way to preserve the view: accept the existence of possible worlds that directly refer to individuals that don’t exist in those worlds. Such a solution might seem incompatible with Existentialism, but I show that Existentialists can avoid the incompatibility and should find the resulting view plausible. (shrink)

It is often assumed that singular thought requires that an agent be epistemically acquainted with the object the thought is about. However, it can sometimes truthfully be said of someone that they have a belief about an object, despite not being interestingly epistemically acquainted with that object. In defense of an epistemic acquaintance constraint on singular thought, it is thus often claimed that belief ascriptions are context sensitive and do not always track the contents of an agent’s mental states. This (...) paper uses first-person attitude reports to argue that contextualism about belief ascriptions does not present an adequate defense of an acquaintance constraint on singular thought. (shrink)

Many philosophers have argued or taken for granted that Frege's puzzle has little or nothing to do with identity statements. I show that this is wrong, arguing that the puzzle can only be motivated relative to a thinker's beliefs about the identity or distinctness of the relevant object. The result is important, as it suggests that the puzzle can be solved, not by a semantic theory of names or referring expressions as such, but simply by a theory of identity statements. (...) To show this, I sketch a framework for developing solutions of this sort. I also consider how this result could be implemented by two influential solutions to Frege's puzzle, Perry's referential-reflexivism and Fine's semantic relationism. (shrink)

In this paper I argue that propositionalism is what generates a tension between referentialism and harmony. Harmony can be preserved if we replace propositionalism by centred referentialism, according to which referential thoughts and utterances about an object have descriptive contents that must be evaluated relative to a world centred on that object at the relevant time. By disentangling truth-conditions and contents, this move allows us to dissolve the tension between referentialism and descriptivism. The view that emerges has three main components: (...) the truth-conditions of a referential utterance or thought involves its referent ; its reference is determined by causal relations of acquaintance in the context of use ; and its cognitive value is fully explained by associated descriptions or truth-conditional contents. (shrink)

The focus of this paper will be on singular thoughts. In the first section I will present Jeshion’s cognitivism; a view that holds that one should characterize singular thoughts by their cognitive roles. In the second section I will argue that, contrary to Jeshion’s claims, results from studies of object tracking in cognitive psychology do not support cognitivism. In the third section I will discuss Jeshion’s easy transmission of singular thought and argue that it ignores a relevant distinction between general (...) and specific understanding of names. Finally, the last section will argue that conscious attention should replace Jeshion’s significance condition as a necessary condition for one to have a singular thought. The paper will show that we need to take seriously the acquaintance requirement for singular thoughts, as even the easy transmission of singular thoughts with the use of names will be called into question. (shrink)

An account of the distinction between singular and general propositions should reflect the core ideas that have motivated the distinction. Those core ideas can be appreciated independently of many commitments regarding the metaphysics of propositions, but theorists with differing views on the latter have given quite different explanations of what it is for a proposition to be singular or general. Many of those explanations turn out not to reflect the core ideas adequately after all, either by misclassifying certain propositions or (...) by failing to be sufficiently informative. A more satisfactory account can be formulated by more directly elaborating on the background ideas motivating the distinction. The resulting account not only does better than its competitors, but is compatible with various views on the metaphysics of propositions. (shrink)

Russellians can have a no proposition view of empty names. I will defend this theory against the problem of meaningfulness, and show that the theory is in general well motivated. My solution to the problem of meaningfulness is that speakers’ judgements about meaningfulness are tracking grammaticality, and not propositional content.

Presentists, who believe that only present objects exist, should accept a thisness ontology, since it can do considerable work in defence of presentism. In this paper, I propose a version of presentism that involves thisnesses of past and present entities and I argue this view solves important problems facing standard versions of presentism.

Buchanan (2014) argues for a Gricean solution to well-known counterexamples to direct reference theories of content. Peet (2016) develops a way to change the counterexample so that it seems to speak against Buchanan’s own proposal. I argue that both theorists fail to notice a significant distinction between the kinds of cases at issue. Those appearing to count against direct reference theory must be described such that speakers have false beliefs about the identity of the object to which they intend to (...) refer, beliefs that appear relevant to the determination of what constitutes communicative success. This suggests, further, that cases of this sort do not provide a basis for robust generalizations about singular reference. (shrink)

Ramseyan humility is the thesis that we cannot know which properties realize the roles specified by the laws of completed physics. Lewis seems to offer a sceptical argument for this conclusion. Humean fundamental properties can be permuted as to their causal roles and distribution throughout spacetime, yielding alternative possible worlds with the same fundamental structure as actuality, but at which the totality of available evidence is the same. On the assumption that empirical knowledge requires evidence, we cannot know which of (...) these worlds is actual. However, Lewis also appeals to a range of familiar semantic principles when framing his argument, which leads some authors to suppose that he can also plausibly be interpreted as offering a purely semantic argument for humility in addition. In this paper I grant that these arguments are Lewisian, but argue that Lewis is also committed to a theory of mind that licenses a purely metaphysical argument for humility based on the idea that mental properties supervene on fundamental structure. Given that knowing which x is the F requires knowing that a is the F, the supposition that we could come to know which properties actually occupy the fundamental roles entails differences in mental properties between worlds with the same fundamental structure, violating supervenience. Humility follows right away, without any further epistemic or semantic principles. This argument is immune to almost every way of rebutting the sceptical and semantic arguments; conversely, almost every way of rebutting the metaphysical argument tells equally against the others. (shrink)

When unknowingly experiencing a perceptual hallucination, a subject can attempt to think specifically about what is, as far as he or she can tell, the perceived object. Is the subject then deceived about his or her cognitive situation? I answer negatively. Moreover, I argue that this answer is compatible with holding that thought specifically about a certain object – singular thought – is object-dependent. By contrast, both critics and advocates of the view that singular thought is object-dependent have assumed this (...) view to be committed to postulation of illusions of object-dependent thought in cases like that mentioned. The core ingredient in my illusion-free version of the view is a special form of disjunctivism. Alleged cases of illusion are not considered parasitic on ‘the good case’ where the object thought about is perceived. (shrink)

Frege proposed his doctrine of unsaturatedness as a solution to the problems of the unity of the proposition and the unity of the sentence. I show that Frege’s theory is mystical, ad hoc, ineffective, paradoxical and entails that singular terms cannot be predicates. I explain the traditional solution to the problem of the unity of the sentence, as expounded by Mill, which invokes a syncategorematic sign of predication and the connotation and denotation of terms. I streamline this solution, bring it (...) up to date and contrast the resulting conventionalist account with Frege’s unsaturatedness account. I argue that the conventionalist account provides a clear and intelligible solution to the problem of the unity of the sentence which is free of the defects of Frege’s account. I suggest that the problem of the unity of the proposition is spurious. I recommend that the notion of unsaturatedness be extruded from serious debate. (shrink)

Although we are still in the dark when it comes to giving necessary and jointly sufficient criteria for what it takes to be thinking a singular thought, the paradigm cases are just ones where an agent is thinking about some particular object. When we erroneously think that Vulcan is a planet, our thought appears to be singular since it is, after all, about Vulcan. A promising way to explain this is to claim that there is something, a merely hypothetical entity, (...) that is Vulcan. There have been notable supporters for positing hypothetical entities for some time now, but the account of how we create hypothetical entities is still underdeveloped. In fact, we face a puzzle if we assume: hypothetical entities are created by us; we create a given hypothetical entity only when we falsely hypothesize something to be the unique F; we create the hypothetical entity long before we learn that there is no unique F. How can we possibly manage to conditionally and unknowingly create some entity when there is no unique F? In showing how this is possible, it will become clear that we have good reason for preferring a view that posits hypothetical entities over the alternative ways of accounting for our apparently singular thoughts about Vulcan, Pegasus, the Fountain of Youth, and so on. (shrink)

In this paper, I dwell on a particular distinction introduced by Ilhan Inan—the distinction between ostensible and inostensible use of our language. The distinction applies to singular terms, such as proper names and definite descriptions, or to general terms like concepts and to the ways in which we refer to objects in the world by using such terms. Inan introduces the distinction primarily as an epistemic one but in his earlier writings (1997: 49) he leaves some room for it to (...) have some semantic significance i.e., the view that in certain intensional de re contexts whether a term occurring in a sentence is ostensible or inostensible may have a bearing on the semantic content of the sentence. However, in his later writings e.g., The Philosophy of Curiosity, he appears to abandon his earlier thoughts regarding the semantic significance of his distinction. He says: “the ostensible/inostensible distinction is basically an epistemic one.... It is an epistemic distinction that has no semantic significance” (2012: 65). I argue that there are indeed such intensional contexts in which the distinction has some semantic significance, i.e., whether a term is ostensible or inostensible has in fact a bearing on what proposition is expressed by the sentence in which the term occurs. (shrink)

This paper contains two traditions of diagrammatic studies namely one, the Euler–Venn–Peirce diagram and the other, following tradition of Aristotle, the square of oppositions. We put together both the traditions to study representations of singular propositions, their negations and the inter relationship between the two. Along with classical negation we have incorporated negation of another kind viz. absence. We have also considered the changes that take place in the context of open universe.

According to propositional contingentism, it is contingent what propositions there are. This paper presents two ways of modeling contingency in what propositions there are using two classes of possible worlds models. The two classes of models are shown to be equivalent as models of contingency in what propositions there are, although they differ as to which other aspects of reality they represent. These constructions are based on recent work by Robert Stalnaker; the aim of this paper is to explain, expand, (...) and, in one aspect, correct Stalnaker's discussion. (shrink)

Presentists believe that only present things exist. But opponents insist this view has unacceptable implications: if only present things exist, we can’t express singular propositions about the past, since the obvious propositional constituents don’t exist, nor can we account for temporal passage, or the openness of the future. According to such opponents, and in spite of the apparent ‘common sense’ status of the view, presentism should be rejected on the basis of these unacceptable implications. In this paper, I present and (...) defend a version of presentism that avoids the unacceptable implications. The basic strategy I employ is familiar—I postulate presently existing entities to serve as surrogates for non-present entities—but some of the details of my proposal are more novel, and their application to these problems is certainly novel. One overarching thesis of this paper is that Thisness Presentism is preferable to other versions of presentism since it solves important problems facing standard iterations of the view. And I assume that this is a good positive reason in favour of the underlying thisness ontology. (shrink)

Many Russellians endorse the theses that propositions (i) are structured, (ii) have logical forms, (iii) have objects they are directly about as constituents, (iv) cannot exist without their constituents and (v) exist contingently. In his Propositions, Merricks argues against (i)-(v). I respond to his arguments.

‘Ahab is a whaler’ and ‘Holmes is a whaler’ express different propositions, even though neither ‘Ahab’ nor ‘Holmes’ has a referent. This seems to constitute a theoretical puzzle for the Russellian view of propositions. In this paper, I develop a variant of the Russellian view, Plenitudinous Russellianism. I claim that ‘Ahab is a whaler’ and ‘Holmes is a whaler’ express distinct gappy propositions. I discuss key metaphysical and semantic differences between Plenitudinous Russellianism and Traditional Russellianism and respond to objections that (...) stem from those differences. (shrink)

Speakers are confused about identity if they mistake one thing for two or two things for one. I present two plausible models of confusion, the Frege model and the Millikan model. I show how a prominent objection to Fregean models fails and argue that confusion consists in having false implicit beliefs involving the identity relation. Further, I argue that confused identity has characteristic corruptive effects on singular cognition and on the proper function of singular terms in linguistic communication.

Propositions play a central role in contemporary semantics. On the Russellian account, propositions are structured entities containing particulars, properties and relations. This contrasts sharply with the sets-of-possible-worlds view of propositions. I’ll discuss how to extend the sets-of-worlds view to accommodate fine-grained hyperintensional contents. When this is done in a satisfactory way, I’ll argue, it makes heavy use of entities very much like Russellian tuples. The two notions of proposition become inter-definable and inter-substitutable: they are not genuinely distinct accounts of how (...) propositions represent what they represent. Semantic theorists may move freely between the two conceptions of what propositions are. Nevertheless, the two approaches give different accounts of the metaphysical nature of propositions. I argue that the sets-of-worlds view provides an adequate account of the nature of propositions, whereas the Russellian view cannot. (shrink)

Singular propositions are structured entities which sometimes include macroscopic concrete things as their elements. That leads to numerous difficulties, also those concerning modalities, good example of which is the famous argument developed by Plantinga, who concludes that accepting a theory of singular propositions leads to necessary existence of (apparently contingent) objects — elements of such propos¬itions. In the paper I present a possible way to avoid such harmful consequences and to undermine Plantinga’s reasoning. My approach involves the idea of two (...) modes of evaluating propositions: “in a possible world” and “with regard to a possible world”, which I try to defend by introducing some solutions from the Hybrid Theory of proper names. I also argue that disposing of singular propositions and accepting Descriptivism does not allow to deal with the modal difficulties. (shrink)

Trenton Merricks presents an original argument for the existence of propositions, and defends an account of their nature. He draws a variety of controversial conclusions, for instance about supervaluationism, the nature of possible worlds, truths about non-existent entities, and whether and how logical consequence depends on modal facts.

This paper argues that applying a mental files framework for singular thought to thoughts about specific times could produce an account of tensed thought with significant advantages over competing theories. After describing the framework , I argue for the conceivability of treating particular times as res of singular thoughts , and the possibility that humans open ‘object files’ for them during perception . Then I discuss the possible make-up and function of a NOW indexical mental file . The last section (...) argues that, if our ‘now’ thoughts can be coherently analysed as thinking of a time under the NOW mental file, one would have a plausible explanation of the following issues: how tensed thought can refer to extended temporal intervals of various length; why reference to times is not destroyed by thought delays; and how a ‘now’ thought results in timely actions and, sometimes, relief. (shrink)

Classical logic counts sentences such as ‘Alice is identical with Alice’ as logically true. A standard objection to classical logic is that Alice’s self-identity, for instance, is not a matter of logic because the identity of particular objects is not a matter of logic. For this reason, many philosophers argue that classical logic is not the right logic, and that it should be abandoned in favour of free logic — logic free of existential commitments with respect to singular terms. In (...) most standard free logics, sentences such as ‘Alice is identical with Alice’ are not logically true. This paper argues that this objection from existential commitments is some- what superficial and that there is a deeper reason why ‘Alice is identical with Alice’ should not be considered a logical truth. Indeed, a key fundamental thought about the nature of logic is that a logical truth is true in virtue of its logical form. The fundamental problem I raise is that a sentence such as ‘Alice is identical with Alice’ appears to not even be true in virtue of its logical form. Thus this paper argues that given that such a sentence is not true in virtue of its logical form, it should not be counted as logically true. It moreover argues, on the same grounds, that even the sentences which free logicians regard as logically true shouldn’t be regarded as logically true. So in this sense free logic is no repair to classical logic. (shrink)

Existentialism concerning singular propositions is the thesis that singular propositions ontologically depend on the individuals they are directly about in such a way that necessarily, those propositions exist only if the individuals they are directly about exist. Haecceitism is the thesis that what non-qualitative facts there are fails to supervene on what purely qualitative facts there are. I argue that existentialism concerning singular propositions entails the denial of haecceitism and that this entailment has interesting implications for debates concerning the philosophy (...) of language, the nature of propositions, and the metaphysics of modality. (shrink)

On a traditional or default view of the grasping or understanding of a singular proposition by an individual, it is assumed to be a unitary or holistic activity. However, naturalistic views of cognition plausibly could analyze propositional thinking in terms of more than one distinctive functional stage of cognitive processing, suggesting at least the potential legitimacy of a non-unitary analysis of propositional grasping. We outline a novel dual-component view of this kind, and show that it is well supported by current (...) cognitive science research. (shrink)

Do Russellian propositions have their constituents as parts? One reason for thinking not is that if they did, they would generate apparent counterexamples to plausible mereological principles. As Frege noted, they would be in tension with the transitivity of parthood. A certain small rock is a part of Etna but not of the proposition that Etna is higher than Vesuvius. So, if Etna were a part of the given proposition, parthood would fail to be transitive. As William Bynoe has noted (...) (speaking of facts rather than propositions), they would seem to violate certain supplementation principles. Consider the singular proposition, concerning identity, that it is identical with itself. Given the relevant form of Russellianism, this proposition would have identity as a proper part, but it would not have any parts disjoint from identity, and indeed it would not have even a single pair of disjoint parts, in violation of various supplementation principles. This chapter offers a unified solution to the problems about transitivity and supplementation. One key ingredient in the solution is the view that parthood is a four-place relation expressed by ‘x at y is a part of z at w’. Another key ingredient is the view that the semantic contents of predicates and sentential connectives have ‘slots’ or ‘argument positions’ in them. (Both ingredients are independently motivated elsewhere.) Four-place analogues of the transitivity and supplementation principles are set out, and it is argued that these are not threatened by the examples from Frege and Bynoe. (shrink)