Locke’s thesis states that no two things of the same sort can be in the same place at the same time. The thesis has recently received extensive discussion, with some philosophers attempting to find arguments in its favour and others attempting to provide counter-examples. However, neither the arguments nor the counter-examples have been especially convincing; and it is my aim, in this short note, to present what I believe is a more convincing counter-example to the thesis.

Category mistakes are sentences such as 'Green ideas sleep furiously' or 'Saturday is in bed'. They strike us as highly infelicitous but it is hard to explain precisely why this is so. Ofra Magidor explores four approaches to category mistakes in philosophy of language and linguistics, and develops and defends an original, presuppositional account.

Absolute identity seems at first sight to be presupposed in the branch of formal logic called identity theory. Classical identity theory may be obtained by adjoining a single schema to ordinary quantification theory.

In the paper Plantinga refers to, I had set forth three axioms for what I had called the strict and philosophical sense of the term "part," or "proper part." These axioms tell us, in effect, that the expression "x is an S-part of y" expresses a relation that is transitive, asymmetric, and such that x bears it to y at all times that y exists. The latter clause may be put in Plantinga’s terms by saying "x bears it to y (...) at every time in every world in which y exists." Plantinga points out that there are several other relations that also have these properties, for example, the relation of proper set inclusion among sets of contingent objects. He asks, therefore, whether it is possible to supplement my three axioms in such a way that they single out properties that are peculiar to the relation of strict proper part. (shrink)

This book offers a unique synthesis of past and current work on the structure, meaning, and use of negation and negative expressions, a topic that has engaged thinkers from Aristotle and the Buddha to Freud and Chomsky. Horn's masterful study melds a review of scholarship in philosophy, psychology, and linguistics with original research, providing a full picture of negation in natural language and thought; this new edition adds a comprehensive preface and bibliography, surveying research since the book's original publication.

Category mistakes are sentences such as ‘Colourless green ideas sleep furiously’ or ‘The theory of relativity is eating breakfast’. Such sentences are highly anomalous, and this has led a large number of linguists and philosophers to conclude that they are meaningless (call this ‘the meaninglessness view’). In this paper I argue that the meaninglessness view is incorrect and category mistakes are meaningful. I provide four arguments against the meaninglessness view: in Sect. 2, an argument concerning compositionality with respect to category (...) mistakes; in Sect. 3 an argument concerning synonymy facts of category mistakes; in Sect. 4 concerning embeddings of category mistakes in propositional attitude ascriptions; and in Sect. 5 concerning the uses of category mistakes in metaphors. Having presented these arguments, in Sect. 6 I briefly discuss some of the positive motivations for accepting the meaninglessness view and argue that they are unconvincing. I conclude that the meaninglessness view ought to be rejected. (shrink)

This is the 1991 (2nd) edition of the 1986 book (MIT Press), considered to be the classic defense of Millianism. The nature of the information content of declarative sentences is a central topic in the philosophy of language. The natural view that a sentence like "John loves Mary" contains information in which two individuals occur as constituents is termed the naive theory, and is one that has been abandoned by most contemporary scholars. This theory was refuted originally by philosopher Gottlob (...) Frege. His argument that the naive theory did not work is termed Frege's puzzle, and his rival account of information content is termed the orthodox theory. In this detailed study, Nathan Salmon defends a version of the naive theory and presents a proposal for its extension that provides a better picture of information content than the orthodox theory gives. He argues that a great deal of what has generally been taken for granted in the philosophy of language over the past few decades is either mistaken or unsupported, and consequently, much current research is focused on the wrong set of questions. Salmon dissolves Frege's puzzle as it is usually formulated and demonstrates how it can be reconstructed and strengthened to yield a more powerful objection to the naive theory. He then defends the naive theory against the new Frege puzzle by presenting an idea that yields both a surprisingly rich and powerful extension of the naive theory and a better picture of information content than that of the original orthodox theory. Nathan Salmon is Professor of Philosophy, University of California at Santa Barbara. (shrink)

From an Ontological Point of View is a highly original and accessible exploration of fundamental questions about what there is. John Heil discusses such issues as whether the world includes levels of reality; the nature of objects and properties; the demands of realism; what makes things true; qualities, powers, and the relation these bear to one another. He advances an account of the fundamental constituents of the world around us, and applies this account to problems that have plagued recent work (...) in the philosophy of mind and metaphysics (color, intentionality, and the nature of consciousness). (shrink)

There is a well-known argument from Leibniz's Law for the view that coincident material things may be distinct. For given that they differ in their properties, then how can they be the same? However, many philosophers have suggested that this apparent difference in properties is the product of a linguistic illusion; there is just one thing out there, but different sorts or guises under which it may be described. I attempt to show that this ‘opacity’ defence has intolerable consequences for (...) the functioning of our language and that the original argument should therefore be allowed to stand. (shrink)

Many philosophers, following David Lewis, believe that we should look to counterpart theory, not quantified modal logic, as a means of understanding modal discourse. We argue that this is a mistake. Significant parts of modal discourse involve either implicit or explicit reference to what is actually the case, raising the question of how talk about actuality is to be represented counterpart-theoretically. By considering possible modifications of Lewis's counterpart theory, including actual modifications due to Graeme Forbes and Murali Ramachandran, we argue (...) that no coherent version of counterpart theory can provide a plausible representation of talk about actuality, and so, we conclude, counterpart theory should be rejected. (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)

For years philosophers argued for the existence of distinct yet materially coincident things by appealing to modal and temporal properties. For instance, the statue was made on Monday and could not survive being flattened; the lump of clay was made months before and can survive flattening. Such arguments have been thoroughly examined. Kit Fine has proposed a new set of arguments using the same template. I offer a critical evaluation of what I take to be his central lines of reasoning.

are synthetic a priori judgements possible?" In both cases, i~thas usually been t'aken for granted in fife one case by Kant that synthetic a priori judgements were possible, and in the other case in contemporary,'d-". philosophical literature that contingent statements of identity are ppss. ible. I do not intend to deal with the Kantian question except to mention:ssj~".

Generic statements (e.g., “Birds lay eggs”) express generalizations about categories. In this paper, we hypothesized that there is a paradoxical asymmetry at the core of generic meaning, such that these sentences have extremely strong implications but require little evidence to be judged true. Four experiments confirmed the hypothesized asymmetry: Participants interpreted novel generics such as “Lorches have purple feathers” as referring to nearly all lorches, but they judged the same novel generics to be true given a wide range of prevalence (...) levels (e.g., even when only 10% or 30% of lorches had purple feathers). A second hypothesis, also confirmed by the results, was that novel generic sentences about dangerous or distinctive properties would be more acceptable than generic sentences that were similar but did not have these connotations. In addition to clarifying important aspects of generics’ meaning, these findings are applicable to a range of real-world processes such as stereotyping and political discourse. (shrink)

The problem of temporary intrinsics is the problem of how persisting objects can have different intrinsic properties at different times. The relativizer responds to this problem by replacing ordinary intrinsic properties with relations to times. In this note, I identify and respond to three different objections to the relativizer's proposal, each of which can be traced to the work of David Lewis.

This article discusses recent work in metaphysics on temporal parts. After a short introduction introducing the notion of a temporal part, we examine several well‐known arguments for the view that ordinary material objects such as tables, trees, and persons have temporal parts: (1) positing temporal parts makes it possible to solve puzzles of coincidence (e.g., the statue/lump puzzle); (2) positing temporal parts makes it possible to solve the problem of intrinsic change over time; and (3) the existence of temporal parts (...) can be demonstrated based on considerations about vagueness in composition. We conclude by examining briefly a recent argument that the dispute over whether there are temporal parts is merely verbal. (shrink)

Assume that the only thing before you is a statue made of some alloy. Call those who think that there is one thing before you in such a case monists. Call those who think there are at least two things before you in such a case pluralists. The most common arguments for pluralism run as follows. The statue is claimed to have some property P that the piece of alloy lacks (or vice versa), and hence it is concluded that they (...) are distinct. Most often, the predicates employed in such arguments to express the crucial property are predicates expressing ‘temporal properties’, such as existing at a certain time; or ‘modal properties’, such as possibly being spherical; or ‘constitution properties’, such as being made of a certain sort of material. In a recent paper, Kit Fine has noted that such predicates suffer from various defects that make it possible for the monist to plausibly resist the relevant versions of the pluralist's arguments. For this reason, Fine considers a number of predicates that do not suffer from these defects, and constructs new versions of the above argument using them. Fine argues that any attempt on the monist's part to resist his versions of the argument force the monist to adopt implausible positions in the philosophy of language. As against this, I argue that the monist has perfectly plausible responses to Fine's arguments that require the monist to adopt only quite reasonable positions in the philosophy of language. (shrink)

I defend my paper ‘The Non-identity of a Material Thing and Its Matter’ against objections from Bryan Frances and Jeffrey King.

ONE KIND OF PHILOSOPHICAL PUZZLEMENT arises when we have an apparent conflict of intuitions. If we are philosophers, we then try to show that the apparent conflict of intuitions is only an apparent conflict and not a real one. If we fail, we may have to say that what we took to be an apparent conflict of intuitions was in fact a conflict of apparent intuitions, and then we must decide which of the conflicting apparent intuitions is only an apparent (...) intuition. But if we succeed, then both of the intuitions will be preserved. Since there was an apparent conflict, we will have to conclude that the formulation of at least one of the intuitions was defective. And though the formulation may be imbedded in our ordinary language, we will have to say that, strictly and philosophically, a different formulation is to be preferred. But to make it clear that we are not rejecting the intuition we are reformulating, we must show systematically how to interpret the ordinary formulation into the philosophical one. The extent to which we can show this will be one mark of our success in dealing with the philosophical puzzle. Another will be the extent to which our proposed solution contributes to the solution of still other philosophical puzzles. (shrink)

According to four dimensionalism, the material world is divided into momentary stages. In a four-dimensional world, which objects are the ordinary things, the things we normally name and quantify over? Aggregates of stages, according to most four-dimensionalists, but according to stage theorists (or exdurantists), ordinary objects are instead to be identified with the stages themselves. (A temporal counterpart theoretic account of de re temporal predication is then given.) This paper argues that a stage theorist is best positioned to accept David (...) Lewis's argument from temporary intrinsics for four-dimensionalism, since stage theorists are the only four-dimensionalists who attribute monadic temporary intrinsic properties to ordinary things. (shrink)

In this paper I argue that Gareth Evans’ famous proof of the impossibility of de re indeterminate identity fails on a counterpart-theoretic interpretation of the determinacy operators. I attempt to motivate a counterpart-theoretic reading of the determinacy operators and then show that, understood counterpart-theoretically, Evans’ argument is straightforwardly invalid.

The article is an investigation of a certain form of argument that refers to Leibniz’s Law as its inference ticket (where Leibniz’s Law is understood as the thesis that if x=y.