Kit Fine has reawakened a puzzle about variables with a long history in analytic philosophy, labeling it “the antinomy of the variable”. Fine suggests that the antinomy demands a reconceptualization of the role of variables in mathematics, natural language semantics, and first-order logic. The difficulty arises because: (i) the variables ‘x’ and ‘y’ cannot be synonymous, since they make different contributions when they jointly occur within a sentence, but (ii) there is a strong temptation to say that distinct variables ‘x’ (...) and ‘y’ are synonymous, since sentences differing by the total, proper substitution of ‘x’ for ‘y’ always agree in meaning. We offer a precise interpretation of the challenge posed by (i) and (ii). We then develop some neglected passages of Tarski to show that his semantics for variables has the resources to resolve the antinomy without abandoning standard compositional semantics. (shrink)

Nesse artigo eu proponho, partindo da distinção entre conceitos semânticos e conceitos ontológicos, a separação entre descrição semântica e postulação de entidades. A postulação de uma entidade implica o fornecimento de um critério de identificação, isto é, a verdade de uma asserção de identidade entre dois dispositivos de designação. Isso parece indicar que a existência da entidade seria garantida pela simples existência de um critério de identificação. Porém, esta é uma condição de significatividade para um termo referencial: que ele codifique (...) ou esteja associado a uma descrição identificadora. Tal descrição identificadora não pode, de modo algum, ser confundida com uma condição de existência para a entidade em questão. (shrink)

The famous “slingshot argument” developed by Church, Gödel, Quine and Davidson is often considered to be a formally strict proof of the Fregean conception that all true sentences, as well as all false ones, have one and the same denotation, namely their corresponding truth value: the true or the false. In this paper we examine the analysis of the slingshot argument by means of a non-Fregean logic undertaken recently by A.Wóitowicz and put to the test her claim that the slingshot (...) argument is in fact circular and presupposes what it intends to prove. We show that this claim is untenable. Nevertheless, the language of non-Fregean logic can serve as a useful tool for representing the slingshot argument, and several versions of the slingshot argument in non-Fregean logics are presented. In particular, a new version of the slingshot argument is presented, which can be circumvented neither by an appeal to a Russellian theory of definite descriptions nor by resorting to an analogous “Russellian” theory of λ–terms. (shrink)

Why is two-dimensional semantics important? One can think of it as the most recent act in a drama involving three of the central concepts of philosophy: meaning, reason, and modality. First, Kant linked reason and modality, by suggesting that what is necessary is knowable a priori, and vice versa. Second, Frege linked reason and meaning, by proposing an aspect of meaning (sense) that is constitutively tied to cognitive signi?cance. Third, Carnap linked meaning and modality, by proposing an aspect of meaning (...) (intension) that is constitutively tied to possibility and necessity. (shrink)

The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of truth values. After elucidating the importance of the very notion of a truth value in logic and philosophy, we examine some possible ways of generalizing this notion. The useful four-valued logic of first-degree entailment by Nuel Belnap and the notion of a bilattice constitute the basis for further generalizations. By doing so we elaborate the idea of a multilattice, and most notably, (...) a trilattice of truth values – a specific algebraic structure with information ordering and two distinct logical orderings, one for truth and another for falsity. Each logical order not only induces its own logical vocabulary, but determines also its own entailment relation. We consider both semantic and syntactic ways of formalizing these relations and construct various logical calculi. (shrink)

This is a study of the epistemology of indexical reference, Or its foundation in the intentionality of the speaker's awareness of the referent. Where the referent is the object of the speaker's acquaintance on that occasion, The sense expressed is the generic content of that awareness. This, Indexical sense determines indexical reference, But indexical sense works by appeal to the context of the speaker's awareness of the referent. It is discussed how, By virtue of indexical sense, Indexical reference is rigid, (...) I.E. Picks out the same referent in any possible world. (shrink)

There are two general classes of social conventions: conventions of coordination, and conventions of partial conflict. In coordination problems, the interests of the agents coincide, while in partial conflict problems, some agents stand to gain only if other agents unilaterally make certain sacrifices. Lewis' (1969) pathbreaking analysis of convention in terms of game theory focuses on coordination problems, and cannot accommodate partial conflict problems. In this paper, I propose a new game-theoretic definition of convention which generalizes previous game-theoretic definitions (Lewis (...) 1969, Vanderschraaf 1995), and which can be used to characterize norms of justice in partial conflict situations. I argue that the key structural property necessary for a social arrangement to be a convention is that it be conditionally self-enforcing, in the sense that: (i) each agent has a decisive reason to follow her end of the arrangement given that she expects all to do likewise, (ii) given a different set of expectations, some agents would have had a decisive reason to deviate, and (iii) these facts are common knowledge. This leads to a definition of convention as a strict correlated equilibrium (Aumann 1974) together with appropriate common knowledge conditions. Examples are given in which it is shown how this more general account of convention can be used to analyze norms of justice as well as coordination problems. It is only a general sense of common interest; which sense all the members of the society express to one another, and which induces them to regulate their conduct by certain rules. I observe, that it will be for my interest to leave another in the possession of his goods, provided he will act in the same manner with regard to me. He is sensible of a like interest in the regulation of his conduct. When this common sense of interest is mutually express'd, and is known to both, it produces a suitable resolution and behavior. And this may properly be call'd a convention or agreement betwixt us,.. (shrink)

The famous “slingshot argument” developed by Church, Gödel, Quine and Davidson is often considered to be a formally strict proof of the Fregean conception that all true sentences, as well as all false ones, have one and the same denotation, namely their corresponding truth value: the true or the false . In this paper we examine the analysis of the slingshot argument by means of a non-Fregean logic undertaken recently by A.Wóitowicz and put to the test her claim that the (...) slingshot argument is in fact circular and presupposes what it intends to prove. We show that this claim is untenable. Nevertheless, the language of non-Fregean logic can serve as a useful tool for representing the slingshot argument, and several versions of the slingshot argument in non-Fregean logics are presented. In particular, a new version of the slingshot argument is presented, which can be circumvented neither by an appeal to a Russellian theory of definite descriptions nor by resorting to an analogous “Russellian” theory of λ–terms. (shrink)

One does not simply predict where the other will go, which is wherever the first predicts the second to predict the first to go, and so ad infinitum. Not "What would I do if I were she?" but "What would I do if I were she wondering what she would do if she were wondering what I would do if I were she...?".

Like belief revision, conceptual change has rational aspects. The paper discusses this for predicate change. We determine the meaning of predicates by a set of imaginable instances, i.e., conceptually consistent entities that fall under the predicate. Predicate change is then an alteration of which possible entities are instances of a concept. The recent exclusion of Pluto from the category of planets is an example of such a predicate change. In order to discuss predicate change, we define a monadic predicate logic (...) with three different kinds of lawful belief: analytic laws, which hold for all possible instances; doxastic laws, which hold for the most plausible instances; and typicality laws, which hold for typical instances. We introduce predicate changing operations that alter the analytic laws of the language and show that the expressive power is not affected by the predicate change. One can translate the new laws into old laws and vice versa. Moreover, we discuss rational restrictions of predicate change. These limit its possible influence on doxastic and typicality laws. Based on the results, we argue that predicate change can be quite conservative and sometimes even hardly recognisable. (shrink)

This essay argues that post-analytic philosophy finds its origins not only in an invented tradition—that of ‘analytic philosophy’—but also in an invented dilemma: namely, the response to the allegedly overweening dominance of ‘positivism’ in American philosophy. I begin by surveying the problems with the folk wisdom about positivism and analytic philosophy. This pervasive narrative locates the emergence of post-analytic philosophy after a period of hegemony for logical positivism and cognate philosophical subfields. Taking seriously evidence indicating a distinct overlap in the (...) construction of the analytic and post-analytic traditions, I return to the founding moment of American analytic philosophy in the years immediately following World War II. What we see, I suggest, is not a reaction against a clearly defined and powerful logical positivist mainstream, but the careful, piecewise co-ordination of what would become characteristic ‘analytic’ modes of argument, problematics, and tool kits. Willard Van Orman Quine played a central role in this process, and for this reason I focus on the circumstances in which his field-defining 1951 article, ‘Two Dogmas of Empiricism’ was written and received. I conclude with the claim that both analytic and post-analytic philosophers relied on a peculiar image of the failure of logical positivism, and of the opportunities that failure presented. (shrink)

This paper argues that relativity of truth to a world plays no significant role in empirical semantic theory, even as it is done in the model-theoretic tradition relying on intensional type theory. Some philosophical views of content provide an important notion of truth at a world, but they do not constrain the empirical domain of semantic theory in a way that makes this notion empirically significant. As an application of this conclusion, this paper shows that a potential motivation for relativism (...) based on the relativity of truth to a world fails. (shrink)

Mathematicians and physical scientists depend heavily on the formal symbolism of mathematics in order to express and develop their theories. For this and other reasons the last hundred years has seen a growing interest in the nature of formal language and the way it expresses meaning; particularly the objective, shared aspect of meaning as opposed to subjective, personal aspects. This dichotomy suggests the question: do the objective philosophical theories of meaning offer concepts which can be applied in psychological theories of (...) meaning? In recent years cognitive scientists such as Chomsky [1980], Fodor [1981] and MacNamara [1982] have used philosophical approaches to the meaning of formal language expressions as the basis for their psychological theories. Following this lead it seems appropriate to review some of the main treatments of meaning with a view to their transferability. (shrink)