Williamson has forcefully argued that Fitch's argument shows that the domain of the unknowable is non-empty. And he exhorts us to make more inroads into the land of the unknowable. Concluding his discussion of Fitch's argument, he writes: " Once we acknowledge that [the domain of the unknowable] is non-empty, we can explore more effectively its extent. … We are only beginning to understand the deeper limits of our knowledge. " I shall formulate and evaluate a new argument concerning the (...) domain of the unknowable. It is an argument about knowability. More specifically, it is an argument about what we can know about the natural numbers. Since the domain of discourse will be the natural numbers structure, the notion of knowability can for the purposes of the argument be identified with a priori knowability or – which amounts to the same thing – absolute provability .Suppose, for a reductio, that there exists a property θ of natural numbers such that it is provable that for some natural number n, θ is true but unprovable. …. (shrink)

The later Wittgenstein famously holds that an understanding which tries to run up against the limits of language bumps itself and results in nothing but plain nonsense. Therefore, the task of philosophy cannot be to create an ‘ideal’ language so as to produce a ‘real’ understanding in the first place; its aim must be to remove particular misunderstandings by clarifying the use of our ordinary language. Accordingly, Wittgenstein opposes both the sublime terms of traditional philosophy and the formal frameworks of (...) modern logics---and adheres to a pointedly casual, colloquial style in his own philosophizing. However, there seems to lurk a certain inconsistency in Wittgenstein’s ordinary language approach: his philosophical remarks frequently remain enigmatic, and many of the terms Wittgenstein coins appear to be highly technical. Thus, one might wonder whether his verdicts on the limits of language and on philosophical jargons might not be turned against his own practice. The present essay probes the extent to which the contravening tendencies in Wittgenstein’s mature philosophy might be reconciled. Section 2 sketches Wittgenstein’s general approach to philosophy and tracks the special role that the language of everyday life occupies therein. Section 3 reconstructs Wittgenstein’s preferred method for philosophy, which he calls perspicuous representation, and argues that this method implements an aesthetic conception of philosophy and a poetic approach to philosophical language, in which philosophical insights are not explicitly stated, but mediated through well-worded and creatively composed descriptions. Section 4 discusses how Wittgenstein’s philosophical poetics relates to artificial terminologies and grammars in philosophy and science. (shrink)

The later Wittgenstein famously holds that an understanding which tries to run up against the limits of language bumps itself and results in nothing but plain nonsense. Therefore, the task of philosophy cannot be to create an ‘ideal’ language so as to produce a ‘real’ understanding for the first time; its aim must be to remove particular misunderstandings by clarifying the use of our ordinary language. Accordingly, Wittgenstein opposes both the sublime terms of traditional philosophy and the formal frameworks of (...) modern logics—and adheres to a pointedly casual, colloquial style in his own philosophizing. However, there seems to lurk a certain inconsistency in Wittgenstein’s ordinary language approach: his philosophical remarks frequently remain enigmatic, and many of the terms Wittgenstein coins seem to be highly technical. Thus, one might wonder whether his verdicts on the limits of language and on philosophical jargons might not be turned against his own practice. The present essay probes the extent to which the contravening tendencies in Wittgenstein’s mature philosophy might be reconciled. Section 2 sketches Wittgenstein’s general approach to philosophy and tracks the special rôle that the language of everyday life occupies therein. Section 3 reconstructs Wittgenstein’s preferred method for philosophy, which he calls perspicuous representation, and argues that this method implements an aesthetic conception of philosophy and a poetic approach to philosophical language, in which philosophical insights are not explicitly stated, but mediated through well-worded and creatively composed descriptions. Section 4 discusses how Wittgenstein’s philosophical poetics relates to artificial terminologies and grammars in philosophy and science. (shrink)

In his groundbreaking Grundlagen, Frege (1884) pointed out that number words like ‘four’ occur in ordinary language in two quite different ways and that this gives rise to a philosophical puzzle. On the one hand ‘four’ occurs as an adjective, which is to say that it occurs grammatically in sentences in a position that is commonly occupied by adjectives. Frege’s example was (1) Jupiter has four moons, where the occurrence of ‘four’ seems to be just like that of ‘green’ in (...) (2) Jupiter has green moons. On the other hand, ‘four’ occurs as a singular term, which is to say that it occurs in a position that is commonly occupied by paradigmatic cases of singular terms, like proper names: (3) The number of moons of Jupiter is four. Here ‘four’ seems to be just like ‘Wagner’ in (4) The composer of Tannhäuser is Wagner, and both of these statements seem to be identity statements, ones with which we claim that what two singular terms stand for is identical. But that number words can occur both as singular terms and as adjectives is puzzling. Usually adjectives cannot occur in a position occupied by a singular term, and the other way round, without resulting in ungrammaticality and nonsense. To give just one example, it would be ungrammatical to replace ‘four’ with ‘the number of moons of Jupiter’ in (1): (5) *Jupiter has the number of moons of Jupiter moons. This ungrammaticality results even though ‘four’ and ‘the number of moons of Jupiter’ are both apparently singular terms standing for the same object in (3). So, how can it be that number words can occur both as singular terms and as adjectives, while other adjectives cannot occur as singular terms, and other singular terms cannot occur as adjectives? (shrink)

According to ontological nihilism nothing exists. A recent argument purports to show that this view is indefensible, since its most plausible formulations are tacitly committed to quantificational claims that are inconsistent with the nihilist's view that there aren't any existents. I show that this objection begs the question against the nihilist. The objector's argument relies on an equivalence principle implying that claims which nihilists regard as non-quantificational should nonetheless be interpreted as equivalent to quantified claims, given that both kinds of (...) assertion are assertible in the same contexts. This style of reasoning is supported by considerations of charity, which suggest that similarities in inter-personal patterns of language use provide evidence of similarity in the semantic content of speakers' utterances. However, related considerations also suggest that intra-personal patterns of language use constitute significant semantic evidence of the same kind. When we appreciate this and further recognize that nihilists are disposed to assert the negation of any positive, quantified claim, we see that it is too much to expect principles of semantic interpretation based on considerations of charity to decisively refute nihilism. This result has interesting metametaphysical implications concerning the role and scope of analogous arguments based on principles of interpretive charity. (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.

The authors believe that the questions raised at the beginning of Frege’s On Sense and Reference – ‘Is [identity] a relation? A relation between objects, or between names or signs of objects?’ – set the course for a long-lasting but not at all satisfying discussion. For the disputants tend to advocate, either a ‘name-view’ of identity in a straightforward but rudimentary and logically untenable form, or else a version of an ‘object-view’ that makes all too light of the analysandum–analysans distinction (...) and hence is damned to analytical barrenness. In contrast, by unfolding the underlying idea of the original ‘name-view’, the authors offer three alternative and mutually compatible interpretations of identity that may best be characterized as the ‘name-based’, the ‘hybrid’ and the ‘sense-based’ variant of a ‘concept-view of identity’. At the same time, however, these interpretations may well be considered variants of a non-barren ‘object-view’. (shrink)

My belief that Socrates was wise, and your belief that Socrates was mortal can be said to have a common focus, insofar as both these thoughts are about Socrates. In Peter Geach’s terminology, the objects of our beliefs bear the feature of intentional identity, because our beliefs share the same putative target. But what if it turned out that Socrates never existed? Can a pair of thoughts share a common focus if the object both thoughts are about, does not actually, (...) really exist? Object-centric accounts of intentionality which explain the aboutness or directedness of thought in terms of the intentional object the thought in question is about, contend that thoughts which share a common focus do so in virtue of both thoughts simply being about the same intentional object. However, Alexander Sandgren contends that such theories face difficulties in explaining a puzzle of intentional identity put forward by Walter Edelberg, in which a pair of sentences seem to differ in truth value but are purportedly logically equivalent on the object-centric theory. If this is right, then it seems that any account which explains intentionality with reference to an intentional object is threatened by this result, whether this object be abstract, merely possible, Meinongian, or otherwise. In this paper, I argue that Edelberg’s Puzzle is analogous to Frege’s Puzzle and the same tools conventionally used to solve Frege’s Puzzle can be used to solve Edelberg’s Puzzle. I then propose a new object-centric solution to Edelberg’s Puzzle which takes into account modes of presentation and which is able to accommodate all the relevant linguistic data. (shrink)

There is today much interest in research of neuronal substrata in metaphor processing. It has been suggested that the right hemisphere yields a key role in the comprehension of figurative language and, particularly, in metaphors. Figurative language is included in pragmatics, a branch of linguistics that researches the use of language, in opposition to the study of the system of language. There lingers, though, an open debate in respect to the identification of the specific aspects concerning semantics, as opposed to (...) those dominated by pragmatics. Can studies from neuronal correlates clarify questions that relate to semantics/pragmatics representation? I shall analyze neuroscientific developments about implicit language to attempt to understand, in section 2, scientific techniques available and more suitable to the phenomenology of the act of understanding an implicit, figurative or implicated message in a certain language game. To do so, I shall start by reviewing the studies in philosophy of language, and accommodate the development of the research in pragmatics underlying metaphor, particularly, in Philosophical Investigations by Wittgenstein. Finally, I discuss the possibility of interpretative capabilities being socioculturally grounded. I expect this methodological analysis to contribute to the enlightenment of the problem of phenomenology of intersubjective pragmatics, and to its future experimental paradigms. (shrink)

The so-called New Theory of Reference (Marcus, Kripke etc.) is inspired by the insight that in modal and intensional contexts quantifiers presuppose nondescriptive unanalyzable identity criteria which do not reduce to any descriptive conditions. From this valid insight the New Theorists fallaciously move to the idea that free singular terms can exhibit a built-in direct reference and that there is even a special class of singular terms (proper names) necessarily exhibiting direct reference. This fallacious move has been encouraged by a (...) mistaken belief in the substitutional interpretation of quantifiers, by the myth of thede re reference, and a mistaken assimilation of direct reference to ostensive (perspectival) identification. Thede dicto vs.de re contrast does not involve direct reference, being merely a matter of rule-ordering (scope).The New Theorists' thesis of the necessity of identities of directly referred-to individuals is a consequence of an unmotivated and arbitrary restriction they tacitly impose on the identification of individuals. (shrink)

While research on object individuation assumes that even very young children are able to perceive objects as particulars, we argue that the results of relevant studies can be explained in terms of feature discrimination. We propose that children start out navigating the world with a feature‐based ontology and only later become able to individuate objects spatiotemporally. Furthermore, object individuation is a cognitively demanding achievement resting on a uniquely human form of enculturation, namely the acquisition of deictic demonstratives. We conclude by (...) outlining empirical expectations for operationalizations of our proposal. (shrink)

Discussing Keith Donnellan's distinction between attributive and referential uses of descriptions, Gareth Evans considered a speaker he found it natural to describe as having “given expression to” a singular thought, though he insisted she was not referring to the person she has in mind. On accounts otherwise similar to Evans's, to express a singular thought just is to refer. Thus, as he does not explain why this speaker might speak this way, it is tempting to ignore this as a slip. (...) On the contrary, I shall argue, Evans has good reason to deny that picture of reference. My interest, though, is in the case itself. It turns out it is a presentational use of descriptions: it provides its audience a cognitive ability they would otherwise lack. This characterization raises deep theoretical questions which I only begin to address here. My goal is to show that we ought to address those questions, for there is no better way of understanding examples like Evans's than to see them as presentational. (shrink)

Presupposition is the semantic-pragmatic phenomenon whereby a statement contains an implicit precondition that must be taken for granted for that statement to be felicitous. This article discusses the role of presupposition in legislative texts, using examples from Swiss constitutional and administrative law. It illustrates how presuppositions are triggered in these texts and what functions they come to serve, placing special emphasis on their constitutive power. It also demonstrates how legislative drafters can distinguish between “good” presuppositions and “bad” presuppositions by weighing (...) their main advantage, conciseness, against their main flaw, reduced transparency. The present study argues that, if employed carefully, presuppositions can be a useful stylistic means to keep legislative texts free from unnecessary clutter that merely elaborates on the obvious; however, it also suggests that, if applied wrongly, presuppositions can camouflage the duties and obligations placed on the subjects of a law and thus impede its accessibility and its efficient and effective implementation. (shrink)

The central topic of this article is (the possibility of) de re knowledge about natural numbers and its relation with names for numbers. It is held by several prominent philosophers that (Peano) numerals are eligible for existential quantification in epistemic contexts (‘canonical’), whereas other names for natural numbers are not. In other words, (Peano) numerals are intimately linked with de re knowledge about natural numbers, whereas the other names for natural numbers are not. In this article I am looking for (...) an explanation of this phenomenon. It is argued that the standard induction scheme plays a key role. (shrink)

Fregean theories of descriptions as terms have to deal with improper descriptions. To save bivalence various proposals have been made that involve assigning referents to improper descriptions. While bivalence is indeed saved, there is a price to be paid. Instantiations of the same general scheme, viz. the one and only individual that is F and G is G, are not only allowed but even required to have different truth values.

This essay explores the validity of Gregory Boyd’s open theistic account of the nature of the future. In particular, it is an investigation into whether Boyd’s logical square of opposition for future contingents provides a model of reality for free will theists that can preserve both bivalence and a classical conception of omniscience. In what follows, I argue that it can.

I interpret the anti-idealist manoeuverings of the second half of Moore's 'The refutation of idealism', material as widely cited for its discussion of 'transparency' and 'diaphanousness' as it is deeply obscure. The centerpiece of these manoeuverings is a phenomenological argument for a relational view of perceptual phenomenal character, on which, roughly, 'that which makes the sensation of blue a mental fact' is a non-intentional relation of conscious awareness, a view close to the opposite of the most characteristic contemporary view going (...) under the transparency rubric. The discussion of transparency and diaphanousness is a sidelight, its principal purpose to shore up the main line of argumentation against criticism; in those passages all Moore argues is that the relation of conscious awareness is not transparent, while acknowledging that it can seem to be. (shrink)

In this essay, we propose that Peirce’s Existential Graphs can derive the desired uniqueness implication (or in a weaker claim, the definite description readings) of donkey pronouns in conjunctive discourse (A man walks in the park. He whistles), without postulating a separate category of E-type pronouns.

No present theory explains the inferences people draw about the real world when reasoning about “bouletic” relations, that is, predicates that express desires, such aswantin “Lee wants to be in love”. Linguistic accounts ofwantdefine it in terms of a relation to a desirer's beliefs, and how its complement is deemed desirable. In contrast, we describe a new model‐based theory that posits that by default, desire predicates such aswantcontrast desires against facts. In particular,A wants Pimplies by default thatPis not the case, (...) because you cannot want what is already true. On further deliberation, reasoners may infer thatA believes, but does not know for certain, thatPis not the case. The theory makes several empirical predictions about how people interpret, assess the consistency of, and draw conclusions from desire predicates likewant. Seven experiments tested and validated the theory's central predictions. We assess the theory in light of recent proposals of desire predicates. (shrink)

This paper explains how an assertion may be understood despite there being nothing said or meant by the assertion. That such understanding is possible is revealed by cases of the so-called ``felicitous underspecification'' of demonstratives: cases where there is understanding of an assertion containing a demonstrative despite the interlocutors not settling on one or another object as the one the speaker is talking about (King 2014a, 2017, 2021). I begin by showing how Stalnaker's ([1978] 1999) well-known pragmatic principles adequately permit (...) and constrain the felicitous underspecification of demonstratives. I then establish a connection between the satisfaction of Stalnaker's principles and understanding, and show how that connection sheds further light on the relevant cases. After developing and motivating my proposal, I address some objections to it, then briefly discuss the felicitous underspecification of expressions other than demonstratives alongside contrasting my proposal with a similar one from Bowker (2015, 2019) that concerns definite descriptions. (shrink)

In 1913 Wittgenstein raised an objection to Russell’s multiple relation theory of judgment that eventually led Russell to abandon his theory. As he put it in the Tractatus, the objection was that “the correct explanation of the form of the proposition, ‘A makes the judgement p’, must show that it is impossible for a judgement to be a piece of nonsense. (Russell’s theory does not satisfy this requirement,” (5.5422). This objection has been widely interpreted to concern type restrictions on the (...) constituents of judgment. I argue that this interpretation is mistaken and that Wittgenstein’s objection is in fact a form of the problem of the unity of the proposition. (shrink)

A key epistemic puzzle about theatrical performances of fictional narratives has to do with how spectators pick out and recognize the characters they encounter. An adequate solution to the puzzle is constrained by several factors : it should be similar to what we need to say about picking out and recognition of characters in non-fictional narratives ; it should be similar to what we need to say about picking out and recognizing elements in non-narrative performances ; it be it must (...) be sensitive to the fact that most plays do not name or describe their characters ; it must be sensitive to the fact that most spectators have no prior experience or preparation for what they will encounter ; and it must comport with any plausible story we have to tell about the mechanisms we bring to the identification and re-identification of individuals in daily life. In this paper, I review a solution that meets these constraints and, in particular, I show why the proposed solution is likely to be subserved by very basic cognitive mechanisms involved in object perception and recognition in everyday life. I conclude by responding to ontological worries the solution is likely to foster. (shrink)

We examine a crucial question for the World Wide Web: What does a Uniform Resource Identifier (URI) mean? Crucial for the next-generation Semantic Web, can it refer to things outside web-pages? The Web is a universal information space for naming and accessing information via URIs. However, the classical philosophical problems of meaning and reference that have been the source of debate within the philosophy of language return when the Web is given as the foundation for a knowledge representation with the (...) Semantic Web. Debates on the Semantic Web about the meaning and referential status of a URI are explored as analogues to debates about the meaning and reference of names in the philosophy of language. Three main positions are inspected: the logical position, as exemplified by the descriptivist theory of reference, the direct reference position, as exemplified by Putnam and Kripke’s causal theory of reference, and a Wittgensteinian position that views URIs as a public language, as exemplified by Web search engines. These positions show that debates within the philosophy of language are alive and well on the Web, and so in the philosophy of computer science. (shrink)

In “Double Vision Two Questions about the Neo-Fregean Programme”, John MacFarlane’s raises two main questions: (1) Why is it so important to neo-Fregeans to treat expressions of the form ‘the number of Fs’ as a species of singular term? What would be lost, if anything, if they were analysed instead as a type of quantifier-phrase, as on Russell’s Theory of Definite Descriptions? and (2) Granting—at least for the sake of argument—that Hume’s Principle may be used as a means of implicitly (...) defining the number operator, what advantage, if any, does adopting this course possess over a direct stipulation of the Dedekind-Peano axioms? This paper attempts to answer them. In response to the first, we spell out the links between the recognition of numerical terms as vehicles of singular reference and the conception of numbers as possible objects of singular, or object-directed, thought, and the role of the acknowledgement of numbers as objects in the neo-Fregean attempt to justify the basic laws of arithmetic. In response to the second, we argue that the crucial issue concerns the capacity of either stipulation—of Hume’s Principle, or of the Dedekind-Peano axioms—to found knowledge of the principles involved, and that in this regard there are crucial differences which explain why the former stipulation can, but the latter cannot, play the required foundational role. (shrink)

Since 2016, there has been an explosion of academic work and journalism that fixes its subject matter using the terms ‘fake news’ and ‘post-truth’. In this paper, I argue that this terminology is not up to scratch, and that academics and journalists ought to completely stop using the terms ‘fake news’ and ‘post-truth’. I set out three arguments for abandonment. First, that ‘fake news’ and ‘post-truth’ do not have stable public meanings, entailing that they are either nonsense, context-sensitive, or contested. (...) Secondly, that these terms are unnecessary, because we already have a rich vocabulary for thinking about epistemic dysfunction. Thirdly, I observe that ‘fake news’ and ‘post-truth’ have propagandistic uses, meaning that using them legitimates anti-democratic propaganda, and runs the risk of smuggling bad ideology into conversations. (shrink)

Brahmānanda Sarasvatī has written an elaborate comment on the following inference cited in Advaitasiddhi: attribute etc. are identical to and different from attributee etc. since they are co-referential. There he wants to prove that every significant case of attribution is a case of identity that coexists with a difference between two demarcators. The identity that coexists with difference is called ‘equality’. This paper will argue that in each case of equality, the realist ontology chooses either identity over difference or the (...) reverse. In the case of ‘the black pot’, the realist ontology prefers difference over identity. In the case of ‘the qualified object is the mere object’, the same ontology prefers identity over difference. Accordingly the ontological ‘entity’ gets projected. This is perhaps because the realist ontology is guided by Ockham’s razor and the grammatical classification of objects. (shrink)

Intentionality, or the power of minds to be about, to represent, or to stand for things, remains central in the philosophy of mind. But the study of intentionality in the analytic tradition has been dominated by discussions of propositional attitudes such as belief, desire, and visual perception. There are, however, intentional states that aren't obviously propositional attitudes. For example, Indiana Jones fears snakes, Antony loves Cleopatra, and Jane hates the monster under her bed. The present paper explores such mental states (...) in an introductory but opinionated way. (shrink)

This paper offers a positive account of an important but under-explored class of mental states, non-propositional attitudes such as loving one’s department, liking lattice structures, fearing Freddy Krueger, and hating Sherlock Holmes. In broadest terms, the view reached is a representationalist account guided by two puzzles. The proposal allows one to say in an elegant way what differentiates a propositional attitude from an attitude merely about a proposition. The proposal also allows one to offer a unified account of the non-propositional (...) attitudes that captures both empty and non-empty cases by properly locating the posited representations in the metaphysical structure of the attitudes. (shrink)

In this reply, I take up the challenges the five respondents raised. In particular, I deal with the issues of truth, bivalence, tolerance, and justification.

Contributing to the debate between referentialist and predicativist accounts of the semantics of proper names, this paper partly endorses a recent trend to reject unitary accounts of their semantics. It does so by restoring a Fregean version of the variety of use account. It criticizes alternative variety of use accounts for not clearly distinguishing pragmatic, syntactic, and semantic issues and argues that, once these are distinguished, the necessity of accepting that names have a variety of uses, and are sometimes logical (...) singular terms and at others logical predicates shows that Frege’s claim, that we should recognize that names have both reference and sense, is vindicated. (shrink)

This paper examines Russell's substitutional theory of classes and relations, and its influence on the development of the theory of logical types between the years 1906 and the publication of Principia Mathematica (volume I) in 1910. The substitutional theory proves to have been much more influential on Russell's writings than has been hitherto thought. After a brief introduction, the paper traces Russell's published works on type-theory up to Principia. Each is interpreted as presenting a version or modification of the substitutional (...) theory. New motivations for Russell's 1908 axiom of infinity and axiom of reducibility are revealed. (shrink)