Logical form has always been a prime concern for philosophers belonging to the analytic tradition. For at least one century, the study of logical form has been widely adopted as a method of investigation, relying on its capacity to reveal the structure of thoughts or the constitution of facts. This book focuses on the very idea of logical form, which is directly relevant to any principled reflection on that method. Its central thesis is that there is no such thing as (...) a correct answer to the question of what is logical form: two significantly different notions of logical form are needed to fulfil two major theoretical roles that pertain respectively to logic and to semantics. This thesis has a negative and a positive side. The negative side is that a deeply rooted presumption about logical form turns out to be overly optimistic: there is no unique notion of logical form that can play both roles. The positive side is that the distinction between two notions of logical form, once properly spelled out, sheds light on some fundamental issues concerning the relation between logic and language. (shrink)

Nāgārjuna, the famous founder of the Madhyamika School, proposed the positive catuṣkoṭi in his seminal work, Mūlamadhyamakakārikā: ‘All is real, or all is unreal, all is both real and unreal, all is neither unreal nor real; this is the graded teaching of the Buddha’. He also proposed the negative catuṣkoṭi: ‘“It is empty” is not to be said, nor “It is non-empty,” nor that it is both, nor that it is neither; [“empty”] is said only for the sake of instruction’ (...) and the no-thesis view: ‘No dharma whatsoever was ever taught by the Buddha to anyone’. In this essay, I adopt Gricean pragmatics to explain the positive and negative catuṣkoṭi and the no-thesis view proposed by Nāgārjuna in a way that does not violate classical logic. For Nāgārjuna, all statements are false as long as the hearer understands them within a reified conceptual scheme, according to which substance is a basic categorical concept; substances have svabhāva, and names and sentences have svabhāva. (shrink)

I argue that mental descriptivism cannot be reasonably thought superior to rival theories on the grounds that it can (while they cannot) provide an elegant account of reference failure. Descriptivism about the particular-directed intentionality of our mental states fails when applied to desires. Consider, for an example, the desire that Satan not tempt me. On the descriptivist account, it looks like my desire would be fulfilled in conditions in which there exists exactly one thing satisfying some description only Satan satisfies (...) (call it the Satanic Description). However, against this analysis, it is clearly compatible with desiring that Satan not tempt me that I also desire that there exist nothing satisfying the Satanic Description. The descriptivist has room for maneuver here, but the cost of accommodating this phenomenon is that the descriptivist shall no longer be able to use her theory to ameliorate the possibility of reference failure. (shrink)

Definite articles and demonstratives share many features in common including a related etymology and a number of parallel communicative functions. The following paper is concerned with developing a novel proposal on how to distinguish the two types of expression. First, crosslinguistic evidence is presented to argue that demonstratives contain locational markers that are employed in deictic uses to force contrastive focus and accentuate an intended referent against a contextual background. Conversely, definite articles lack such markers. Demonstratives are thus more likely (...) to force referential interpretations, whereas definite descriptions are more open to attributive ones. Second, an analysis of determiner phrases is provided to illustrate that certain syntactic projections capture deictic differences between the two expressions. Semantic correlates of the proposal are then considered before it is situated with respect to contemporary work distinguishing the two categories on the basis of a non‐redundancy condition (that the overt noun phrase complement of a demonstrative may not denote a singleton set), which I suggest is derivative on the presence of contrastive deictic markers in demonstratives. (shrink)

What does it take for Islam and science to engage in a genuine conversation with each other? This essay is an attempt to answer this question by clarifying the conditions which make having such a conversation possible and plausible. I will first distinguish between three notions of conversation: the trivial conversation (which requires sharing a common language and the meaning of its ordinary expressions), superficial conversation (in which although the language is shared, the communicators fail to share the meaning of (...) their theoretical terms), and genuine conversation (which implies sharing the language and the meaning of ordinary as well as theoretical terms). I will then argue that our real concern with regard to the exchange between Islam and science is to be to specify the conditions under which their proponents can engage in a genuine conversation with each other and that such a conversation to take place essentially requires sharing a common ontology. Following Quine, I will argue that Muslims, like the followers of any religion, would have no other choice but to work from within science. Doing so, however, would not prevent Muslims from having a genuine conversation with the proponents of other worldviews because when the shared ontology fails to offer any potentially testable answer to our remaining questions about the world, the Islamic viewpoint can appear as a genuine alternative among other underdetermined ones, deciding between which would be a matter of pragmatic criteria. (shrink)

Mirdamad, a prominent philosopher of the Late Medieval Period active in the Islamic world, regards existence as nothing in reality. In this paper, I employ methods devised by contemporary analytic...

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.

One of the divine attributes is omniscience. The standard concept of omniscience is the concept of having complete knowledge: God knows every truth. But there are also other concepts of omniscience that are consistent with having incomplete knowledge. I will propose a new concept of omniscience, namely the concept of having supreme knowledge. It is inspired by how Anselm talks about God's knowledge and it makes good sense of a key premise in an Anselmian argument for omniscience. Moreover, it can (...) be used to escape some of the set-theoretical and logical arguments against divine omniscience. (shrink)

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.

Rae Langton and Caroline West argue that pornography silences women by presupposing misogynistic attitudes, such as that women enjoy being raped. More precisely, they claim that a somewhat infamous pictorial, ‘Dirty Pool’, makes such presuppositions, and that it is typical in this respect. I argue for four claims. (1) There are empirical reasons to doubt that women are silenced in the way that Langton and West claim they are. (2) There is no evidence that very much pornography makes the sorts (...) of presuppositions that Langton and West's explanation of silencing requires it to make. (3) Even ‘Dirty Pool’, for all its other problems, does not make such presuppositions. (4) Langton and West misread ‘Dirty Pool’ because they do not take proper account of the fact that pornography often traffics in sexual fantasy. The broader lesson is that we need to read pornography more sensitively if we are to understand its capacity to shape socio‐sexual norms (for good or for ill). (shrink)

It is argued that Russell before 1905 saw no value in Frege's sense/reference distinction. This is clearest in the Mont Blanc correspondence. It is argued that Russell and Frege failed to engage because Frege lacked a grasp on the internal/external relations distinction. For Russell sense is either an external relation, objectionably separating out thought and reference, or an internal relation, so what is thought is altered such that we do not know what we are talking about. The novelty of the (...) present paper lies in the arrangement of the parts and the claim that Russellian propositions are not made up of the things themselves but of transparent representatives thereof. (shrink)

Frege believes that the content of declarative sentences divides into a thought and its ‘colouring’, perhaps combined with assertoric force. He further thinks it is important to separate the thought from its colouring. To do this, a criterion which determines sameness of sense between sentences must be deployed. But Frege provides three criteria for this task, each of which adjudicate on different grounds. In this article, rather than expand on criticisms levelled at two of the criteria offered, the author focuses (...) on the most promising candidate. As it stands, this criterion has problems, but not insuperable ones. He suggests an adjusted criterion that relies on the epistemic notion of triviality. He recommends this criterion as both harmonious with Frege’s broader thought and preferable to alternatives offered. The moral is that Frege individuates thoughts by deploying an epistemic concept, and this is the only suitable way for him to do so. (shrink)

The characteristic property of definite descriptions in natural language is commonly assumed to be their uniqueness requirement, although there is disagreement with respect to how occurrences should be interpreted, for instance with regard to the well-known restriction problem. I offer a novel argument against characterizing definite expressions in terms of uniqueness. If a singular definite description ?the F? implies that its denotation is the unique satisfier of ?F? (relative to a context) then there are real-life states of affairs that can (...) be described in simple first-order languages, but which we are simply unable to describe accurately in natural language. I argue, first, that there is no way to describe these states of affairs properly without using definite descriptions. Second, if definite descriptions imply uniqueness we will systematically get the wrong truth conditions, regardless of whatever semantic or pragmatic resources the defender of the uniqueness-implying approach invokes. Hence, the Russellian idea of characterizing definite descriptions in terms of uniqueness must be given up. In the final section I explain what an adequate account of definite expressions must achieve?primarily coordinating elements brought to salience by context or previous discourse?and sketch a way of accomplishing this by using a liberal version of familiarity theory. Although there may be other accounts that can do the job, the account I sketch (based on an approach that has largely been overlooked) shows promise and can easily deal with the inexpressibility problem. (shrink)

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)