This paper examines from a historical perspective Tarski's 1936 essay, "On the concept of logical consequence." I focus on two main aims. The primary aim is to show how Tarski's definition of logical consequence satisfies two desiderata he himself sets forth for it: (1) it must declare logically correct certain formalizations of the -rule and (2) it must allow for variation of the individual domain in the test for logical consequence. My arguments provide a refutation of some interpreters of Tarski, (...) and notably John Etchemendy, who have claimed that his definition does not satisfy those desiderata. A secondary aim of the paper is to offer some basic elements for an understanding of Tarski's definition in the historical logico-philosophical context in which it was proposed. Such historical understanding provides useful insights on Tarski's informal ideas on logical consequence and their internal cohesion. (shrink)

Some arguments against David Lewis’s modal realism seek to exploit apparent inconsistencies between it and anthropic reasoning. A recent argument, in particular, seeks to exploit an inconsistency between modal realism and typicality anthropic premises, premises common in the literature on physical multiverses, to the effect that observers who are like human observers in certain respects must be typical in the relevant multiverse. Here I argue that typicality premises are not applicable to the description of Lewis’s metaphysical multiverse, where the proportions (...) of metaphysically possible observers possessing the pertinent properties can be independently established by metaphysical reasoning. However, other kinds of reasonable anthropic premises can be seen to be consistent with and usable within modal realism. (shrink)

There have been several different and even opposed conceptions of the problem of logical constants, i.e. of the requirements that a good theory of logical constants ought to satisfy. This paper is in the first place a survey of these conceptions and a critique of the theories they have given rise to. A second aim of the paper is to sketch some ideas about what a good theory would look like. A third aim is to draw from these ideas and (...) from the preceding survey the conclusion that most conceptions of the problem of logical constants involve requirements of a philosophically demanding nature which are probably not satisfiable by any minimally adequate theory. (shrink)

Is there a theoretically interesting notion that is a natural extension of the concept of rigidity to general terms? Such a notion ought to satisfy two Kripkean conditions. First, it must apply to typical general terms for natural kinds, stuffs, and phenomena, and fail to apply to most other general terms. Second, true 'identification sentences' (such as 'Cats are animals') containing general terms that the notion applies to must be necessary. I explore a natural extension of the notion of rigidity (...) to general terms, the notion of an essentialist predicate. I argue that, under natural assumptions, this notion satisfies the two Kripkean conditions. (shrink)

The pretheoretical notions of logical consequence and of a logical expression are linked in vague and complex ways to modal and pragmatic intuitions. I offer an introduction to the difficulties that these intuitions create when one attempts to give precise characterizations of those notions. Special attention is given to Tarski’s theories of logical consequence and logical constancy. I note that the Tarskian theory of logical consequence has fared better in the face of the difficulties than the Tarskian theory of logical (...) constancy. Other theories of these notions are explained and criticized. (shrink)

I offer a new objectivist theory of the contents of color language and color experience, intended especially as an account of what normal intersubjective variation in color perception and classification shows about those contents. First I explain an abstract account of the contents of color and other gradable adjectives; on the account, these contents are certain objective properties constituted in part by contextually intended standards of application, which are in turn values in the dimensions of variation associated with the adjectives. (...) Then I propose an explanation of normal variations in linguistic color classification; these are postulated to be effects of differences in intended standards for the color adjectives appearing in the classifying predicates. Next, I consider a potential objection to this explanation, based on the suggestion that contextual content should be more accessible than the explanation predicts. In reply, I point out that contextual content is occasionally opaque to unsophisticated reflection. Finally, I present a companion account of the contents of color experiences on which these represent an object as lying on certain salient intervals in the chromatic dimensions, and I show how the account accommodates intersubjective variation in color perception. (shrink)

In the first part of this paper, I express doubts that Tarski and Carnap were guilty of some confusions about the relations between truth and meaning, attributed to them by Soames. In the second part, I consider Quine's Carrollian argument against conventionalism about logical truth, discussed only briefly and approvingly by Soames, and I explore the question whether some not obviously incorrect forms of conventionalism about logical truth, such as what I call "finitary conventionalism", are immune to Quine's argument.

The main aim of this paper is to point out that Davidsonian and Fregean theories of quotation do not accommodate certain facts about disquotation. A second aim is to dispel some errors of interpretation in a common Davidsonian reading of Tarski's claims about quotation. This allows a correct exegesis of Tarski's view, which is then seen not to be affected by the arguments usually adduced against the view wrongly attributed to Tarski. Finally, a Tarskian view is proposed of some problems (...) about quotation not addressed by Tarski. (shrink)

Referential uses of quantified determiner phrases other than descriptions have not been extensively considered. In this paper they are considered in some detail, and related to referential uses of descriptions. The first aim is to develop the observation that, contrary to the currently received view that it is only for descriptions that referential uses are frequent and standard, arising in run-of-the-mill contextual scenarios, this is in fact the case for all usual kinds of quantifier phrases. A second aim is to (...) offer a preliminary discussion of how these data about quantifier phrases other than descriptions constrain the feasible extensions of theories of descriptions to cover the referential uses of quantifier phrases in general. I argue that the data don’t support a semantic explanation of referential uses of descriptions, and in fact suggest problems for several semantic theories of referential uses of quantifier phrases in general. I also argue that pragmatic theories of referential uses of quantifier phrases in general might plausibly explain standard referential uses as involving a genus of particularized conversational implicatures in which no conversational maxims are “flouted” or even violated, rather than generalized implicatures or particularized implicatures of Grice’s “exploitative” type. I nevertheless emphasize that I don’t take the dispute between semantic and pragmatic theories of referential use to have been satisfactorily resolved. (shrink)

Timothy Williamson’s potentially most important contribution to epistemicism about vagueness lies in his arguments for the basic epistemicist claim that the alleged cut-off points of vague predicates are not knowable. His arguments for this are based on so-called ‘margin for error principles’. This paper argues that these principles fail to provide a good argument for the basic claim. Williamson has offered at least two kinds of margin for error principles applicable to vague predicates. A certain fallacy of equivocation seems to (...) underlie his justification for both kinds of principles. Besides, the margin for error principles of the first kind can be used in the derivation of unacceptable consequences, while the margin for error principles of the second kind can be shown to be compatible with the falsity of epistemicism, under a number of assumptions acceptable to the epistemicist. (shrink)

I reply to comments and criticism of my book Roads to Reference by Scott Soames (on the referents of ordinary substance terms and the conventions governing reference fixing for demonstratives, proper names, and color adjectives), Panu Raatikainen (on the exact scope of my critique of descriptivism and on the relation between referential indeterminacy and ‘‘partial reference’’), and Michael Devitt (on the role of referential intentions and anti-descriptivism in the metasemantics of demonstratives).

I defend a semantic theory of quotation marks, according to which these are ambiguous, as they have several different acceptations involving corresponding different conventional indications. In particular, in allusion (“mixed”) uses, the corresponding conventional indication is one with an adverbial or prepositional content, roughly equivalent to “using the quoted expression or an appropriate version of it”. And in “scare” uses, the corresponding conventional indication is that the enclosed expression should be used not plainly but in some broadly speaking distanced way, (...) or that it is being so used by the utterer. I also defend this view against some alternative views on which allusion and distance indications are to be seen as pragmatically conveyed. In particular, I consider several views that attempt to explain especially allusion and distance indications as pragmatic suggestions generated from a meager conventional basis, and I argue that they cannot accommodate a number of linguistic phenomena and reflectively supported theses about the use of quotation marks. I lay special emphasis on the fact that the main pragmatic theories fail to pass an extremely plausible test for challenges to polysemic accounts of an expression. (shrink)

Contrary to what often seems to be the implicit belief, Tarski's 1933 version of the theorem on the indefinability of truth did not mention semantic notions, either defined or intuitive. I state this version in a somewhat modernized form and explain briefly the self-imposed mathematico-philosophical constraints that led Tarski to formulate it as he did. I also point out that close attention to its content suggests a refined view of the exact contrast between Tarski's achievement and Gödel's achievement in his (...) earlier discovery of another version of the result. (shrink)

Cet article traite de la relation problématique que l’on trouve chez Aristote entre la vertu naturelle (φυσικὴ ἀρετή) et l’environnement. Il s’agira tout d’abord de déterminer le concept de vertu naturelle, son rapport avec la sagesse pratique (φρόνησις) et de rechercher ses liens avec la constitution matérielle du corps, notamment avec les différentes qualités du sang. Celui-ci se révélera être pour tout animal sanguin le véritable principe d’individuation des propriétés psychiques, et donc aussi de l’éthos. Dans la partie finale de (...) cet article, l’influence de l’environnement sur la constitution physiologique, mais aussi psychologique, du vivant sera mise en question. On verra que la période où l’environnement peut exercer l’action la plus forte est celle de l’embryogenèse. Dès que l’individu vivant naît, les influences extérieures sont négligeables. L’éthique d’Aristote écarte ainsi deux positions extrêmes, le naturalisme déterministe d’un côté et l’intellectualisme socratique de l’autre, aboutissant à une philosophie pratique qui tient compte de la nature tout en affirmant que l’éthique est aussi autre chose que la nature, c’est-à-dire habitude et sagesse pratique. (shrink)

The purpose of this paper is to examine some passages of Tarski‘s paper ’On the concept of logical consequence’ and to show that some recent readings of those passages are wrong. John Etchemendy has claimed that in those passages Tarski gave an argument purporting to show that the notion of logical consequence defined by him (as opposed to some pretheoretic notion of logical consequence) possesses certain modal properties. Etchemendy further claims that the argument he attributes to Tarski is fallacious. Some (...) of Etchemendy’s critics have granted him that Tarski did give an argument purporting to show that the defined notion possesses certain modal properties ; but they have claimed that Tarski’s argument was not a fallacious one. I will show that both Etchemendy and his critics are wrong; in the relevant passages, Tarski did not offer (nor did he intend to offer) an argument that the defined notion of logical consequence possesses any modal properties. (shrink)

I explore an argument for epistemic non-factualism, the thesis that epistemic attributions do not describe facts. The argument is analogous to but independent of Kripke’s Wittgenstein’s argument for nonfactualism about rule-following. Some objections to the two arguments are considered and rejected, in particular accusations of incoherence and “reductivism”. The epistemic argument and a “skeptical solution” to it are argued to be part of Wittgenstein’s conception in On Certainty.

Luis Fernández Moreno has given a number of arguments that descriptive knowledge or stipulations have a greater role in the fixing of the reference of natural kind terms than I allow in my book Roads to Reference. In this note I criticize Fernández Moreno’s arguments.

I identify one neglected source of support for a Kripkean reading of Wittgenstein’s Philosophical Investigations: the analogy between rules and epistemic grounds and the existence of a Kripkean anti-privacy argument about epistemic grounds in On Certainty. This latter argument supports Kripke’s claims that the basic anti-privacy argument in the Investigations (a) poses a question about the distinguishability of certain first-person attributions with identical assertability conditions, (b) concludes that distinguishability is provided by third-person evaluability, and (c) is a general argument, not (...) one about a specific kind of alleged rules. (shrink)

In reply to Arif Ahmed, I argue that the apparatus of essentiality and qualified and unqualified possibilist identifications, developed in my paper 'Rigidity and Essentiality', can be used to provide a flawless reconstruction of several Kripkean ideas about the semantics of typical natural kind predicates, the essence of natural kinds, the contingency of usual descriptive identifications, and the arguments against psychophysical identity theories.

Tarski implicitly postulated that a certain pre-theoretical concept of logical consequence and his technical concept of logical consequence are co-extensional. This chapter makes explicit a few theses about logical consequence or logical truth that sound Tarskian somehow, including one that most deserves the name ‘Tarski's Thesis’. Some of these theses are probably true or close to true but weaker than Tarski's. Some are false but stronger than Tarski's. Tarski's Thesis plausibly postulated that a sentence of a classical language possibly extended (...) with non-traditional extensional logical constants is logically true, if it is true in all classical interpretations of all its non-logical constants. But it is noted that this thesis turns out to be false on most conceptions of logical truth, for some sentences of a classical language extended with extensional logical constants are true in all classical interpretations of all its non-logical constants, but are not necessary. (shrink)

An exposition of Kripke's unpublished critique of dispositionalism about color, followed by a review of some recent defenses of dispositionalism and a sketch of some objections that could be made to these defenses from a broadly Kripkean perspective.

This paper presents some difficulties for Timothy Williamson's epistemicist view of vagueness and for an argument he gives in its defense. First, I claim that the argument, which uses the notion of an "omniscient speaker", is question-begging. Next, I argue that some presumably true scientific hypotheses, which postulate certain relations between everyday vague predicates and scientific predicates, make the central theses of epistemicism highly implausible. Finally, I show that the "margin for error principles" used by Williamson to explain away the (...) kind of ignorance conjectured by epistemicism lead to new sorites-like arguments with unacceptable conclusions. (shrink)

I offer some brief remarks in reply to comments and criticisms of my earlier work on logical consequence and logical constants. I concentrate on criticisms, especially García-Carpintero’s charge that myviews make no room for modal intuitions about logical consequence, and Sher’s attempted rebuttal of my critique of her theory of logical constants. I show that García-Carpintero’s charge is based on misunderstandings, and that Sher’s attempted rebuttal actually reveals new problems for her theory.

Logic is formal in the sense that all arguments of the same form as logically valid arguments are also logically valid and hence truth-preserving. However, it is not known whether all arguments that are valid in the usual model-theoretic sense are truthpreserving. Tarski claimed that it could be proved that all arguments that are valid (in the sense of validity he contemplated in his 1936 paper on logical consequence) are truthpreserving. But he did not offer the proof. The question arises (...) whether the usual modeltheoretic sense of validity and Tarski's 1936 sense are the same. I argue in this paper that they probably are not, and that the proof Tarski had in mind, although unusable to prove that model-theoretically valid arguments are truth-preserving, can be used to prove that arguments valid in Tarski's 1936 sense are truth-preserving. (shrink)

I offer a brief formal exploration of a certain natural extension of the notion of rigidity to predicates, the notion of an essentialist predicate. I show that, under reasonable assumptions, true "identification sentences" involving essentialist predicates are necessary, and hence that the notion of essentiality is formally analogous in this respect to the notion of singular term rigidity. /// El artículo hace una breve exploración formal de una extensión natural de la noción de rigidez a los predicados, la noción de (...) predicado esencialista. Muestro que, dados supuestos razonables, las "oraciones de identificación" verdaderas que contienen predicados esencialistas son necesarias, y por tanto que la noción de esencialidad es formalmente análoga en este sentido a la noción de rigidez para los términos singulares. (shrink)

In his “What Might Nonconceptual Content Be?”, Robert Stalnaker finds no good argument for the claim that certain intuitive differences between perception and belief must be explained by a distinction between the kinds of content of perception states (which would have nonconceptual content) and belief states (which would have conceptual content). I object to Stalnaker that he does not examine arguments for this claim actually produced by its defenders. But I reach a conclusion of the same kind as Stalnaker’s after (...) examining arguments for the claim found in the work of Tim Crane and Christopher Peacocke. (shrink)

When quotations are used with a purely referential purpose, they are mostly used with the purpose of referring to expressions, in the sense of rather abstract expression types. However, in many cases purely referential quotations are used with the purpose of referring to things other than very abstract expression types, such as boldface types, sounds, particular tokens, etc. The paper deals with the question of what mechanism underlies the possibility of successfully referring to different things and kinds of things with (...) one and the same quotation. I defend the view that a quotation has as its semantic reference a certain very abstract expression type, and that the possibility of referring to other things by means of it is to be explained as a pragmatic phenomenon of felicitously conveyed speaker reference. (shrink)

In earlier work I claimed that when Tarski wrote his seminal 1936 paper on logical consequence, he had in mind a now nonstandard convention, that he also used in his 1937 logic manual, requiring the domain of quantification of the different interpretations of a first-order mathematical language to covary with changes in the interpretation of a non-logical “domain predicate”. Recently Paolo Mancosu has rejected this claim, holding that it can be established on the basis of a passage from Tarski’s manual (...) that he did not employ that convention. I show that Mancosu misinterprets the passage in question and that detailed examination of the surrounding text actually confirms my earlier claim. (shrink)

In recent years, there have been concerted efforts to ensure that the different components of the international response to crisis-affected countries, whether conducted under the banner of the United Nations or not, are integrated in pursuit of a stated goal of comprehensive, durable, and just resolution of conflict. This includes a drive to purposefully make humanitarian assistance to victims, one of the principal forms of outside involvement in crisis situations, supportive of the “international community's” political ambition. The implication of the (...) coherence agenda is that meeting lifesaving needs is too limited in scope, and that the principles of impartiality, neutrality, and independence that have typically characterized humanitarian action should be set aside in order to harness aid to the “higher” goals of peace, security, and development. (shrink)

I defend the hypothesis that the semantic paradoxes, the paradoxes about collections, and the sorites paradoxes, are all paradoxes of reference fixing: they show that certain conventionally adopted and otherwise functional reference-fixing principles cannot provide consistent assignments of reference to certain relevant expressions in paradoxical cases. I note that the hypothesis has interesting implications concerning the idea of a unified account of the semantic, collection and sorites paradoxes, as well as about the explanation of their “recalcitrance”. I also note that (...) it does not necessarily imply that one should not expect the sometimes hoped for “unique” solution to a paradox of these kinds. (shrink)

Nat Hansen builds a new argument for subjectivism about the semantics of color language, based on a potential kind of intersubjective disagreements about comparative color statements. In reply, I note that the disagreements of this kind are merely hypothetical, probably few if actual, and not evidently relevant as test cases for a semantic theory. Furthermore, even if they turned out to be actual and semantically relevant, they would be intuitively unusable by the subjectivist.

The thesis, typical among dualists, that there are no necessitation relations between events of consciousness and physical events implies that it is prima facie lucky that in our world the apparently existing psychophysical laws usually match events of consciousness and physical events in a “harmonious” way. The lucky psychophysical laws argument concludes that typical dualism amounts to a psychophysical parallelism that is prima facie too improbable to be true. I argue that an anthropic reasoning in the space of possible worlds (...) makes the appearance of a harmonious match situation unsurprising, and that this is all that is needed for the argument to be harmless to a typical dualist. (shrink)

I postulate that the extension of a degree adjective is fixed by implicitly accepted non-analytic reference-fixing principles (“preconceptions”) that combine appeals to paradigmatic cases with generic principles designed to expand the extension of the adjective beyond the paradigmatic range. In regular occasions of use, the paradigm and generic preconceptions are jointly satisfied and determine the existence of an extension/anti-extension pair dividing the adjective’s comparison class into two mutually exclusive and jointly exhaustive subclasses. Sorites paradoxical occasions of use are irregular occasions (...) of use in which the paradigm and generic preconceptions are not jointly satisfied. In them, the relevant degree adjective lacks an extension, and utterances of sentences containing it appearing in sorites arguments do not have truth conditions. I also postulate a probable psychology of paradigm intuitions, used in a psychological explanation of the preference for solutions of the sorites paradox on which paradigm preconceptions retain their intuitive truth-values. (shrink)

Quotation marks are ambiguous, although the conventional rules that govern their different uses are similar in that they contain quantifications over quotable expressions. Pure uses are governed by a simple rule: by enclosing any expression within quotation marks one gets a singular term, the quotation, that stands for the enclosed expression. Impure uses are far less simple. In a series of uses the quotation marks conventionally indicate that (part of) the enclosed expression is a contextually appropriate version of expressions uttered (...) by some relevant agent. When the quotation marks have this meaning, it is tempting to think of them as contributing that indication to the truth-conditional content of the utterance. I adopt a cautious attitude towards this hypothesis, for the evidence in its favor is inconclusive. In other uses the quotation marks conventionally indicate that the enclosed expression should be used not “plainly” but in some broadly speaking “distanced” way, or that it is being so used by the utterer, and typically context makes clear the exact nature of the “distance” at stake. In these cases the quotation marks do not even appear to contribute that indication to the truth-conditional content of the utterance. (shrink)

This paper examines the question of the extensional correctness of Tarskian definitions of logical truth and logical consequence. I identify a few different informal properties which are necessary for a sentence to be an informal logical truth and look at whether they are necessary properties of Tarskian logical truths. I examine arguments by John Etchemendy and Vann McGee to the effect that some of those properties are not necessary properties of some Tarskian logical truths, and find them unconvincing. I stress (...) the point that since the hypothesis that Tarski's definitions are extensionally correct is deeply entrenched, the burden of proof is still on the shoulders of Tarski's critics, who have not lifted the burden. (shrink)