In his new foreword to this edition, Hilary Putnam forcefully rejects these nativist claims.

. . . Unlike Dewey, he has provided detailed incisive argumentation, and has shown just where the dogmas and dualisms break down." -- Richard Rorty, The Yale Review.

Required reading at more than 100 colleges and universities throughout North America.

With this third edition of Nelson Goodman's The Structure of Appear ance, we are pleased to make available once more one of the most in fluential and important works in the philosophy of our times. Professor Geoffrey Hellman's introduction gives a sustained analysis and appreciation of the major themes and the thrust of the book, as well as an account of the ways in which many of Goodman's problems and projects have been picked up and developed by others. Hellman also (...) suggests how The Structure of Appearance introduces issues which Goodman later continues in his essays and in the Languages of Art. There remains the task of understanding Good man's project as a whole; to see the deep continuities of his thought, as it ranges from logic to epistemology, to science and art; to see it therefore as a complex yet coherent theory of human cognition and practice. What we can only hope to suggest, in this note, is the b. road Significance of Goodman's apparently technical work for philosophers, scientists and humanists. One may say of Nelson Goodman that his bite is worse than his bark. Behind what appears as a cool and methodical analysis of the conditions of the construction of systems, there lurks a radical and disturbing thesis: that the world is, in itself, no more one way than another, nor are we. It depends on the ways in which we take it, and on what we do. (shrink)

We offer a general framework for theorizing about the structure of knowledge and belief in terms of the comparative normality of situations compatible with one's evidence. The guiding idea is that, if a possibility is sufficiently less normal than one's actual situation, then one can know that that possibility does not obtain. This explains how people can have inductive knowledge that goes beyond what is strictly entailed by their evidence. We motivate the framework by showing how it illuminates knowledge about (...) the future, knowledge of lawful regularities, knowledge about parameters measured using imperfect instruments, the connection between knowledge, belief, and probability, and the dynamics of knowledge and belief in response to new evidence. (shrink)

We defend the thesis that every necessarily true proposition is always true. Since not every proposition that is always true is necessarily true, our thesis is at odds with theories of modality and time, such as those of Kit Fine and David Kaplan, which posit a fundamental symmetry between modal and tense operators. According to such theories, just as it is a contingent matter what is true at a given time, it is likewise a temporary matter what is true at (...) a given possible world; so a proposition that is now true at all worlds, and thus necessarily true, may yet at some past or future time be false in the actual world, and thus not always true. We reconstruct and criticize several lines of argument in favor of this picture, and then argue against the picture on the grounds that it is inconsistent with certain sorts of contingency in the structure of time. (shrink)

How is what we believe related to how we act? That depends on what we mean by "believe". On the one hand, there is what we're sure of: what our names are, where we were born, whether we're currently in front of a screen. Surety, in this sense, is not uncommon -- it does not imply Cartesian absolute certainty, from which no possible course of experience could dislodge us. But there are many things that we think that we are not (...) sure of. For example, we might think that it will rain sometime this month, but not be sure that it will. Both what we're sure of and what we think have important normative connections to action. But the connections are quite different. This paper explores these issues with respect to assertion, inquiry, and decision making. We conclude by arguing that there is no theoretically significant notion of "full belief" intermediate in strength between thinking and being sure. (shrink)

Dorr et al. present a case that poses a challenge for a number of plausible principles about knowledge and objective chance. Implicit in their discussion is an interesting new argument against KK, the principle that anyone who knows p is in a position to know that they know p. We bring out this argument, and investigate possible responses for defenders of KK, establishing new connections between KK and various knowledge-chance principles.

Essays discuss cognition, perception, art, science, truth, metaphor, education, philosophy, and cognitive psychology.

Philosophy and Phenomenological Research, EarlyView.

The identity predicate can be defined using second-order quantification: a=b =df ∀F(Fa↔Fb). Less familiarly, a dyadic sentential operator analogous to the identity predicate can be defined using third-order quantification: ϕ≡ψ =df ∀X(Xϕ↔Xψ), where X is a variable of the same syntactic type as a monadic sentential operator. With this notion in view, it is natural to ask after general principles governing its application. More grandiosely, how fine-grained is reality? -/- I will argue that reality is not structured in anything like (...) the way that the sentences we use to talk about it are structured. I do so by formulating a higher-order analogue of Russell’s paradox of structured propositions. I then relate this argument to the Frege-Russell correspondence. When confronted with the alleged paradox, Frege agreed that reality was not structured, but maintained that propositions (i.e. thoughts) were structured all the same. Russell replied that his paradox showed Frege’s theory of structured thoughts to be inconsistent, to which Frege replied that Russell’s argument failed to heed the distinction between sense and reference. Most recent commentators have sided with Russell. In defense of Frege, I establish the consistency of one version of his rejoinder. I then consider and reject some ways of resisting the argument against a structured conception of reality. I conclude that, if propositions are structured, this is because they correspond not to distinctions in reality, but rather to ways in which those distinctions can be represented. (shrink)

We often speak as if there are merely possible people—for example, when we make such claims as that most possible people are never going to be born. Yet most metaphysicians deny that anything is both possibly a person and never born. Since our unreflective talk of merely possible people serves to draw non-trivial distinctions, these metaphysicians owe us some paraphrase by which we can draw those distinctions without committing ourselves to there being merely possible people. We show that such paraphrases (...) are unavailable if we limit ourselves to the expressive resources of even highly infinitary first-order modal languages. We then argue that such paraphrases are available in higher-order modal languages only given certain strong assumptions concerning the metaphysics of properties. We then consider alternative paraphrase strategies, and argue that none of them are tenable. If talk of merely possible people cannot be paraphrased, then it must be taken at face value, in which case it is necessary what individuals there are. Therefore, if it is contingent what individuals there are, then the demands of paraphrase place tight constraints on the metaphysics of properties: either (i) it is necessary what properties there are, or (ii) necessarily equivalent properties are identical, and having properties does not entail even possibly being anything at all. (shrink)

Consider the sentence “Lois knows that Superman flies, but she doesn’t know that Clark flies”. In this paper we defend a Millian contextualist semantics for propositional attitude ascriptions, according to which ordinary uses of this sentence are true but involve a mid-sentence shift in context. Absent any constraints on the relevant parameters of context sensitivity, such a semantics would be untenable: it would undermine the good standing of systematic theorizing about the propositional attitudes, trivializing many of the central questions of (...) epistemology, the philosophy of mind, and the philosophy of action. In response to this problem, we prove a series of tenability results. We show that, given certain constraints on the parameters of context sensitivity, there is a broad class of principles of propositional attitude psychology whose good standing follows from corresponding claims about people’s mental representations. But these constraints also have some surprising consequences: they are jointly incompatible with coarse-grained theories of propositions, and they are in tension with a natural picture of how speakers and hearers coordinate on the interpretation of attitude ascriptions. In light of these consequences we explore different ways in which the contextualist picture might be developed, and argue that our preferred way compares favorably with Fregeanism and neo-Russellianism. (shrink)

Knowing and Making 1. Obstacles to Knowing The theory of knowledge to be sketched here rejects both absolutism and nihilism, both unique truth and the ...

Fundamental Buddhist teachings -- Main features of some western ethical theories -- Teravāda ethics as rule-consequentialism -- Mahāyāna ethics before Śāntideva and after -- Transcending ethics -- Buddhist ethics and the demands of consequentialism -- Buddhism on moral responsibility -- Punishment -- Objections and replies -- A Buddhist response to Kant.

Marr's levels of analysis—computational, algorithmic, and implementation—have served cognitive science well over the last 30 years. But the recent increase in the popularity of the computational level raises a new challenge: How do we begin to relate models at different levels of analysis? We propose that it is possible to define levels of analysis that lie between the computational and the algorithmic, providing a way to build a bridge between computational- and algorithmic-level models. The key idea is to push the (...) notion of rationality, often used in defining computational-level models, deeper toward the algorithmic level. We offer a simple recipe for reverse-engineering the mind's cognitive strategies by deriving optimal algorithms for a series of increasingly more realistic abstract computational architectures, which we call “resource-rational analysis.”. (shrink)

This paper is a study of higher-order contingentism – the view, roughly, that it is contingent what properties and propositions there are. We explore the motivations for this view and various ways in which it might be developed, synthesizing and expanding on work by Kit Fine, Robert Stalnaker, and Timothy Williamson. Special attention is paid to the question of whether the view makes sense by its own lights, or whether articulating the view requires drawing distinctions among possibilities that, according to (...) the view itself, do not exist to be drawn. The paper begins with a non-technical exposition of the main ideas and technical results, which can be read on its own. This exposition is followed by a formal investigation of higher-order contingentism, in which the tools of variable-domain intensional model theory are used to articulate various versions of the view, understood as theories formulated in a higher-order modal language. Our overall assessment is mixed: higher-order contingentism can be fleshed out into an elegant systematic theory, but perhaps only at the cost of abandoning some of its original motivations. (shrink)

We offer an interpretation of the mental files framework that eliminates the metaphor of files, information being contained in files, etc. The guiding question is whether, once we move beyond the metaphors, there is any theoretical role for files. We claim not. We replace the file-metaphor with two theses: the semantic thesis that there are irreducibly relational representational facts (viz. facts about the coordination of representations); and the metasemantic thesis that processes tied to information-relations ground those facts. In its canonical (...) statement, the ‘file’-theory makes reference to a certain kind of relational representational feature, and a certain kind of mental activity. Mental files need not come into it. In short, we posit mental filing without mental files. Our interpretation avoids awkward problems that arise on the standard interpretation and clarifies the explanatory commitments of the theory. (shrink)

We present and discuss a counterexample to the following plausible principle: if you know that a coin is fair, and for all you know it is going to be flipped, then for all you know it will land tails.

In many learning or inference tasks human behavior approximates that of a Bayesian ideal observer, suggesting that, at some level, cognition can be described as Bayesian inference. However, a number of findings have highlighted an intriguing mismatch between human behavior and standard assumptions about optimality: People often appear to make decisions based on just one or a few samples from the appropriate posterior probability distribution, rather than using the full distribution. Although sampling-based approximations are a common way to implement Bayesian (...) inference, the very limited numbers of samples often used by humans seem insufficient to approximate the required probability distributions very accurately. Here, we consider this discrepancy in the broader framework of statistical decision theory, and ask: If people are making decisions based on samples—but as samples are costly—how many samples should people use to optimize their total expected or worst-case reward over a large number of decisions? We find that under reasonable assumptions about the time costs of sampling, making many quick but locally suboptimal decisions based on very few samples may be the globally optimal strategy over long periods. These results help to reconcile a large body of work showing sampling-based or probability matching behavior with the hypothesis that human cognition can be understood in Bayesian terms, and they suggest promising future directions for studies of resource-constrained cognition. (shrink)

Is language understanding a special case of social cognition? To help evaluate this view, we can formalize it as the rational speech-act theory: Listeners assume that speakers choose their utterances approximately optimally, and listeners interpret an utterance by using Bayesian inference to “invert” this model of the speaker. We apply this framework to model scalar implicature (“some” implies “not all,” and “N” implies “not more than N”). This model predicts an interaction between the speaker's knowledge state and the listener's interpretation. (...) We test these predictions in two experiments and find good fit between model predictions and human judgments. (shrink)

In an essay on performance-enhancing drugs, author Chuck Klosterman (2007) argues that the category of enhancers extends from hallucinogens used to inspire music to steroids used to strengthen athletes—and he criticizes those who would excuse one means of enhancement while railing against the other as a form of cheating: After the summer of 1964, the Beatles started taking serious drugs, and those drugs altered their musical performance. Though it may not have been their overt intent, the Beatles took performance-enhancing drugs. (...) And . . . absolutely no one holds it against them. No one views “Rubber Soul” and “Revolver” as “less authentic” albums, despite the fact that they would not (and probably could .. (shrink)

This book examines the theoretical structure of Buddhist accounts of morality, defends them against objections, and discusses their implications for free will, the justification of punishment, and other issues.

We derive a probabilistic account of the vagueness and context-sensitivity of scalar adjectives from a Bayesian approach to communication and interpretation. We describe an iterated-reasoning architecture for pragmatic interpretation and illustrate it with a simple scalar implicature example. We then show how to enrich the apparatus to handle pragmatic reasoning about the values of free variables, explore its predictions about the interpretation of scalar adjectives, and show how this model implements Edgington’s Vagueness: a reader, 1997) account of the sorites paradox, (...) with variations. The Bayesian approach has a number of explanatory virtues: in particular, it does not require any special-purpose machinery for handling vagueness, and it is integrated with a promising new approach to pragmatics and other areas of cognitive science. (shrink)

ABSTRACTThis paper is about the relevance of attitude-ascriptions to debates about singular thought. It examines a methodology reject this methodology, the literature lacks a detailed examination of its implications and the challenges faced by proponents and critics. I isolate an assumption of the methodology, which I call the tracking assumption: that an attitude-ascription which states that s Φ's that P is true iff s has an attitude, of Φ-ing, which is an entertaining of the content P. I argue that the (...) tracking assumption must be rejected, not because it has deflationary consequences, but because it leads to unstable commitments. I also show that there are independent reasons to reject it, because ordinary attitude ascriptions underdetermine even the truth-conditions of the mental-states they ascribe. However, I argue, this does not involve rejecting the claim that attitude-ascriptions express relations between agents and contents. Instead, they state different relations depending on contextual factors other than the nature of the mental-states ascribed. (shrink)

It has become popular of late to identify the phenomenon of thinking a singular thought with that of thinking with a mental file. Proponents of the mental files conception of singular thought claim that one thinks a singular thought about an object o iff one employs a mental file to think about o. I argue that this is false by arguing that there are what I call descriptive mental files, so some file-based thought is not singular thought. Descriptive mental files (...) are mental files for which descriptive information plays four roles: determines which object the file is about, if any, it sets limits on possible mistakes that fall within the scope of successful reference for the file, it acts as a ‘gatekeeper’ for the file, and it determines persistence conditions for the file. Contrary to popular assumption, a description playing these roles is consistent with the file-theoretic framework. Recognising this allows us to distinguish the notion of singular thought from that of file-thinking and better understand the nature and role of both. (shrink)

In a series of recent papers, Timothy Williamson has argued for the surprising conclusion that there are cases in which you know a proposition in spite of its being overwhelmingly improbable given what you know that you know it. His argument relies on certain formal models of our imprecise knowledge of the values of perceptible and measurable magnitudes. This paper suggests an alternative class of models that do not predict this sort of improbable knowing. I show that such models are (...) motivated by independently plausible principles in the epistemology of perception, the epistemology of estimation, and concerning the connection between knowledge and justified belief. (shrink)

Hierarchical Bayesian models (HBMs) provide an account of Bayesian inference in a hierarchically structured hypothesis space. Scientific theories are plausibly regarded as organized into hierarchies in many cases, with higher levels sometimes called ‘paradigms’ and lower levels encoding more specific or concrete hypotheses. Therefore, HBMs provide a useful model for scientific theory change, showing how higher‐level theory change may be driven by the impact of evidence on lower levels. HBMs capture features described in the Kuhnian tradition, particularly the idea that (...) higher‐level theories guide learning at lower levels. In addition, they help resolve certain issues for Bayesians, such as scientific preference for simplicity and the problem of new theories. *Received July 2009; revised October 2009. †To contact the authors, please write to: Leah Henderson, Massachusetts Institute of Technology, 77 Massachusetts Avenue, 32D‐808, Cambridge, MA 02139; e‐mail: [email protected] (shrink)

We show that, contrary to conventional wisdom, Frege’s distinction between sense and reference does not reconcile a classical logic of identity with apparent counterexamples to it involving proper names embedded under propositional attitude verbs.