This essay clarifies quantifier variance and uses it to provide a theory of indefinite extensibility that I call the variance theory of indefinite extensibility. The indefinite extensibility response to the set-theoretic paradoxes sees each argument for paradox as a demonstration that we have come to a different and more expansive understanding of ‘all sets’. But indefinite extensibility is philosophically puzzling: extant accounts are either metasemantically suspect in requiring mysterious mechanisms of domain expansion, or metaphysically suspect in requiring nonstandard assumptions about (...) mathematical objects. Happily, the view of quantifier meanings that underwrites quantifier variance can be used to provide an account of indefinite extensibility that is both metasemantically and metaphysically satisfying. Section 1 introduces the puzzle of indefinite extensibility; section 2 develops and clarifies the metasemantics of quantifier variance; section 3 solves section 1's puzzle of indefinite extensibility by applying section 2's account of quantifier meanings; and section 4 compares the theory developed in section 3 to several other theories in the literature. (shrink)

Some philosophers have argued that putative logical disagreements aren't really disagreements at all since when you change your logic you thereby change the meanings of your logical constants. According to this picture classical logicians and intuitionists don't really disagree, they just mean different things by terms like “not” and “or”. Quine gave an infamous “translation argument” for this view. Here I clarify the change of logic, change of meaning (CLCM) thesis, examine and find fault with Quine's translation argument for the (...) thesis, offer a modified translation argument in its stead, defend my modified argument from a crucial objection, discuss where the CLCM thesis leaves logical disputes, and discuss if and how the thesis coheres with Quine's influential view of logic. (shrink)

This paper concerns the dialectal role of Frege Cases in the debate between Concept Cartesians and Concept Pragmatists. I take as a starting point Christopher Peacocke’s argument that, unlike Cartesianism, his ‘Fregean’ Pragmatism can account for facts about the rationality and epistemic status of certain judgments. I argue that since this argument presupposes that the rationality of thoughts turn on their content, it is thus question-begging against Cartesians, who claim that issues about rationality turn on the form, not the content, (...) of thoughts. I then consider Jerry Fodor’s argument that ‘modes of presentation’ are not identical with Fregean senses, and argue that explanatory considerations should leads us to reject his ‘syntactic’ treatment of Frege cases. Rejecting the Cartesian treatment of Frege cases, however, is not tantamount to accepting Peacocke’s claim that reasons and rationality are central to the individuation of concepts. For I argue that we can steer a middle course between Fodor’s Cartesianism and Peacocke’s Pragmatism, and adopt a form of Pragmatism that is constrained by Fregean considerations, but at the same time denies that concepts are constitutively tied to reasons and rationality. (shrink)

Theory and Reality is about the connection between true theories and the world. A mathematical framefork for such connections is given, and it is shown how that framework can be used to infer facts about the structure of reality from facts about the structure of true theories, The book starts with an overview of various approaches to metaphysics. Beginning with Quine's programmatic "On what there is", the first chapter then discusses the perils involved in going from language to metaphysics. It (...) criticises contemporary intuition-driven metaphysics, comments on naturalistic approaches, and then presents the main proposition put forward in the thesis: we should base metaphysics on model theory. In chapters 2 to 5, mathematical treatments are given of concepts that we need: theories, metaphysics, necessitation and semantics. These are used in chapters 6 and 7 to prove that, seen from a certain informative view point, any true theory will give rise to an isomorphism between that theory and the world. This conclusion is similar to Wittgenstein's in the Tractatus, but differs in that it places the structural relationship on the level of whole theories, rather than single propositions. (shrink)

The aim of this article is to critically examine what I call Action-Centric Theories of Representation (ACToRs). I include in this category theories of representation that (1) reject construing representation in terms of a relation that holds between representation itself (the representational vehicle) and what is represented, and instead (2) try to bring the function that representations play for cognitive systems to the center stage. Roughly speaking, according to proponents of ACToRs, what makes a representation (that is, what is constitutive (...) of it being a representation) is its being functionally involved in preselecting or guiding the actions of cognitive systems. I intend to argue that while definitely valuable, ACToRs are underconstrained and thus not entirely satisfying, since there exist structures that would count as representations according to ACToRs, but which do not play functional roles that could be nontrivially or in an explanatorily valuable way classified as representing something for a cognitive system. I outline a remedy for this theoretical situation by postulating that a fully satisfying theory of representation in cognitive science should have two factors; i.e., it should combine the pragmatic, action-oriented aspect present in ACToRs with an element that emphasizes the importance of the relation holding between a representational vehicle and what is represented. (shrink)

In the light of partial understanding, we examine the thesis that concepts are individuated in terms of possession conditions and show that adherents face a fatal dilemma: Either concept-individuating possession conditions include cases of partially understood concepts or not. If yes, possession conditions do not individuate concepts. If no, the thesis is too restricted and lacks a minimally satisfactory level of generalization.

Theories of concepts and concept acquisition are mutually constraining. How we envisage concept acquisition depends both on what we take concepts to be and what skills we can employ to acquire them. I argue that Ned Block’s cognitivist approach to concept acquisition is not compatible with his vision of conceptual role semantics. If concepts are defined by their conceptual roles, then the acquisition of new concepts will change the conceptual roles of concepts employed in any form of hypothesis formation and (...) confirmation learning. This breaks the evidentiary link between the concepts acquired and the evidence used to justify its subsequent applications. As a consequence, conceptual role semantics cannot avail itself of cognitivist approaches to concept acquisition. Despite this, they may nevertheless explain the apparent rational nature of much concept acquisition. (shrink)

Personal probability is now a familiar subject in epistemology, together with such more venerable notions as knowledge and belief. But there are severe strains between probability and belief; if either is taken as the more basic, the other may suffer. After explaining the difficulties of attempts to accommodate both, I shall propose a unified account which takes conditional personal probability as basic. Full belief is therefore a defined, derivative notion. Yet we will still be able to picture opinion as follows: (...) my subjective probability is only a grading of the possibilities left open by my beliefs. My conditional probabilities generally derive from the strongest belief I can maintain when admitting the relevant condition. (shrink)

This paper deals with Popper's little-known work on deductive logic, published between 1947 and 1949. According to his theory of deductive inference, the meaning of logical signs is determined by certain rules derived from ?inferential definitions? of those signs. Although strong arguments have been presented against Popper's claims (e.g. by Curry, Kleene, Lejewski and McKinsey), his theory can be reconstructed when it is viewed primarily as an attempt to demarcate logical from non-logical constants rather than as a semantic foundation for (...) logic. A criterion of logicality is obtained which is based on conjunction, implication and universal quantification as fundamental logical operations. (shrink)

The mind-society problem deals with the relations between mental and social phenomena. The problem is crucial in the main methodologies of social sciences. The thesis of hermeneutics is that we can only understand but not explain the relationship between beliefs and social action because mental and social events are not natural events. The thesis of social holism is that social phenomena are emergent and irreducible to mental phenomena. The thesis of rational choice theory is that social phenomena are reducible to (...) mental phenomena and this reduction is explained by unrealistic a priori principles of rationality. These theses depend on their different solutions to the following fundamental philosophical issues: the mind-body identity; the causal nature of social explanation; the realistic goal of science. A positive answer to these issues implies support of a different solution to the mind-society problem: social phenomena are conventional concepts and they can be reduced and explained in terms of realistic concepts describing the causal mechanisms of individual reasoning and decision-making. Cognitive psychology seems to supply us some initial tentative models to explain social action, but research into neuropsychology might be able to generate the proper causal representations of the relation between mind and action. (shrink)

Recognitional concepts have the following characteristic property: thinkers are disposed to apply them to objects merely on the basis of undergoing certain perceptual experiences. I argue that a prominent strategy for defending the existence of constitutive connections among concepts, which appeals to thinkers’ semantic-cum-conceptual intuitions, cannot be used to defend the existence of recognitional concepts. I then outline and defend an alternative argument for the existence of recognitional concepts, which appeals to certain psychological laws.

This paper defends a reference-based approach to concept individuation against the objection that such an approach is unable to make sense of concepts that fail to refer. The main line of thought pursued involves clarifying how the referentialist should construe the relationship between a concept's (referential) content and its role in mental processes. While the central goal of the paper is to defend a view aptly titled Concept Referentialism , broader morals are drawn regarding reference-based approaches in general. The paper (...) closes by calling for a shift in the current debate between referentialists and their opponents. (shrink)

The discussion presents a framework of concepts that is intended to account for the rationality of semantic change and variation, suggesting that each scientific concept consists of three components of content: 1) reference, 2) inferential role, and 3) the epistemic goal pursued with the concept’s use. I argue that in the course of history a concept can change in any of these components, and that change in the concept’s inferential role and reference can be accounted for as being rational relative (...) to the third component, the concept’s epistemic goal. This framework is illustrated and defended by application to the history of the gene concept. It is explained how the molecular gene concept grew rationally out of the classical gene concept despite a change in reference, and why the use and reference of the contemporary molecular gene concept may legitimately vary from context to context. (shrink)

This thesis aims to develop a psychologically plausible account of concepts by integrating key insights from philosophy (on the metaphysical basis for concept possession) and psychology (on the mechanisms underlying concept acquisition). I adopt an approach known as informational atomism, developed by Jerry Fodor. Informational atomism is the conjunction of two theses: (i) informational semantics, according to which conceptual content is constituted exhaustively by nomological mind–world relations; and (ii) conceptual atomism, according to which (lexical) concepts have no internal structure. I (...) argue that informational semantics needs to be supplemented by allowing content-constitutive rules of inference (“meaning postulates”). This is because the content of one important class of concepts, the logical terms, is not plausibly informational. And since, it is argued, no principled distinction can be drawn between logical concepts and the rest, the problem that this raises is a general one. An immediate difficulty is that Quine’s classic arguments against the analytic/synthetic distinction suggest that there can be no principled basis for distinguishing content-constitutive rules from the rest. I show that this concern can be overcome by taking a psychological approach: there is a fact of the matter as to whether or not a particular inference is governed by a mentally-represented inference rule, albeit one that analytic philosophy does not have the resources to determine. I then consider the implications of this approach for concept acquisition. One mechanism underlying concept acquisition is the development of perceptual detectors for the objects that we encounter. I investigate how this might work, by drawing on recent ideas in ethology on ‘learning instincts’, and recent insights into the neurological basis for perceptual learning. What emerges is a view of concept acquisition as involving a complex interplay between innate constraints and environmental input. This supports Fodor’s recent move away from radical concept nativism: concept acquisition requires innate mechanisms, but does not require that concepts themselves be innate. (shrink)

I investigate substitutional interpretations of quantifiers that count existential sentences true just in case they have true instances in a parametric extension of the language. I devise a semantics meeting four criteria: (1) it accounts adequately for natural language quantification; (2) it provides an account of justification in abstract sciences; (3) it constitutes a continuous semantics for natural and formal languages; and (4) it is purely substitutional, containing no appeal to referential interpretations. The prospects for a purely substitutional theory of (...) quantification are thus no worse than for a referential account. (shrink)

The present paper discusses Kitcher’s framework for studying conceptual change and progress. Kitcher’s core notion of reference potential is hard to apply to concrete cases. In addition, an account of conceptual change as change in reference potential misses some important aspects of conceptual change and conceptual progress. I propose an alternative framework that focuses on the inferences and explanations supported by scientific concepts. The application of my approach to the history of the gene concept offers a better account of the (...) conceptual progress that occurred in the transition from the Mendelian to the molecular gene than Kitcher’s theory. (shrink)

This paper argues that popular criticisms of semantic holism (such as that it leaves the ideas of translation, disagreement and change of mind problematic) are more properly directed at an "instability assumption" which, while often associated with holism, can be separated from it. The versions of holism that follow from 'interpretational' account of meaning are not committed to the instability assumption and can thus avoid many of the problems traditionally associated with holism.

Basic to Robert Brandom’s project in Making It Explicit is the demarcation of singular terms according to the structure of their inferential roles---rather than, as is usual, according to the kinds of things they purport to denote. But the demarcational effort founders on the need to distinguish extensional and nonextensional occurrences of expressions in terms of inferential roles; the closest that an inferentialist can come to drawing that distinction is to discern degrees of extensionality, and that is not close enough. (...) The general moral applies as well to “two factor” theories of content: the notion of inferential role lacks the independence from the notion of denotation that many proponents of such theories have attributed to it. (shrink)

A theory of information is developed in which the informational content of a signal (structure, event) can be specified. This content is expressed by a sentence describing the condition at a source on which the properties of a signal depend in some lawful way. Information, as so defined, though perfectly objective, has the kind of semantic property (intentionality) that seems to be needed for an analysis of cognition. Perceptual knowledge is an information-dependent internal state with a content corresponding to the (...) information producing it. This picture of knowledge captures most of what makes knowledge an important cpistcmological notion. It also avoids many of the problems infecting traditional justificational accounts of knowledge (knowledge as [justified, true belief those (unlike knowledge) having a content that can be either true or false (e.g., belief) – are described in terms of the way internal (presumably neural) structures acquire during learning a certain information-carrying role. The content of these structures (whether true or false) is identified with the kind of information they were developed to carry. (shrink)

. David Chalmerss version of two-dimensional semantics is an attempt at setting up a unified semantic framework that would vindicate both the Fregean and the Kripkean semantic intuitions. I claim that there are three acceptable ways of carrying out such a project, and that Chalmerss theory does not coherently fit any of the three patterns. I suggest that the theory may be seen as pointing to the possibility of a double reading for many linguistic expressions (a double reading which, however, (...) is not easily identified with straightforward semantic ambiguity). (shrink)

An ambitious project in epistemology is to show that we have justification for anti-skeptical beliefs such as the belief that we are not brains in vats. A much less ambitious project is to account for how perceptual experience justifies ordinary perceptual beliefs like the belief that there is a cat in front of me. One problem is that these two projects are entangled in such manner that the failure of the anti-skeptical project seems to entail the failure of the project (...) of accounting for the justification of ordinary perceptual beliefs. This paper offers a way to disentangle these two projects. (shrink)

The goal of standard semantics is to provide truth conditions for the sentences of a given language. Probabilistic Semantics does not share this aim; it might be said instead, if rather cryptically, that Probabilistic Semantics aims to provide belief conditions.The central and guiding idea of Probabilistic Semantics is that each rational individual has ‘within’ him or her a personal subjective probability function. The output of the function when given a certain sentence as input represents the degree of likelihood which the (...) individual would assign to that sentence. One can characterize these functions via a set of axioms, and in the terms of this defined structure develop probabilistic analogues of all important semantical notions. Then, dealing with ‘being given probability 1’ instead of ‘truth,’ one can proceed to give a completely adequate semantics for the particular language under consideration. The axioms delimiting the class of probability functions are, in fact, chosen with this goal and language in mind. (shrink)

The central problem of the dissertation concerns the possibility of a distinction between truth-evaluable and non-truth-evaluable utterances of a natural language. The class of truth-evaluable utterances includes assertions, con. ectures and other kinds of speech act susceptible of truth evaluation. The class of non-truth-evaluable utterances includes commands, exhortations, wishes i.e. utterances not evaluated as being true or false. The problem is placed in the context of radical interpretation theory and it shown that it is a substantial problem of Davidson‘s early (...) theory of radical interpret at ion. I consider the possibility of distinguishing between locutionary and illocutionary act in uttering a sentence and its significance in the present project. I discuss the suggestion that the mood of the verb of the sentence signifies the required distinction between truth-evaluable utterances and non-truth-evaluable ones. I argue that no criterion for the distinction based on the mood of the verb is adequate. The solution that I propose to the problem of classifylng truth-evaluable utterances appeals to mental states. The view that grounds this line of inquiry is that the truth-evaluability of an utterance is a characteristic of it exclusively relevant to the doxastic dimension of the speaker’s mind. I discuss the constraints that the nature of radical interpretation puts upon the way we construe the notion of belief. I propose that a possible classification of mental states into doxastic and non-doxastic that would result in a classification of utterances into truth-evaluable and non-truthevaluable ones can be given by an elaborated version of a decision theoretic scheme. I suggest that a decision theoretic scheme based on a decision theory that, like Savage’s theory, grants independence axioms is a better candidate to offer a solution to the central problem of the dissertation than a scheme based on a non- standard decision theory such as Richard Jeffrey’s. I conclude by showing that the proposal I make satisfies the constraints I have considered and that it can be accommodated by a radical interpretation theory. (shrink)

A growing number of philosophers and linguists have argued that many, if not most, terms in our language should be understood as semantically context sensitive. In opposition to this trend, Herman Cappelen and Ernie Lepore defend a view they call "Semantic Minimalism", which holds that there are virtually no semantically context sensitive expressions in English once you get past the standard list of indexicals and demonstratives such as "I", "you", "this", and "that". While minimalism strikes many as obviously false, it (...) will be argued here that the view is more plausible than commonly assumed if one accepts the 'normative' conception of the relation between meaning and use characteristic of the literature on semantic externalism. That said, it is not clear that Cappelen and Lepore always conceive of their minimal semantic contents in this more normative fashion, and once this framework is place, a version of 'moderate contextualism' that they do not consider comes into view. (shrink)

It's an achievement of the last couple of decades that people who work in linguistic semantics and people who work in the philosophy of language have arrived at a friendly, de facto agreement as to their respective job descriptions. The terms of this agreement are that the semanticists do the work and the philosophers do the worrying. The semanticists try to construct actual theories of meaning (or truth theories, or model theories, or whatever) for one or another kind of expression (...) in one or another natural language; for example, they try to figure out how the temperature could be rising compatibly with the substitutivity of identicals. The philosophers, by contrast, keep an eye on the large, foundational issues, such as: what's the relation between sense and denotation; what's the relation between thought and language; whether translation is determinate; and whether life is like a fountain. Every now and then the philosophers and the semanticists are supposed to get together and compare notes on their respective progress. Or lack thereof. (shrink)

Two-Factor conceptual role theories of mental content are often intended to allow mental representations to satisfy two competing requirements. One is the Fregean requirement that two representations, like public language expressions, can have different meanings even though they have the same reference (as in the case of ‘morning star’ and ‘evening star’). The other is Putnam's Twin-earth requirement that two representations or expressions can have the same conceptual role but differ in meaning due to differing references. But I argue that (...) the hidden agenda behind these theories is to make misrepresentation possible. A simple, one-factor conceptual role theory (like the "crude causal theory" Fodor describes) falls prey to the disjunction problem. If every use or application of a concept is meaning-determining, then there can be no misuse of that concept. Each use will partially determine its meaning, and, use which is covered in the meaning cannot be a misuse, error, or misrepresentation. I argue that the referential factor in two-factor conceptual role theories is what is supposed to make misrepresentation possible. But it fails to do so, because when the two factors do not determine the same meaning, there is no non-question-begging way to have one of them take precedence and force meaning to align with one factor and deviate from the other. (shrink)

This volume is a collation of original contributions from the key actors of a new trend in the contemporary theory of knowledge and belief, that we call “dynamic epistemology”. It brings the works of these researchers under a single umbrella by highlighting the coherence of their current themes, and by establishing connections between topics that, up until now, have been investigated independently. It also illustrates how the new analytical toolbox unveils questions about the theory of knowledge, belief, preference, action, and (...) rationality, in a number of central axes in dynamic epistemology: temporal, social, probabilistic and even deontic dynamics. (shrink)

Probability and logic are two branches of mathematics that have important philosophical applications. This article discusses several areas of intersection between them. Several involve the role for probability in giving semantics for logic or the role of logic in governing assignments of probability. Some involve probability over non-classical logic or self-referential sentences.

This chapter contains sections titled: Highlights of Past Literature Current Work Future Work.

According to Tarski, a theory of truth for a language L is a theory which logically implies for each sentence S of L a sentence of the form:S is true-in-L if and only if p,where rS1 is replaced by a canonical description of a sentence of L and rp1 is replaced by that sentence if L is contained in the metalanguage or by a translation of S if it is not so contained. Tarski constructed consistent and finitely axiomatized theories of (...) truth for various formal languages and showed how to explicitly define ‘is true in L’ within these theories. We all agree that Tarski's theories of truth have enormous philosophical significance, but there is much less agreement on precisely what that significance consists in. (shrink)

Phenomenal intentionality is supposed to be a kind of directedness of the mind onto the world that is grounded in the conscious feel of mental life. This book of new essays explores a number of issues raised by the notion of phenomenal intentionality.

Names and natural kind terms have long been a major focus of debates about meaning and reference. This article discusses some of the theories and arguments that have appeared in those debates. It is remarkably difficult to say what names are without making controversial theoretical assumptions. This article does not attempt to do so here. It instead relies on paradigm examples that nearly all theorists would agree are proper names, for instance, ‘Aristotle’, ‘Mark Twain’, ‘London’, ‘Venus’, and ‘Pegasus’. All of (...) the proper names that are discussed in the article are singular nouns that have no syntactic structure. Most of them refer to objects, but some, such as ‘Pegasus’, apparently do not. The article begins with proper names and the question ‘What is the meaning of a proper name?’ It turns to natural kind terms later. (shrink)

The coherence of the whole truth is a presupposition of any holistic coherence theory of justification that postulates a positive connection between justification and truth, for unless the whole truth is itself systemically coherent there is no reason to look for systemic coherence when deciding whether one is justified in accepting a given body of beliefs as true. This paper develops a formal model of holistic evidential coherence and uses this model to formalize and defend the claim that the whole (...) truth must be coherent in an evidential sense. (shrink)