Aboutness has been studied from any number of angles. Brentano made it the defining feature of the mental. Phenomenologists try to pin down the aboutness-features of particular mental states. Materialists sometimes claim to have grounded aboutness in natural regularities. Attempts have even been made, in library science and information theory, to operationalize the notion. But it has played no real role in philosophical semantics. This is surprising; sentences have aboutness-properties if anything does. Aboutness is the first book to examine through (...) a philosophical lens the role of subject matter in meaning. A long-standing tradition sees meaning as truth-conditions, to be specified by listing the scenarios in which a sentence is true. Nothing is said about the principle of selection--about what in a scenario gets it onto the list. Subject matter is the missing link here. A sentence is true because of how matters stand where its subject matter is concerned. Stephen Yablo maintains that this is not just a feature of subject matter, but its essence. One indicates what a sentence is about by mapping out logical space according to its changing ways of being true or false. The notion of content that results--directed content--is brought to bear on a range of philosophical topics, including ontology, verisimilitude, knowledge, loose talk, assertive content, and philosophical methodology. Written by one of today's leading philosophers, Aboutness represents a major advance in semantics and the philosophy of language. (shrink)

The concept of entailment is often connected with deducibility: A is said to entail B iff B is logically deducible from A.1 It has also been connected to the concept of containment in Kant’s sense of analytic containment: A entails B only if the meaning of B is contained in the meaning of A. But the concepts of deducibility and containment are two distinct concepts, and the failure to distinguish them leads to faulty attempts to merge them in formal systems. (...) One such attempt is Anderson and Belnap’s system, E, in which a Fitch-type theory of natural deduction is modified to incorporate a certain sense of “containment”2. Another is Parry’s system, AI, of “analytic implication” which began with a more restricted sense of containment but has usually been presented as a theory of deducibility. (shrink)

Inspired by Rudolf Carnap's Der Logische Aufbau Der Welt, David J. Chalmers argues that the world can be constructed from a few basic elements. He develops a scrutability thesis saying that all truths about the world can be derived from basic truths and ideal reasoning. This thesis leads to many philosophical consequences: a broadly Fregean approach to meaning, an internalist approach to the contents of thought, and a reply to W. V. Quine's arguments against the analytic and the a priori. (...) Chalmers also uses scrutability to analyze the unity of science, to defend a conceptual approach to metaphysics, and to mount a structuralist response to skepticism. Based on the 2010 John Locke lectures, Constructing the World opens up debate on central philosophical issues involving language, consciousness, knowledge, and reality. This major work by a leading philosopher will appeal to philosophers in all areas. This entry contains uncorrected proofs of front matter, chapter 1, and first excursus. (shrink)

Modern empiricism has been conditioned in large part by two dogmas. One is a belief in some fundamental cleavage between truths which are analytic, or grounded in meanings independently of matters of fact, and truth which are synthetic, or grounded in fact. The other dogma is reductionism: the belief that each meaningful statement is equivalent to some logical construct upon terms which refer to immediate experience. Both dogmas, I shall argue, are ill founded. One effect of abandoning them is, as (...) we shall see, a blurring of the supposed boundary between speculative metaphysics and natural science. Another effect is a shift toward pragmatism. (shrink)

Equality1 gives rise to challenging questions which are not altogether easy to answer. Is it a relation? A relation between objects, or between names or signs of objects? In my Begriffsschrift I assumed the latter. The reasons which seem to favour this are the following: a = a and a = b are obviously statements of differing cognitive value; a = a holds a priori and, according to Kant, is to be labeled analytic, while statements of the form a = (...) b often contain very valuable extensions of our knowledge and cannot always be established a priori. The discovery that the rising sun is not new every morning, but always the same, was one of the most fertile astronomical discoveries. Even to-day the identification of a small planet or a comet is not always a matter of course. Now if we were to regard equality as a relation between that which the names ‘a’ and ‘b’ designate, it would seem that a = b could not differ from a = a (i.e. provided a = b is true). A relation would thereby be expressed of a thing to itself, and indeed one in which each thing stands to itself but to no other thing. What is intended to be said by a = b seems to be that the signs or names ‘a’ and ‘b’ designate the same thing, so that those signs themselves would be under discussion; a relation between them would be asserted. But this relation would hold between the names or signs only in so far as they named or designated something. It would be mediated by the connexion of each of the two signs with the same designated thing. But this is arbitrary. Nobody can be forbidden to use any arbitrarily producible event or object as a sign for something. In that case the sentence a = b would no longer refer to the subject matter, but only to its mode of designation; we would express no proper knowledge by its means. But in many cases this is just what we want to do. If the sign ‘a’ is distinguished from the sign ‘b’ only as object (here, by means of its shape), not as sign (i.e. not by the manner in which it designates something), the cognitive value of a = a becomes essentially equal to that of a = b, provided a = b is true.. (shrink)

Knowledge and Lotteries is organized around an epistemological puzzle: in many cases, we seem consistently inclined to deny that we know a certain class of propositions, while crediting ourselves with knowledge of propositions that imply them. In its starkest form, the puzzle is this: we do not think we know that a given lottery ticket will be a loser, yet we normally count ourselves as knowing all sorts of ordinary things that entail that its holder will not suddenly acquire a (...) large fortune. After providing a number of specific and general characterizations of the puzzle, Hawthorne carefully examines the competing merits of candidate solutions. In so doing, he explores a number of central questions concerning the nature and importance of knowledge, including the relationship of knowledge to assertion and practical reasoning, the status of epistemic closure principles, the merits of various brands of scepticism, the prospects for a contextualist account of knowledge, and the potential for other sorts of salience-sensitive accounts. Along the way, he offers a careful treatment of pertinent issues at the foundations of semantics. His book will be of interest to anyone working in the field of epistemology, as well as to philosophers of language. (shrink)

Let me start with a well-known story. Kant held that logic and conceptual analysis alone cannot account for our knowledge of arithmetic: “however we might turn and twist our concepts, we could never, by the mere analysis of them, and without the aid of intuition, discover what is the sum [7+5]” (KrV, B16). Frege took himself to have shown that Kant was wrong about this. According to Frege’s logicist thesis, every arithmetical concept can be defined in purely logical terms, and (...) every theorem of arithmetic can be proved using only the basic laws of logic. Hence, Kant was wrong to think that our grasp of arithmetical concepts and our knowledge of arithmetical truth depend on an extralogical source—the pure intuition of time (Frege 1884, §89, §109). Arithmetic, properly understood, is just a part of logic. (shrink)

David Lewis (1941-2001) was Class of 1943 University Professor of Philosophy at Princeton University. His contributions spanned philosophical logic, philosophy of language, philosophy of mind, philosophy of science, metaphysics, and epistemology. In On the Plurality of Worlds, he defended his challenging metaphysical position, "modal realism." He was also the author of the books Convention, Counterfactuals, Parts of Classes, and several volumes of collected papers.

Mark Wilson presents a highly original and broad-ranging investigation of the way we get to grips with the world conceptually, and the way that philosophical problems commonly arise from this. He combines traditional philosophical concerns about human conceptual thinking with illuminating data derived from a large variety of fields including physics and applied mathematics, cognitive psychology, and linguistics. Wandering Significance offers abundant new insights and perspectives for philosophers of language, mind, and science, and will also reward the interest of psychologists, (...) linguists, and anyone curious about the mysterious ways in which useful language obtains its practical applicability. (shrink)

This chapter explains the basic framework of truthmaker or 'exact' semantics, an approach to semantics that has recently received a growing amount of interest, and discusses a number of different applications within philosophy and linguistics. The idea of truthmaking is the idea of something on the side of the world ‐ a fact, perhaps, or a state of affairs ‐ verifying, or making true, something on the side of language or thought ‐ a statement, perhaps, or a proposition. The chapter (...) focuses on the ultimate truthmakers, on what in the world ultimately makes something true, and the question of how the truthmakers make the statements of our language true is of no great concern. It also focuses on the immediate truthmakers, and the question of how they make the statements of the language true will be of greatest concern. (shrink)

Keith DeRose presents, develops, and defends original solutions to two of the stickiest problems in epistemology: skeptical hypotheses and the lottery problem. He deploys a powerful version of contextualism, the view that the epistemic standards for the attribution of knowledge vary with context.

What is the role of consciousness in our mental lives? Declan Smithies argues here that consciousness is essential to explaining how we can acquire knowledge and justified belief about ourselves and the world around us. On this view, unconscious beings cannot form justified beliefs and so they cannot know anything at all. Consciousness is the ultimate basis of all knowledge and epistemic justification.

Recent metaphysics has turned its focus to two notions that are—as well as having a common Aristotelian pedigree—widely thought to be intimately related: grounding and essence. Yet how, exactly, the two are related remains opaque. We develop a unified and uniform account of grounding and essence, one which understands them both in terms of a generalized notion of identity examined in recent work by Fabrice Correia, Cian Dorr, Agustín Rayo, and others. We argue that the account comports with antecedently plausible (...) principles governing grounding, essence, and identity taken individually, and illuminates how the three interact. We also argue that the account compares favorably to an alternative unification of grounding and essence recently proposed by Kit Fine. (shrink)

By means of an example, shows the possibility of beliefs that are separately rational whilst together inconsistent.

This book is a critical discussion of the principle of compositionality, the thesis that the meaning of a complex expression is fully determined by the meanings of its constituents and its structure. The aim of this book is to clarify what is meant by this principle, to show that its traditional justification is insufficient, and to discuss some of the problems that have to be addressed before a new attempt can be made to justify it.

Let me start with an example. Presumably our understanding of the sentence ‘dogs bark’ arises somehow from our understanding of its components and our appreciation of how they are combined. That is to say, ‘dogs bark’ somehow gets its meaning from the meanings of the two words ‘dog’ and ‘bark’, from the meaning of the generalization schema ‘ns v’, and from the fact that the sentence results from placing those words in that schema in a certain order. However, as Davidson (...) was the first to emphasize, it is not possible to produce a strict logical deduction of what ‘dogs bark’ means from these more basic facts alone. So a question arises as to which further premises are required. What assumptions about the character of meaning should be added in order to obtain an explanation of the meaning of the sentence on the basis of the meanings of its words? (shrink)

Knowledge closure is the claim that, if an agent S knows P, recognizes that P implies Q, and believes Q because it is implied by P, then S knows Q. Closure is a pivotal epistemological principle that is widely endorsed by contemporary epistemologists. Against Knowledge Closure is the first book-length treatment of the issue and the most sustained argument for closure failure to date. Unlike most prior arguments for closure failure, Marc Alspector-Kelly's critique of closure does not presuppose any particular (...) epistemological theory; his argument is, instead, intuitively compelling and applicable to a wide variety of epistemological views. His discussion ranges over much of the epistemological landscape, including skepticism, warrant, transmission and transmission failure, fallibilism, sensitivity, safety, evidentialism, reliabilism, contextualism, entitlement, circularity and bootstrapping, justification, and justification closure. As a result, the volume will be of interest to any epistemologist or student of epistemology and related subjects. (shrink)

Consider the task under which I labour: These are supposed to be talks in the millennial spirit. My charge is to find, somewhere in the philosophical landscape, a problem of whose current status I can give some coherent account, and to point the direction in which it seems to me that further research might usefully proceed, And I'm to try to sound reasonably cheerful and optimistic in the course of doing so. No sooner did I begin to ponder these terms (...) of engagement, than it occurred to me that cheer and optimism aren't really my thing; also that I hadn't heard of a topic in the philosophy of mind which seems to me to be other than a godawful mess. It struck me that my best course would be for me to change my name and go into hiding. Thus my first choice of a title for this lecture, which was ‘To Be Announced’. (shrink)

I provide a truthmaker semantics for Angell’s system of analytic implication and establish completeness.

_One summary of the great Kant's view, to the extent that it can be summed up, is_ _that he takes determinism to be a kind of fact, and indeterminism to be another kind_ _of fact, and our freedom to be a fact too -- but takes this situation to have nothing to_ _do with the kind of compatibility of determinism and freedom proclaimed by such_ _Compatibilists as Hobbes and Hume. Thus Kant does not make freedom consistent_ _with determinism by taking (...) up a definition of freedom as voluntariness -- at bottom,_ _being able to do what you want. This he dismisses as a wretched subterfuge,_ _quibbling about words. Rather, the freedom he seeks to make consistent with_ _determinism does indeed seem to be the freedom of the Incompatibilists --_ _origination. Is he then an Incompatibilist? Well, against that, it can be said he does_ _not allow the existence of origination in what can be called the world we know, as_ _Incompatibilists certainly do._. (shrink)

I extend the previously given truth-maker semantics and logic for imperatives to deontic statements.