Against the background of standard possible-worlds semantics, this paper outlines a truthmaker approach to the semantics of attitude reports and modal sentences based on an ontology of attitudinal and modal objects.

This paper elaborates distinctions between a core and a periphery in the ontological and the conceptual domain associated with natural language. The ontological core-periphery distinction is essential for natural language ontology and is the basis for the central thesis of my 2013 book Abstract Objects and the Semantics of Natural Language, namely that natural language permits reference to abstract objects in its periphery, but not its core.

Although there have been efforts to integrate Semantic Web technologies and artificial agents related AI research approaches, they remain relatively isolated from each other. Herein, we introduce a new ontology framework designed to support the knowledge representation of artificial agents’ actions within the context of the actions of other autonomous agents and inspired by standard cognitive architectures. The framework consists of four parts: 1) an event ontology for information pertaining to actions and events; 2) an epistemic ontology containing facts about (...) knowledge, beliefs, perceptions and communication; 3) an ontology concerning future intentions, desires, and aversions; and, finally, 4) a deontic ontology for modeling obligations and prohibitions which limit agents’ actions. The architecture of the ontology framework is inspired by deontic cognitive event calculus as well as epistemic and deontic logic. We also describe a case study in which the proposed DCEO ontology supports autonomous vehicle navigation. (shrink)

The research presented in this article is motivated by the increasing importance of complex human relations in linked data, either extracted from social networks, or found in existing databases. The FOAF vocabulary, targeted in our research, plays a central role in those data, and is a model for lightweight ontologies largely used in linked data, such as the DBpedia ontology and schema-org. We provide an overview of FOAF and other approaches for describing human relations, followed by a detailed analysis and (...) critique of the FOAF Relationship Vocabulary, the most important FOAF extension. We propose an explicit formal axiomatization of this vocabulary, and an ontological analysis concerning the properties used to describe human relationships. We analyze the distribution of human relations based on their epistemological status, and define an ontoepistemic meta-property as characteristic of some of these predicates. Our analysis is generalizable to semantic modeling of social networks. Additionally, the modeling patterns used in other relevant linked data vocabularies are analyzed for comparison. (shrink)

Our aim in the present paper is to investigate, from the standpoint of truth-theoretic semantics, English tense, temporal designators and quantifiers, and other expressions we use to relate ourselves and other things to the temporal order. Truth-theoretic semantics provides a particularly illuminating standpoint from which to discuss issues about the semantics of tense, and their relation to thoughts at, and about, times. Tense, and temporal modifiers, contribute systematically to conditions under which sentences we utter are true or false. A Tarski-style (...) truth-theoretic semantics, by requiring explicitly represented truth conditions, helps to sharpen questions about the function of tense, and to deepen our insight into the contribution the tenses and temporal modifiers make to what we say by using them. (shrink)

Paul M. Pietroski, University of Maryland For any sentence of a natural language, we can ask the following questions: what is its meaning; what is its syntactic structure; and how is its meaning related to its syntactic structure? Attending to these questions, as they apply to sentences that provide evidence for Davidsonian event analyses, suggests that we reconsider some traditional views about how the syntax of a natural sentence is related to its meaning.

Paul M. Pietroski, University of Maryland I had heard it said that Chomsky’s conception of language is at odds with the truth-conditional program in semantics. Some of my friends said it so often that the point—or at least a point—finally sunk in.

This book present a unified semantic theory of expressions involving the notions of part and whole. It develops a theory of part structures which differs from traditional (extensional) mereological theories in that the notion of an integrated whole plays a central role and in that the part structure of an entity is allowed to vary across different situations, perspectives, and dimensions. The book presents a great range of empirical generalizations involving plurals, mass nouns, adnominal and adverbial modifiers such as 'whole', (...) 'together', and 'alone', nominal and adverbial quanitfiers ranging over parts, and expressions of completion such as 'completely' and 'partly'. (shrink)

Interdisciplinary investigations marry the methods and concerns of different fields. Computer science is the study of precise descriptions of finite processes; semantics is the study of meaning in language. Thus, computational semantics embraces any project that approaches the phenomenon of meaning by way of tasks that can be performed by following definite sets of mechanical instructions. So understood, computational semantics revels in applying semantics, by creating intelligent devices whose broader behavior fits the meanings of utterances, and not just their form. (...) IBM’s Watson (Ferrucci, Brown, Chu-Carroll, Fan, Gondek, Kalyanpur, Lally, Murdock, Nyberg, Prager, Schlaefer & Welty 2010) is a harbinger of the excitement and potential of this technology. (shrink)

It is a standard assumption in contemporary metaphysics that concrete objects come with a location in space and time. This applies not only to material objects and events, but also modes (such as the roundness of the apple, the softness of the pillow, Socrates' wisdom) and entities that have been called 'disturbances' (e.g. holes, folds, faults, and scratches). Taking the approach of descriptive metaphysics, I will show that modes and disturbances fail to have a bearer-independent spatial location. This allows for (...) a metaphysical explanation of the Chomskyan contrast between 'There is a fly believed to be in the bottle' and the unacceptable 'There is a flaw believed to be in the argument'. A subsidiary point this paper makes is that in their lack of a direct spatial location, modes need to be sharply distinguished from tropes as a category of foundationalist metaphysics that has been at the center of a pursuit of a one-category ontology since Williams (1953). (shrink)

Contemporary literature in philosophy of action seems to be divided overthe place of action in the natural causal world. I think that a disagreementabout ontology underlies the division. I argue here that human action isproperly understood only by reference to a category of process or activity,where this is not a category of particulars.

Plausibly, agents act freely iff their actions are responses to reasons. But what sort of relationship between reason and action is required for the action to count as a response? The overwhelmingly dominant answer to this question is modalist. It holds that responses are actions that share a modally robust or secure relationship with the relevant reasons. This thesis offers a new alternative answer. It argues that responses are actions that can be explained by reasons in the right way. This (...) explanationist answer comes apart from the modalist answer. For it holds that actions are responses to reasons if they are explained by those reasons even if they don’t share a modally robust relationship. Explanationism thus offers a novel way of vindicating the intuition that alternative possibilities don’t matter to responding to reasons and (consequently) free agency. The key dialectical position the thesis develops is that both modalism and explanationism constitute attempts to capture he core type of relationship encoded by the notion of a response. Responses to reasons, at core, involve a non-accidental relationship between reason and action. We can either understand non-accidentality as a modal phenomenon – as a modally robust tracking between two facts. Or we can understand non-accidentality as an explanatory phenomenon – as a special explanatory relationship between two facts. According to my rival explanationist proposal, two facts share a non-accidental relationship iff we can give a unified explanation of why both obtain. Unified explanations are explanations of why [p&q] that cannot be decomposed into two (or more) separate independent explanations of p and of q. Consequently, according to explanationism about responding to reasons, actions are responses to reasons iff those reasons offer a rational explanation of the action that cannot be decomposed into separate independent components. (shrink)

…entities? 2. How to be a nominalist 2.1. “Speak with the vulgar …” 2.2. “…think with the learned” 3. Arguments for nominalism 3.1. Intelligibility, physicalism, and economy 3.2. Causal..

Assuming that events form a genuine ontological category, shall we say that a good inventory of the world ought to include “negative” events—failures, omissions, things that didn’t happen—along with positive ones? I argue that we shouldn’t. Talk of non-occurring events is like talk of non-existing objects and should not be taken at face value. We often speak as though there were such things, but deep down we want our words to be interpreted in such a way as to avoid serious (...) ontological commitment. (shrink)

In formal logic there is a premium on clever paraphrase, for it subsumes troublesome inferences under a familiar theory. (A paradigm is Davidson's analysis 1967 of inferences like ?He buttered his toast with a knife; so, he buttered his toast?.) But the need for paraphrase in formal logic runs deeper than the odd recalcitrant inference, and thus, I shall argue, commits logicians to some interesting consequences. First, the thesis that arguments are valid in virtue of their form must be severely (...) qualified (?4). And second, it is misleading to view a formal logical theory as a standard for justifying and criticizing inference (?7). The latter point depends on the nature and role of paraphrase, which permit a range of conflicting logical theories. Conflicting logical theories arise from the conflicting goals of logical theorists and the promiscuous nature of paraphrase makes reconciliation impossible. (shrink)

Sometimes form-meaning mappings in language are not arbitrary, but iconic: they depict what they represent. Incorporating iconic elements of language into a compositional semantics faces a number of challenges in formal frameworks as evidenced by the lengthy literature in linguistics and philosophy on quotation/direct speech, which iconically portrays the words of another in the form that they were used. This paper compares the well-studied type of iconicity found with verbs of quotation with another form of iconicity common in sign languages: (...) classifier predicates. I argue that these two types of verbal iconicity can, and should, incorporate their iconic elements in the same way using event modification via the notion of a context dependent demonstration. This unified formal account of quotation and classifier predicates predicts that a language might use the same strategy for conveying both, and I argue that this is the case with role shift in American Sign Language. Role shift is used to report others’ language and thoughts as well as their actions, and recently has been argued to provide evidence in favor of Kaplanian “monstrous” indexical expressions. By reimagining role shift as involving either quotation for language demonstrations or “body classifier” predicates for action demonstrations, the proposed account eliminates one major argument for these monsters coming from sign languages. Throughout this paper, sign languages provide a fruitful perspective for studying quotation and other forms of iconicity in natural language due to their lack of a commonly used writing system which is otherwise often mistaken as primary data instead of speech, the rich existing literature on iconicity within sign language linguistics, and the ability of role shift to overtly mark the scope of a language report. In this view, written language is merely a special case of a more general phenomenon of sign and speech demonstration, which accounts more accurately for natural language data by permitting more strict or loose verbatim interpretations of demonstrations through the context dependent pragmatics. (shrink)

Ramsification is a well-known method of defining theoretical terms that figures centrally in a wide range of debates in metaphysics. Prior's puzzle is the puzzle of why, given the assumption that that-clauses denote propositions, substitution of "the proposition that P" for "that P" within the complements of many propositional attitude verbs sometimes fails to preserve truth, and other times fails to preserve grammaticality. On the surface, Ramsification and Prior's puzzle appear to have little to do with each other. But Prior's (...) puzzle is much more general than is ordinarily appreciated, and Ramsification requires a solution to the generalized form of Prior's puzzle. Without such a solution, a wide range of theories will either fail to imply their Ramsey sentences, or have Ramsey sentences that are ill-formed. As a consequence, definitions of theoretical terms given using the Ramsey sentence will be either incorrect or nonsensical. I present a partial solution to the puzzle that requires making use of a neo-Davidsonian language for scientific theorizing, but the would-be Ramsifier still faces serious challenges. (shrink)

Jerry Fodor (Concepts: Where cognitive science went wrong. New York: Oxford University Press, 1998) famously argued that lexical concepts are unstructured. After examining the advantages and disadvantages of both the classical approach to concepts and Fodor's conceptual atomism, I argue that some lexical concepts are, in fact, structured. Roughly stated, I argue that structured lexical concepts bear a necessary biconditional entailment relation to their structural constituents. I develop this account of the structure of lexical concepts within the framework of Pavel (...) Tichy's (The foundations of Frege's logic. Berlin, New York: De Gruyter, 1988) theory of constructions. I argue that concepts are constructions which can be combined by way of Tichy's construction-forming operations of composition and closure and an additional operation, simplification, which I propose in section 6. The last of these construction-forming operations plays a central role in my account of lexical concept structure. Stated generally, structured lexical concepts are a result of simplifying their structural constituents. (shrink)

Situational aspects of action are discussed. The presented approach emphasizes the role of situational contexts in which actions are performed. These contexts influence the course of an action; they are determined not only by the current state of the system but also shaped by other factors as time, the previously undertaken actions and their succession, the agents of actions and so on. The distinction between states and situations is explored from the perspective of action systems. The notion of a situational (...) action system is introduced and its theory is expounded. Numerous examples illustrate the reach of the theory. (shrink)

Causal slingshots are formal arguments advanced by proponents of an event ontology of token-level causation which, in the end, are intended to show two things: (i) The logical form of statements expressing causal dependencies on token level features a binary predicate ‘‘... causes ...’’ and (ii) that predicate takes events as arguments. Even though formalisms are only revealing with respect to the logical form of natural language statements, if the latter are shown to be adequately captured within a corresponding formalism, (...) proponents of slingshots usually take the adequacy of their formalizations for granted without justifying it. The first part of this paper argues that the most discussed version of a causal slingshot, viz. the one e.g. presented by Davidson (Essays on actions and events. Oxford, Clarendon Press, 1980), can indeed be refuted for relying on an inadequate formal apparatus. In contrast, the formal means of Gödel’s (The philosophy of Betrand Russell. New York, Tudor, 1944) often neglected slingshot are shown to stand on solid ground in the second part of the paper. Nonetheless, I contend that Gödel’s slingshot does only half the work friends of event causation would like it to do. It provides good reasons for (i) but not for (ii). (shrink)

There is a much-discussed form of argument the conclusion of which is that we do not directly perceive space-filling material objects themselves, only parts of their surfaces. Donald Davidson's view that events are temporal particulars invites a structurally similar argument about the direct perception of events. In this paper, I spell out such an argument and consider a number of possible solutions to it. I explore the idea that a satisfactory response to this problem in the philosophy of perception can (...) be grounded in a temporal ontology that includes temporal stuff as well as temporal particulars. I discuss different ways of developing this idea, and I go on to identify what I take to be the most promising version of an approach of this kind. (shrink)

Analytic philosophy is sometimes said to have particularly close connections to logic and to science, and no particularly interesting or close relation to its own history. It is argued here that although the connections to logic and science have been important in the development of analytic philosophy, these connections do not come close to characterizing the nature of analytic philosophy, either as a body of doctrines or as a philosophical method. We will do better to understand analytic philosophy—and its relationship (...) to continental philosophy—if we see it as a historically constructed collection of texts, which define its key problems and concerns. It is true, however, that analytic philosophy has paid little attention to the history of the subject. This is both its strength—since it allows for a distinctive kind of creativity—and its weakness—since ignoring history can encourage a philosophical variety of “normal science.”. (shrink)

We propose an account of dynamic predicates which draws on the notion of force, eliminating reference to events in the linguistic semantics. We treat dynamic predicates as predicates of forces, represented as functions from an initial situation to a final situation that occurs ceteris paribus, that is, if nothing external intervenes. The possibility that opposing forces might intervene to prevent the transition to a given final situation leads us to a novel analysis of non-culminating accomplishment predicates in a variety of (...) languages, including the English progressive. We then apply the force-theoretic framework to the composition of basic Vendlerian eventuality types within a lexical-decomposition syntax. The difference between predicates of forces and predicates of situations is argued to underlie the dynamic/stative contrast, and also to allow for a formal treatment of the difference between be and stay. Consequences for the relationship between language and cognition are discussed. (shrink)

When I raise my arm, what makes it the case that my arm's going up is an instance of my raising my arm? In this paper, I discuss Aristotle's answer to this question. His view, I argue, is that my arm's going up counts as my raising my arm just in case it is an exercise of a certain kind of causal power of mine. I show that this view differs in an interesting way both from the Davidsonian ‘standard causal (...) account’ of action and from accounts put forward by recent critics of Davidson, such as Hornsby, Alvarez and Hyman. (shrink)

Phenomenologically speaking, we perceive the present, recall the past, and anticipate the future. We offer an account of the temporal content of the perceptual present that distinguishes it from the recalled past and the anticipated future. We distinguish two views: the Token Reflexive Account and the Minimal Account. We offer reasons to reject the Token Reflexive Account, and defend the Minimal Account, according to which the temporal content of the perceptual present is exhausted by its direct reference to the interval (...) of time over which it occurs. (shrink)

Event semantics is concerned with the formal structure of sentences which appear to describe an event of some kind, e.g. ‘Brutus kills Caesar,’ or ‘My tooth fell out.’ Phenomenologists should be interested in work in this field, if they hope to rescue Husserl’s phenomenology of judgment from its narrow focus on copular judgments of the form ‘S is p.’ An adequate phenomenology of judgment must ultimately develop an account of judgments whose intentional correlates seem to be events, rather than states (...) of affairs, since such judgments are ubiquitous. For this endeavor, existing work on the formal structure of event sentences provides a crucial foothold. However, phenomenologists cannot simply import semantic theories for their own use, without first evaluating them for phenomenological plausibility. This concern is particularly acute in the case of the widely-adopted “Davidsonian” approach, according to which the logical structure of event sentences diverges radically from natural language syntax. The Davidsonian form introduces a “covert” variable, which stands in for an event. Thus, the sentence ‘Brutus kills Caesar’ becomes, ‘There is an event e that is a killing of Caesar by Brutus.’ Such a theory, if correct, would have decisive consequences for the phenomenology of event sentences, and even of events themselves. Yet the introduction of covert variables in turn introduces—I argue—a covert intentional object, without assessing this idea for phenomenological plausibility. Building on Husserl’s phenomenology of predication, I develop a criterion for evaluating this hypothesis, and argue that the Davidsonian approach, as it stands, is phenomenologically untenable. (shrink)

o (2000), 243). In particular, the idea is that binding interactions between the relevant expressions and natural lan- guage quantifiers are best explained by the hypothesis that those expressions harbor hidden but bindable variables. Recently, however, Herman Cappelen and Ernie Lepore have rejected such binding arguments for the presence of hid- den variables on the grounds that they overgeneralize — that, if sound, such arguments would establish the presence of hidden variables in all sorts of ex- pressions where it is (...) implausible that they exist (Cappelen and Lepore (2005), Cappelen and Lepore (2002)).1 In what follows we respond to Cappelen’s and Lepore’s attempted reductio by bringing out crucial disanalogies between cases where the binding argument is successful and cases where it is not. But we have a deeper purpose than merely to respond to Cappelen and Lepore: we think the attempted reductio goes wrong by not taking sufficiently seriously the nature of the binding relation that holds between quantifiers and arguments/variables, and that our criticism will serve to highlight the nature and importance of this relation. (shrink)

Approaches to anaphora generally seek to explain the potential for a DP to covary with a pronoun in terms of a combination of factors, such as the inherent semantics of the antecedent DP, its scope properties, and its structural position. A case in point is Reinhart’s classic condition on bound anaphora, paraphrasable as A DP can antecede a pronoun pro only if the DP c-commands pro at S-structure, supplemented with some extra machinery to allow indefinites to covary with pronouns beyond (...) their c-command domains. In the present paper, I explore a different take. I propose that anaphora is governed not by DPs and their properties; it is governed by predicates and their properties. To use a metaphor from dynamic semantics: discourse referents can only be ‘activated’ by predicates, never by DPs. This conceptually simple assumption is shown to have far-reaching consequences. For one, it yields a new take on weak crossover, arguably worthy of consideration. Moreover, it leads to a further general “restatement of the anaphora question”, in Reinhart’s words. (shrink)

Colloquially, episodic memory is described as “the memory of personally experienced events”. Even though episodic memory has been studied in psychology and neuroscience for about six decades, there is still great uncertainty as to what episodic memory is. Here we ask how episodic memory should be characterized in order to be validated as a natural kind. We propose to conceive of episodic memory as a knowledge-like state that is identified with an experientially based mnemonic representation of an episode that allows (...) for a mnemonic simulation thereof. We call our analysis the Sequence Analysis of Episodic Memory since episodes will be analyzed in terms of sequences of events. Our philosophical analysis of episodic memory is driven and supported by experimental results from psychology and neuroscience. We discuss selected experimental results that provide exemplary evidence for uniform causal mechanisms underlying the properties of episodic memory and argue that episodic memory is a natural kind. The argumentation proceeds along three cornerstones: First, psychological evidence suggests that a violation of any of the proposed conditions for episodic memory amounts to a deficiency of episodic memory and no form of memory or cognitive process but episodic memory fulfills them. Second, empirical results support a claim that the principal anatomical substrate of episodic memory is the hippocampus. Finally, we can pin down causal mechanisms onto neural activities in the hippocampus to explain the psychological states and processes constituting episodic memory. (shrink)

Despite its strengths, Leech et al.'s model fails to address the important benefits that derive from self-explanation and task feedback in analogical reasoning development. These components encourage explicit, self-reflective processes that do not necessarily link to knowledge accretion. We wonder, therefore, what mechanisms can be included within a connectionist framework to model self-reflective involvement and its beneficial consequences.

Davidsonian event semantics is often taken to form an unhappy marriage with compositional semantics. For example, it has been claimed to be problematic for semantic accounts of quantification Proceedings of the 16th Amsterdam Colloquium, 2007), for classical accounts of negation Semantics and contextual expression, 1989), and for intersective accounts of verbal coordination. This paper shows that none of this is the case, once we abandon the idea that the event variable is bound at sentence level, and assume instead that verbs (...) denote existential quantifiers over events. Quantificational arguments can then be given a semantic account, negation can be treated classically, and coordination can be modeled as intersection. The framework presented here is a natural choice for researchers and fieldworkers who wish to sketch a semantic analysis of a language without being forced to make commitments about the hierarchical order of arguments, the argument-adjunct distinction, the default scope of quantifiers, or the nature of negation and coordination. (shrink)

In this paper we propose a way to deal with natural language inference by implementing Modern Type Theoretical Semantics in the proof assistant Coq. The paper is a first attempt to deal with NLI and natural language reasoning in general by using the proof assistant technology. Valid NLIs are treated as theorems and as such the adequacy of our account is tested by trying to prove them. We use Luo’s Modern Type Theory with coercive subtyping as the formal language into (...) which we translate natural language semantics, and we further implement these semantics in the Coq proof assistant. It is shown that the use of a MTT with an adequate subtyping mechanism can give us a number of promising results as regards NLI. Specifically, it is shown that a number of inference cases, i.e. quantifiers, adjectives, conjoined noun phrases and temporal reference among other things can be successfully dealt with. It is then shown, that even though Coq is an interactive and not an automated theorem prover, automation of all of the test examples is possible by introducing user-defined automated tactics. Lastly, the paper offers a number of innovative approaches to NL phenomena like adjectives, collective predication, comparatives and factive verbs among other things, contributing in this respect to the theoretical study of formal semantics using MTTs. (shrink)

It is natural to think that the relationship between ‘rain’ and the location of rain is different from the relationship between ‘dance’ and the location of dancing. Utterances of (1) are typically interpreted as, in some sense, being about a location in which it rains. (2) is, typically, not interpreted as being about a location in which the dancing takes place.

The paper proposes a process-based model for an ontology that encompasses the emergence of process systems generated by increasingly complex levels of organization. Starting with a division of processes into those that are persistent and those that are fleeting, the model builds through a series of exclusive and exhaustive disjunctions. The crucial distinction is between those persistent and cohesive systems that are energy wells, and those that are far-from-equilibrium. The latter are necessarily open; they can persist only by interaction with (...) their environments. Further distinctions, developed by means of the notions of self-maintenance and error detection, lead to the identification of complex biological organisms that are flexible learners, some of which are self-conscious and form themselves into social institutions. This model provides a non-reductive model for understanding human beings as both embodied and yet emergent. In particular, it provides a way of characterizing action as ‘metaphysically deep’, not an ontological embarrassment within an otherwise physicalist world. (shrink)

This comment mainly examines Yli-Vakkuri and Hawthorne’s preferred framework for examining whether narrow content is viable, arguing that their framework is not well-suited to the task; once a more traditional framework is adopted, Y&H’s case against internalism is strengthened.

This paper is about the situation in which an author (writer or speaker) presents a deductively invalid argument, but the addressee aims at a charitable interpretation and has reason to assume that the author intends to present a valid argument. How can he go about interpreting the author’s reasoning as enthymematically valid? We suggest replacing the usual find-the-missing-premise approaches by an approach based on systematic efforts to ascribe a belief state to the author against the background of which the argument (...) has to be evaluated. The suggested procedure includes rules for recording whether the author in fact accepts or denies the premises and the conclusion, as well as tests for enthymematic validity and strategies for revising belief state ascriptions. Different degrees of interpretive charity can be exercised. This is one reason why the interpretation or reconstruction of an enthymematic argument typically does not result in a unique outcome. (shrink)

There is a long-standing debate whether propositions, sentences, statements or utterances provide an answer to the question of what objects logical formulas stand for. Based on the traditional understanding of logic as a science of valid arguments, this question is firstly framed more exactly, making explicit that it calls not only for identifying some class of objects, but also for explaining their relationship to ordinary language utterances. It is then argued that there are strong arguments against the proposals commonly put (...) forward in the debate. The core of the problem is that an informative account of the objects formulas stand for presupposes a theory of formalization; that is, a theory that explains what formulas may adequately substitute for an inference in proofs of validity. Although such theories are still subject to research, some consequences can be drawn from an analysis of the reasons why the common accounts featuring sentences, propositions or utterances fail. Theories of formalization cannot refer to utterances qua expressions of propositions; instead they may refer to sentences and rely on additional information about linguistic structure and pragmatic context. (shrink)

In “Real Patterns” Daniel Dennett developed an argument about the reality of beliefs on the basis of an analogy with patterns and noise. Here I develop Dennett’s analogy into an argument for descriptivism, the view that belief reports do no specify belief contents but merely describe what someone believes, and show that this view is also supported by empirical evidence. No description can do justice to the richness and specificity or “noisiness” of what someone believes, and the same belief can (...) be described by different sentences or propositions (which is illustrated by Dennett’s analogy, some Gettier cases, and Frege’s puzzle), but in some contexts some of these competing descriptions are misleading or even false. Faithful (or truthful) description must be guided by a principle (or principles) related to the principle of charity: belief descriptions should not attribute irrationality to the believer or have other kinds of “deviant” implications. (shrink)

Stanley and Williamson have defended the intellectualist thesis that knowing-how is a subspecies of knowing-that by appeal to the syntax and semantics of ascriptions of knowing-how. Critics have objected that this way of defending intellectualism places undue weight on linguistic considerations and fails to give sufficient attention to empirical considerations from the scientific study of the mind. In this paper, I examine and reject Stanley's recent attempt to answer the critics.