This paper is concerned with an intuitive contrast that arises when we consider sentences containing empty definite descriptions. A sentence like ‘The king of France is bald’ appears neither true nor false, while a sentence like ‘My friend was visited by the king of France’ appears false. Recently, Stephen Yablo has suggested an account of this intuitive contrast. Yablo’s account is particularly interesting, since it has important consequences for the ontological commitments of number sentences like ‘The number of planets is (...) even’. However, the paper argues that Yablo’s account is not convincing and that it can thus not establish these consequences. Further, it develops a Strawsonian account of the intuitive contrast. The developed account allows us to draw important conclusions regarding the correct analysis of definite descriptions and of existence sentences containing definite descriptions. (shrink)

Um dos grandes desafios da era da informação consiste em filtrar informações claras, rigorosas e atualizadas sobre tópicos importantes. O mesmo vale para a filosofia. Como encontrar conteúdo filosófico confiável em meio a milhares de artigos publicados diariamente na internet? Para ir ainda mais longe, como encontrar uma introdução a algum tópico com uma lista de referências bibliográficas atualizadas e que seja organizada por um especialista da área? Já que você começou a ler este livro, é provável que tenha ouvido (...) falar em algum momento da Enciclopédia Stanford de Filosofia, disponível gratuitamente na internet desde 1995. A página da Stanford faz exatamente isso. Ela cobre inúmeros verbetes sobre quase tudo em filosofia, oferecendo informação confiável sobre temas como feminismo, filosofia na América Latina, zumbis, metafísica e milhares de outros tópicos. A sugestão típica aos profissionais da filosofia que têm interesse em começar a estudar algum tópico, mas não sabem sequer por onde começar, é procurar pelo verbete relevante da Stanford. Infelizmente, o grande empecilho da página para o nosso contexto é que todos os verbetes estão disponíveis apenas em inglês, algo que cria um obstáculo a inúmeros estudantes e interessados que não dominam a língua. Neste sentido, acreditamos que esta publicação preencha um hiato importante na filosofia brasileira. Embora a filosofia no Brasil tenha se profissionalizado e expandido ao longo dos anos, há ainda lacunas em diversas áreas, e os verbetes foram aqui selecionados cuidadosamente no intuito de preencher ao menos algumas dessas lacunas. Este livro apresenta quatro verbetes cruciais para a filosofia, aqui divididos em quatro capítulos: (1) condições necessárias e suficientes, (2) referência (3) causação e (4) consciência. (shrink)

What is the source of logical and mathematical truth? This book revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. Shadows of Syntax is the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. It (...) argues that our conventions, in the form of syntactic rules of language use, are perfectly suited to explain the truth, necessity, and a priority of logical and mathematical claims, as well as our logical and mathematical knowledge. (shrink)

Claims that necessary and sufficient conditions are not converse relations are discussed, as well as the related claim that If A, then B is not equivalent to A only if B . The analysis of alleged counterexamples has shown, among other things, how necessary and sufficient conditions should be understood, especially in the case of causal conditions, and the importance of distinguishing sufficient-cause conditionals from necessary-cause conditionals. It is concluded that necessary and sufficient conditions, adequately interpreted, are converse relations in (...) all cases. (shrink)

In this work, it is shown that given a correct understanding of the nature of reference and of linguistic meaning generally, it is possible to produce non-revisionist analyses of the nature of -/- *Perceptual content, *Mental content generally, *Logical equivalence, *Logical dependence generally, *Counterfactual truth, *The causal efficacy of mental states, and *Our knowledge of ourselves and of the external world. -/- In addition, set-theoretic interpretations of several semantic concepts are put forth. These concepts include truth, falsehood, negation, and conjunction.

In a recent article in this journal, Roberts suggests a semantic method for distinguishing ambiguity and generality, a method which is intended to avoid the problems that others such as Zwicky and Sadock, Hintikka, and McCawley have found in making such a decision. Roberts claims that his test derives its validity from the observation that an ambiguous expression has a disjunction of meanings, whereas a general expression has but one meaning.

This article examines the traditional and modern doctrines of categorical propositions and argues that both doctrines have serious problems. While the doctrines disagree about existential imports...

Quine (1960, Word and object. Cambridge, Mass.:MIT Press, ch. 2) claims that there are a variety of equally good schemes for translating or interpreting ordinary talk. ‘Rabbit’ might be taken to divide its reference over rabbits, over temporal slices of rabbits, or undetached parts of rabbits, without significantly affecting which sentences get classified as true and which as false. This is the basis of his famous ‘argument from below’ to the conclusion that there can be no fact of the matter (...) as to how reference is to be divided. Putative counterexamples to Quine’s claim have been put forward in the past (see especially Evans 1975; 1975, Journal of Philosophy, LXXII(13), 343–362. Reprinted in McDowell (Ed.), Gareth Evans: Collected papers. Oxford: Clarendon Press.), and various patches have been suggested (e.g. Wright (1997, The indeterminacy of translation. In C. Wright & B. Hale (Eds.), A companion to the philosophy of language (pp. 397–426). Oxford: Blackwell)). One lacuna in this literature is that one does not find any detailed presentation of what exactly these interpretations are supposed to be. Drawing on contemporary literature on persistence, the present paper sets out detailed semantic treatments for fragments of English, whereby predicates such as ‘rabbit’ divide their reference over four-dimensional continuants (Quine’s rabbits), instantaneous temporal slices of those continuants (Quine’s rabbit-slices) and the simple elements which compose those slices (undetached rabbit parts) respectively. Once we have the systematic interpretations on the table, we can get to work evaluating them. (shrink)

In this study we investigate the influence of reason-relation readings of indicative conditionals and ‘and’/‘but’/‘therefore’ sentences on various cognitive assessments. According to the Frege-Grice tradition, a dissociation is expected. Specifically, differences in the reason-relation reading of these sentences should affect participants’ evaluations of their acceptability but not of their truth value. In two experiments we tested this assumption by introducing a relevance manipulation into the truth-table task as well as in other tasks assessing the participants’ acceptability and probability evaluations. Across (...) the two experiments a strong dissociation was found. The reason-relation reading of all four sentences strongly affected their probability and acceptability evaluations, but hardly affected their respective truth evaluations. Implications of this result for recent work on indicative conditionals are discussed. (shrink)

According to the weak version of linguistic relativity, also called the Sapir-Whorf hypothesis, the features of an individual’s native language influence his worldview and perception. We decided to test this hypothesis on the sufficient conditional and the necessary conditional, expressed differently in Chinese and French. In Chinese, connectors for both conditionals exist and are used in everyday life, while there is only a connector for the sufficient conditional in French. A first hypothesis follows from linguistic relativity: for the necessary conditional, (...) better logic performance is expected in Chinese participants rather than French participants. As a second hypothesis, for all participants, we expect performance on the sufficient conditional to be better than on the necessary conditional. Indeed, despite the isomorphism of the two conditionals, they differ in how information is processed for reasoning. We decided to study reasoning under uncertainty as it reflects reality more accurately. To do so, we analyzed the coherence of participants using de Finetti’s theory for deduction under uncertainty. The results of our study show no significant difference in performance between Chinese and French participants, neither on the sufficient conditional nor on the necessary conditional. Thus, our first hypothesis derived from the weak version of linguistic relativity is not confirmed. In contrast, our results confirm the second hypothesis in two out of three inference schemas. (shrink)

In this paper an approach to the exhaustive interpretation of answers is developed. It builds on a proposal brought forward by Groenendijk and Stokhof (1984). We will use the close connection between their approach and McCarthy's (1980, 1986) predicate circumscription and describe exhaustive interpretation as an instance of interpretation in minimal models, well-known from work on counterfactuals (see for instance Lewis (1973)). It is shown that by combining this approach with independent developments in semantics/pragmatics one can overcome certain limitations of (...) Groenenedijk and Stokhof's (1984) proposal. In the last part of the paper we will provide a Gricean motivation for exhaustive interpretation building on work of Schulz (to appear) and van Rooij and Schulz (2004). (shrink)

This article develops a Gricean account for the computation of scalarimplicatures in cases where one scalar term is in the scope ofanother. It shows that a cross-product of two quantitative scalesyields the appropriate scale for many such cases. One exception iscases involving disjunction. For these, I propose an analysis that makesuse of a novel, partially ordered quantitative scale for disjunction andcapitalizes on the idea that implicatures may have different epistemic status.

Ambiguous terms are applicable to different kinds of things, but so are general terms, since a general kind may include various species. Thus a bank may be the side of a river or a certain kind of financial institution, and an animal may be a dog or a cat. Similarly, an ambiguous sentence is true in different kinds of situations, and so is a general sentence in that different specific situations may make the same general sentence true. Thus the sentence, (...) The bank collapsed yesterday,’ can be true of different varieties of banks, and the sentence, The animal is untrained,’ can be true of different varieties of animals. These similarities of ambiguity and generality have led many linguists and philosophers to confuse the two. Basic to this confusion is a failure to notice a difference in the scopes of disjunctions involved in ambiguity and generality. (shrink)

Ambiguous terms are applicable to different kinds of things, but so are general terms, since a general kind may include various species. Thus a bank may be the side of a river or a certain kind of financial institution, and an animal may be a dog or a cat. Similarly, an ambiguous sentence is true in different kinds of situations, and so is a general sentence in that different specific situations may make the same general sentence true. Thus the sentence, (...) The bank collapsed yesterday,’ can be true of different varieties of banks, and the sentence, The animal is untrained,’ can be true of different varieties of animals. These similarities of ambiguity and generality have led many linguists and philosophers to confuse the two. Basic to this confusion is a failure to notice a difference in the scopes of disjunctions involved in ambiguity and generality. (shrink)

Though I have not found enough of the latter to test out this bromide, I am sensible of the value bestowed by colleagues who have taken such exacting care in analyzing my arguments. While their incisive observation and hard objections threaten to leave an extinct theory, I hope the reader will rather judge it one strengthened by adversity. Let me initially expose the heart of my argument so as to make obvious the shocks it must endure. I ask the reader (...) to grant that altruistic behavior can be empirically justified, that is, to allow that we have evolved under the aegis of kin and group selection (or comparably effective mechanisms) to heed the community welfare, to be moved to aid the distressed even at.. (shrink)

Traditional procedures for rational updating fail when it comes to self-locating opinions, such as your credences about where you are and what time it is. This paper develops an updating procedure for rational agents with self-locating beliefs. In short, I argue that rational updating can be factored into two steps. The first step uses information you recall from your previous self to form a hypothetical credence distribution, and the second step changes this hypothetical distribution to reflect information you have genuinely (...) learned as time has passed. While the second step resembles traditional procedures of updating by conditionalization, the first is best understood by analogy to traditional models of how agents transmit self-locating opinions through ordinary interpersonal communication. (shrink)

Recently, von Fintel (2001) and Gillies (2007) have argued that certain sequences of counterfactuals, namely reverse Sobel sequences, should motivate us to abandon standard truth conditional theories of counterfactuals for dynamic semantic theories. I argue that we can give a pragmatic account of our judgments about counterfactuals without giving up the standard semantics. In particular, I introduce a pragmatic principle governing assertability, and I use this principle to explain a variety of subtle data concerning reverse Sobel sequences.

A series of representations must be semantics-driven if the members of that series are to combine into a single thought: where semantics is not operative, there is at most a series of disjoint representations that add up to nothing true or false, and therefore do not constitute a thought at all. A consequence is that there is necessarily a gulf between simulating thought, on the one hand, and actually thinking, on the other. A related point is that a popular doctrine (...) - the so-called 'computational theory of mind' (CTM) - is based on a confusion. CTM is the view that thought-processes consist in 'computations', where a computation is defined as a 'form-driven' operation on symbols. The expression 'form-driven operation' is ambiguous, as it may refer either to syntax-driven operations or to morphology-driven operations. Syntax-driven operations presuppose the existence of operations that are driven by semantic and extra-semantic knowledge. So CTM is false if the terms 'computation' and 'form-driven operation' are taken to refer to syntax-driven operations. Thus, if CTM is to work, those expressions must be taken to refer to morphology-driven operations. CTM therefore fails, given that an operation must be semantics-driven if it is to qualify as a thought. CTM therefore fails on each possible disambiguation of the expressions 'formal operation' and 'computation,' and it is therefore false. (shrink)

In this paper, I discuss the distribution and interpretation of free choice items (FCIs) in Greek, a language exhibiting a lexical paradigm of such items distinct from that of negative polarity items. Greek differs in this respect from English, which uniformly employs any. FCIs are grammatical only in certain contexts that can be characterized as nonveridical (Giannakidou 1998, 1999), and although they yield universal-like interpretations in certain structures, they are not, I argue, universal quantifiers. Evidence will be provided that FCIsare (...) indefinites; the quasi-universal effect is shown to be the result of binding by an operator with universal force. Additionally, the limited distribution of FCIs in non veridical contexts can be accounted for by analyzing them as indefinites which must always be interpreted in an intensional type. The difference between ``regular'' indefinites and FCIs, therefore, is reduced to a type difference which captures the fact that only the latter exhibit limited distribution: because of their intensional type, FCIs will be grammatical only in contexts providing alternatives (worlds or situations), and nonveridical contexts do exactly this. By contrast, FCIs are excluded from veridical and episodic contexts because these provide no alternatives and hence do not satisfy the lexical semantic requirement ofFCIs. The proposed analysis is supported by data from other languages as well (Spanish, Catalan,French) and has important consequences regarding the analysis of English any. If FCIs are not universal quantifiers but indefinites, then the usual ambiguity thesis (free choice any being universal, negative polarity any an existential) can no longer be maintained, at least not as one in terms of quantificational force. (shrink)

Natural deduction systems were motivated by the desire to define the meaning of each connective by specifying how it is introduced and eliminated from inference. In one sense, this attempt fails, for it is well known that propositional logic rules underdetermine the classical truth tables. Natural deduction rules are too weak to enforce the intended readings of the connectives; they allow non-standard models. Two reactions to this phenomenon appear in the literature. One is to try to restore the standard readings, (...) for example by adopting sequent rules with multiple conclusions. Another is to explore what readings the natural deduction rules do enforce. When the notion of a model of a rule is generalized, it is found that natural deduction rules express “intuitionistic” readings of their connectives. A third approach is presented here. The intuitionistic readings emerge when models of rules are defined globally, but the notion of a local model of a rule is also natural. Using this benchmark, natural deduction rules enforce exactly the classical readings of the connectives, while this is not true of axiomatic systems. This vindicates the historical motivation for natural deduction rules. One odd consequence of using the local model benchmark is that some systems of propositional logic are not complete for the semantics that their rules express. Parallels are drawn with incompleteness results in modal logic to help make sense of this. (shrink)

According to James McCawley (1981) and Richard Larson and Gabriel Segal (1995), the following sentence is three-ways ambiguous: -/- Harry wants to be the mayor of Kenai. -/- According to them also, the three-way ambiguity cannot be accommodated on the Russellian view that definite descriptions are quantified noun phrases. In order to capture the three-way ambiguity of the sentence, these authors propose that definite descriptions must be ambiguous: sometimes they are predicate expressions; sometimes they are Russellian quantified noun phrases. After (...) explaining why the McCawley-Larson-Segal solution contains an obvious flaw, I discuss how an effort to correct the flaw brings to light certain puzzles about the individuation of desires, about quantifying in, and about the disambiguation of desire ascriptions. (shrink)

The aim of this paper is to identify what I take to be the main conceptual problem in Lewis’ semantics for counterfactuals when the Limit Assumption is not satisfied, what I call the Discrimination Problem , and to present and discuss a modification of Lewis’ semantics that aims at solving DP. First, I outline Lewis’ semantics, highlighting the aspects that will be relevant for our discussion. Second, I present DP and discuss it with a heuristic example. Third, I present the (...) new proposal and comment some formal consequences and the objections they give rise to. Fourth, I present an allegedly equivalent version of the proposal and discuss the difference between counterfactuals and strict conditionals. Finally, I defend that the two proposals are different and argue for the first one as the best way of capturing two intuitions that seem in conflict when the LA is not satisfied. I conclude with a dilemma: either the proposal here defended works or LA is inescapable. Thus, if the proposal doe.. (shrink)

Intuitively, vagueness involves some sort of indeterminacy: if Plato is a borderline case of baldness, then there is no fact of the matter about whether or not he’s bald—he’s neither bald nor not bald. The leading formal treatments of such indeterminacy—three valued logic, supervaluationism, etc.—either fail to validate the classical theorems, or require that various classically valid inference rules be restricted. Here we show how a fully classical, yet indeterminist account of vagueness can be given within natural semantics, an alternative (...) semantics for classical proof theory. The key features of the account are: there is a single notion of truth—definite truth—and a single notion of validity; sentences can be true, false, or undetermined; all classical theorems and all classical inference rule are valid; the sorites argument is unsound; ‘definitely’ is treated as a meta-language predicate; higher-order vagueness is handled via semantic ascent. (shrink)

This chapter focuses on alternative logics. It discusses a hierarchy of logical reform. It presents case studies that illustrate particular aspects of the logical revisionism discussed in the chapter. The first case study is of intuitionistic logic. The second case study turns to quantum logic, a system proposed on empirical grounds as a resolution of the antinomies of quantum mechanics. The third case study is concerned with systems of relevance logic, which have been the subject of an especially detailed reform (...) program. Finally, the fourth case study is paraconsistent logic, perhaps the most controversial of serious proposals. (shrink)

Arguments and conditionals are powerful means language provides us to reason about possibilities and to reach conclusions from premises. These two kinds of constructions exhibit several affinities—e.g., they both come in different varieties depending on the mood; they share some of the same connectives (i.e., ‘then’); they allow for similar patterns of modal subordination. In the light of these affinities, it is not surprising that prominent theories of conditionals—old and new suppositionalisms as well as dynamic theories of conditionals—as well as (...) certain reductive theories of arguments tend to semantically assimilate conditionals and arguments. In this paper, I shall marshall some linguistic evidence as well as some theoretical considerations for thinking that, despite these similarities, arguments and conditionals should be given a different semantics and I shall lay out a framework that can capture at least some of their affinities while accounting for their outstanding differences. (shrink)

In a recent article in this journal, Roberts suggests a semantic method for distinguishing ambiguity and generality, a method which is intended to avoid the problems that others such as Zwicky and Sadock, Hintikka, and McCawley have found in making such a decision. Roberts claims that his test derives its validity from the observation that an ambiguous expression has a disjunction of meanings, whereas a general expression has but one meaning.

Describes the received theory of necessary and sufficient conditions, explains some standard objections to it, and lays out alternative ways of thinking about conditions and conditionals.

This dissertation is devoted to empirically contrasting the Suppositional Theory of conditionals, which holds that indicative conditionals serve the purpose of engaging in hypothetical thought, and Inferentialism, which holds that indicative conditionals express reason relations. Throughout a series of experiments, probabilistic and truth-conditional variants of Inferentialism are investigated using new stimulus materials, which manipulate previously overlooked relevance conditions. These studies are some of the first published studies to directly investigate the central claims of Inferentialism empirically. In contrast, the Suppositional Theory (...) of conditionals has an impressive track record through more than a decade of intensive testing. The evidence for the Suppositional Theory encompasses three sources. Firstly, direct investigations of the probability of indicative conditionals, which substantiate “the Equation” (P(if A, then C) = P(C|A)). Secondly, the pattern of results known as “the defective truth table” effect, which corroborates the de Finetti truth table. And thirdly, indirect evidence from the uncertain and-to-if inference task. Through four studies each of these sources of evidence are scrutinized anew under the application of novel stimulus materials that factorially combine all permutations of prior and relevance levels of two conjoined sentences. The results indicate that the Equation only holds under positive relevance (P(C|A) – P(C|¬A) > 0) for indicative conditionals. In the case of irrelevance (P(C|A) – P(C|¬A) = 0), or negative relevance (P(C|A) – P(C|¬A) < 0), the strong relationship between P(if A, then C) and P(C|A) is disrupted. This finding suggests that participants tend to view natural language conditionals as defective under irrelevance and negative relevance (Chapter 2). Furthermore, most of the participants turn out only to be probabilistically coherent above chance levels for the uncertain and-to-if inference in the positive relevance condition, when applying the Equation (Chapter 3). Finally, the results on the truth table task indicate that the de Finetti truth table is at most descriptive for about a third of the participants (Chapter 4). Conversely, strong evidence for a probabilistic implementation of Inferentialism could be obtained from assessments of P(if A, then C) across relevance levels (Chapter 2) and the participants’ performance on the uncertain-and-to-if inference task (Chapter 3). Yet the results from the truth table task suggest that these findings could not be extended to truth-conditional Inferentialism (Chapter 4). On the contrary, strong dissociations could be found between the presence of an effect of the reason relation reading on the probability and acceptability evaluations of indicative conditionals (and connate sentences), and the lack of an effect of the reason relation reading on the truth evaluation of the same sentences. A bird’s eye view on these surprising results is taken in the final chapter and it is discussed which perspectives these results open up for future research. (shrink)

semantic minimalism and moderte contextualism.

According to the so-called ‘standard theory’ of conditions, the conditionship relation is converse, that is, if A is a sufficient condition for B, B is a necessary condition for A. This theory faces well-known counterexamples that appeal to both causal and other asymmetric considerations. I show that these counterexamples lose their plausibility once we clarify two key components of the standard theory: that to satisfy a condition is to instantiate a property, and that what is usually called ‘conditionship relation’ is (...) an inferential relation. Throughout the paper this way of interpreting the standard theory is compared favourably over an alternative interpretation that is outlined in causal terms, since it can be applied to all counterexamples without losing its intuitive appeal. (shrink)

Broadly, the subject of this paper is the relation between logic and linguistics. More narrowly, it concentrates on formal semantics. The first part of the text discusses the topics and methods of formal semantics, and the second part the history of formal semantics. Formal semantic analysis has not been widely known and applied in our research community, and formal methods have been applied extremely rarely in linguistic analyses. This is why it is useful to point out the significant achievements of (...) formal semantics. This inspiring interdisciplinary field of research has been successfully connecting research in linguistics, logic and philosophy since the early 1970s. (shrink)

Tema je ovoga teksta u širem smislu osvrt na odnos logike i lingvistike. U užem smislu tekst će se u prvome dijelu osvrnuti na teme i instrumentarij, a u drugom na povijest formalne semantike. Recepcija formalnosemantičkih radova na našim područjima nema čvršću tradiciju, kao ni primjena formalnih metoda na proučavanje jezika, pa se i stoga čini korisnim ukazati na njezine dosege. Formalna semantika inspirativno je i plodonosno interdisciplinarno polje istraživanja koje je od 70-tih godina 20. stoljeća iznimno uspješno povezivalo istraživanja (...) lingvista, logičara i filozofa.Broadly, the subject of this paper is the relation between logic and linguistics. More narrowly, it concentrates on formal semantics. The first part of the text discusses the topics and methods of formal semantics, and the second part the history of formal semantics. Formal semantic analysis has not been widely known and applied in our research community, and formal methods have been applied extremely rarely in linguistic analyses. This is why it is useful to point out the significant achievements of formal semantics. This inspiring interdisciplinary field of research has been successfully connecting research in linguistics, logic and philosophy since the early 1970s. (shrink)