This paper presents a new argument for necessitism, the claim that necessarily everything is necessarily something. The argument appeals to principles about the metaphysics of quantification and predication which are best seen as constraints on reality’s fineness of grain. I give this argument in section 4; the impatient reader may skip directly there. Sections 1-3 set the stage by surveying three other arguments for necessitism. I argue that none of them are persuasive, but I think it is illuminating to consider (...) my argument in light of the others and vice versa. These interconnections should be of interest even to those who reject necessitism; of particular interest may be the new conception of validity proposed in section 5. (shrink)

The central mission of cognitive science is to reveal the real nature of the mind, however familiar or foreign that nature may be to naive preconceptions. The existence of naive conceptions is also important, however. Prescientific thought and language contain concepts of the mental, and these concepts deserve attention from cognitive science. Just as scientific psychology studies folk physics (McCloskey 1983, Hayes 1985), viz., the common understanding (or misunderstanding) of physical phenomena, so it must study folk psychology, the common understanding (...) of mental states. This subfield of scientific psychology is what I mean by the phrase 'the psychology of folk psychology'. (shrink)

The ordinary understanding and ascription of mental states is a multiply complex subject. Widely discussed approaches to the subject, such as functionalism and the theory-theory (TT), have many variations and interpretations. No surprise, then, that there are misunderstandings and disagreements, which place many items on the agenda. Unfortunately, the multiplicity of issues raised by the commentators and the limitations of space make it impossible to give a full reply to everyone. My response is divided into five topics: (1) Which version(s) (...) of functionalism are candidates for an account of folk psychology, and is any such version satisfactory? (2) Where does TT stand in light of the two target articles and commentaries? (3) Does a phenomenological story provide a promising account of mental states, and is there special first-person authority about them? (4) What are suitable methodological assumptions for our subject matter? (5) How well does the simulation theory fare as an account of third-person mentalistic ascription? (shrink)

Among the philosophical accounts of reference, Quine’s The Roots of Reference stands out in offering an integrated account of the acquisition of linguistic reference and object individuation. Based on a non-referential ability to distinguish bodies, the acquisition of sortals and quantification are crucial steps in learning to refer to objects. In this article, we critically re-assess Quine’s account of reference. Our critique will proceed in three steps with the aim of showing that Quine effectively presupposes what he sets out to (...) explain, namely, reference to objects. We are going to argue that sortals do not individuate, that bodies are already objects, and that the acquisition of variables presupposes a notion of identity. The result is diagnostic of a central desideratum for any theory of reference: an explanation of spatiotemporal object individuation. (shrink)

Perner and Roessler Causing human action: new perspectives on the causal theory of action, MIT Press, Cambridge, MA, pp 199–228, 2010) hold that children who do not yet have an understanding of subjective perspectives, i.e., mental states, explain actions by appealing to objective facts. In this paper, we criticize this view. We argue that in order to understand objective facts, subjects need to understand perspectives. By analysing basic fact-expressing assertions, we show that subjects cannot refer to facts if they do (...) not understand two types of perspectivity, namely, spatial and doxastic perspectivity. To avoid conceptual confusion regarding different ways of referring to facts, we distinguish between reference to facts de re and de dicto. (shrink)

Introspective knowledge by acquaintance is knowledge we have by being directly aware of our phenomenally conscious states. In this paper, I argue that introspective knowledge by acquaintance is a sui generis kind of knowledge: it is irreducible to any sort of propositional knowledge and is wholly constituted by a relationship of introspective acquaintance. My main argument is that this is the best explanation of some epistemic facts about phenomenal consciousness and introspection. In particular, it best explains the epistemic asymmetry between (...) a subject who has never had a certain phenomenal state and one who has. I also consider two theoretical objections to my claim: an objection from disunity and an objection from mysteriousness. I show that these objections can be answered and that introspective knowledge by acquaintance being sui generis remains a live option on the table. (shrink)

This article was first published in 1982 in Educational Analysis (4, 75–91) and republished in 1998 (Hirst, P. H., & White, P. (Eds.), Philosophy of education: Major themes in the analytic tradition, Vol. 1, Philosophy and education, Part 1, pp. 61–78. London: Routledge). I was then a lecturer in philosophy of education at Sheffield University teaching the subject to Master’s students on both full- and part-time programmes. My first degree was in philosophy, read under D. W. Hamlyn and David Cooper (...) and, given their interests, inevitably emphasized the philosophy of language, in particular the work of Wittgenstein in this field. When I subsequently turned my attention to the philosophy of education it seemed obvious to me that there were serious problems with Professor Peters’ approach to language, and I had particular difficulties with his approach to criteria, meaning theory and what seemed an odd interpretation of a transcendental argument. This article thus set out to show that the then dominant form of philosophy of education seemed not to take account of developments in the philosophy of language that preceded Professor Peters’ early work by at least a decade and which cast serious doubt on the enterprise as it was then understood. As the articles in the 1998 collection indicate, I was not alone in thinking there was something amiss, although at the time I seemed to be ploughing a somewhat lonely furrow. In revisiting this early article some 30 years after it was first published I have found to my surprise that there is little I would now change, although I have been forcibly reminded of the very lively discussions Professor Peters and I had over these issues. The fact that there is little I would now add to, or subtract from, my critique is in itself a telling comment on the enduring and influential legacy of the approach to the philosophy of education that Professor Peters championed so powerfully. (shrink)

The comprehension principle of set theory asserts that a set can be formed from the objects satisfying any given property. The principle leads to immediate contradictions if it is formalized as an axiom scheme within classical first order logic. A resolution of the set paradoxes results if the principle is formalized instead as two rules of deduction in a natural deduction presentation of logic. This presentation of the comprehension principle for sets as semantic rules, instead of as a comprehension axiom (...) scheme, can be viewed as an extension of classical logic, in contrast to the assertion of extra-logical axioms expressing truths about a pre-existing or constructed universe of sets. The paradoxes are disarmed in the extended classical semantics because truth values are only assigned to those sentences that can be grounded in atomic sentences. (shrink)

Identities formed with proper names may be contingent. this claim is made first through an example. the paper then develops a theory of the semantics of concrete things, with contingent identity as a consequence. this general theory lets concrete things be made up canonically from fundamental physical entities. it includes theories of proper names, variables, cross-world identity with respect to a sortal, and modal and dispositional properties. the theory, it is argued, is coherent and superior to its rivals, in that (...) it stems naturally from a systematic picture of the physical world. (shrink)

Building on recent work by Delia Graff Fara and Ora Matushansky on appellative constructions like ‘Mirka called Roger handsome’, I argue that if Millianism about proper names is true, then the quantifier ‘something’ in ‘Mirka called Roger something’ is best understood as a kind of substitutional quantifier. Any adequate semantics for such quantifiers must explain both the logical behavior of ‘Mirka called Roger something’ and the acceptability of ‘so’-anaphora in ‘Mirka called Roger something, and everyone so called is handsome’. Millianism (...) about proper names is inconsistent with such quantifiers being standard non-substitutional second-order quantifiers. But this is not the only option for Millianism: I provide two different propositional semantics for substitutional quantification, each of which is adequate in the sense above, given Millianism. One of these is based on Tobias Rosefeldt’s work on non-nominal quantification, and I identify in what way Rosefeldt’s semantics is substitutional. (shrink)

In The Philosophy of Logical Atomism Russell held the view that facts in the world are formally structured complexes, the structure of which matches the logical structure of correspondent propositions. Russell also seems to have denied that there are facts of identity and of diversity. This paper argues that Identity and Diversity can be understood as purely formal structures in Russellian facts. It considers Russell’s possible reasons for denying the existence of facts of identity and diversity and shows how problematic (...) these reasons are. In particular, I argue that identity statements are not tautologies, and their denial does not result into a contradiction. An important consequence of this thesis is that Metaphysics and Logic are not as tied up as Russell took them to be, but nevertheless these are good news for the old formal program for Metaphysics that lies at the very heart of what he called philosophical logic. (shrink)

Ordinary use of empty names encompasses a variety of different phenomena, including issues in semantics, mental content, fiction, pretense, and linguistic practice. In this paper I offer a novel account of empty names, the cognitive theory, and show how it offers a satisfactory account of the phenomena. The virtues of this theory are based on its strength and parsimony. It allows for a fully homogeneous semantic treatment of names coped with ontological frugality and empirical and psychological adequacy.

Fictionalism about a kind of disputed object is often motivated by the fact that the view interprets discourse about those objects literally without an ontological commitment to them. This paper argues that this motivation is inadequate because some viable alternatives to fictionalism have similar attractions. Meinongianism—the view that there are true statements about non-existent objects—is one such view. Meinongianism bears significant similarity to fictionalism, so intuitive doubts about its viability are difficult to sustain for fictionalists. Moreover, Meinongianism avoids some of (...) fictionalism’s weaknesses, thus it is even preferable to fictionalism in some respects. (shrink)

Direction of fit theories usually claim that beliefs are such that they “aim at truth” or “ought to fit” the world and desires are such that they “aim at realization” or the world “ought to fit” them. This essay argues that no theory of direction of fit is correct. The two directions of fit are supposed to be determinations of one and the same determinable two-place relation, differing only in the ordering of favored terms. But there is no such determinable (...) because of ineliminable asymmetries between the way that beliefs “aim at truth” and the way that desires “aim at realization.” This essay traces the ills of direction of fit theory to a misunderstanding of Anscombe and proposes a cure that distinguishes theoretical and practical thought by appeal to a distinction between thought in the form of a state and thought in the form of an event. (shrink)

Most discussions of proper names in fiction concern the names of fictional characters, such as ‘Clarissa Dalloway’ or ‘Lilliput.’ Less attention has been paid to referring names in fiction, such as ‘Napoleon’ (in Tolstoy’s War and Peace) or ‘London’ (in Orwell’s Nineteen Eighty-Four). This is because many philosophers simply assume that such names are unproblematic; they refer in the usual way to their ordinary referents. The alternative position, dubbed Exceptionalism by Manuel García-Carpintero, maintains that referring names make a distinctive semantic (...) contribution in fiction. In this paper I offer a positive argument for Non-Exceptionalism, relying on the claim that works of both fiction and non-fiction can express the same singular propositions. I go on to defend my account against García-Carpintero’s objections. (shrink)

Abstract creationism about fictional characters is the view that fictional characters are abstract objects that authors create. I defend this view against criticisms from Stuart Brock that hitherto have not been adequately countered. The discussion sheds light on how the number of fictional characters depends on authorial intention. I conclude also that we should change how we think intentions are connected to artifacts more generally, both abstract and concrete.

In this article, I shed some light on Meinong’s motivations for the theory of objects. I argue that one of its basic principles, the principle of indifference, is driven by an intuition common to many Austrian philosophers, which is that something must first be somehow pre-given in order to simply address the issue of its being or non-being. Meinong’s way of spelling out this intuition, I suggest, is to show that there are homeless objects, that is, objects that are not (...) dealt with by any of the existing sciences. Therefore, the indispensability of the theory of objects lies in the plausibility of the thesis that there are such homeless objects. I analyse and evaluate two Meinongian arguments supporting this thesis, I explain how Meinong came to believe that they support the indispensability of the theory of objects, and I stress some advantages of this account over Brentano’s intentionality thesis. (shrink)

There is an obvious paradox in any attempt to map the topography of Paradise, for Paradise, theologians assure us, is outside of space as well as time. Yet mapping Paradise is what Dante's poem, the Paradiso, attempts to do. For the two preceding realms of the afterlife, hell and purgatory, Dante provides numerous finely articulated descriptions of rigorously ordered regions. And again for Paradise, the variegated states of the souls making up the spiritual order of the realm are expressed very (...) precisely by a topographical scheme, one in this case based on Ptolemy's system of the heavens. The seven planetary spheres are followed by the sphere of the fixed stars and the primum mobile, the whole finally bordering on the completely nonspatial heaven of the Empyrean. But this last “sphere” alone is Paradise in the full and strict sense. As Dante has Beatrice explain in canto 4.28–48, the whole poem attempts to describe this totally nonspatial order in terms of the array of the nine physical heavens as metaphorical correlatives for the successive degrees of beatitude experienced by the souls “in” the Empyrean. Paradise in this sense—as the Empyrean—is thus utopic, if any place is: it is literally “no place” at all. (shrink)

In this article I try to show the philosophical continuity of Russell's ideas from his paradox of classes to Principia mathematica. With this purpose, I display the main results (descriptions, substitutions and types) as moments of the same development, whose principal goal was (as in his The principles) to look for a set of primitive ideas and propositions giving an account of all mathematics in logical terms, but now avoiding paradoxes. The sole way to reconstruct this central period in Russell (...) is to resort to unpublished manuscripts, which show the publications of these years to be the extremities of one same iceberg. Thus the logical problems (doubts about propositions, matrices and functions) are parallel to the ontological (the searching for genuine logical subjects) and methodological ones (the status of eliminative reduction). Paradoxes were the cause that the kind of (constructive) definition already applied by Russell, as an inheritance of Moorean analysis, obtained a new trait: ontological elimination, which, beginning with a ?no classes theory? and the theory of descriptions, led to a new theory of judgment (already present in manuscripts from 1906), ?incomplete symbols, and logical constructions. (shrink)

Inspired by the grammar of natural language, the paper presents a variant of first-order logic, in which quantifiers are not sentential operators, but are used as subnectors . A quantified term formed by a subnector is an argument of a predicate. The logic is defined by means of a meaning-conferring natural-deduction proof-system, according to the proof-theoretic semantics program. The harmony of the I/E-rules is shown. The paper then presents a translation, called the Frege translation, from the defined logic to standard (...) first-order logic, and shows that the proof-theoretic meanings of both logics coincide. The paper criticizes Frege’s original regimentation of quantified sentences of natural language, and argues for advantages of the proposed variant. (shrink)

Generic language (e.g., “tigers have stripes”) leads children to assume that the referenced category (e.g., tigers) is inductively informative and provides a causal explanation for the behavior of individual members. In two preregistered studies with 4- to 7-year-old children (N = 497), we considered the mechanisms underlying these effects by testing how correcting generics might affect the development of these beliefs about novel social and animal kinds (Study 1) and about gender (Study 2). Correcting generics by narrowing their scope to (...) a single individual limited beliefs that the referenced categories could explain what their members would be like while broadening the scope to a superordinate category (Study 2) uniquely limited endorsement of gender norms. Across both studies, correcting generics did not alter beliefs about feature heritability and had mixed effects on inductive inferences, suggesting that additional mechanisms (e.g., causal reasoning about shared features) contribute to the development of full-blown essentialist beliefs. These results help illuminate the mechanisms by which generics lead children to view categories as having rich inductive and causal potential; in particular, they suggest that children interpret generics as signals that speakers in their community view the referenced categories as meaningful kinds that support generalization. The findings also point the way to concrete suggestions for how adults can effectively correct problematic generics (e.g., gender stereotypes) that children may hear in daily life. (shrink)

Chris Heathwood requires the sentence 'Caesar was conscious when he crossed the Rubicon' to be made true in much the same way as 'Caesar was wet when he crossed the Rubicon'. Yet because the Growing Block theorist is committed to the zombiedom of the past,the former is not made true by past objects, although the latter is. Heathwood demands a uniform account of the grounding of truths and he will be given a uniform account. But we should exercise care in (...) deciding just what sort of uniformity is appropriate. As Russell so famously pointed out a century ago the subject/predicate form of a sentence can be misleading. Likewise although the two sentences 'Caesar is conscious' and 'Caesar is wet' have similar subject/predicate forms they have, I say, different kinds of truth-conditions and hence their past tense transformations also have different kinds of truth-conditions. The uniformity I endorse is that in both cases the grounds for the past tense transformation are the same as the grounds the present tense versions used to have when they were true. (shrink)

The main aim of the paper is to offer a solution compatible with Graham Priest’s Noneism and Amie Thomasson’s Artifactual theory which stresses the epistemic features of the notion of individuality in fiction in a framework where individuals are conceived of as functions (the framework is known as the world-lines-semantics of Hintikka). According to our view, it is the endorsement of a reader’s perspective that extends the range of the values of the functions (individuals) and that offers an alternative solution (...) to cases of identity inside and outside the scope of a fictionality (or representation) operator. More technically, this proposal can be seen as both extending the notion of individuality of the Artifactual theory and furnishing an epistemic twist to Priest’s principle of freedom. (shrink)

La réflexion philosophique sur la non-existence est une thématique qui a été abordée au commencement même de la philosophie et qui suscite, depuis la publication en 1905 de « On Denoting » par Russell, les plus vifs débats en philosophie analytique. Cependant, le débat féroce sur la sémantique des noms propres et des descriptions définies qui surgirent suite à la publication du « On Referring » par Strawson en 1950 n’engagea pas d’étude systématique de la sémantique des fictions. En fait, (...) le développement systématique d’un lien qui articule approches logiques, philosophiques et littéraires de la fiction devait attendre les travaux de John Woods publiés en 1974 dans son livre The Logic of Fiction : A Philosophical Sounding of Deviant Logic. Un des enjeux les plus excitants du livre de Woods se situe au niveau de l’interaction entre les points de vue internalistes ou interne-à-l’histoire (principalement pragmatiques) et les points de vue externalistes ou externe-à-la-fiction (principalement sémantiques). Sur ce point, Woods fut le premier à formuler une sémantique pour l’opérateur de fiction à lire comme « selon l’histoire… » en relation à la notion logique de portée, ce qui permettait l’étude de l’internalisme et de l’externalisme. Suite au livre de Woods, loin de s’essouffler, les débats trouvaient une nouvelle impulsion. Le fait pertinent pour notre article est que la tradition phénoménologique également, l’étude de la fiction a joué un rôle central. En effet, l’une des problématiques les plus sujettes à controverses dans l’intentionnalité est celle de l’indépendance à l’existence, c’est-à-dire le fait que les actes intentionnels n’ont pas besoin d’être forcément dirigés vers un objet existant. Influencée par les travaux de Roman Ingarden (1893-1970), l’un des plus importants disciples de Husserl, Amie L. Thomasson développe le concept phénoménologique de dépendance ontologique en vue d’expliquer les processus de références inter- et transfictionnels – dans le contexte de l’interprétation littéraire par exemple. L’enjeu essentiel de cet article est de proposer une reconstruction multimodale bi-dimensionnelle de la théorie des personnages fictionnels de Ingarden-Thomasson. Cette théorie qui entend prendre au sérieux le fait que les fictions sont des créations montre la voie pour une articulation entre les approches internalistes et externalistes. Nous motivons certains changements quant à l’approche artéfactuelle - incluant une sémantique appropriée pour l’opérateur de fictionalité qui, nous l’espérons, éveillera l’intérêt des théoriciens de la littérature. L’article est à d’autres égards un panorama de la façon dont différents concepts d’intentionnalité pourraient fonder différentes sémantiques formelles pour la fictionalité. Nous proposerons enfin un cadre dialogique qui est une extension modale d’un certain système de preuve développé par Matthieu Fontaine et Juan Redmond. Le cadre dialogique développe la contrepartie inférentielle de la sémantique bi-dimensionnelle introduite par Shahid Rahman et Tero Tulenheimo dans un article récent. (shrink)

1 There is a Standard Objection to the idea that concepts might be prototypes (or exemplars, or stereotypes): Because they are productive, concepts must be compositional. Prototypes aren't compositional, so concepts can't be prototypes (see, e.g., Margolis, 1994).2 However, two recent papers (Osherson and Smith, 1988; Kamp and Partee, 1995) reconsider this consensus. They suggest that, although the Standard Objection is probably right in the long run, the cases where prototypes fail to exhibit compositionality are relatively exotic and involve phenomena (...) which any account of compositionality is likely to find hard to deal with; for example, the effects of quantifiers, indexicals, contextual constraints, etc. KP are even prepared to indulge a guarded optimism: "... when a suitably rich compositional theory... is developed, prototypes will be seen ... as one property among many which only when taken altogether can support a compositional theory of combination" (p.56). In this paper, we argue that the Standard Objection to prototype theory was right after all: The problems about compositionality are insuperable in even the most trivial sorts of examples; it is therefore as near to certain as anything in cognitive science ever gets that the structure of concepts is not statistical. Theories of categorization, concept acquisition, lexical meaning and the like, which assume the contrary simply don't work. We commence with a general discussion of the constraints that an account of concepts must meet if their compositionality is to explain their productivity. We'll then turn to a criticism of proposals that OS2 and KP make for coping with some specific cases. (shrink)

Robert Brandom has it in mind to run a ‘pragmatist’ theory of content. That is, he wants to reconstruct notions like saying such and such or believing such and such in terms of a distinctive kind of “knowing how or being able to do something”.

This paper considers three package deals combining views in philosophy of mind, meta-philosophy, and experimental philosophy. The most familiar of these packages gives center-stage to pumping intuitions about fanciful cases, but that package involves problematic commitments both to a controversial descriptivist theory of reference and to intuitions that “negative” experimental philosophers have shown to be suspiciously variable and context-sensitive. In light of these difficulties, it would be good for future-minded experimental philosophers to align themselves with a different package deal. This (...) paper suggests two alternatives. Experimentalists might help fans of “naturalized” approaches discover what natural kinds have been playing an appropriate role in causing us to use concepts as we do. Or, better still, experimentalists might instead help pragmatists and teleo-semanticists discover how our concept usage regularly yields beneficial outcomes, so that we can then craft philosophical analyses that will.. (shrink)

A number of authors have suggested that a conditional analysis of dispositions must take roughly the following form: Thing X is disposed to produce response R to stimulus S just in case, if X were exposed to S and surrounding circumstances were auspicious, then X would produce R. The great challenge is cashing out the relevant notion of ‘auspicious circumstances’. I give a general argument which entails that all existing conditional analyses fail, and that there is no satisfactory way to (...) define ‘auspicious circumstances’ just in terms of S, R, and X. Instead, I argue that the auspicious circumstances C for the manifestation of a disposition constitute a third irreducible element of that disposition, and that to pick out (or to ‘individuate’) that disposition one must specify C along with S and R. This enables a new conditional analysis of dispositions that gives intuitively satisfying answers in cases that pose problems for other approaches. (shrink)

A report of a person's desire can be true even if its embedded clause underspecifies the content of the desire that makes the report true. It is true that Fiona wants to catch a fish even if she has no desire that is satisfied if she catches a poisoned minnow. Her desire is satisfied only if she catches an edible, meal-sized fish. The content of her desire is more specific than the propositional content of the embedded clause in our true (...) report of her desires. Standard semantic accounts of belief reports require, however, that the embedded clause of a true belief report specify precisely the content of the belief that makes it true. Such accounts of belief reports therefore face what I call "the problem of underspecification" if they are extended to desire reports. Such standard accounts are sometimes refined by requiring that a belief report can be true not only if its subject has a belief with precisely the propositional content specified by its embedded clause, but also only if its subject grasps that content in a particular way. Such refinements do not, however, help to address the problem of underspecification for desire reports. (shrink)

One reason to think that names have a predicate-type semantic value is that they naturally occur in count-noun positions: ‘The Michaels in my building both lost their keys’; ‘I know one incredibly sharp Cecil and one that's incredibly dull’. Predicativism is the view that names uniformly occur as predicates. Predicativism flies in the face of the widely accepted view that names in argument position are referential, whether that be Millian Referentialism, direct-reference theories, or even Fregean Descriptivism. But names are predicates (...) in all of their occurrences; they are predicates that are true of their bearers. When a name appears as a bare singular in argument position, it really occupies the predicate position of what in this essay is called a denuded definite description: a definite description with an unpronounced definite article. Sloat provided good evidence for this. The definite article is sometimes pronounced with names in the singular: ‘The Ivan we all love doesn't feel well’. Sloat proposed a disjunctive generalization of when the definite article must be pronounced with a singular name. This essay shows that by slightly revising Sloat's generalization, we arrive at a simple, nondisjunctive, syntactic rule that governs the overt appearance of the definite article with singular names. But Ivan does not necessarily bear the name ‘Ivan’, so one might worry that the sentence “Ivan might not have had ‘Ivan’ as a name” would incorrectly be predicted false. This essay shows that Predicativism does not have this consequence by showing that incomplete definite descriptions in general and incomplete denuded descriptions, such as ‘Øthe Ivan’, in particular are rigid designators. (shrink)

Descriptions are predicates. Here, I'll take this to mean either of two basically equivalent things: that they have extensions as their semantic values, sets of entities, in the broadest sense; or that they have type-〈e,t〉 functions as their semantic values, functions from entities, in the broadest sense, to truth values. An entity in the broadest sense is anything that can be the subject of a first-order predication. Examples are individuals, pluralities, masses, and kinds. Here I'm including entities in this broadest (...) sense because my thesis that descriptions are predicates applies to all sorts of descriptions: singular descriptions, plural definite descriptions, mass descriptions, kind descriptions, and indefinite descriptions as well. (shrink)

Prior’s arguments for and against seeing ‘ought’ as a copula and his considerations about normative negation are applied to the case of responsibility judgments. My thesis will be that responsibility judgments, even though often expressed by using the verb ‘to be’, are in fact normative judgments. This is shown by analyzing their negation, which parallels the behavior of ought negation.

According to James McCawley (1981) and Richard Larson and Gabriel Segal (1995), the following sentence is three-ways ambiguous: -/- Harry wants to be the mayor of Kenai. -/- According to them also, the three-way ambiguity cannot be accommodated on the Russellian view that definite descriptions are quantified noun phrases. In order to capture the three-way ambiguity of the sentence, these authors propose that definite descriptions must be ambiguous: sometimes they are predicate expressions; sometimes they are Russellian quantified noun phrases. After (...) explaining why the McCawley-Larson-Segal solution contains an obvious flaw, I discuss how an effort to correct the flaw brings to light certain puzzles about the individuation of desires, about quantifying in, and about the disambiguation of desire ascriptions. (shrink)

Church's simple theory of types is a system of higher-order logic in which functions are assumed to be total. We present in this paper a version of Church's system called PF in which functions may be partial. The semantics of PF, which is based on Henkin's general-models semantics, allows terms to be nondenoting but requires formulas to always denote a standard truth value. We prove that PF is complete with respect to its semantics. The reasoning mechanism in PF for partial (...) functions corresponds closely to mathematical practice, and the formulation of PF adheres tightly to the framework of Church's system. (shrink)

Empirical knowledge exists in the form of antiskeptical conditionals, which are propositions like [if I am not undetectably deceived, then I am holding a pen]. Such conditionals, despite their trivial appearance, have the same essential content as the categorical propositions that we usually discuss, and can serve the same functions in science and practical reasoning. This paper sketches out two versions of a general response to skepticism that employs these conditionals. The first says that our ordinary knowledge attributions can safely (...) be replaced by statements using antiskeptical conditionals, which provides a way around the standard sort of skeptical argument while accepting its soundness with respect to the usual targets. The second analyzes the objects of our ordinary knowledge attributions as antiskeptical conditionals, which allows us to refute, not just evade, the skeptic's argument. Both versions compare favorably to the best-knowncurrent approaches to skepticism, including semantic contextualism. (shrink)

The aim of this paper is to point out the salient patterns of agreement and dis‐ agreement between Alf Ross and Hans Kelsen's analyses of valid law and efficacy. I argue that the disagreement has the character of systemic postulation on the part of both interlocutors. My main thesis is that the disagreement is not one of philosophical principle, but one that must be resolved on the basis of pragmatic considerations, i.e., the choice between the two valid‐law schemes pertains neither (...) to necessity nor to truth, but to expediency and values. (shrink)

Vernacularism is the view that logical forms are fundamentally assigned to natural language expressions, and are only derivatively assigned to anything else, e.g., propositions, mental representations, expressions of symbolic logic, etc. In this paper, we argue that Vernacularism is not as plausible as it first appears because of non-sentential speech. More specifically, there are argument-premises, meant by speakers of non-sentences, for which no natural language paraphrase is readily available in the language used by the speaker and the hearer. The speaker (...) can intend this proposition and the hearer can recover it (and its logical form). Since they cannot, by hypothesis, be doing this by using a sentence of their shared language, the proposition-meant has its logical form non-derivatively, which falsifies Vernacularism. We conclude the paper with a brief review of the debate on incomplete definite descriptions in which Vernacularism is assumed as a suppressed premise. (shrink)

In recent work on the semantics of definite descriptions, some theorists :496–533, 2013) have advocated broadly Fregean accounts, whereby a definite description ‘the F’ introduces a presupposition to the effect that there is exactly one F and refers to it if there is, while other theorists Reference: Interdisciplinary perspectives, Oxford University Press, Oxford, pp. 61–72, 2008; Hawthorne and Manley in The reference book, Oxford University Press, Oxford, 2012) have advocated accounts whereby ‘the F’ introduces a presupposition to the effect that (...) there is exactly one F but otherwise has the semantics of ‘an F’, introducing existential quantification. It is argued that the latter theories, since they have definite descriptions encode assertoric content to the effect that there is an F, have difficulty accounting for the felicity of ‘The F is G’ when it is already presupposed that there is an F. (shrink)

Contrary to a claim made by Kaplan (Mind 114:933–1003, 2005) and Neale (Mind 114:809–871, 2005), the readings available to sentences containing definite descriptions embedded under propositional attitude verbs and conditionals do pose a significant problem for the Russellian theory of definite descriptions. The Fregean theory of descriptions, on the other hand, deals easily with the relevant data.

The implicit content associated with incomplete definite descriptions is contributed in the form of definite descriptions of situations. A definite description of this kind is contributed by a small structure in the syntax, which is interpreted, in general terms, as ‘the situation that bears R to s’.

Magidor argued that category mistakes are infelicitous due to presupposition failure. The case for this position is strengthened by the consideration of a previously unnoted category of data, namely multi-sentence discourses in which category mistake phenomenology arises at the end of the last sentence, but arguably due to content contained in a previous sentence. This phenomenon is analysed in terms of the previous sentence giving rise to a presupposition that is shown to be false only in the last sentence.

Using a version of situation semantics, this article argues that bare and complex demonstratives are interpreted as individual concepts.