By means of a reductio argument, Wittgenstein’s Tractatus calls into question the very idea that we can represent logical form. My paper addresses three interrelated questions: first, what conception of logical form is at issue in this argument? Second, whose conception of logic is this argument intended to undermine? And third, what could count as an adequate response to it? I show that the argument construes logical form as the universal, underlying correlation of any representation and the reality it represents. (...) I further show that the argument seeks to undermine core commitments of Frege’s and Russell’s. But the reductio, as I read it, is not intended to establish the falsity of any of their specific assumptions. Rather, its aim is to make manifest the indeterminacies that underlie the language in which these assumptions are framed, and establish the need for a transformation of that language. So understood, Wittgenstein’s argument exemplifies his idea that philosophy is not a theory, but an activity of elucidation. The interpretation I propose bears on one of the central debates in the literature, namely how we should understand Wittgenstein’s contention that his elucidations succeed despite being nonsensical. (shrink)

This essay introduces a puzzle about the interaction between quantifiers and epistemic modals. The puzzle motivates the idea that whether an object satisfies an epistemically modalized predicate depends on the mode of presentation of the domain of quantification. I compare two ways of implementing this idea, one using counterpart theory, the other using Aloni's 'conceptual covers' theory, and then provides some evidence in favor of the former.

Kripke (1980) hypothesizes a link between rigidity and scope: a singular term is rigid over a space S of possibilities just in case it is scopeless with respect to modals that quantify over S. Kripke’s hypothesis works well when we consider the interaction of singular terms with metaphysical modals, but runs into trouble when we consider the interaction of singular terms with epistemic modals. After describing the trouble in detail, and considering one non-solution to it, I develop a novel version (...) of dynamic semantics that resolves the problem. (shrink)

This paper examines Ralph Barton Perry's analysis of the ‘ego-centric predicament’. It will be shown that Perry convincingly argued against prevailing contemporary versions of idealism and that it makes perfectly good sense to consider him a precursor of subsequent trends in American analytic philosophy. Perry's appraisal and promotion of the contemporary logic of relations in the framework of early twentieth-century American neorealism provides further evidence of his being a proto-analytic philosopher. His personal acquaintance with Bertrand Russell proved instructive in this (...) regard. On the whole, Perry's distinctive approach to philosophy was instrumental in establishing the analytic style of reasoning in the United States. This paper is devoted to substantiating this claim. It is thus hoped that a clearer picture of early twentieth-century American philosophy will begin to emerge. (shrink)

This chapter contains sections titled: Highlights of Past Literature Current Work Future Work.

The leading accounts of the ethics of proxy decision making implicitly draw on internalist conceptions of the philosophy of mind, or so this essay tries to demonstrate. Using the views of Ronald Dworkin as its jumping‐off point, the essay argues that accepting the sort of externalism associated with writers such as Putnam and Burge would alter Dworkin's conclusions concerning how we should respond to the current or precedent decisions of people suffering from dementia. Building on the views of Agnieszka Jawarska, (...) it argues that accepting “active” externalism à la Clark and Chambers would provide currently competent people with new resources for establishing the authority of their present values over inconsistent values they might come to entertain should they become demented. (shrink)

In a recent article in this journal (Foundations of Chemistry, 7 (2005), 125–148) Lombardi and Labarca call into question a thesis of ontological reduction to which several writers on reduction subscribe despite rejecting a thesis of epistemological reduction. Lombardi and Labarca advocate instead a pluralistic ontology inspired by Putnam’s internal realism. I suggest that it is not necessary to go so far, and that a more critical view of the ontological reduction espoused by the authors they criticise circumvents the need (...) to resort to their radical alternative. (shrink)

Despite its enormous popularity, Russell’s theory of definite descriptions has received various criticisms. Two of the most important objections against this theory are those arising from the Argument from Incompleteness and the Argument from Donnellan’s Distinction. According to the former although a speaker may say something true by assertively uttering a sentence containing an incomplete description , on the Russellian analysis such a sentence expresses a false proposition; so, Russell’s theory cannot adequately deal with such sentences. According to the latter (...) objection a descriptive sentence is actually ambiguous—it expresses a general proposition when the description contained in it is used attributively, and a singular proposition when the description in question is used referentially; Russell’s theory is inadequate as it fails to capture this ambiguity and offers an analysis according to which a descriptive sentence expresses only a general proposition. These objections are examined in the present dissertation. It is shown here that these objections arise from: (i) ignoring the distinction between the meaning of a sentence and the assertions made by using it, (ii) the failure to distinguish between the semantic meaning of a sentence and the pragmatic meaning with which it is used on a particular occasion. To make the distinction mentioned in (i), a significant part of Scott Soames’ theory concerning meaning and assertions has been adopted in this dissertation; and, to make the distinction mentioned in (ii), a test, namely the cancellability test, and two Distinguishing Criteria, namely DC-1 and DC-2, have been developed here. It has been argued here that if we properly make the relevant distinctions, then we will find that: (a) the phenomenon cited by the Argument from Incompleteness can be well explained keeping the Russellian analysis of descriptive sentences intact, (b) the phenomenon arising from the Argument from Donnellan’s Distinction raises an issue of pragmatics and is irrelevant to Russell’s semantic analysis of descriptive sentences. So, none of the above criticisms poses a genuine threat to Russell’s theory of definite descriptions; his theory actually provides, to a large extent, a correct semantic analysis of descriptive sentences. (shrink)

Even though Richard Routley is known as a proponent of so-callednuclear Meinongianism (in his terminology, noneism), the details of hisview in Exploring Meinong’s Jungle and Beyond (1980) have not attractedmuch attention. In this paper, I critically examine two notablebut less known features of Meinongianism in Routley (1980) which particularlyconcern a core claim of nuclear Meinongianism that so-calledCharacterization Principle (CP) is applicable to nuclear properties(in his terminology, characterizing properties) but not to extranuclearproperties (in his terminology, noncharacterizing properties): The firstone is his (...) ‘double determination’ argument for restricting the class ofproperties to which CP is applicable; and the second is his expansionof the class of nuclear properties in terms of the supposition operator s.Firstly, I will show that the double determination argument fails, since,for some extranuclear properties, the argument fails to justify that CPis not applicable to them, and, moreover, the argument unintendedlyshows that CP is not applicable to some nuclear properties. Secondly,based on the idea that the supposition operator, combined with anyproperty f, forms the intensional property of being assumed to havef, I will give a formal treatment of the supposition operator withinthe framework of world semantics. We will see that this interpretationgoes beyond Routley’s original nuclear Meinongianism and assimilateshis view with modal Meinongianism proposed by Priest (2005, 2016). (shrink)

Despite the recent increase in interest in philosophy about ignorance, little attention has been paid to the question of what makes it possible for a being to become aware of their own ignorance. In this paper, I try to provide such an account by arguing that, for a being to become aware of their own ignorance, they must have the mental capacity to represent something as being unknown to them. For normal adult humans who have mastered a language, mental representation (...) of an unknown is enabled by forming linguistic expressions whose content is grasped, but whose referent is unknown. I provide a neo-Fregean, a neo-Russellian, and then a unified account of this. On that basis, I then argue further that the content of ignorance can always be captured by a question. I then distinguish between propositional ignorance and non-propositional ignorance and argue that propositional ignorance attributions can be of three types, that-ignorance, whether-ignorance, and fact-ignorance. I conclude by arguing that the acquisition of truths, even when it yields knowledge that is certain, does not always eliminate one’s ignorance and that there is a degree of ignorance in almost everything we claim to know. (shrink)

This paper aims at bringing together two debates in metaphysics that so far have been kept separate: the debate about determinism vs. indeterminism as de re modality on the one hand, and the debate about persistence on the other hand. Both debates significantly involve talk of things. We will show that working out a proper semantics for singular terms and an accompanying theory of things, motivated by considerations of quantified modal logic, can significantly further the persistence debate. We will use (...) our semantic framework to give an argument in support of the endurantist position as the best theory of persistence. (shrink)

Discussions about singular cognition, and its linguistic counterpart, are by no means exclusive to contemporary philosophy. In fact, a strikingly similar discussion, to which several medieval texts bear witness, took place in the late Middle Ages. The aim of this article is to partly reconstruct this medieval discussion, as it took place in Parisian question-commentaries on Aristotle’s De anima, so as to show the progression from the rejection of singular intellection in Siger of Brabant to the descriptivist positions of John (...) Duns Scotus and John of Jandun, and finally to the singularism of John Buridan. All these authors accept some kind of intellectual access to individuals. Therefore, the conundrum is not whether we have some kind of intellectual knowledge of individuals, but rather whether we can know them singularly. This article begins by presenting the crucial obstacle to singular intellection in Siger. Thereafter, the author shows that Jandun and Scotus depart in fundamental ways from Siger’s account, but that for them the intellection of individuals is of a general character. Finally, she proposes that Buridan is a genuine singularist. (shrink)

The notion of existence is a very puzzling one philosophically. Often philosophers have appealed to linguistic properties of sentences stating existence. However, the appeal to linguistic intuitions has generally not been systematic and without serious regard of relevant issues in linguistic semantics. This paper has two aims. On the one hand, it will look at statements of existence from a systematic linguistic point of view, in order to try to clarify what the actual semantics of such statements in fact is. (...) On the other hand, it will explore what sort of ontology such statements reflect. The first aim is one of linguistic semantics; the second aim is one of descriptive metaphysics. Philosophically, existence statements appear to reflect the distinction between endurance and perdurance as well as particular notions of abstract states and of kinds. Linguistically, statements of existence involve a particular way of drawing the distinction between eventive and stative verbs and between individual-level and stage-level predicates as well as a particular approach to the semantics of bare plurals and mass nouns. (shrink)

One challenge that the proponent of the Fregean theory of definite descriptions has to meet is to account for those truth-value intuitions that do not match the predictions of her theory. What needs an explanation is why sentences such as ‘The king of France is sitting in that chair’ [pointing at an empty chair] are intuitively false, while semantically truth-valueless. The existence of such cases was pointed out by Strawson :216–231, 1954) and Russell :385–389, 1957), and much discussed in the (...) subsequent literature. The standard pragmatic explanation that Fregeans have proposed :113–122, 1993; von Fintel, Descriptions and beyond, Oxford University Press, Oxford, 2004; Elbourne, Definite descriptions, Oxford University Press, Oxford, 2013) invokes an epistemic strategy of verification of the utterance of the sentence. I raise three objections to this strategy, two concerning its descriptive adequacy, and one concerning the motivation offered for the approach. Finally, I propose an alternative account that relies on an inferential pattern that leads to the relevant truth-value judgements in certain contextually specified conditions. (shrink)

In this paper, I argue that, just as the problem of unconceived alternatives provides a basis for a New Induction on the History of Science to the effect that a realist view of science is unwarranted, the problem of unconceived objections provides a basis for a New Induction on the History of Philosophy to the effect that a realist view of philosophy is unwarranted. I raise this problem not only for skepticism’s sake but also for the sake of making a (...) point about philosophical argumentation, namely, that anticipating objections to one’s claim is not the same as supporting one’s claim. In other words, defending p from objections does not amount to support or evidence for p. This, in turn, presents dialectical and pragma-dialectical approaches to argumentation with the following question: does proper argumentation require that arguers anticipate and respond to unconceived objections? (shrink)

The author investigates which methods of naming objects are possible in the language of physics on the basis of the real physical conditions and to which extend objects thereby can be identified. It is shown that in the language of classical physics naming by designation is always possible. But this implies only the temporal identity of objects, not the "trans - world" - identity, which is important for modalities. In the language of quantum physics naming by designation is no longer (...) applicable to individuals but only to classes of equivalent objects. And for these classes temporal identity as well as the "trans - world" - identity can be produced, which means that an adequate semantics can be specified for the concept of possibility necessary in this language. (shrink)

In this paper, I will show to what extent we can use our modern understanding of the Square of Opposition in order to make sense of Kant 's double standard solution to the cosmological antinomies. Notoriously, for Kant, both theses and antitheses of the mathematical antinomies are false, while both theses and antitheses of the dynamical antinomies are true. Kantian philosophers and interpreters have criticized Kant 's solution as artificial and prejudicial. In the paper, I do not dispute such claims, (...) but I show that our modern understanding of the Square of Opposition enables us to more naturally deliver the result Kant was aiming at. Accordingly, the paper does not pretend to be exegetically accurate. It is an attempt to revise the antinomies with the help of standard classical logic. And although such a revision entails some re-interpretation, in the end, it will actually help to unveil some of Kant 's thoughts. (shrink)

In “Kant on Existence, Predication, and the Ontological Argument”, Hintikka argues that the so-called “Kant–Frege view” is wrong, for its supporters erroneously assume that for Kant ‘is’ is ambiguous. In this paper, I will first critically evaluate Hintikka’s arguments against the Kant–Frege view. Then, I will attempt to prove that Kant’s claim that existence is not a real predicate and Frege’s claim that existence is a quantifier are in fact logically interdependent. Finally, I will use the Kant–Frege view in order (...) to reconcile the various claims that Kant makes about existence. (shrink)

The author examines the epistemological project of analytic philosophy, which went through stages of transformation marked by the influence of Frege and Russell. The article emphasizes the main points of the first stage of analytic philosophy, during which the sphere of experience merged with language. The next stage defines a new subject - Wittgenstein's "language subject". According to the author, this subject of speech makes decisions about the sense or absurdity of sentences based on logical form and belongs to the (...) transcendental subject of speech in general. But in the end, the epistemological project of analytic philosophy moved to new directions in which questions about experience lost their relevance. (shrink)

Anselm's Ontological Argument fails, but not for any of the various reasons commonly adduced. In particular, its failure has nothing to do with violating deep Kantian principles by treating ‘exists’ as a predicate or making reference to ‘Meinongian’ entities. Its one fatal flaw, so far from being metaphysically deep, is in fact logically shallow, deriving from a subtle scope ambiguity in Anselm's key phrase. If we avoid this ambiguity, and the indeterminacy of reference to which it gives rise, then his (...) argument is blocked even if his supposed Meinongian extravagances are permitted. Moreover it is blocked in a way which is straightforward and compelling (by contrast with the Kantian objections), and which generalizes easily to other versions of the Ontological Argument. A significant moral follows. Fear of Anselm's argument has been hugely influential in motivating ontological fastidiousness and widespread reluctance to countenance talk of potentially non-existing entities. But if this paper is correct, then the Ontological Argument cannot properly provide any such motivation. Some of the most influential contributions to ontology, from Kant to Russell and beyond, rest on a mistake. (shrink)

As an empirical inquiry into the nature of meaning, semantics must rely on data. Unfortunately, the primary data to which philosophers and linguists have traditionally appealed—judgments on the truth and falsity of sentences—have long been known to vary widely between competent speakers in a number of interesting cases. The present article constitutes an experiment in how to obtain some more consistent data for the enterprise of semantics. Specifically, it argues from some widely accepted Gricean premises to the conclusion that judgments (...) on lying are semantically relevant. It then endeavors to show how, assuming the relevance of such judgments, we can use them to generate a useful, widely acceptable test for semantic content. (shrink)

In this paper, I show how theoretical discussion of recent research on the abilities of infants and young children to represent other agents’ beliefs has been shaped by a descriptivist conception of mental content, i.e., to the notion that the distal content of a mental representation is fixed by the core body of knowledge that is associated with that mental representation. I also show how alternative conceptions of mental content—and in particular Ruth Millikan’s teleosemantic approach—make it possible to endorse the (...) view that infants have the ability to track beliefs by as early as 6 months while failing to understand some of the ways in which beliefs combine with each other and with other mental states in contributing to inferences and actions. In articulating this view, I will draw upon Millikan’s recently developed notion of ‘unicepts’. Unicepts, according to Millikan, are the basic representational vehicles that underpin our abilities to identify objects, properties, relations and kinds. When applied to research on mindreading in infancy and early childhood, Millikan’s approach generates fruitful new questions about the development of belief reasoning, and about the functions of belief reasoning in infancy and at different stages of childhood. (shrink)

Truthmaker maximalism is the claim that every truth has a truthmaker. The case of negative truths leads some philosophers to postulate negative states of affairs or to give up on truthmaker maximalism. This paper defends a version of the incompatibility view of negative truths. Negative truths can be made true by positive facts, and thus, truthmaker maximalism can be maintained without postulating negative states of affairs.

We argue that many recent philosophical discussions about the reference of everyday concepts of intentional states have implicitly been predicated on descriptive theories of reference. To rectify this, we attempt to demonstrate how a causal theory can be applied to intentional concepts. Specifically, we argue that some phenomena in early social de- velopment ðe.g., mimicry, gaze following, and emotional contagionÞ can serve as refer- ence fixers that enable children to track others’ intentional states and, thus, to refer to those states. (...) This allows intentional concepts to be anchored to their referents, even if folk psy- chological descriptions turn out to be false. (shrink)

The identity conception of truth holds that a thinkable is true just in case it is a fact. As such, it sets itself against correspondence theories of truth, while respecting the substantive role played by truth in respect of enquiry. In this article, I motivate and develop that view, and, in so doing, promote a particular conception of sense. This allows me to defend the view from two substantial criticisms. First, that the identity conception of truth is incoherent in respect (...) of its treatment of objects in the realm of reference, and, second, that it is committed to a view of the world in which ordinary objects have no place. (shrink)

Meinongian 'objects' are evoked in an effort to critique and expand upon traditional theories of reference. The argument stems from an account of Peirce's categories of meaning in light of vague, contradictory, inconsistent, general, incomplete, and incompleteable signs. In addition to signs as either 'true', 'false', or meaningless, the function of imaginary numbers reveals the possibility of a sign's being both 'true' and 'false' or neither 'true' nor 'false', over time, and dialogically speaking. This demands a tolerance for vagueness, ambiguity, (...) contradiction, and incessantly changing meaning. (shrink)

There is a core to the referential/attributive distinction that reveals a propositional ambiguity that is scope-related and rooted in syntax.

In Modal Logic as Metaphysics, Timothy Williamson claims that the possibilism-actualism (P-A) distinction is badly muddled. In its place, he introduces a necessitism-contingentism (N-C) distinction that he claims is free of the confusions that purportedly plague the P-A distinction. In this paper I argue first that the P-A distinction, properly understood, is historically well-grounded and entirely coherent. I then look at the two arguments Williamson levels at the P-A distinction and find them wanting and show, moreover, that, when the N-C (...) distinction is broadened (as per Williamson himself) so as to enable necessitists to fend off contingentist objections, the P-A distinction can be faithfully reconstructed in terms of the N-C distinction. However, Williamson’s critique does point to a genuine shortcoming in the common formulation of the P-A distinction. I propose a new definition of the distinction in terms of essential properties that avoids this shortcoming. (shrink)

According to Mohan Matthen and Edwin Levy, certain immunological processes require explanations in which the immune system is attributed intentional states. This, they think, strengthens the scientific credentials of intentional psychology and undermines the position of those who argue that the scientific treatment of human action should involve the elimination of intentional description. In this paper, I argue that immunology does not and need not employ intentional explanation or description and consequently has nothing to offer those who seek to defend (...) the scientific standing of intentional psychology by looking for other disciplines that "accommodate the intentional". (shrink)

This is a thorough treatment of first-order modal logic. The book covers such issues as quantification, equality (including a treatment of Frege's morning star/evening star puzzle), the notion of existence, non-rigid constants and function symbols, predicate abstraction, the distinction between nonexistence and nondesignation, and definite descriptions, borrowing from both Fregean and Russellian paradigms.

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

Epistemic contradictions are now a well-known and often discussed phenomenon among those who study epistemic modals. These contradictions are expressed by sentences like ‘It is raining and it might not be raining’ whose oddness to the common ear demands an explanation. However, it has turned out to be a rather controversial enterprise to provide such an explanation in a sufficiently precise and general manner. According to pragmatic explanations, epistemic contradictions are semantically consistent but pragmatically defective. According to semantic explanations, one (...) should regard epistemic contradictions as plain semantic inconsistencies. Endorsing such a semantic solution is, however, tantamount to rejecting classical logic, which predicts the consistency of epistemic contradictions. After arguing that all existing solutions to this problem face as yet unmet challenges, I will present a new solution that adequately overcomes these challenges. I will propose to view epistemic contradictions as semantically consistent but epistemically defective sentences. The main thesis emerging will be that we need neither abandon the inference rules of classical logic nor the classical truth-conditional approach to semantics to deal adequately with epistemic contradictions. (shrink)

Recent scholarship holds that unfulfilled definite descriptions do not play a role in motivating Russell’s theory of descriptions. In this paper, I make use of Gustav Bergmann’s ideal language method to develop an interpretation that restores the puzzle raised by ‘the King of France’ to the central place it once occupied in discussions of the theory of descriptions. In restoring ‘the King of France’, I show that Russell’s discussion of the problem it raises provides a decisive argument against Fregean senses, (...) a claim that also runs counter to most recent work on the theory of descriptions. (shrink)

I present a reconstruction of the logical system of the Tractatus, which differs from classical logic in two ways. It includes an account of Wittgenstein’s “form-series” device, which suffices to express some effectively generated countably infinite disjunctions. And its attendant notion of structure is relativized to the fixed underlying universe of what is named. -/- There follow three results. First, the class of concepts definable in the system is closed under finitary induction. Second, if the universe of objects is countably (...) infinite, then the property of being a tautology is \Pi^1_1-complete. But third, it is only granted the assumption of countability that the class of tautologies is \Sigma_1-definable in set theory. -/- Wittgenstein famously urges that logical relationships must show themselves in the structure of signs. He also urges that the size of the universe cannot be prejudged. The results of this paper indicate that there is no single way in which logical relationships could be held to make themselves manifest in signs, which does not prejudge the number of objects. (shrink)

In somatic medicine, diagnostic terms often refer to the disease processes that are the causes of patients' symptoms. The language used in some clinical textbooks and health information resources suggests that this is also sometimes assumed to be the case with diagnoses in psychiatry. However, this seems to be in tension with the ways in which psychiatric diagnoses are defined in diagnostic manuals, according to which they refer solely to clusters of symptoms. This paper explores how theories of reference in (...) the philosophy of language can help to resolve this tension. After the evaluation of descriptive and causal theories of reference, I put forward a conceptual framework based on two-dimensional semantics that allows the causal analysis of diagnostic terms in psychiatry, while taking seriously their descriptive definitions in diagnostic manuals. While the framework is presented as a solution to a problem regarding the semantics of psychiatric diagnoses, it can also accommodate the analysis of diagnostic terms in other medical disciplines. (shrink)

ABSTRACT The purpose of this paper is to bring out, by means of a simple thought experiment involving demonstratives, a discrepancy between what is expressed and what is believed, and to consider some consequences of this - most notably, whether we might hold, for example, that the ancients never believed that Hesperus is not Phosphorus. RESUMO O objetivo deste artigo é apresentar, por meio de um experimento mental simples envolvendo demonstrativos, uma discrepância entre o que é expresso e o que (...) se acredita, e considerar algumas consequências disso - principalmente se podemos sustentar, por exemplo, que os antigos nunca acreditaram que Hesperus não é Phosphorus. (shrink)