We think of the world around us as divided into physical objects like toasters and daisies, rather than solely as a smear of properties like yellow and smooth. How do we single out these objects? One theory of object concepts uses part‐of relations and relations of connectedness. According to this proposal, an object is a connected spatial item of maximal extent: Any other connected item that overlaps (i.e., shares a part with) the object must be a part of that object. (...) This article reports four experiments that test this proposal. Participants see descriptions or diagrams of spatial items that vary across trials in their relative positions. In separate experiments, participants decide whether the items are physical objects, whether they are wholes, or how many objects are present. All experiments find support for connectedness as a contributor to object status, but they find little support for maximality. The results suggest that maximality is not a necessary feature of wholes or of objects. (shrink)

In this survey paper, I start from two classical theses of speech act theory: that speech act content is uniformly propositional and that sentence mood encodes illocutionary force. These theses have been questioned in recent work, both in philosophy and linguistics. The force/content distinction itself – a cornerstone of 20‐century philosophy of language – has come to be rejected by some theorists, unmoved by the famous ‘Frege–Geach’ argument. The paper reviews some of these debates.

Logical inferentialism claims that the meaning of the logical constants should be given, not model-theoretically, but by the rules of inference of a suitable calculus. It has been claimed that certain proof-theoretical systems, most particularly, labelled deductive systems for modal logic, are unsuitable, on the grounds that they are semantically polluted and suffer from an untoward intrusion of semantics into syntax. The charge is shown to be mistaken. It is argued on inferentialist grounds that labelled deductive systems are as syntactically (...) pure as any formal system in which the rules define the meanings of the logical constants. (shrink)

The aim of this essay is to show that the subject-matter of ontology is richer than one might have thought. Our route will be indirect. We will argue that there are circumstances under which standard first-order regimentation is unacceptable, and that more appropriate varieties of regimentation lead to unexpected kinds of ontological commitment.

Forthcoming in Philosophical Compass. I explain why plural quantifiers and predicates have been thought to be philosophically significant.

This paper aspires to meet a philosophical challenge posed to the author to give treatment to what was seen as a particularly nice Meinongian case1; namely the case of Galician Meigas. However, through the playful footpaths of enchanted Galician Meigas, I rehabilitate some relevant discussion on the justification of belief formation and come to some poignant philosophical insights regarding the understanding of possibilities. I hope both the leading promoter of the challenge and, of course, other philosophical readers are satisfied with (...) the outcome. (shrink)

It is generally agreed that vague predicates like ‘red’, ‘rich’, ‘tall’, and ‘bald’, have borderline cases of application. For instance, a cloth patch whose color lies midway between a definite red and a definite orange is a borderline case for ‘red’, and an American man five feet eleven inches in height is (arguably) a borderline case for ‘tall’. The proper analysis of borderline cases is a matter of dispute, but most theorists of vagueness agree at least in the thought that (...) borderline cases for vague predicate ‘ ’ are items whose satisfaction of ‘ ’ is in some sense unclear or problematic: it is unclear whether or not the patch is red, unclear whether or not the man is tall.1 For example, Lynda Burns cites a widespread view as holding that borderline cases “are not definitely within the positive or negative extension of the predicate. … Border- line cases are seen as falling within a gap between the cases of definite application of the predicate and cases of definite application of its negation” (1995, 30). Michael Tye writes that the “concept of a border- line case is the concept of a case that is neither definitely in nor defi- nitely out” (1994b, 18). (shrink)

Since Kaplan : 81–98, 1979) first provided a logic for context-sensitive expressions, it has been thought that the only way to construct a logic for indexicals is to restrict it to arguments which take place in a single context— that is, instantaneous arguments, uttered by a single speaker, in a single place, etc. In this paper, I propose a logic which does away with these restrictions, and thus places arguments where they belong, in real world conversations. The central innovation is (...) that validity depends not just on the sentences in the argument, but also on certain abstract relations between contexts. This enrichment of the notion of logical form leads to some seemingly counter-intuitive results: a sequence of sentences may make up a valid argument in one sequence of contexts, and an invalid one in another such sequence. I argue that this is an unavoidable result of context sensitivity in general, and of the nature of indexicals in particular, and that reflection on such examples will lead us to a better understanding of the idea of applying logic to context sensitive expressions, and thus to natural language in general. (shrink)

This essay investigates whether or not we should think that the things we say are identical to the things our sentences mean. It is argued that these theoretical notions should be distinguished, since assertoric content does not respect the compositionality principle. As a paradigmatic example, Kaplan's formal language LD is shown to exemplify a failure of compositionality. It is demonstrated that by respecting the theoretical distinction between the objects of assertion and compositional values certain conflicts between compositionality and contextualism are (...) avoided. This includes the conflict between eternalism and the semantics of tense, the embedding problems for contextualism about epistemic modals and taste claims, and the conflict between direct reference and the semantics of bound pronouns (and monstrous operators). After presenting the theoretical picture which distinguishes assertoric content from compositional semantic value, some objections to the picture are addressed. In so doing, the objection from King (2003) stemming from apparent complications with the interaction of temporal expressions and attitude reports is assessed and shown to be non-threatening. (shrink)

What is it for two people to think of an object, natural kind or other entity under the same mode of presentation (MOP)? This has seemed a particularly difficult question for advocates of the Mental Files approach, the Language of Thought, or other ‘atomistic’ theories. In this paper I propose a simple answer. I first argue that, by parallel with the synchronic intrapersonal case, the sharing of a MOP should involve a certain kind of epistemic transparency between the token thoughts (...) of the two thinkers. I then explain how shared words help bring about this transparency. Finally, I show how this account can be extended for thoughts expressed using demonstratives or indexicals. (shrink)

Renewed worries about the unity of the proposition have been taken as a crucial stumbling block for any traditional conception of propositions. These worries are often framed in terms of how entities independent of mind and language can have truth conditions: why is the proposition that Desdemona loves Cassio true if and only if she loves him? I argue that the best understanding of these worries shows that they should be solved by our theory of truth and not our theory (...) of content. Specifically, I propose a version of the redundancy theory according to which ‘it is true that Desdemona loves Cassio’ expresses the same proposition as ‘Desdemona loves Cassio’. Surprisingly, this variant of the redundancy theory treats ‘is true’ as an ordinary predicate of the language, thereby defusing many standard criticisms of the redundancy theory. (shrink)

Structured propositions are often invoked to explain why intensionally equivalent sentences do not substitute salva veritate into attitude ascriptions. As the semantics is standardly developed—for example, in Salmon, Soames :47–87, 1987) and King :516–535, 1995), the semantic value of a complex expression is an ordered complex consisting of the semantic values of its components. Such views, however, trivialize semantic composition since they do not allow for independent constraints on the meaning of complexes. Trivializing semantic composition risks “trivializing semantics” Semantics versus (...) pragmatics, Oxford University Press, Oxford, 2005). Yet, proponents of structured propositions suggest a route to reimpose substantive compositionality. While the mapping from a sentence to the structured proposition it expresses is trivially compositional, there is a non-trivial mapping from the structured proposition to its truth-value. This non-trivial level of semantic composition allows the meanings assigned to complex expressions to impose substantive constraints on the meanings of the simple ones. I first articulate the basic desiderata: an account of structured propositions capable of explaining attitude attributions and of delivering a non-trivially compositional semantics. I then show that the two-stage semantics proposed by standard proponents of structured propositions does not satisfy these joint goals. (shrink)

Semantics in the Montagovian tradition combines two basic tenets. One tenet is that the semantic value of a sentence is an intension, a function from points of evaluations into truth-values. The other tenet is that the semantic value of a composite expression is the result of applying the function denoted by one component to arguments denoted by the other components. Many philosophers object to intensional semantics on the grounds that intensionally equivalent sentences do not substitute salva veritate into attitude ascriptions. (...) They propose instead that the semantic values of sentences must be structured propositions. In rejecting intensional semantics, philosophers who endorse structured propositions also usually reject functional compositionality, undermining both tenets of the Montagovian programme. I defend a semantic theory that incorporates both structured propositions and functional compositionality. I argue that this semantic theory can preserve many explanatory benefits of Montague semantics. Finally, I show how treating composition functional application can resolve core problems internal to a theory of structured propositions. (shrink)

Philosophers of mathematics agree that the only interpretation of arithmetic that takes that discourse at 'face value' is one on which the expressions 'N', '0', '1', '+', and 'x' are treated as proper names. I argue that the interpretation on which these expressions are treated as akin to free variables has an equal claim to be the default interpretation of arithmetic. I show that no purely syntactic test can distinguish proper names from free variables, and I observe that any semantic (...) test that can must beg the question. I draw the same conclusion concerning areas of mathematics beyond arithmetic. This paper is a greatly extended version of my response to Stewart Shapiro's paper in the conference 'Structuralism in physics and mathematics' held in Bristol on 2–3 December, 2006. (shrink)

This paper gives attention to a special point in Brandom.

It is just over fifty years since the publication of Quine’s ‘Two Dogmas of Empiricism’. That paper expresses a broad vision of the system of relations between meaning, experience, and the rational formation of belief. The deepest challenges the paper poses come not from the detailed argument of its first four sections – formidable though that is – but from the visionary material in its last two sections.1 It is this visionary material that is likely to force the reader to (...) revise, to deepen, or to rethink her position on fundamental issues about the relations between meaning, experience, rationality, and, above all, the a priori. Does what is right in Quine’s argument exclude any rationalist view of these relations? How should a rationalist view be formulated? Those are the questions I will be addressing. I start with the critical part of this task, a consideration of the strengths and weaknesses of Quine’s vision. Drawing on the constraints emerging from that critical discussion, I will then turn to the positive task of articulating and defending a rival conception. The rival conception can be described as a Generalized Rationalism. (shrink)

This paper offers a response to Ramsey's famous challenge to draw a logical, as opposed to merely syntactical, distinction between names and predicates. Three attempts to meet this challenge are considered, one from Dummett, one from Geach, and one from Brandom. It is shown that none of these adequately addresses Ramsey's challenge. The paper concludes with a response to Ramsey that avoids the pitfalls of the other three replies. The advantage of the view proposed is that there is nothing preventing (...) the set of sentences in consideration from consisting only of atomic sentences. The upshot of my solution is that the distinction between names and properties rests on the presence of relational predicates in a language and the validity of the structural rules of identity, contraction, and cut. (shrink)

Robert Stalnaker has argued that mathematical information is information about the sentences and expressions of mathematics. I argue that this metalinguistic account is open to a variant of Alonzo Church's translation objection and that Stalnaker's attempt to get around this objection is not successful. If correct, this tells not only against Stalnaker's account of mathematical truths, but against any metalinguistic account of truths that are both necessary and informative.

Blackburn argues against naturalistic moral realism. He argues that there is no conceptual entailment from satisfying a naturalistic predicate to satisfying a moral predicate. But the moral is conceptually supervenient on the natural. However, this conjunction of conceptual supervenience with lack of conceptual entailment is something the non-realist can explain, but the realist cannot. I argue first that Blackburn’s best formulation of his challenge is his first one. Subsequently he reformulates it as a demand for a ‘ban on mixed worlds’. (...) Critics have directed their arguments against this formulation but they are ineffective against Blackburn’s first formulation. My second thesis is, even so formulated the realist can meet the challenge. The bare conceptual supervenience of the moral on the natural can be given a realist explanation by understanding names of moral properties as descriptive names of natural properties. (shrink)

The most basic divide amongst analytic metaphysicians separates realists from anti-realists. By examining certain characteristic and problematic features of these two families of views, we uncover their underlying metametaphysicalorientations, which turn out to coincide. This shared philosophical picture that underlies both the realist and the anti-realist project we call the Modern Picture. It rests on a crucial distinction between reality as it is for us and reality as it is in itself. It is argued that this distinction indeed generates the (...) realism/anti-realism dichotomy, and is also responsible for the problematic aspects highlighted earlier. We conclude by sketching an alternative philosophical picture that rejects the distinction between reality as it is for us and reality as it is in itself, which we call the Aristotelian Picture, and consider whether it is able to avoid the issues to which the Modern Picture gives rise. (shrink)

Intellectualists about knowledge how argue that knowing how to do something is knowing the content of a proposition (i.e, a fact). An important component of this view is the idea that propositional knowledge is translated into behavior when it is presented to the mind in a peculiarly practical way. Until recently, however, intellectualists have not said much about what it means for propositional knowledge to be entertained under thought's practical guise. Carlotta Pavese fills this gap in the intellectualist view by (...) modeling practical modes of thought after Fregean senses. In this paper, I take up her model and the presuppositions it is built upon, arguing that her view of practical thought is not positioned to account for much of what human agents are able to do. (shrink)

A common view is that natural language treats numbers as abstract objects, with expressions like the number of planets, eight, as well as the number eight acting as referential terms referring to numbers. In this paper I will argue that this view about reference to numbers in natural language is fundamentally mistaken. A more thorough look at natural language reveals a very different view of the ontological status of natural numbers. On this view, numbers are not primarily treated abstract objects, (...) but rather 'aspects' of pluralities of ordinary objects, namely number tropes, a view that in fact appears to have been the Aristotelian view of numbers. Natural language moreover provides support for another view of the ontological status of numbers, on which natural numbers do not act as entities, but rather have the status of plural properties, the meaning of numerals when acting like adjectives. This view matches contemporary approaches in the philosophy of mathematics of what Dummett called the Adjectival Strategy, the view on which number terms in arithmetical sentences are not terms referring to numbers, but rather make contributions to generalizations about ordinary (and possible) objects. It is only with complex expressions somewhat at the periphery of language such as the number eight that reference to pure numbers is permitted. (shrink)

Based on the notion of a trope, this paper gives a novel analysis of identificational sentences such as 'this is Mary','this is a beautiful woman', 'this looks like Mary', or 'this is the same lump of clay, but not the same statue as that'.

It often seems incorrect to say that psychiatric conditions are diseases, and equally incorrect to say that they are not. This results in what would seem to be an unsatisfactory stalemate. The present essay examines the considerations that have brought us to such a stalemate in our discussions of autism. It argues that the stalemate in this particular case is a reflection of the fact that we need to find the logical space for a position that rejects both positive and (...) negative answers. It then suggests one way in which we might find such space, by applying Michael Dummett’s notion of semantic disharmony. (shrink)

In making assertions one takes on commitments to the consistency of what one asserts and to the logical consequences of what one asserts. Although there is no quick link between belief and assertion, the dialectical requirements on assertion feed back into normative constraints on those beliefs that constitute one's evidence. But if we are not certain of many of our beliefs and that uncertainty is modelled in terms of probabilities, then there is at least prima facie incoherence between the normative (...) constraints on belief and the probability-like structure of degrees of belief. I suggest that the norm-governed practice relating to degrees of belief is the evaluation of betting odds. (shrink)

Bertrand Russell’s 1906 article ‘The Theory of Implication’ contains an algebraic weak completeness proof for classical propositional logic. Russell did not present it as such. We give an exposition of the proof and investigate Russell’s view of what he was about, whether he could have appreciated the proof for what it is, and why there is no parallel of the proof in Principia Mathematica.

In this paper I provide a theory of the speech act of assertion according to which assertion is a species of joint action. In doing so I rely on a theory of joint action developed in more detail elsewhere. Here we need to distinguish between the genus, joint action, and an important species of joint action, namely, what I call joint epistemic action. In the case of the latter, but not necessarily the former, participating agents have epistemic goals, e.g., the (...) acquisition of knowledge. It is joint epistemic action that assertion is a species of. (shrink)

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

In “Understanding Demonstratives”, Gareth Evans bites the bullet regarding Rip van Winkle cases in cognitive dynamics: the fact that Rip sleeps for twenty years and completely loses track of time means he is unable to retain his original belief that “Today is a fine day”. In this paper, the author argues that Evans need not bite this bullet because there are resources in his account of the cognitive dynamics involved in belief retention developed in The Varieties of Reference to successfully (...) confront the challenge posed by the Rip van Winkle case. In particular, when we combine the two central elements of Evans’s cognitive dynamics – the skill of keeping track of one’s spatio-temporal location in addition to memory – it is possible to arrive at the conclusion that it is indeed possible for Rip to retain and re-express his original belief. (shrink)

The thesis that mental states are physical states enjoys widespread popularity. After the abandonment of typeidentity theories, however, this thesis has typically been framed in terms of state tokens. I argue that token states are a philosopher’s fiction, and that debates about the identity of mental and physical state tokens thus rest on a mistake.

There is a fundamental disagreement about which norm regulates assertion. Proponents of factive accounts argue that only true propositions are assertable, whereas proponents of non-factive accounts insist that at least some false propositions are. Puzzlingly, both views are supported by equally plausible (but apparently incompatible) linguistic data. This paper delineates an alternative solution: to understand truth as the aim of assertion, and pair this view with a non-factive rule. The resulting account is able to explain all the relevant linguistic data, (...) and finds independent support from general considerations about the differences between rules and aims. (shrink)

After presenting the rules of Eleatic antilogic, i.e., dialectic, I argue that Zeno was a practitioner, and, on the basis of key passages from Plato’s Parmenides, that his paradoxes of divisibility and movement were notreductio ad absurdum, but simple derivation of impossibilities meant to ridicule Parmenides’ adversaries. Thus, Zeno did not try to prove that there is no motion, but simply derived this consequence from premises held by his opponents. I argue further that these paradoxes were devised, in accordance with (...) Eleatic antilogic, following a scheme that included hypotheses and their contradictories, within which the subject is to be treated both “in relation to itself,” and “in relation to other things”. (shrink)

In this paper I discuss a certain kind of 'type confusion' which involves use of expressions of the wrong grammatical category, as in the string 'runs eats'. It is (nearly) universally accepted that such strings are meaningless. My purpose in this paper is to question this widespread assumption (or as I call it, 'the last dogma'). I discuss a range of putative reasons for accepting the last dogma: in §II, semantic and metaphysical reasons; in §III, logical reasons; and in §IV, (...) syntactic reasons. I argue that none of these reasons is conclusive, and that consequently we should be willing to question this last dogma of type confusions. (shrink)

Is the assumption of a fundamental distinction between particulars and universals another unsupported dogma of metaphysics? F. P. Ramsey famously rejected the particular – universal distinction but neglected to consider the many different conceptions of the distinction that have been advanced. As a contribution to the piecemeal investigation of this issue three interrelated conceptions of the particular – universal distinction are examined: universals, by contrast to particulars, are unigrade; particulars are related to universals by an asymmetric tie of exemplification; universals (...) are incomplete whereas particulars are complete. It is argued that these conceptions are wanting in several respects. Sometimes they fail to mark a significant division amongst entities. Sometimes they make substantial demands upon the shape of reality; once these demands are understood aright it is no longer obvious that the distinction merits our acceptance. The case is made via a discussion of the possibility of multigrade universals. (shrink)

The goal of this paper is to make sense of relativism about truth. There are two key ideas. (1) To be a relativist about truth is to allow that a sentence or proposition might be assessment-sensitive: that is, its truth value might vary with the context of assessment as well as the context of use. (2) Making sense of relativism is a matter of understanding what it would be to commit oneself to the truth of an assessment-sensitive sentence or proposition.

Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...) structure, because they differ in the placement of the logical constants “every” and “some”. By contrast, the sentences Every girl loves some boy. and Every boy loves some girl. are thought to have the same logical form, because “girl” and “boy” are not logical constants. Thus, in order to settle questions about logical form, and ultimately about which arguments are logically valid and which sentences logically true, we must distinguish the “logical constants” of a language from its nonlogical expressions. (shrink)

Frege introduced the notion of pragmatic force as what distinguishes statements from questions. This distinction was elaborated by Wittgenstein in his later works, and systematised as an account of different kinds of speech acts in formal dialogue theory by Hamblin. It lies at the heart of the inferential semantics more recently developed by Brandom. The present paper attempts to sketch some of the relations between these developments.

Kripke’s Fregean quantification logic FQ fails to formalize the usual first-order logic with identity due to the interpretation of the conditional operator. Motivated by Kripke’s syntax and semantics, the three-valued Fregean quantification logic FQ3 is proposed. This three valued logic differs from Kleene and Łukasiewicz’s three-valued logics. The logic FQ3 is decidable. A sound and complete Hilbert-style axiomatic system for the logic FQ3 is presented.

Research into logical syntax provides us the knowledge of the structure of sentences, while logical semantics provides a window into uncovering the truth of sentences. Therefore, it is natural to make sentences and truth the central concern when one deals with the theory of meaning logically. Although their theories of meaning differ greatly, both Michael Dummett’s theory and Donald Davidson’s theory are concerned with sentences and truth and developed in terms of truth. Logical theories and methods first introduced by G. (...) Frege underwent great developments during the past century and have played an important role in expanding these two scholars’ theories of meaning. (shrink)

It has long been debated whether objects are ‘sortally’ individuated. This paper begins by clarifying some of the key terms in play—in particular, ‘sortal’, ‘individuation’, and ‘object’. The term ‘individuation’ is taken to have both a cognitive and a metaphysical sense, in the former denoting the singling out of an object in thought and in the latter a determination relation between entities. ‘Sortalism’ is defined as the doctrine that only as falling under some specific sortal concept can an object be (...) successfully singled out in thought. It is argued that such a view is too strong, but that a weaker one, ‘categorialism’, can be defended, this implying that a thinker cannot successfully single out an object in thought without having at least an implicit grasp of the criterion of identity that the object satisfies. (shrink)

Some formal ontological relations are identified, in the context of an account of ontological categorization. It is argued that neither formal ontological relations nor ontological categories should themselves be regarded as elements of being, but that this does not undermine the claim of formal ontology to be a purely objective science. It is also argued that some formal ontological relations, like some ontological categories, are more basic than others. A four‐category ontology is proposed, in which two basic categories of universals (...) and two basic categories of particulars are distinguished in terms of certain formal ontological relations characteristically obtaining between entities belonging to the different categories. (shrink)

I defend the view that our ontology divides into categories, each with its own canonical way of identifying and distinguishing the objects it encompasses. For instance, I argue that natural numbers are identified and distinguished by their positions in the number sequence, and physical bodies, by facts having to do with spatiotemporal continuity. I also argue that objects belonging to different categories are ipso facto distinct. My arguments are based on an analysis of reference, which ascribes to reference a richer (...) structure than it is normally taken to have. (shrink)

ABSTRACTAccording to a famous argument by Dummett, the concept of set is indefinitely extensible, and the logic appropriate for reasoning about the instances of any such concept is intuitionistic, not classical. But Dummett's argument is widely regarded as obscure. This note explains how the final chapter of Rumfitt's important new book advances our understanding of Dummett's argument, but it also points out some problems and unanswered questions. Finally, Rumfitt's reconstruction of Dummett's argument is contrasted with my own preferred alternative.