This chapter contains sections titled: Signification Truth Note Further Reading.

Alethic pluralism, on one version of the view , is the idea that truth is to be identified with different properties in different domains of discourse. 1 Whilst we operate with a univocal concept of truth, and a uniform truth predicate, the thought is that the truth property changes from one domain to the next. So the truth property for talk about the nature and state of the material world may be different from the truth property for moral discourse .Tappolet (...) challenged alethic pluralism by asking how it can account for the truth of mixed compounds, such as a mixed conjunction like ‘this cat is wet and funny’, where each of the conjuncts are from different domains of discourse, and thus assessable in terms of different truth properties. She argues that the alethic pluralist is left in a dilemma: either admit of a ‘generic’ truth property, which can be possessed by propositions from all domains, thus rendering the plural ways of being true obsolete, or deny the truth of mixed conjunctions.In Edwards 2008, I argued that there is route out of Tappolet's dilemma. Briefly, I suggested that we acknowledge that the truth of a mixed conjunction is dependent on the truth of its conjuncts, and we should explain the truth of the conjunction by saying that it is true just in case each of its conjuncts is true. This, I argued, gives us an account of the truth of the conjunction without needing to appeal to a troublesome ‘generic’ truth property.Aaron Cotnoir criticizes my solution to Tappolet's problem. Cotnoir argues that my solution to the problem admits of an unacceptable ‘proliferation’ of truth properties, and smuggles in a generic truth property. I …. (shrink)

One way to study and understand the notion of truth is to examine principles that we are willing to associate with truth, often because they conform to a pre-theoretical or to a semi-formal characterization of this concept. In comparing different collections of such principles, one requires formally precise notions of inter-theoretic reduction that are also adequate to compare these conceptual aspects. In this work I study possible ways to make precise the relation of conceptual equivalence between notions of truth associated (...) with collections of principles of truth. In doing so, I will consider refinements and strengthenings of the notion of relative truth-definability proposed by Fujimoto (2010): in particular I employ suitable variants of notions of equivalence of theories considered in Visser (2006) and Friedman & Visser (2014) to show that there are better candidates than mutual truth-definability for the role of sufficient condition for conceptual equivalence between the semantic notions associated with the theories. In the concluding part of the paper, I extend the techniques introduced in the first and show that there is a precise sense in which ramified truth (either disquotational or compositional) does not correspond to iterations of comprehension. (shrink)

Expressives are words that convey speakers’ attitudes towards a particular object or situation. Consider two examples:Attributive: That f**khead Jeremy forgot the turkey.Predicative: Jeremy is a f**khead. In both examples the word f**khead communicates some expressive content - the negative attitude of the speaker. However, only in Predicative does it appear to contribute to the truth-conditional content. The task is to explain the semantics of the word f**khead when it seemingly behaves wildly differently in different syntactic positions. In this paper I (...) consider several good candidates for dealing with f**khead occurring in Predicative position: Expressivist and Descriptive approaches that treat f**khead in Predicative as purely descriptive; and Expressive-Contextualism that treats Predicative as communicating to both expressive and descriptive dimensions. I show that none of the options fully capture the meaning of f**khead. Treating Predicative as purely descriptive leaves out the highly important expressive element, whilst Contextualist semantics does not seem as a suitable descriptive theory for expressives. I finally present a novel hybrid account that combines Expressivist semantics with Relativism. I call this view Expressive-Relativism. I show that by adopting Expressive-Relativism we can not only explain the relationship of f**khead in Attributive and Predicative, but also give a suitable descriptive theory that captures the truth-conditions of Predicative. (shrink)

A familiar strategy of argument to the effect that natural-language predicates are semantically context dependent rests on constructing what I term Travis cases: different contexts for the use of a predicate are imagined in which its semantic (typically, truth-conditional) properties are claimed to differ. I propose an account of the semantic properties of predicates that give rise to Travis cases; I then argue that the account underwrites a genuine alternative to the standard explanations of Travis cases to be found in (...) the literature; I close with a brief sketch of the connections, required by a fuller development of my account, among the semantic notion of a predicate’s content, the metaphysical notion of a property’s instantiation, and the cognitive notion of a language user’s perspective in using a predicate. (shrink)

Dâwûd al-Qarisî (Dâvûd al-Karsî) was a versatile and prolific 18th century Ottoman scholar who studied in İstanbul and Egypt and then taught for long years in various centers of learning like Egypt, Cyprus, Karaman, and İstanbul. He held high esteem for Mehmed Efendi of Birgi (Imâm Birgivî/Birgili, d.1573), out of respect for whom, towards the end of his life, Karsî, like Birgivî, occupied himself with teaching in the town of Birgi, where he died in 1756 and was buried next to (...) Birgivî. Better known for his following works on Arabic language and rhetoric and on the prophetic traditions (hadith): Sharḥu uṣûli’l-ḥadîth li’l-Birgivî; Sharḥu’l-Ḳaṣîdati’n-nûniyya (two commentaries, in Arabic and Turkish); Şarḥu’l-Emsileti’l-mukhtalifa fi’ṣ-ṣarf (two commentaries, in Arabic and Turkish); Sharḥu’l-Binâʾ; Sharḥu’l-ʿAvâmil; and Sharḥu İzhâri’l-asrâr, Karsî has actually composed textbooks in quite different fields. Hence the hundreds of manuscript copies of his works in world libraries. Many of his works were also recurrently printed in the Ottoman period. One of the neglected aspects of Karsî is his identity as a logician. Although he authored ambitious and potent works in the field of logic, this aspect of him has not been subject to modern studies. Even his bibliography has not been established so far (with scattered manuscript copies of his works and incomplete catalogue entries). This article primarily and in a long research based on manuscript copies and bibliographic sources, identifies twelve works on logic that Karsî has authored. We have clarified the works that are frequently mistaken for each other, and, especially, have definitively established his authorship of a voluminous commentary on al-Kâtibî’s al-Shamsiyya, of which commentary a second manuscript copy has been identified and described together with the other copy. Next is handled his most famous work of logic, the Sharhu Îsâghûcî, which constitutes an important and assertive ring in the tradition of commentaries on Îsâghûcî. We describe in detail the nine manuscript copies of this work that have been identified in various libraries. The critical text of Karsî’s Sharhu Îsâghûcî, whose composition was finished on 5 March 1745, has been prepared based on the following four manuscripts: (1) MS Kayseri Raşid Efendi Kütüphanesi, No. 857, ff.1v-3v, dated 1746, that is, only one year after the composition of the work; (2) MS Bursa İnebey Yazma Eser Kütüphanesi, Genel, No.794B, ff.96v-114v, dated 1755; (3) MS Millet Kütüphanesi, Ali Emiri Efendi Arapça, No. 1752, ff.48v-58r, dated 1760; (4) MS Beyazıt Yazma Eser Kütüphanesi, Beyazıt, No. 3129, ff.41v-55v, dated 8 March 1772. While preparing the critical text, we have applied the Center for Islamic Studies (İslam Araştırmaları Merkezi, İSAM)’s method of optional text choice. The critical text is preceded by a content analysis. Karsî is well aware of the preceding tradition of commentary on Îsâghûcî, and has composed his own commentary as a ‘simile’ or alternative to the commentary by Mollâ Fanârî which was famous and current in his own day. Karsî’s statement “the commentary in one day and one night” is a reference to Mollâ Fanârî who had stated that he started writing his commentary in the morning and finished it by the evening. Karsî, who spent long years in the Egyptian scholarly and cultural basin, adopted the religious-sciences-centered ‘instrumentalist’ understanding of logic that was dominant in the Egypt-Maghrib region. Therefore, no matter how famous they were, he criticized those theoretical, long, and detailed works of logic which mingled with philosophy; and defended and favored authoring functional and cogent logic texts that were beneficial, in terms of religious sciences, to the seekers of knowledge and the scholars. Therefore, in a manner not frequently encountered in other texts of its kind, he refers to the writings and views of Muhammad b. Yûsuf al-Sanûsî (d.1490), the great representative of this logical school in the Egyptian-Maghrib region. Where there is divergence between the views of the ‘earlier scholars’ (mutaqaddimûn) like Ibn Sînâ and his followers and the ‘later scholars’ (muta’akhkhirûn), i.e., post-Fakhr al-dîn al-Râzî logicians, Karsî is careful to distance himself from partisanship, preferring sometimes the views of the earliers, other times those of the laters. For instance, on the eight conditions proposed for the realization of contradiction, he finds truth to be with al-Fârâbî, who proposed “unity in the predicative attribution” as the single condition for the realization of contradiction. Similarly, on the subject matter of Logic, he tried to reconcile the mutaqaddimûn’s notion of ‘second intelligibles’ with the muta’akhkhirûn’s notion of ‘apprehensional and declarational knowledge,’ suggesting that not much difference exists between the two, on the grounds that both notions are limited to the aspect of ‘known things that lead to the knowledge of unknown things.’ Karsî asserts that established and commonly used metaphors have, according to the verifying scholars, signification by correspondence (dalâlat al-mutâbaqah), adding also that it should not be ignored that such metaphors may change from society to society and from time to time. Karsî also endorses the earlier scholars’ position concerning the impossibility of quiddity (mâhiyya) being composed of two co-extensive parts, and emphasizes that credit should not be given to later scholars’ position who see it possible. According to the verifying scholars (muhaqqîqûn), it is possible to make definition (hadd) by mentioning only difference (fasl), in which case it becomes an imperfect definition (hadd nâqis). He is of the opinion that the definition of the proposition (qadiyya) in al-Taftâzânî’s Tahdhîb is clearer and more complete: “a proposition is an expression that bears the possibility of being true or false”. He states that in the division of proposition according to quantity what is taken into consideration is the subject (mawdû‘) in categorical propositions, and the temporal aspect of the antecedent (muqaddam) in hypothetical propositions. As for the unquantified, indefinite proposition (qadiyya muhmalah), Karsî assumes that if it is not about the problems of the sciences, then it is virtually/potentially a particular proposition (qadiyya juz’iyyah); but if it is about the problems of the sciences, then it is virtually/potentially a universal proposition (qadiyya kulliyyah). This being the general rule about the ambiguous (muhmal) propositions, he nevertheless contends that, because its subject (mawdû‘) is negated, it is preferable to consider a negative ambiguous (sâliba muhmalah) proposition like “human (insân) is not standing” to be a virtually/potentially universal negative (sâliba kulliyyâh) proposition. He states that a disjunctive hypothetical proposition (shartiyya al-munfasila) that is composed of more than two parts/units is only seemingly so, and that in reality it cannot be composed of more than two units. Syllogism (qiyâs), according to Karsî, is the ultimate purpose (al-maqsad al-aqsâ) and the most valuable subject-matter of the science of Logic. For him, the entire range of topics that are handled before this one are only prolegomena to it. This approach of Karsî clearly reveals how much the ‘demonstration (burhân)-centered’ approach of the founding figures of the Muslim tradition of logic like al-Fârâbî and Ibn Sînâ has changed. al-Abharî, in his Îsâghûjî makes no mention of ‘conversion by contradiction’ (‘aks al-naqîd). Therefore, Karsî, too, in his commentary, does not touch upon the issue. However, in his Îsâghûjî al-jadîd Karsî does handle the conversion by contradiction and its rules. Following the method of Îsâghûjî, in his commentary Karsî shortly touches on the four figures (shakl) of conjuctive syllogism (qiyâs iqtirânî) and their conditions, after which he passes to the first figure (shakl), which is considered ‘the balance of the sciences’ (mi‘yâr al-‘ulûm), explaining the four moods (darb) of it. In his Îsâghûjî al-jadîd, however, Karsî handles all the four figures (shakl) with all their related moods (darb), where he speaks of fife moods (darb) of the fourth figure (shakl). The topic of ‘modal propositions’ (al-muwajjahât) and of ‘modal syllogism’ (al-mukhtalitât), both of which do not take place in the Îsâghûjî, are not mentioned by Karsî as well, either in his commentary on Îsâghûjî or in his Îsâghûjî al-jadîd. Karsî proposes that the certainties (yaqîniyyât), of which demonstration (burhân) is made, have seven, not six, divisions. After mentioning (1) axioms/first principles (awwaliyyât), (2) observata/sensuals (mushâhadât), (3) experta/empiricals (mujarrabât), (4) acumenalia (hadthiyyât), (5) testata (mutawâtirât), and (6) instictives (fitriyyât), that is, all the ‘propositions accompanied by their demonstrations,’ Karsî states that these six divisions, which do not need research and reflection (nazar), are called badîhiyyât (self-evidents), and constitute the foundations (usûl) of certainties (yaqîniyyât). As the seventh division he mentions (7) the nazariyyât (theoreticals), which are known via the badîhiyyât, end up in them, and therefore convey certainty (yaqîn). For Karsî, the nazariyyât/theoreticals, which constitute the seventh division of yaqîniyyât/certainties, are too numerous, and constitute the branches (far‘) of yaqîniyyât. Every time the concept of ‘Mughâlata’ (sophistry) comes forth in the traditional sections on the five arts usually appended to logic works, Karsî often gives examples from what he sees as extreme sûfî sayings, lamenting that these expressions are so widespread and held in esteem. He sometimes criticizes these expressions. However, it is observed that he does not reject tasawwuf in toto, but excludes from his criticism the mystical views and approaches of the truth-abiding (ahl al-haqq), shârî‘â-observant (mutasharri‘) leading sufis who have reached to the highest level of karâmah. (shrink)

Semantic antirealists such as Dummett read Wittgenstein as endorsing the view that we must reject a truth conditional account of meaning in favor of one based on assertibility conditions. I take issue with that interpretation: I argue that Wittgenstein held a unique account of truth which does not fit neatly into the categories of realism and antirealism and which, moreover, undermines the dichotomy between them. Wittgenstein identified truth conditions with conventions and criteria whereby we predicate "is true" of our sentences. (...) And he held that because different sentences in a language are accepted as true upon different kinds of grounds, what is meant by calling a statement "true" varies for statements within different language games. Therefore, Wittgenstein has a novel conception of truth which can be applied, across the board, to all sentences in a language; a conception which links the truth condition of a statement to the way that the statement is used. I further argue that an implication of "meaning is use" is that we should revise our project of formulating an account of truth simpliciter, and focus instead on articulating the concept of truth that emerges from our uses of the predicate "is true". (shrink)

In the 1960’s, both Montague (e.g. 1970, 222) and Grice (1975, 24) famously declared that natural languages were not so different from the formal languages of logic as people had thought. Montague sought to comprehend the grammars of both within a single theory, and Grice sought to explain away apparent divergences as due to the fact that the former, but not the latter, were used for conversation. But, if we confine our concept of logic to first order predicate logic (or (...) FOPL) with identity (that is, omitting everything which is not required for the pursuit of mathematical truth), then there are of course many other aspects, in addition to its use in conversation, which distinguish natural language from logic. Conventional implicature, information structure (including presupposition), tense and time reference, and the expression of causation and inference are several of these, which combine as well with syntactic complexities which are unnecessary in first order predicate logic. In this paper I will argue that such distinguishing aspects should be more fully exploited to explain the differences between the material conditional of logic and the indicative conditional of one natural language (English). (shrink)

Truth conditional semantics is the project of ‘determining a way of assigning truth conditions to sentences based on A) the extension of their constituents and B) their syntactic mode of combination’. This research program has been subject to objections that take the form of underdetermination arguments, an influential instance of which is presented by Travis: … consider the words ‘The leaf is green,’ speaking of a given leaf, and its condition at a given time, used so as to mean what (...) they do mean in English. How many distinct things might be said in words with all that true of them? Many.… Suppose a Japanese maple leaf, turned brown, was painted green for a decoration. In sorting leaves by colour, one might truly call this one green. In describing leaves to help identify their species, it might, for all the paint, be false to call it that. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:A NECESSARY CONDITION FOR THE TRUTH OF MORAL AND OTHER JUDGMENTS STEPHEN THERON Na,tional University of Lesotho Lesotho, Africa, SIMPSON'S RECENT review of Morals as Founded on Natural Law 1 so misrepresents its main point, one so vital to civilization's continuance, that I feel obliged to try to restate that point. It was of course disconcerting that he misunderstood the main point of the hook (whetlrer he agrees with (...) it or not), thoogh it may,weN. be, as he says, that the book oouM have been mOire readably written. He summarizes the book's aim as being" to establish morality on an external authoritative law "-a summary which does indeed seem close, even :identicaJ., to what is said in the book's first paragraph. However, there is ra potential equivocation in the w;ay he uses " externail.'' One should ask, external to what? What.the book speaks of in this opening paragraph is of justifying morality on ra principle " external to states of mind." I use "external" in the sense of that principle's being "independent of them," 'i.e., of meuba1l srtates. So :llar, this is a very open statement. Brut how do I go on to amplify it? Not the way Simpson does. He takes me as equating this principle with " the authoritative law of God," in the sense of "a divine legislative aiuthority " which, he reports me as arguing, " is just somehow an inemdicwblegiven." This " somehow " not only refoses to consider the meta1 Stephen Theron, Mora,ls M Founded on Na,tural Lww, European University Studies (New York: Peter Lang, 1987; 2nd ed. 1988). Reviewed by Peter Simpson in The ThomiBt 53 (1989): 341-342. ~93 294 STEPHEN THERON physical reasoning at the heart of the book's position but even seems to suggest that such reasoning was not evien offered. In fact it is precisely at this point that Simpson goes right off the raiJs as far as representing my view is concerned. H~ claims that this foundation upon divine authority would make morals "dependent on ·divine 1a.w, not, as his title dedares, on natural law." However, my use of " naturrul law " is rthe Thomistic use, which is sufficiently wen known in the debate so as not to be misleading. In the view of St. Thomas (and a whole established school of thought), natural law is indeed, in Simpson's words, "deriviative and secondary," or, in St. Thomas's words, "a reflected divine light.'' 2 Brut in the famous Artiicle 2 of Question 94 of the Prima secundae of the Summa theologica, so exh81ustively discussed in.the rooent literaturie, natural law is declared to be derived from the eternal law and not from divine law in the "external " or positivist •sense clearly intended by Simpson. (A different distinction is used in the Contra gentiles, but throughout my book the above text was referred to, often explicitly). "Divine law," the fourth type of law (eternal law and natural law being the first two types), does indeed refer, in this text, to some kind of positiv;e legisfation on the part of God in the 01d and New Testaments. (But evien here St. Thomas is oarefoil to point out that the law of the New Testament is only analogous to positive law, since it is not written on stone but poured into men's hearts by the Holy Spirit.) If I had been referring to this divine law (in such phrases as " reaISOn is divine and.therefore law ") and not thait eternal law which is one with the divine being, Simpson might have been able to brooket me with those nominalist theologians for whom.2" quasi lumen r.ationis naturalis... nihil aliud sit quam impressio luminis divini in nobis. Unde patet quod lex naturalis nihil aliud est quam participatio legis aeternae in rationali creatura." St. Thomas Aquinas, Summa theologica I-II, 91. 2. THE TRUTH OF MORAL JUDGMENTS 295 God might hav:e decreed an opposite morality if he so chose. (Though this, too, would be contrary to St. Thomas's view of such positive divine law, ev;en for the Old Testament; indeed for him even 011dinary "human" positivie law loses the sense... (shrink)

In this paper I try to show that semantics can explain word-to-world relations and that sentences can have meanings that determine truth-conditions. Critics like Chomsky typically maintain that only speakers denote, i.e., only speakers, by using words in one way or another, represent entities or events in the world. However, according to their view, individual acts of denotations are not explained just by virtue of speakers’ semantic knowledge. Against this view, I will hold that, in the typical cases considered, semantic (...) knowledge can account for the denotational uses of words of individual speakers. (shrink)

Is Big Data science a whole new way of doing research? And what difference does data quantity make to knowledge production strategies and their outputs? I argue that the novelty of Big Data science does not lie in the sheer quantity of data involved, but rather in the prominence and status acquired by data as commodity and recognised output, both within and outside of the scientific community and the methods, infrastructures, technologies, skills and knowledge developed to handle data. (...) These developments generate the impression that data-intensive research is a new mode of doing science, with its own epistemology and norms. To assess this claim, one needs to consider the ways in which data are actually disseminated and used to generate knowledge. Accordingly, this article reviews the development of sophisticated ways to disseminate, integrate and re-use data acquired on model organisms over the last three decades of work in experimental biology. I focus on online databases as prominent infrastructures set up to organise and interpret such data and examine the wealth and diversity of expertise, resources and conceptual scaffolding that such databases draw upon. This illuminates some of the conditions under which Big Data needs to be curated to support processes of discovery across biological subfields, which in turn highlights the difficulties caused by the lack of adequate curation for the vast majority of data in the life sciences. In closing, I reflect on the difference that data quantity is making to contemporary biology, the methodological and epistemic challenges of identifying and analysing data given these developments, and the opportunities and worries associated with Big Data discourse and methods. (shrink)

Contemporary logic is confined to a few paradigmatic attitudes such as belief, knowledge, desire and intention. My purpose is to present a general modeltheoretical semantics of propositional attitudes of any cognitive or volitive mode. In my view, one can recursively define the set of all psychological modes of attitudes. As Descartes anticipated, the two primitive modes are those of belief and desire. Complex modes are obtained by adding to primitive modes special cognitive and volitive ways or special propositional content or (...) preparatory conditions. According to standard logic of attitudes , human agents are either perfectly rational or totally irrational. I will proceed to a finer analysis of propositional attitudes that accounts for our imperfect but minimal rationality. For that purpose I will use a non standard predicative logic according to which propositions with the same truth conditions can have different cognitive values and I will explicate subjective in addition to objective possibilities. Next I will enumerate valid laws of my general logic of propositional attitudes. At the end I will state principles according to which minimally rational agents dynamically revise attitudes of any mode. (shrink)

When, for example, we say of something that it ‘is an object’, or ‘is an event’, or ‘is a property’, we are engaging in categorial predication: we are assigning something to a certain ontological category. Ontological categorization is clearly a type of classification, but it differs radically from the types of classification that are involved in the taxonomic practices of empirical sciences, as when a physicist says of a certain particle that it ‘is an electron’, or when a zoologist says (...) of a certain animal that it ‘is a mammal’, or when a meteorologist says of a certain weather‐phenomenon that it ‘is a hurricane’. Classifications of the latter types presuppose that the items being classified have already been assigned to appropriate ontological categories, such as the categories of object, species, or event. What do categorial predications mean? How are their truth‐conditions to be determined, and how can those truth‐conditions be known to be satisfied? Do they have truthmakers? Questions like these are amongst those addressed in the present paper. (shrink)

Controversy has arisen of late over the claim that deflationism about truth requires that we explain meaning in terms of something other than truth-conditions. This controversy, it is argued, is due to unclarity as to whether the basic deflationary claim that a sentence and a sentence that attributes truth to it are equivalent in meaning is intended to involve the truth- predicate of the object language for which we develop an account of meaning, or is intended to involve the truth- (...) predicate of the metalanguage in which we develop an account of meaning. The former view is compatible with the truth-conditional theory of meaning for the object language, the latter is incompatible with it. However, the former view is also trivially true; hence we should endorse the claim that any form of deflationism worth being interested in is incompatible with understanding meaning truth-conditionally. (shrink)

This paper will introduce and explore a set of quantified counterfactual temporal alethic-deontic systems, that is, systems that combine counterfactual temporal alethic-deontic logic with predicate logic. I will consider three types of systems: constant, variable and constant and variable domain systems. Every system can be combined with either necessary or contingent identity. All logics are described both semantically and proof theoretically. I use a kind of possible world semantics, inspired by the so-called T x W semantics, to characterise them semantically (...) and semantic tableaux to characterise them proof theoretically. Our models contain several different accessibility relations and a similarity relation between possible worlds, which are used in the definitions of the truth conditions for the various operators. Soundness results are obtained for every tableau system and completeness results for a subclass of these. (shrink)

This essay proposes a theory of the nature and logic of truth on which truth is an inconsistent concept that should be replaced for certain theoretical purposes. The paradoxes associated with truth (for example, the liar) and the pattern of failures in our attempts to deal with them suggest that truth is an inconsistent concept. The first part of the essay describes a pair of replacement concepts, which the essay dubs ascending truth and descending truth, along with an axiomatic theory (...) of them and an empirical interpretation of the theory. The essay shows how to use these replacements in a familiar truth-conditional semantics as well. The second part of the essay offers a descriptive theory of our natural language truth predicate that takes it to be assessment sensitive, which means that it has the same content in every context of utterance, but its extension (that is, the set of things that are true) depends on a context of assessment. Contexts of assessment model situations in which a person interprets someone's utterance. From different contexts of assessment, the truth predicate has different extensions. The descriptive theory employs the concepts of ascending truth and descending truth, and they determine how the extension of the truth predicate varies across contexts of assessment. This assessment-sensitive theory of truth solves the liar and other paradoxes, it is compatible with classical logic and all the expressive resources we have in natural language, and it does not give rise to any new paradoxes. (shrink)

Modern logic provides accounts of both interpretation and derivation which work together to provide abstract frameworks for modelling the sensitivity of human reasoning to task, context and content. Cognitive theories have underplayed the importance of interpretative processes. We illustrate, using Wason's [Q. J. Exp. Psychol. 20 (1968) 273] selection task, how better empirical cognitive investigations and theories can be built directly on logical accounts when this imbalance is redressed. Subjects quite reasonably experience great difficulty in assigning logical form to descriptively (...) interpreted rules in this task and materials, though not to deontically interpreted ones. The main empirical contrasts in reasoning performance are precisely between these interpretations, so better semantic theory can explain the main empirical effects. However, a more adequate notion of logical form than that typically employed in the psychology of reasoning is required, and we offer a richer alternative. Prima facie evidence that subjects do in fact experience the predicted difficulties in interpreting descriptive materials is provided by analyses of socratic tutoring dialogues. Experimental verification that these difficulties do in fact affect subjects' performance in the standard task is provided by six novel experimental conditions each designed to test different aspects of the semantic predictions. The results bear out the predictions. The semantic distinction between descriptive and deontic rules interacts with the task specifics to provide powerful generalisations about reasoning which surface in detailed explanations of many disparate observations. We conclude that semantic analyses have more direct benefits for psychological investigation than is usually credited, and conversely, that the extraordinary pragmatic circumstances of psychological experiments yield much thought provoking data for semantic analysis. © 2004 Cognitive Science Society, Inc. All rights reserved.Subjects quite reasonably experience great difficulty in assigning logical form to descriptively interpreted rules in this task and materials, though not to deontically interpreted ones. The main empirical contracts in reasoning performance are precisely between these interpretatins, so better semantic theory can explain the main empirical effects. Howevers, a more adequate nation of logical from than that typically employed in the psychology of reasoning in required, and we offer a richer alternative.Prima facie evidence that subjects do in fact experience the predicted difficulties in interpreting descriptive materials is provided by analyses of socratic tutoring dialogues. Experimental verification that these difficulties do in fact affect subjects' performance in the standard task is provided by six novel experimental conditions each designed to test different aspects of the semantic predications.The resluts bear out the predictions. The semantic distinction between descriptive and deontic rules interacts with the task specifics to provide powerful generalisations about reasoning which surface in detailed explanations of many disparate observations. We conclude that semantic analyses have more direct benefits for psychological investigation than is usually credited, and conversely, that the extraordinary pragmatic circumstances of psychological experiments yield much thought provoking data for semantic analysis. (shrink)

This book investigates context-sensitivity in natural language by examining the meaning and use of a target class of theoretically recalcitrant expressions. These expressions-including epistemic vocabulary, normative and evaluative vocabulary, and vague language -exhibit systematic differences from paradigm context-sensitive expressions in their discourse dynamics and embedding properties. Many researchers have responded by rethinking the nature of linguistic meaning and communication. Drawing on general insights about the role of context in interpretation and collaborative action, Silk develops an improved contextualist theory of CR-expressions (...) within the classical truth-conditional paradigm: Discourse Contextualism. The aim of Discourse Contextualism is to derive the distinctive linguistic behavior of a CR-expression from a particular contextualist interpretation of an independently motivated formal semantics, along with general principles of interpretation and conversation. It is shown how in using CR-expressions, speakers can exploit their mutual grammatical and world knowledge, and general pragmatic reasoning skills, to coordinate their attitudes and negotiate about how the context should evolve. The book focuses primarily on developing a Discourse Contextualist semantics and pragmatics for epistemic modals. The Discourse Contextualist framework is also applied to other categories of epistemic vocabulary, normative and evaluative vocabulary, and vague adjectives. The similarities/differences among these expressions, and among context-sensitive expressions more generally, have been underexplored. The development of Discourse Contextualism in this book sheds light on general features of meaning and communication, and the variety of ways in which context affects and is affected by uses of language. Discourse Contextualism provides a fruitful framework for theorizing about various broader issues in philosophy, linguistics, and cognitive science. (shrink)

Critics of attempts to explain meaning in terms of truth-conditions have tended to charge their opponents with misconceptions regarding truth. I shall argue that the 'naïve' version of the truth-conditional theory which best accounts for its resilience fails for a different and more basic reason, namely, circularity arising from the contingency of meaning. One reason why this problem has been overlooked is a tendency (noted by Dummett in a different connection) to assimilate the naïve truth-conditional theory to an idealized verificationism.

Truthmakers, truth conditions, and analyses are closely related, but distinct in rather important ways. A failure to properly appreciate their differences has led to some confusion regarding the role that possible worlds ought to play with respect to modality. Those philosophers who initially proposed the existence of possible worlds were understood as providing an analysis of modality. More recently, many have interpreted them as providing modal truthmakers. But, possible worlds are only suited to serve as truth conditions for modal truths. (...) My goals are as follows: First, to dispel this confusion by detailing the differences between these three concepts. Second, to apply the lesson learned to the famous Humphrey objection against possible worlds. While this objection, if successful, does undermine Lewisian modal realism, it only partially undermines ersatzism, and leaves available a route by which ersatzers may avoid the objection altogether. (shrink)

Warrant and Conditions for Warrant in Alvin Plantinga’s Philosophy. Warrant is the central concept of Alvin Plantinga’s epistemology. As Plantinga suggests it, warrant is that quantity or quality which together with belief and truth constitutes knowledge. This paper intends to present broadly the concept of warrant and to analyze the conditions for warrant in order to see if the conditions proposed by Plantinga are necessary and sufficient for a belief to be considered knowledge.

Several authors have turned to a semantic analysis that renders truth relative to a point of assessment in order to explain speaker intuitions concerning the truth-value of certain kinds of statements. On the surface, it appears as if a truth-relative semantics is able to account for ordinary speaker exchanges that involve the problematic terms. However, what about the truth-predicate itself—how exactly are we to understand its use on a relative semantics? Although John MacFarlane offers an analysis of the truth-predicate as (...) used by ordinary speakers, I aim to show his analysis has several counter-intuitive results. I argue that on relativism different uses of ‘is true’ will have differing extensions, and hence differing conditions for application. As a result, it becomes unclear if speakers can faithfully disquotationally report another speaker’s use of sentences of the form ‘P is true’ or predicate truth of contents that contain the truth predicate themselves. (shrink)

Chris Heathwood requires the sentence 'Caesar was conscious when he crossed the Rubicon' to be made true in much the same way as 'Caesar was wet when he crossed the Rubicon'. Yet because the Growing Block theorist is committed to the zombiedom of the past,the former is not made true by past objects, although the latter is. Heathwood demands a uniform account of the grounding of truths and he will be given a uniform account. But we should exercise care in (...) deciding just what sort of uniformity is appropriate. As Russell so famously pointed out a century ago the subject/predicate form of a sentence can be misleading. Likewise although the two sentences 'Caesar is conscious' and 'Caesar is wet' have similar subject/predicate forms they have, I say, different kinds of truth-conditions and hence their past tense transformations also have different kinds of truth-conditions. The uniformity I endorse is that in both cases the grounds for the past tense transformation are the same as the grounds the present tense versions used to have when they were true. (shrink)

Some of the most interesting recent work in philosophy of language and metaphysics is focused on questions about propositions, the abstract, truth-bearing contents of sentences and beliefs. The aim of this guide is to give instructors and students a road map for some significant work on propositions since the mid-1990s. This work falls roughly into two areas: challenges to the existence of propositions and theories about the nature and structure of propositions. The former includes both a widely discussed puzzle about (...) propositional designators as well as direct and indirect arguments against the existence of propositions. The latter is dominated by what is currently the central debate about the metaphysics of propositions, i.e. whether they are structured, composite entities or unstructured ontological simples. This issue has eclipsed older debates about whether propositions can be identified with sets of possible worlds or other kinds of sentence intensions. Author Recommends 1. Soames, Scott. 'Direct Reference, Propositional Attitudes, and Semantic Content.' Philosophical Topics 15 (1987): 47–87. Reprinted in Propositions and Attitudes . Eds. N. Salmon and S. Soames. Oxford: Oxford University Press, 1988. 197–239. Essential groundwork for more recent work on propositions. Soames gives a careful and exacting presentation of the case against identifying propositions with sets of possible worlds or other truth-supporting circumstances. Also contains a detailed statement of the Russellian conception of propositions on which propositions are ordered sets of objects, properties and relations. 2. King, Jeffrey. 'Designating Propositions.' The Philosophical Review 111 (2002): 341–71. Sometimes substituting a definite description for a corresponding 'that'-clause can lead to bizarre changes in truth-conditions: compare 'Bill fears that Hillary will be president' with 'Bill fears the proposition that Hillary will be president'. This puzzle about propositional designators threatens the relational analysis of propositional attitude reports, the view that 'believes' expresses a relation to the proposition designated by its 'that'-clause, and thereby poses an indirect threat to the existence of propositions. King's solution posits an ambiguity in verbs like 'fear' that embed both 'that'-clauses and definite descriptions. 3. Jubien, Michael. 'Propositions and the Objects of Thought.' Philosophical Studies 104 (2001): 47–62. A direct attack on the existence of propositions. Jubien deploys an analogue of the problem that Paul Benacerraf raised for set-theoretical reductions of numbers against metaphysical reductions of propositions. Just as numbers can be reduced to sets in many different ways, any reduction of propositions brings with it equally good variants, thus making any such reduction arbitrary and unmotivated. The only alternative is to treat propositions as abstract metaphysical primitives. As Jubien argues, however, abstract primitive entities are incapable of doing what propositions must do, i.e. represent objects and states of affairs on their own, without the input of thinking subjects. The upshot is the propositions cannot be reduced and they cannot be primitive, and so they must not exist. 4. Hanks, Peter. 'How Wittgenstein Defeated Russell's Multiple Relation Theory of Judgment.' Synthese 154 (2007): 121–46. Scepticism about propositions has recently led some philosophers, Jubien included, to resuscitate Russell's multiple relation theory of judgment, the idea that judgment is a many-place relation to objects, properties and relations. This paper explains why Russell himself abandoned that theory, and why the theory is still refuted by an objection due to Wittgenstein. 5. Hofweber, Thomas. 'Inexpressible Properties and Propositions.' Oxford Studies in Metaphysics . 2 vols. Ed. D. Zimmerman. Oxford: Oxford University Press, 2006. 155–206. An indirect attack on the existence of propositions. Hofweber argues that sentences like 'Bill believes something that Hillary asserted' do not commit us to the existence of propositions. His view is that propositional quantification is an instance of what he calls 'internal' or 'inferential role' quantification, a kind of quantification that carries no ontological implications. 6. Schiffer, Stephen. The Things We Mean . Oxford: Oxford University Press, 2003. esp. chs 1–2. Schiffer defends his theory of pleonastic propositions, on which propositions are unstructured, have no parts, and are very finely grained. 7. Bealer, George. 'Propositions.' Mind 107 (1998): 1–32. Bealer defends his algebraic theory of propositions, which, like Schiffer's pleonastic account, treats propositions as unstructured metaphysical simples. 8. King, Jeffrey. The Nature of and Structure of Content . Oxford: Oxford University Press, 2007. The best developed current theory of the structure in structured propositions. King identifies propositions with certain kinds of facts in which objects, properties and relations are bound together by amalgams of syntactic and semantic relations. 9. Hanks, Peter. 'Recent Work on Propositions.' Philosophy Compass 4 (2009): 1–18. A survey of work on propositions since the mid-1990s that complements this teaching and learning guide. Contains responses to Jubien's and Hofweber's arguments against propositions and critical discussions of Schiffer's pleonastic propositions and King's theory of propositional structure. Online Resources 1. http://plato.stanford.edu/entries/propositions/ Propositions (Matthew McGrath) 2. http://plato.stanford.edu/entries/propositions-structured/ Structured Propositions (Jeffrey King) 3. http://plato.stanford.edu/entries/propositions-singular/ Singular Propositions (Greg Fitch) Sample Partial Syllabus The following partial syllabus can be used as a unit on recent work on propositions in graduate level courses in philosophy of language or metaphysics. Week 1: A Substitution Puzzle About Propositional Designators King, Jeffrey. 'Designating Propositions'. Moltmann, Friederike. 'Propositional Attitudes Without Propositions.' Synthese 135 (2003): 77–118. Week 2: The Benacerraf Problem and Propositional Representation Benacerraf, Paul. 'What Numbers Could Not Be.' Philosophical Review 74 (1965): 47–73. Jubien, Michael. 'Propositions and the Objects of Thought.' Week 3: Propositional Quantification Hofweber, Thomas. 'Inexpressible Properties and Propositions'. Hofweber, Thomas. 'A Puzzle about Ontology.' Noûs 39 (2005): 256–83. Week 4: Schiffer on Pleonastic Propositions Schiffer, Stephen. 'Language-Created Language-Independent Entities.' Philosophical Topics 24 (1996): 149–67. Schiffer, Stephen. The Things We Mean , chs 1–2. Week 5: King on Structured Propositions King, Jeffrey. 'Structured Propositions and Complex Predicates.' Noûs , 29 (1995): 516–35. King, Jeffrey. The Nature and Structure of Content , chs 1–3. Focus Questions 1. Why does identifying propositions with sentence intensions, e.g. sets of possible worlds, 'require the attitudes to have a particular sort of closure under logical consequence, which they clearly don't have' (Mark Richard)? 2. How does the difference between (a) and (b) pose a threat to the existence of propositions? (a) Bill fears that Hillary will be president. (b) Bill fears the proposition that Hillary will be president. 3. What is the Benacerraf problem for metaphysical reductions of propositions? 4. Why must a proposition represent 'on its own cuff' (Michael Jubien)? Why is this a problem for the view that propositions are primitive abstract entities? 5. What does it mean to say that propositions are structured ? Give two different accounts of what propositional structure might be. (shrink)

The B-theory of time holds that McTaggart’s A-series of past, present, and future is reducible to the B-series of events running from earlier to later. According to the date-theory—originally put forth by J.J.C. Smart and later endorsed by by D.H. Mellor—the truth conditions of tensed or Asentence-tokens can be given in terms of tenseless or B-sentences and, therefore, A-sentence-tokens do not ascribe any A-determinations of pastness, presentness, or futurity. However, as Nathan Oaklander has argued, the date-theory does not provide an (...) adequate analysis of the ontological truth conditions of irreducible A-propositions. I show that the co-reporting theory—which holds that for every A-sentence-token there is a B-sentence that differs in sense but reports the same event or state of affairs—escapes the objections Oaklander has addressed against the date-theory. (shrink)

The systems T N and T M show that necessity can be consistently construed as a predicate of syntactical objects, if the expressive/deductive power of the system is deliberately engineered to reflect the power of the original object language operator. The system T N relies on salient limitations on the expressive power of the language L N through the construction of a quotational hierarchy, while the system T Mrelies on limiting the scope of the modal axioms schemas to the sublanguage (...) L infM +, which corresponds exactly with the restrictive hierarchy of L N. The fact that L infM + is identical to the image of the metalinguistic mapping C + from the normal operator system into L M reveals that iterated operator modality is implicitly hierarchical, and that inconsistency is produced by applying the principles of the modal logic to formulas which have no natural analogues in the operator development. Thus the contradiction discovered by Montague can be diagnosed as the result of instantiating the axiom schemas with modally ungrounded formulas, and thereby adding radically new modal axioms to the predicate system.The predicate treatment of necessity differs significantly from that of the operator in that the cumulative models for the predicate system are strictly first-order. Possible worlds are not used as model-theoretic primitives, but rather alternate models are appealed to in order to specify the extension of N, which is semantically construed as a first-order predicate. In this manner, the intensional aspects of modality are built into the mode of specifying the particular set of objects which the denotation function assigns to N, rather than in the specification of the basic truth conditions for modal formulas. Intensional phenomena are thereby localised to the special requirements for determining the extension of a particular predicate, and this does not constitute a structural modification of the first-order models, but rather limits the relevant class of models to those which possess an appropriate denotation function. (shrink)

My thesis examines the mass/count distinction; that is, to illustrate, the distinction between the role of "hair" in "There is hair in my soup" and "There is a hair in my soup". In "hair" has a mass-occurrence; in a count-occurrence. These two kinds of noun-occurrences, I argue, can be marked off from each other largely on syntactic grounds. Along the semantic dimension, I suggest that, in order to account for the intuitive distinction between nouns in their mass-occurrences and their singular (...) count-occurrences, there must be a difference between the semantic role each of them plays. From among the available options, the most attractive one is to analyze nouns in their mass-occurrences as predicates. But, traditionally, nouns in their singular count-occurrences are also analyzed as predicates. I propose, therefore, that there are two different kinds of predicates: mass-predicates, such as "is-hair", and singular count-predicates, such as "is-a-hair". Neither kind is reducible to the other. ;Mass-predicates and singular count-predicates have something in common: they are both predicates. That is, they are related to their extension in the same way, viz. They are both true of whatever falls in their extension and the relation "is-true-of" at play here is, I conjecture, the same in both cases. The two kinds of predicates are also related to each other in a certain way, namely through a one-way entailment relation going from count to mass: everything that is a hair is also hair, but not conversely. And, finally, there are certain truth-conditional differences between them: the singular count-predicate "is-a-hair" is true only of whole individual hairs; the mass-predicate "is-hair" is true of individual hairs as well as hair-sums and hair-parts. ;These truth-conditional differences turn out to have interesting implications, in particular having to do with the part/whole relation and the act of counting. It is often held that mass-predicates are, as part of their meaning, homogeneous, while singular count-predicates are said to lack this property, as part of their meaning. I suggest, instead, that at least distributivity has to be rejected as a semantic property of mass-predicates, on the grounds that, to pick a representative example, water is not infinitely divisible into parts that are themselves water. The second kind of implication, having to do with the act of counting, is as follows. When we wish to associate, say, the world's hair with cardinal number , we need to speak of it in terms of individual hairs, the things of which the singular count-predicate "is-a-hair" is true. If, on the other hand, we are interested in amounts of hair , we need to speak of the world's hair in terms of those things of which the mass-predicate "is-hair" is true. (shrink)

In the first chapter, we discuss Dummett’s idea that the notion of truth arises from the one of the correctness of an assertion. We argue that, in a first-order language, the need of defining truth in terms of the notion of satisfaction, which is yielded by the presence of quantifiers, is structurally analogous to the need of a notion of truth as distinct from the one of correctness of an assertion. In the light of the analogy between predicates in Frege (...) and open formulas in Tarksi, we concentrate on the semantic status of predicates. We register a dual attitude of Dummett towards Frege’s ascription of reference to predicates. On the one it is needed to endow quantifiers with their appropriate meaning. On the other hand, the introduction of concepts, as semantic correlate of predicates, smuggles a realist flavor in the overall semantic picture. In concluding the excursus (and with it the chapter), we stress Dummett’s will of developing a semantic picture free from this realist trait. In the second chapter, we present the idea of a proof-theoretic semantics. As for Frege true sentences denotes the truth-value True, so here closed' (i.e. categorical) valid argumentations denotes proofs. If a language contains implication-like operators, in order to characterize the condition of validity of a closed argumentation one has to introduce a notion of validity applying to ‘open’ (i.e. hypothetical) argumentations. We argue that this problem is analogous to the one posed by quantifiers in Frege-Tarksi’s style semantics. That is, implication forces one to introduce notion of validity for argumentations, which is more substantial than the correctness of the assertion of their conclusions. As we saw, the corresponding claim in the truth-based approach—that quantifiers require one to introduce a notion of truth, which is more substantial than the one of an assertion being correct—was the source of realism. Hence, Dummett proposes to reduce the semantic contribution of open argumentations to the one of their ‘closed instances’. In the truth-based perspective, this would correspond to the denial of the need of introducing concepts as the semantic correlates of predicates. We argue that Dummett’s fear, that an irreducible notion of function (represented by the need of ascribing validity to open argumentations) would lead to realism, turns out to be ill-founded. In the third chapter, we discuss the role played by the notion of truth in the anti-realist account. The notion of truth is what the anti-realist needs to cope with the so-called paradox of deduction. The analysis of the paradox yields to distinguishing between the truth of a sentence and the truth of a sentence being recognized. In terms of these conceptual couple, we reconsider the relationship between truth and assertion in an anti-realist perspective. Grounds are provided for a thesis (which was already advanced in chapter two), according to which the notion of the assertion of a sentence being correct is primarily connected only with the canonical means of establishing a sentence. The possibility of establishing a sentence by indirect means is conceptually dependent on the practice of establishing logical relationship of dependence among sentences. That is, the notion of a closed valid non-canonical argumentation is of any theoretical relevance only in presence of a notion of validity applying to open argumentations. In the fourth chapter, we discuss the possibility of characterizing in the proof-theoretic-semantics a notion of refutation. We develop an original characterization of refutations starting from an informal inductive specification of the condition of refutations of logically complex sentences. A sub-structural logic, called dual-intuitionistic logic, stands to this notion in the same relationship in which intuitionistic logic stands to the notion of proof so far consdered. All notions developed in chapter 2 have their corresponding (dual) ones in the framework developed. In particular, the distinctions canonical/non-canonical and closed/open argumentations. In the refutation based perspective, elimination rules have priority over introductions and the (only) assumption over the (many) conclusions. In the conclusions, we indicate the ingredients that an anti-realist approach to meaning should incorporate, in order to avoid the difficulties we registered. The core of an alternative view is a different conception of the relationship between categorical and hypothetical notions, in which the validity of open argumentations is not reduced to that of their instances, but rather it is directly defined. As a limit case, one would get a notion of validity applying to closed argumentations. (shrink)

Defeasibility theories aim to reach a plausible definition of knowledge by finding strategies to exclude true beliefs based on faulty justifications. Different philosophers have advanced with their own understandings of undefeated justification. Zagzebski indicates that the strong defeasibility condition violates independence between truth and justification because undefeated justification never leads to false beliefs. Following this, Zagzebski and some other philosophers who pursue a similar line of reasoning conclude that undefeated justification entails truth. In this paper, I argue that the truth (...) condition is not superfluous by presenting an example of undefeated justification that does not entail truth. My claim is that beliefs about metaphysical questions can have undefeated justifications. Nonetheless, such undefeated justifications are not capable of assigning truth to the beliefs that they support. Sarsılabilirlik kuramları makul bir bilgi tanımına ulaşabilmek için hatalı gerekçelendirmelere dayalı doğru inançları eleme stratejisini güder. Farklı felsefeciler kendilerine özgü sarsılabilirlik anlayışları geliştirmiştir. Sarsılmaz gerekçelendirmeler hiçbir zaman yanlış inançların dayanağı olmadığından Zagzebski katı sarsılabilirlik şartının inancın doğruluğu ile gerekçelendirilmesi arasındaki bağımsızlığı ortadan kaldırdığını ifade eder. Bunu takiben, Zagzebski ve yine benzer görüşleri savunan bazı felsefeciler sarsılmaz gerekçelendirmenin zorunlu olarak doğruluğu beraberinde getirdiği sonucuna varır. Bu makalede, sarsılmaz gerekçelendirmelerin her zaman doğru inanca ulaşmaması durumuna örnek göstererek, doğruluk koşulunun lüzumsuz olmadığını iddia ediyorum. İddiama göre metafizik sorulara ilişkin inançlar sarsılmaz gerekçelendirmelere sahip olabilirler. Buna rağmen söz konusu gerekçelendirmeler destekledikleri inançlara doğruluk atfedemez. (shrink)

A correspondence theory of truth involves at least three constituents; the truth bearer, propositions, which stand in a relation of correspondence to the third element, the truth maker, some objects or fact with which the truth maker must correspond. Correspondence theories differ about the nature of truth makers, over whether one needs to include properties, and in particular over whether facts must be assumed in addition in order to give a correct account not merely of the conditions under which propositions (...) are true, but also what makes them true. Simple modal propositions state that objects necessarily or possibly have certain properties. What makes such propositions true? In this paper I want to consider various candidates for an account of the truth makers of modal propositions. After rejecting several alternatives that rely only on objects and properties, i.e., truth conditions, I will present several refinements of a fact based theory culminating in the view that truth makers for modal propositions are actual or non-actual facts which have facts and possible worlds as constituents. (shrink)

In this paper, I sketch a revision of jonathan bennett's "meaning-Nominalist strategy" for explaining the conventional meanings of utterance-Types. Bennett's strategy does not explain sentence-Meaning by appeal to sub-Sentential meanings, And hence cannot hope to yield a theory that assigns a meaning to every sentence. I revise the strategy to make it applicable to predication and identification. The meaning-Convention for a term can then be used to fix its satisfaction conditions. Adapting a familiar trick of tarski's, We can then determine (...) an infinity of conventional meanings from a finite number of meaning-Conventions. (shrink)

Geach's account of the Aristotelian logic of categorical sentences supplemented the views shared by Frege, Russell, Quine and others. I argue that this particular predicate logic approach and Geach's points apply to only one variety of natural language categorical sentences. For example, it takes the universal categorical as a universal conditional “If anything is a man, then it is mortal”. A different natural language form can and should be invoked: “Every man is a mortal.” Employing special restricted quantifiers in a (...) version of predicate logic, we justify a full square of opposition and the rules of quality and quantity that Geach rejected. (shrink)

In quantity discrimination tasks, adults, infants and animals have been sometimes observed to process number only after all continuous variables, such as area or density, have been controlled for. This has been taken as evidence that processing number may be more cognitively demanding than processing continuous variables. We tested this hypothesis by training mosquitofish to discriminate two items from three in three different conditions. In one condition, continuous variables were controlled while numerical information was available; in another, the number (...) was kept constant and information relating to continuous variables was available; in the third condition, stimuli differed for both number and continuous quantities. Fish learned to discriminate more quickly when both number and continuous information were available compared to when they could use continuous information only or number only; there was no difference in the learning rate between the two latter conditions. Our results do not support the hypothesis that processing numbers imposes a higher cognitive load than processing continuous variables. Rather, they suggest that availability of multiple information sources may facilitate discrimination learning. (shrink)

This paper presents a novel treatment of quantified concealed questions , examining different types of NP predicates and deriving the truth conditions for pair-list and set readings. A generalization is proposed regarding the distribution of the two readings, namely that pair-list readings arise from CQs with relational head nouns, whereas set readings arise from CQs whose head nouns are not relational. It is shown that set readings cannot be derived under the ‘individual concept’ approach, one of the most influential analyses (...) of CQs on the market. The paper offers a solution to this problem. It shows that once we adopt an independently motivated view of traces—according to which traces are copies with descriptive content —nothing else needs to be postulated to derive set readings within an individual-concept-based analysis. Thus, what seemed to be a challenge for this type of analysis turns out to be an argument in its favor. (shrink)

In a previous paper I described a range of nonmonotonic conditionals that behave like conditional probability functions at various levels of probabilistic support. These conditionals were defined as semantic relations on an object language for sentential logic. In this paper I extend the most prominent family of these conditionals to a language for predicate logic. My approach to quantifiers is closely related to Hartry Field's probabilistic semantics. Along the way I will show how Field's semantics differs from a substitutional interpretation (...) of quantifiers in crucial ways, and show that Field's approach is closely related to the usual objectual semantics. One of Field's quantifier rules, however, must be significantly modified to be adapted to nonmonotonic conditional semantics. And this modification suggests, in turn, an alternative quantifier rule for probabilistic semantics. (shrink)

In this paper, we propose and justify the cross‐linguistic study of the concept of truth through empirical studies of truth predicates, with results of such studies. We first conceptually explore the possibility of cross‐linguistic disagreement about truth purely due to linguistic norms governing truth predicates, which may imply a kind of pluralism about the concept of truth. We then consider the conditions under which we would be justified in inferring this sort of pluralism from the fact of such cross‐linguistic disagreement. (...) Next, we report results of three studies on the use of English “is true” and Japanese two truth predicates, as well as “is correct” and its Japanese counterpart. We then report another set of studies using a different vignette, where the radical cross‐linguistic difference observed in earlier studies disappeared. These data together suggest that the moral‐political factor in the truth‐bearer (utterance) strongly affects the uses of Japanese truth predicates but not those of English. Finally, we will discuss the implications of the studies and results reported here, and the empirical possibility of what we call lexical alethic pluralism, for debates over relativism, theories of meaning, and the deflationary and inflationary theories of truth. (shrink)

In this paper we consider conditional random quantities (c.r.q.’s) in the setting of coherence. Based on betting scheme, a c.r.q. X|H is not looked at as a restriction but, in a more extended way, as \({XH + \mathbb{P}(X|H)H^c}\) ; in particular (the indicator of) a conditional event E|H is looked at as EH + P(E|H)H c . This extended notion of c.r.q. allows algebraic developments among c.r.q.’s even if the conditioning events are different; then, for instance, we can give a (...) meaning to the sum X|H + Y|K and we can define the iterated c.r.q. (X|H)|K. We analyze the conjunction of two conditional events, introduced by the authors in a recent work, in the setting of coherence. We show that the conjoined conditional is a conditional random quantity, which may be a conditional event when there are logical dependencies. Moreover, we introduce the negation of the conjunction and by applying De Morgan’s Law we obtain the disjoined conditional. Finally, we give the lower and upper bounds for the conjunction and disjunction of two conditional events, by showing that the usual probabilistic properties continue to hold. (shrink)

In a very short time, it is likely that we will identify many of the genetic variants underlying individual differences in intelligence. We should be prepared for the possibility that these variants are not distributed identically among all geographic populations, and that this explains some of the phenotypic differences in measured intelligence among groups. However, some philosophers and scientists believe that we should refrain from conducting research that might demonstrate the (partly) genetic origin of group differences in IQ. Many scholars (...) view academic interest in this topic as inherently morally suspect or even racist. The majority of philosophers and social scientists take it for granted that all population differences in intelligence are due to environmental factors. The present paper argues that the widespread practice of ignoring or rejecting research on intelligence differences can have unintended negative consequences. Social policies predicated on environmentalist theories of group differences may fail to achieve their aims. Large swaths of academic work in both the humanities and social sciences assume the truth of environmentalism and are vulnerable to being undermined. We have failed to work through the moral implications of group differences to prepare for the possibility that they will be shown to exist. (shrink)

In this article, we take into consideration two semantics of the future tense: linearism, according to which future-tense sentences are interpreted on a single history, and universalism, according to which they are evaluated by universally quantifying on the plurality of future histories that radiate from the present instant. Specifically, we focus on a objection advanced against universalism: if universalism were correct semantics of _will_, negated future-tense sentences of natural language should have two readings, depending on the scope of negation with (...) respect to the universal quantifier on histories. However, since natural language does not show this difference, one may conclude that there is no universal quantifier in the interpretation of these sentences. We show that this conclusion is premature. First, _will_ has clear scope interactions with indefinite nouns phrases, contrary to what linearism predicts. Second, it is possible to extend the treatment of vague predicates as partial predicates to _will_: Since partial predicates have no scope interactions with negation, this can account for the scopelessness of _will_. The partiality of truth conditions is not restricted to _will_ but also pertains to counterfactuals and generics and probably is part of a general tendency to maximize contraries. (shrink)

Most writers working on simultaneous use and mention assume a distinction between mixed quotation and scare quoting. The consensus is that MQ affects truth-conditions. Hence, many writers regard MQ as a semantic phenomenon. There is no such consensus about ScQ. On the face of it, there is a clear difference between: Alice said that life “is difficult to understand”. Several ‘groupies' followed the band on their tour. The words quoted in are attributed to Alice, and would seem false if Alice (...) had not uttered them. No such intuition is available for. This induces Cappelen & Lepore, leading writers in the field, to regard as a blend of Direct and Indirect Discourse and to propose the following semantic analysis : there is an utterance u such that Alice said u and u samesays “Life is difficult to understand” and u sametokens “is difficult to understand”. As for, they regard the impact of the quotation in it as being entirely pragmatic. I show, however, that there is no principled distinction between MQ and ScQ. The main points are: speech attribution to Alice in is defeasible; there are cases of simultaneous use and mention without “say” which are semantically relevant ; there is apparent MQ with reporting verbs that pose a problem because they cannot govern Direct Speech reports. Hence, it is illegitimate to appeal to the sametokening predicate in logical form. These examples that ‘refuse' to fall neatly under MQ or ScQ seal the fate of Cappelen & Lepore's account. To conclude, I discuss Benbaji's fully semantic theory. Benbaji adopts Cappelen & Lepore's views on MQ. But he also proposes a semantic account of ScQ. One option for him is to give up the Cappelen & Lepore story and extend his views on ScQ to all instances of simultaneous use and mention. I show, however, that this too fails. Therefore, in the end, only a pragmatic account of simultaneous use and mention remains as a viable option. (shrink)

In this paper I outline an argument for the existence of God. This argument suggests that, if an all-good supernatural agent were to exist, such as the God of Theism, then He could not perform an immoral act. From this premise alone a formal proof for the existence of God can be derived. Perhaps unsurprisingly, when this argument is examined closely it is revealed to be fallacious. However, what we find is that the fallacy involves a special type of equivocation; (...) one that illustrates the difference between non-truth-functional subjunctive conditionals and truth-functional material conditionals. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:CAUSALITY AND GENERALITY IN THE TREATISE AND THE TRACTATUS In the Tractatus Wittgenstein cryptically rejects the existence of a causal connection (or relation or nexus) : 5.135There is no possible way of making an inference from the existence of one situation to the existence of another, entirely different situation. 5.136There is no causal nexus to justify such an inference. 5.1361 We cannot infer the events of the future from (...) those of the present. Belief stition. Belief in the causal nexus is super1 And he later proceeds to add: 6.37 There is no compulsion making one thing happen because another has happened. The only necessity that exists is logical necessity. What he is claiming can be understood in terms of the "Logical Atomism* of the Tractatus. Atomic sentences, composed of a monadic predicate or a relational predicate and a suitable number of subject terms, represent situations or possible facts. The existence of a represented situation is the ground of truth for (or condition for the truth of or explanation of the truth of) the representing atomic sentence. We can consider 2 such atomic situations or atomic facts to be composed of a monadic property or relational property and an appropriate number of particulars. (This is a matter of some debate among interpreters of the Tractatus, but that issue does not really affect the question at issue in this paper. So, I will simply treat the view in the Tractatus along the lines of Russell's more explicit version of logical atomism in his lectures of 1918.) The world, according to Wittgenstein, is made up of such facts. This is the point of: 1.11The world is the totality of facts, not of things. 1.12The facts in logical space are the world. 1.13The world divides into facts. Consider, then, the claim that a's being F is the cause of its being G. This suggests that we construe causality in terms of a relation between the situations represented by 'Fa' and 'Ga'. With 1C representing a relation or nexus of causality, we could express that situation by: (1)C(Fa, Ga). The existence of the situation represented by (1) would then ground or explain the truth of (1). But that would mean that we recognize a relation of causality and causal relations between facts or situations. I cannot here argue, but will simply assert, that Wittgenstein's logical atomism in the Tractatus is incompatible with the recognition of relations between facts. However, one point that will be relevant to the concerns of this paper is easy to see. Logical atomism involves the claim — 1.21 Each item can be the case or not the case while everything else remains the same. This is not compatible with the recognition of the relation C and a fact grounding the truth of (1), for then Fo and Ga would not be items that were "independent" in the sense of 1.21. Hence, one who holds Wittgenstein's views about the independence of atomic facts cannot recognize causal relations between such facts. Thus, no fact is represented by (1) and C cannot relate atomic facts. The same results would hold if one suggested, in place of (1), that there was a fact corresponding to (2)(X)(Fx * Gx), where we read the arrow as the "causal" arrow — anything's being F causes it to be G. For, if there were a fact corresponding to (2), it would guarantee the link between the purported atomic facts Fa and Ga, since (3)Fa + Ga would be a logical consequence of (2), and we are back to a case like (1), with the arrow replacing 'C. (2) would also be problematic in that it would be some sort of "general" fact, which Wittgenstein also rejects. Thus, as Wittgenstein sees it there is no basis in the world for the explanation of causal statements. If the sentence (4)' (x) (Fx O Gx) ' is a statement of causal law is true, it is so simply because the list of atomic facts will contain the atomic sentence 'Ga' if it contains 'Fa'. That is, (4) is true, not because of any special fact corresponding to (5)(X... (shrink)

Subjective predicates have two interpretive and distributional characteristics that have resisted a comprehensive analysis. First, the use of a subjective predicate to describe an object is in general felicitous only when the speaker has a particular kind of familiarity with relevant features of the object; characterizing an object as _tasty,_ for example, implies that the speaker has experience of its taste. Second, subjective predicates differ from objective predicates in their distribution under certain types of propositional attitude verbs. The goal of (...) this paper is to argue that these features can be explained in a uniform way and within a broadly truth-conditional approach to semantic content, given a view of subjective language as an essentially pragmatic, context-sensitive phenomenon. Specifically, we propose that what renders an issue subjective in discourse is speakers’ awareness of _counterstance contingency_: contingency relative to information states that represent alternative pragmatic stances. (shrink)

Many arguments are affected by context sensitivity, because they include sentences that have different truth conditions in different contexts. Therefore, it is natural to think that a general criterion for evaluating arguments must take context sensitivity into account. One way to give substance to that thought is provided by the definition of validity offered by David Kaplan within his theory of indexicals. However, the route indicated by Kaplan is hindered by a problem whose importance is often underestimated. This paper explores (...) a different route, and outlines a definition of validity that does not run into that problem. Its moral is that Kaplan's definition is not the only plausible definition. This is not to say that the definition outlined is the only plausible definition or that it is correct in some absolute sense. There might be equally important problems with it that the paper does not take into account. But until such problems are found and brought up, the departure from Kaplan's route remains a viable option. (shrink)

This study is concerned with the properties of the disjunction operator, or, and the acquisition of these properties by English-speaking children. Previous research has concluded that adult truth conditions for logical connectives are acquired relatively late in the course of language development. With particular reference to disjunction, the results of several studies have led to two claims. First, it has been argued that the full range of truth-conditions associated with inclusive-or is not initially available to children; instead, children are supposed (...) to interpret disjunction using the truth conditions that are associated with exclusive-or (e.g., Beilin and Lust 1975; Braine and Rumain 1981, 1983; Paris 1973). A second, related claim is that even when children respond as if they have access to the complete range of truth conditions, their responses result from the failure to distinguish or from and (Paris, 1973). Different conclusions were reached in recent work by Chierchia, Crain, Guasti and Thornton (1998). The experiments conducted by Chierchia et al. (1998) draw upon a distinction between linguistic contexts. In one type of context, the inclusive-or reading of disjunction is available. By contrast, in another type of context, the exclusive-or reading of disjunction is highly preferred; the truth conditions that are uniquely associated with the inclusive-or reading are eliminated in such contexts due to conversational implicatures. One context that cancels conversational implicatures is called the Prediction Mode by Chierchia et al. (1998). Notice that a prediction like (1) is consistent with different scenarios. (shrink)

Contemporary trends in low fertility can in part be explained by increasing incentives to invest in offspring’s embodied capital over offspring quantity in environments where education is a salient source of social mobility. However, studies on this subject have often neglected to empirically examine heterogeneity, missing out on the opportunity to investigate how this relationship is impacted when individuals are excluded from meaningful participation in economic spheres. Using General Social Survey data from the United States, I examine changes in (...) the relationship between number of siblings and college attendance for White and Black respondents throughout the 1900s. Results show that in the early 1900s, White individuals from larger families had a lower chance of completing four years of college education than those from smaller families, whereas the likelihood for Black individuals was more uniform across family sizes. These racial differences mostly converged in the later part of the century. These results may help explain variations in the timing of demographic transitions within different racial groups in the United States and suggest that the benefits of decreasing family size on educational outcomes may be conditional on the specific economic opportunities afforded to a family. (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)

Realists regarding scientific knowledge – those who think that our best scientific representations truly describe both observable and unobservable aspects of the natural world – have special need of a notion of approximate truth. Since theories and models are rarely considered true simpliciter, the realist requires some means of making sense of the claim that they may be false and yet close to the truth, and increasingly so over time. In this paper, I suggest that traditional approaches to approximate truth (...) are insensitive to two crucial features of scientific knowledge, and that for each of these, analogies between representational practices in the sciences and in art prove useful to understanding how this situation can be remedied. First, I outline two distinct ways in which representations deviate from the truth, commonly referred to as ‘abstraction’ and ‘idealization’. Second, I argue that these practices exemplify different conventions of representation, and that for each, the conditions of approximation relevant to explicating the concept of approximate truth must be understood differently. The concept is thus heterogeneous; approximate truth is a virtue that is multiply realized, relative to different contexts of representation. This understanding is facilitated, I suggest, by considering the distinction between realistic and non-realistic representation in art. (shrink)

This paper is an informal presentation of the ideas presented formally in ”Relative-Sameness Counterpart Theory”. Relative-sameness relations -- such as being the same person as -- are like David Lewis’s “counterpart” relations in the following respects: (i) they may hold over time or across worlds between objects that aren’t cross-time or cross-world identical (I propose), and (ii) there are a multiplicity of them, different ones of which may be variously invoked in different contexts. They differ from his counterpart relations, however, (...) in that they are weak equivalence relations (transitive, symmetric and weakly reflexive). The likenesses to counterpart relations make them suitable for an analysis of de-re temporal and modal predications. The difference renders the resulting counterpart theory immune to standard criticisms of Lewis’s Counterpart Theory (e.g., in Hazen 1979, and Fara and Williamson 2005). The use of sameness as opposed to similarity relations in the analysis of de-re temporal and modal predication renders the resulting truth conditions as statable in terms that proponents of Kripke’s identity-based analysis can accept. (shrink)