Some recently-proposed counterexamples to the traditional definition of essential property do not require a separate logic of essence. Instead, the examples can be analysed in terms of the logic and theory of abstract objects. This theory distinguishes between abstract and ordinary objects, and provides a general analysis of the essential properties of both kinds of object. The claim ‘x has F necessarily’ becomes ambiguous in the case of abstract objects, and in the case of ordinary objects there are various ways (...) to make the definition of ‘F is essential to x’ more fine-grained. Consequently, the traditional definition of essential property for abstract objects in terms of modal notions is not correct, and for ordinary objects the relationship between essential properties and modality, once properly understood, addresses the counterexample. (shrink)

The problem of empty terms is one of the focal issues in analytic philosophy. Russell’s theory of descriptions, a proposal attempting to solve this problem, attracted much attention and is considered a hallmark of the analytic tradition. Scholars of Indian and Buddhist philosophy, e.g., McDermott, Matilal, Shaw and Perszyk, have studied discussions of empty terms in Indian and Buddhist philosophy. But most of these studies rely heavily on the Nyāya or Navya-Nyāya sources, in which Buddhists are portrayed as opponents to (...) be defeated, and thus do not truly reflect Buddhist views on this issue. The present paper will explore how Dignāga, the founder of Buddhist logic, deals with the issue of empty subject terms. His approach is subtle and complicated. On the one hand, he proposes a method of paraphrase that resembles Russell’s theory of descriptions. On the other, by relying on his philosophy of language—the apoha theory, he tends to fall into a panfictionalism. Through the efforts of his follower Dharmakīrti, the latter approach would become more acceptable among Indian and Tibetan Buddhists. Dignāga’s Chinese commentators, who were free from the influence of Dharmakīrti, dealt with the empty term issue in three ways: (1) by adhering to Dignāga’s method of paraphrase; (2) by allowing exceptions for non-implicative negation; and (3) by indicating the propositional attitude of a given proposition. Among these, the third proved most popular. (shrink)

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

Focusing on cases which involve binding into epistemic modals with definite descriptions and quantifiers, I raise some new problems for standard approaches to all of these expressions. The difficulties are resolved in a semantic framework that is dynamic in character. I close with a new class of problems about de re readings within the scope of modals.

Chastain and Sawyer, among others, claim that direct cognitive relations can be initiated in evidence cases. Direct cognitive relations will here include Chastain’s knowledge-of and Sawyer’s trace-based acquaintance, as well as related notions such as having-in-mind and singular thought. Against this controversial claim, it is often objected that such cases are better understood as cases of inference rather than cases of direct thought. When one detects something by its footprint, the objection goes, one merely infers that it exists rather than (...) thinking of it directly. The goal of this paper is to analyze what is meant by the inference objection and consider several possible responses to it. Ultimately, I will not offer a knock-down argument against the inference explanation; in fact, I’ll try to explain why I suspect one isn’t possible. Instead, I’ll appeal to the possibility of misdescription and analogous cases involving non-human animals to show that the inference explanation is less plausible than the account to which it provides an alternative. (shrink)

Philosophers of mind and language who advance causal theories face a sort of conjunction problem. When we say that the thing had in mind or the thing referred to is a matter of what causally impacted the thinker or speaker, we must somehow narrow down the long conjunction of items in a causal chain, all of which contributed to the having in mind, but only one of which becomes the object of thought or the linguistic referent. Here, I sketch a (...) notion of cognitive focus intended to do this narrowing. The notion borrows three key aspects from visual focus and some technological aides—causation, amplification, and suppression. I suggest a broader application of this framework to address the conjunction problem not only in ordinary contexts of perceptual focus but also in evidence cases involving non-perceptual cognitive focus. I further suggest cognitive focus is helpful in distinguishing referential vs. attributive thought. (shrink)

It is widely accepted by formal and informal logicians alike that a formal logic which, by the lights of English, gets the connectives wrong, nevertheless conspires to get entailment right—right that is, modulo English. There is a vexing problem occasioned by this semantic alienation of formal logic. It is next to impossible for formal logic to meet the expectations of realism. What, then, of informal logic?

This paper examines how the work of Frege was known and received in Poland in the period 1910–1935 (with one exception concerning the later work of Suszko). The main thesis is that Frege's reception in Poland was perhaps faster and deeper than in other countries, except England, due to works of Russell and Jourdain. The works of Łukasiewicz, Leśniewski and Czeżowski are described.

The notion of a proposition is central to philosophy. But it is subject to paradoxes. A natural response is a hierarchical account and, ever since Russell proposed his theory of types in 1908, this has been the strategy of choice. But in this paper I raise a problem for such accounts. While this does not seem to have been recognized before, it would seem to render existing such accounts inadequate. The main purpose of the paper, however, is to provide a (...) new hierarchical account that solves the problem. (shrink)

This article examines how Quine and Sellars develop informatively contrasting responses to a fundamental tension in Carnap’s semantics ca. 1950. Quine’s philosophy could well be styled ‘Essays in Radical Empiricism’; his assay of radical empiricism is invaluable for what it reveals about the inherent limits of empiricism. Careful examination shows that Quine’s criticism of Carnap’s semantics in ‘Two Dogmas of Empiricism’ fails, that at its core Quine’s semantics is for two key reasons incoherent and that his hallmark Thesis of Extensionalism (...) is untenable. The tension in Carnap’s semantics together with Quine’s exposure of the severe limits of radical empiricism illuminate central features of Sellars’s philosophy: the fully general form of the myth of givenness, together with Sellars’s alternative Kantian characterisation of understanding; the full significance of Carnap’s distinction between conceptual analysis and conceptual explication, and its important methodological implications; the specifically pragmatic character of Sellars’s realism; and Sellars’s methodological reasons for holding that philosophy must be systematic and that systematic philosophy must be deeply historically and textually informed. This paper thus re-examines this recent episode of philosophical history for its philosophical benefits and systematic insights. (shrink)

Journal Name: Apeiron Issue: Ahead of print.

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

In a recently published paper, Patrick Todd (2016, 'Future contingents are all false! On behalf of a Russellian open future') advocates a novel treatment of future contingents. On his view, all statements concerning the contingent future are false. He motivates his semantic postulates by considerations in philosophy of time and modality, in particular by the claim that there is no actual future. I present a number of highly controversial consequences of Todd’s theory. Inadequacy of his semantics might indirectly serve as (...) an argument against the philosophical view underpinning his proposal. (shrink)

The standard account of ontological commitment is quantificational. There are many old and well-chewed-over challenges to the account, but recently Kit Fine added a new challenge. Fine claimed that the ‘‘quantificational account gets the basic logic of ontological commitment wrong’’ and offered an alternative account that used an existence predicate. While Fine’s argument does point to a real lacuna in the standard approach, I show that his own account also gets ‘‘the basic logic of ontological commitment wrong’’. In response, I (...) offer a full quantificational account, using the resources of plural logic, and argue that it leads to a complete theory of natural language ontological commitment. (shrink)

In ‘Brentano’s Methodology as a Path through the Divide’, Röck makes two related claims. Röck argues that there exists a philosophical dilemma between description and logical analysis, and that the current divide between continental phenomenology and analytic philosophy may be seen as a consequence of the dilemma. Röck further argues that Brentano’s work integrates description and logical analysis in a way which ‘can provide a suitable starting point for an equally successful integration of these methods in contemporary philosophy’. Without disputing (...) Röck’s claim about the suitability of Brentano’s work for such an integration, this paper questions by examining the influence of Brentano and his school on early analytic philosophy. As recent scholarship in the history of analytic philosophy demonstrates, contrary to Röck’s contention, many prominent analytic philosophers conversed with Brentano and his school’s conceptions of phenomenological description. (shrink)

My main aim in this paper is to clarify the concepts of referential success and of referential continuity that are so crucial to the scientific realism debate. I start by considering the three dominant theories of reference and the intuitions that motivate each of them. Since several intuitions cited in support of one theory conflict with intuitions cited in support of another something has to give way. The traditional policy has been to reject all intuitions that clash with a chosen (...) theory. A more radical policy, tied to some experimental philosophers, has called for the rejection of any evidential role for intuitions. I explore a largely ignored third alternative, i.e. saving intuitions (and their evidential role) even when they are at odds. To accommodate conflicting intuitions different sets of internally consistent (yet externally inconsistent) intuitions are taken to lend credence to different concepts of reference. In the current context, this means that the concepts of referential success and referential continuity are not monolithic. They are what I call 'polylithic'. This paper is as much about meta-philosophical concerns with the role of intuitions as it is about reference and the scientific realism debate. Regarding the former I hope that a blueprint will emerge for similar projects in other philosophical domains. Regarding the latter, I hope that polylithicity helps disentangle claims about referential success and continuity in the scientific realism debate by making perspicuous which concepts are best equipped to evaluate the realist's epistemic claims against the historical record of science. (shrink)

According to Crane’s schematicity thesis (ST) about intentional objects, intentionalia have no particular metaphysical nature qua thought-of entities; moreover, the real metaphysical nature of intentionalia is various, insofar as it is settled independently of the fact that intentionalia are targets of one’s thought. As I will point out, ST has the ontological consequence that the intentionalia that really belong to the general inventory of what there is, the overall domain, are those that fall under a good metaphysical kind, i.e., a (...) kind such that its members figure (for independent reasons) in such an inventory. Negatively put, if there are no things of a certain metaphysical kind, thoughts about things of that kind are not really committed to such things. Pace Crane, however, this does not mean that the intentionalia that are really there are only those that exist. For existence, qua first-order property, is no metaphysical kind. Thus, there may really be intentionalia that do not exist, provided that they belong to good metaphysical kinds. (shrink)

In this paper, I will defend the claim that there are three existence properties: the second-order property of being instantiated, a substantive first-order property (or better a group of such properties) and a formal, hence universal, first-order property. I will first try to show what these properties are and why we need all of them for ontological purposes. Moreover, I will try to show why a Meinong-like option that positively endorses both the former and the latter first-order property is the (...) correct view in ontology. Finally, I will add some methodological remarks as to why this debate has to be articulated from the point of view of reality, i.e., by speaking of properties, rather than from the point of view of language, i.e., by speaking of predicates (for such properties). (shrink)

This book symposium comprises a précis of Nuno Venturinha’s Description of Situations: An Essay in Contextualist Epistemology together with four critical commentaries on different aspects of the book by Marcelo Carvalho, João Vergílio Gallerani Cuter, Marcos Silva and Darlei Dall’Agnol, and the author’s replies.

Assuming that events form a genuine ontological category, shall we say that a good inventory of the world ought to include “negative” events—failures, omissions, things that didn’t happen—along with positive ones? I argue that we shouldn’t. Talk of non-occurring events is like talk of non-existing objects and should not be taken at face value. We often speak as though there were such things, but deep down we want our words to be interpreted in such a way as to avoid serious (...) ontological commitment. (shrink)

Conceptual analysis as traditionally understood can be improved by allowing the use of a certain kind of empirical investigation. The conceptual analysis in which the kind of empirical investigation in question is used can be called “empirical conceptual analysis”. In the present inquiry, I provide a systematic exposition of empirical conceptual analysis, so understood, considering what exactly empirical conceptual analysis is, the different kinds of empirical conceptual analysis, and the main application of the method within philosophy. It can be defined (...) as a method that consists in drawing a conclusion about the semantic application conditions of a predicate on the basis of observation of the manifestations of semantic intuitions. The different kinds of empirical conceptual analysis are distinguished according to the way the manifestations of semantic intuitions are observed. The main application of the method is solving conceptual disputes – situations in which different competent speakers of a language disagree about the semantic application conditions of a predicate from that language, and their disagreement is caused by the fact that they have different semantic intuitions about that predicate. (shrink)

In this paper, I set out to answer two foundational questions concerning our psychological engagements with fictions. The first is the question of fictional transformation: How we can see fictional media while also ‘seeing’ those objects as fictional ones? The second is the question of fictional response: How and why we take the objects of fiction to be the types of things that we can respond to and judge? Standard responses to these questions rely on distinct cognitive attitudes like pretense, (...) imagination, and make-believe. I call this position the distinct attitude view. I argue against the DAV, arguing instead that a psychological framework of fiction can answer the two questions without appealing to distinct mental attitudes. Hence, I call my position the standard attitude view. The challenge for the SAV is to explain the two questions in terms of everyday mental states and the intentional content of those states. I do so by appealing to the concept of taking the fictional stance.... (shrink)

Will it rain tomorrow? Will there be a sea battle tomorrow? Will my death be painful? Wondering about the future plays a central role in our cognitive lives. It is integral to our inquiries, our planning, our hopes, and our fears. The aim of this paper is to consider various accounts of future contingents and the implications that they have for wondering about the future. I argue that reflecting on the nature of wondering about the future supports an Ockhamist account (...) of future contingents according to which many of them are true. Alternative accounts which maintain that no future contingents are true, either by claiming that they are all false or by claiming that they are neither true nor false, face difficulties concerning why it is appropriate to wonder about them. Reflecting on wondering in general, and wondering about the future in particular, suggests that in wondering how the future will go, we implicitly assume that there is a determinate fact of the matter. After presenting an attractive account of interrogative attitudes that has been recently proposed by Jane Friedman and outlining some norms governing wondering, I argue that all accounts of future contingents except Ockhamism face difficulties concerning why it is appropriate to wonder about them. (shrink)

Gyula Klima maintains that Anselm's ontological argument is best understood in terms of a theory of reference that was made fully explicit only by later medievals. I accept the interpretative claim but offer here two objections to the argument so interpreted. The first points up a certain ambiguity in Klima's formulation of the argument, the correction of which requires a substantive revision of the argument's conclusion. The second exploits the notion of semantic closure introduced by Tarski. Klima offers the atheist (...) an ?out? by drawing a distinction between constitutive and parasitic reference. I argue that using Klima's preferred description (?the thought object than which no thought object can be thought to be greater?) to refer constitutively to God results in conceptual closure, a condition analogous to semantic closure that renders the instant conceptual scheme inconsistent and subject to paradox. Although the proof ultimately fails, Klima's development of the notions of constitutive and parasitic reference has important and far-reaching implications. (shrink)

This paper seeks to uncover and rationally reconstruct four theoretical prescriptions that H. L. A. Hart urged philosophers to observe and follow when investigating and theorizing about the nature of law. The four prescriptions may appear meager and insignificant when each is seen in isolation, but together as an inter-connected set they have substantial implications. In effect, they constitute a central part of Hart’s campaign to put philosophical investigations about the nature of law onto a path to a genuine research (...) program. The paper takes note of certain prevalent and robust trends in contemporary legal philosophy that detract its practitioners from the four prescriptions, and that have them revert to the some older modes of thinking from which Hart sought a decisive break. A number of contemporary legal philosophers’ views and commitments are taken up and assessed, and in particular those of John Gardner and Leslie Green. (shrink)

This paper seeks to uncover and rationally reconstruct four theoretical prescriptions that H. L. A. Hart urged philosophers to observe and follow when investigating and theorizing about the nature of law. The four prescriptions may appear meager and insignificant when each is seen in isolation, but together as an inter-connected set they have substantial implications. In effect, they constitute a central part of Hart's campaign to put philosophical investigations about the nature of law onto a path to a genuine research (...) program. The paper takes note of certain prevalent and robust trends in contemporary legal philosophy that detract its practitioners from the four prescriptions, and that have them revert to the some older modes of thinking from which Hart sought a decisive break. A number of contemporary legal philosophers' views and commitments are taken up and assessed, and in particular those of John Gardner and Leslie Green. ‘Yet the answer is a prosaic one: don’t ask what time is but how the word ‘time’ is being used’.Friedrich Waismann.I miss the future.Jaron Lanier. (shrink)

There is a familiar debate between Russell and Strawson concerning bivalence and ‘the present King of France’. According to the Strawsonian view, ‘The present King of France is bald’ is neither true nor false, whereas, on the Russellian view, that proposition is simply false. In this paper, I develop what I take to be a crucial connection between this debate and a different domain where bivalence has been at stake: future contingents. On the familiar ‘Aristotelian’ view, future contingent propositions are (...) neither true nor false. However, I argue that, just as there is a Russellian alternative to the Strawsonian view concerning ‘the present King of France’, according to which the relevant class of propositions all turn out false, so there is a Russellian alternative to the Aristotelian view, according to which future contingents all turn out false, not neither true nor false. The result: contrary to millennia of philosophical tradition, we can be open futurists without denying bivalence. (shrink)

Conventional wisdom has it that there is a class of attitude ascriptions such that in making an ascription of that sort, the ascriber undertakes a commitment to specify the contents of the ascribee’s head in what might be called a notionally sensitive, ascribee-centered way. In making such an ascription, the ascriber is supposed to undertake a commitment to specify the modes of presentation, concepts or notions under which the ascribee cognizes the objects (and properties) that her beliefs are about. Consequently, (...) it is widely supposed that an ascription of the relevant sort will be true just in case it specifies either directly or indirectly both what the ascribee believes and how she believes it. The class of “notionally sensitive” ascriptions has been variously characterized. Quine (1956) calls the class I have in mind the class of notional ascriptions and distinguishes it from the class of relational ascriptions. Others call the relevant class the class of de dicto ascriptions and distinguish it from the class of de re ascriptions. More recently, it has been called the class of notionally loaded ascriptions (Crimmins 1992, 1995). So understood, the class can be contrasted with the class of notionally neutral ascriptions. Just as the class of notional/de dicto/notionally loaded ascriptions is supposed to put at semantic issue the ascribee’s notions/conceptions/modes of presentation, so ascriptions in the relational/de re/notionally neutral class are supposed not to.. (shrink)

We argue for a new mode of interpretation for attributed attitudes, what we call de translato interpretation. De translato interpretation assigns a meaning to an expression based on the interpretation given to that expression by the attitude subject rather than that standardly given by the attributor. We argue that this new mode of interpretation is distinct from but compatible with de dicto, de re and de qualitate interpretation. Formally, de translato interpretation is analyzed as introducing a modification in the language (...) used for interpretation, where the modification alters the attributor’s language in such a way as to more closely approximate the presumed language of a perspective holder. Attitude predicates are taken to introduce the perspective of their subject as a parameter of interpretation for the clause they embed. (shrink)

A standard methodology in philosophy of language is to use intuitions as evidence. Machery, Mallon, Nichols, and Stich challenged this methodology with respect to theories of reference by presenting empirical evidence that intuitions about one prominent example from the literature on the reference of proper names vary between Westerners and East Asians. In response, Sytsma and Livengood conducted experiments to show that the questions Machery and colleagues asked participants in their study were ambiguous, and that this ambiguity affected the responses (...) given by Westerners. Sytsma and Livengood took their results to cast doubt on the claim that the current evidence indicates that there is cross-cultural variation in intuitions about the Gödel case. In this paper we report on a new cross-cultural study showing that variation in intuitions remains even after controlling for the ambiguity noted by Sytsma and Livengood. (shrink)

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

In several works, Frege argues that content is objective (i.e., thethoughts we entertain and communicate, and the senses of which theyare composed, are public, not private, property). There are, however,some remarks in the Fregean corpus that are in tension with this view.This paper is centered on an investigation of the most notorious andextreme such passage: the `Dr. Lauben example, from Frege (1918). Aprincipal aim is to attain more clarity on the evident tension withinFreges views on content, between this dominant objectivism (...) and someelements that seem to run counter to it, via developing an understandingof the `Dr. Lauben example. Then I will argue that this interpretation goes some way toward undermining some prevalent contemporary viewsabout language. Based on the advice of Dr. Lauben, I will argue againsta certain understanding of the causal-historical theory of reference –more specifically, of the phenomenon of deferential uses of linguisticexpressions – upon which these views are premised, and I will drawout some morals that pertain to individualism and competence. (shrink)

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

Metaethical realists disagree about the nature of normative properties. Naturalists think that they are ordinary natural properties: causally efficacious, a posteriori knowable, and usable in the best explanations of natural and social sciences. Non-naturalist realists, in contrast, argue that they are sui generis: causally inert, a priori knowable and not a part of the subject matter of sciences. It has been assumed so far that naturalists can explain causally how the normative predicates manage to refer to normative properties, whereas non-naturalists (...) are unable to provide equally satisfactory metasemantic explanations. This article first describes how the previous non-naturalist accounts of reference fail to tell us how the normative predicates could have come to refer to the non-natural properties rather than to the natural ones. I will then use the so-called qua-problem to show how the causal theories of reference of naturalists also fail to fix the reference of normative predicates to unique natural properties. Finally, I will suggest that, just as naturalists need to rely on the non-causal mechanism of reference magnetism to solve the previous problem, non-naturalists, too, can rely on the very same idea to respond to the pressing metasemantic challenges that they face concerning reference. (shrink)

In this paper, I present what I call the symmetry conception of God within 1st order, extensional, non-well-founded set theory. The symmetry conception comes in two versions. According to the first, God is that unique being that is universally symmetrical with respect to set membership. According to the second, God is the universally symmetrical set of all sets that are universally symmetrical with respect to set membership. I present a number of theorems, most importantly that any universally symmetrical set is (...) identical to its essence, that show that the two symmetry conceptions intersect with some dominant theological conceptions of God. The theorems also show that both of the symmetry conceptions of God entail that God has a fractal like structure. (shrink)

This paper is about one of Arthur Prior’s earliest publications in philosophy, “The Nation and the Individual”. Its aims are to show that Prior made a remarkable contribution to social ontology in the 1930s which should be read with some attention to its historical background, which closely follows John Wisdom as to its theoretical elements, in particular the notion of a “logical construction”, but which is more clearly eliminativist with regard to nations and which is original in terms of rather (...) bold ethical consequences; to interpret Prior’s/Wisdom’s proposal as a promise of reduction by translation and to connect Prior’s/Wisdom’s ideas with John Searle’s recent work on social ontology. (shrink)

This paper does not deal with the topic of ‘the generosity of artificial languages from an Asian or a comparative perspective’. Rather, it is concerned with a particular case taken from a development in the Western tradition, when in the wake of the rise of formal logic at the end of the nineteenth and the beginning of the twentieth century people in philosophy and later in linguistics started to use formal languages in the study of the semantics of natural languages. (...) This undertaking rests on certain philosophical assumptions and instantiates a particular methodology, that we want to examine critically. However, that in itself is still too broad a topic for a single paper, so we will focus on a particular aspect, viz., the distinction between grammatical form and logical form and the crucial role it plays in how the relationship between natural languages and formal languages is understood in this tradition. We will uncover two basic assumptions that underlie the standard view on the distinction between grammatical form and logical form, and discuss how they have contributed to the shaping of a particular methodology and a particular view on the status of semantics as a discipline. (shrink)

This paper argues that verb phrase ellipsis requires contrast. The central observation is that ellipsis is ungrammatical in tautologous conditionals; e.g., *_If John wins, then he does_. Ellipsis is correctly ruled out by a focus-based theory of ellipsis (Rooth 1992a, b ), but one that crucially imports focus’s requirement for contrast: an elliptical constituent must have an antecedent that is not merely an alternative to it, but a ‘proper’ alternative. An explanation in terms of contrast failure proves superior to alternative (...) explanations in terms of triviality and matching form. Showing as much catalogues what counts for contrast in ellipsis, encompassing negation, questions, and intensionality. Subjecting ellipsis to a contrast requirement is in direct conflict with the traditional analysis of MaxElide effects (Takahashi and Fox 2005 ), favouring alternative explanations (e.g., Jacobson 2019a, b ), perhaps in terms of contrast itself (Griffiths 2019 ). Overall, this paper establishes that contrast has explanatory power in ellipsis licensing. (shrink)

The paper gives a detailed reconstruction and discussion of Peirce’s doctrine of propositions, so-called Dicisigns, developed in the years around 1900. The special features different from the logical mainstream are highlighted: the functional definition not dependent upon conscious stances nor human language, the semiotic characterization extending propositions and quasi-propositions to cover prelinguistic and prehuman occurrences of signs, the relations of Dicisigns to the conception of facts, of diagrammatical reasoning, of icons and indices, of meanings, of objects, of syntax in Peirce’s (...) logic-as-semiotics. (shrink)

Bertrand Russell's 1903 masterpiece "The Principles of Mathematics" places great emphasis on the need to separate propositions from psychological items such as thoughts. In 1919 Russell explicitly retracts this view, however, and defines propositions as "psychological occurrences". These psychological occurrences are held by Russell to be mental images. In this paper, I seek to explain this radical change of heart. I argue that Russell's re-psychologising of the proposition in 1919 can only be understood against the background of his struggle with (...) the problem of the unity of the proposition in earlier work. Once this is recognized, and the solution to the problem offered by the 1919 theory is appreciated, new light is also shed on Russell's naturalism. I go on to compare Russell's psychological "picture theory" with the vehemently anti-psychological picture theory of Wittgenstein's "Tractatus Logico-Philosophicus" and suggest that, once the background of the dispute is brought into clearer focus, Russell's position can be seen to have many advantages over its more celebrated rival. (shrink)

The theory of descriptions, presented informally in "On Denoting" and more formally in Principia Mathematica, has been endorsed by many linguists and philosophers of language as a contribution to natural-language semantics. However, the syntax of Principia’s formal language is far from ideal as a tool for the analysis of natural language. Stephen Neale has proposed a reconstruction of the theory of descriptions in a language of restricted quantification that gives a better approximation of the syntax of English (and, arguably, of (...) other natural languages). This has led to resistance from some Russell scholars who object to the identification of descriptions with quantifiers at the level of logical form in this new language on the grounds that the identification fails to respect the Russellian conception of descriptions as incomplete symbols. I defend Neale’s reconstruction of the theory and argue that he has preserved everything essential to the theory, including the notion of an incomplete symbol. However, I then go on to argue, contrary to Neale and his objectors as well as Russell himself, that the doctrine of incomplete symbols is a superfluous and undesirable element of the theory that is best jettisoned from the theory. (shrink)

Many epistemologists have been attracted to the view that knowledge-wh can be reduced to knowledge-that. An important challenge to this, presented by Jonathan Schaffer, is the problem of “convergent knowledge”: reductive accounts imply that any two knowledge-wh ascriptions with identical true answers to the questions embedded in their wh-clauses are materially equivalent, but according to Schaffer, there are counterexamples to this equivalence. Parallel to this, Schaffer has presented a very similar argument against binary accounts of knowledge, and thereby in favour (...) of his alternative contrastive account, relying on similar examples of apparently inequivalent knowledge ascriptions, which binary accounts treat as equivalent. In this article, I develop a unified diagnosis and solution to these problems for the reductive and binary accounts, based on a general theory of knowledge ascriptions that embed presuppositional expressions. All of Schaffer's apparent counterexamples embed presuppositional expressions, and once the effect of these is taken into account, it becomes apparent that the counterexamples depend on an illicit equivocation of contexts. Since epistemologists often rely on knowledge ascriptions that embed presuppositional expressions, the general theory of them presented here will have ramifications beyond defusing Schaffer's argument. (shrink)