This paper gives an outline of truthmaker semantics for natural language against the background of standard possible-worlds semantics. It develops a truthmaker semantics for attitude reports and deontic modals based on an ontology of attitudinal and modal objects and on a semantic function of clauses as predicates of such objects. It also présents new motivations for 'object-based truthmaker semantics' from intensional transitive verbs such as ‘need’, ‘look for’, ‘own’, and ‘buy’ and gives an outline of their semantics. This (...) paper is a commissioned 'target' article, with commentaries by W. Davis, B. Arsenijevic, K. Moulton, K. Liefke, M. Kaufmann, R. Matthews, P. Portner and A. Rubinstein, P. Elliott, G. Ramchand and my reply. (shrink)

This paper outlines a semantic account of attitude reports and deontic modals based on cognitive and illocutionary products, mental states, and modal products, as opposed to the notion of an abstract proposition or a cognitive act.

This paper shows that direct-object perceptual verbs, such as "hear", "smell", "taste", "feel", and "see", share a collection of distinctive semantic behaviors with depictive verbs, among which are "draw'', "paint", "sketch", and "sculpt". What explains these behaviors in the case of depictives is that they are causative verbs, and have lexical decompositions that involve the creation of concrete artistic artifacts, such as pictures, paintings, and sculptures. For instance, "draw a dog" means "draw a picture of a dog", (...) where the latter occurrence of "draw" denotes a creative activity. While perceptual verbs are not obviously causatives, they have analogous decompositions involving noun phrases that denote modality-specific sense-objects, such as a sounds, smells, flavors, touches, and sights. Thus, "hear a trumpet" means "hear the sound of a trumpet", and the same holds, mutatis mutandis, for verbs denoting the other sensory modes. If we take this analogy at face value, our perceptual reports will commit us to a form of the sense-datum theory of perception. While the analogy can be resisted, resistance requires taking on unexpected commitments. (shrink)

Quantification over individuals, times, and worlds can in principle be made explicit in the syntax of the object language, or left to the semantics and spelled out in the meta-language. The traditional view is that quantification over individuals is syntactically explicit, whereas quantification over times and worlds is not. But a growing body of literature proposes a uniform treatment. This paper examines the scopal interaction of aspectual raising verbs (begin), modals (can), and intensional raising verbs (threaten) with quantificational (...) subjects in Shupamem, Dutch, and English. It appears that aspectual raising verbs and at least modals may undergo the same kind of overt or covert scope-changing operations as nominal quantifiers; the case of intensional raising verbs is less clear. Scope interaction is thus shown to be a new potential diagnostic of object-linguistic quantification, and the similarity in the scope behavior of nominal and verbal quantifiers supports the grammatical plausibility of ontological symmetry, explored in Schlenker (2006). (shrink)

In English, discourse reference to time involves grammatical tenses interpreted as temporal anaphors. Recently, it has been argued that conditionals involve modal discourse anaphora expressed by a parallel grammatical system of anaphoric modals. Based on evidence from Kalaallisut, this paper argues that temporal and modal anaphora can be just as precise in a language that does not have either grammatical category. Instead, temporal anaphora directly targets eventualities of verbs, without mediating tenses, while modal anaphora involves anaphoric (...) moods and/or attitudinal verbs. (shrink)

The chapter considers two semantic issues concerning will-sentences: Stalnaker’s Asymmetry and modal subordination in Karttunen-type discourses. The former points to a distinction between will and modal verbs, seeming to show that will does not license non-specific indefinites. The latter, conversely, suggests that will-sentences involve some kind of modality. To account for the data, the chapter proposes that will is semantically a tense, hence it doesn’t contribute a quantifier over modal alternatives; a modal feature, however, is (...) introduced in the interpretation of a will-sentence through a supervaluational strategy universally quantifying over possible futures. That this is not part of will’s lexical semantics is shown to have consequences that ultimately contribute to explain Stalnaker’s Asymmetry. Furthermore, that a modal quantification is present in the interpretation of a will-sentence is shown to imply the availability of modal subordination in Karttunen-type discourses. (shrink)

The standard account of modal expressions in natural language analyzes them as quantifiers over a set of possible worlds determined by the evaluation world and an accessibility relation. A number of authors have recently argued for an alternative account according to which modals are analyzed as quantifying over a domain of possible worlds that is specified directly in the points of evaluation. But the new approach only handles the data motivating it if it is supplemented with a non-standard account (...) of attitude verbs and conditionals. It can be shown the the relational account handles the same data equally well if it too is supplemented with a non-standard account of such expressions. (shrink)

This paper develops an account of mood selection with attitude predicates in French. I start by examining the “contextual commitment” account of mood developed by Portner and Rubinstein Proceedings of SALT 22, CLC Publications, Ithaca, NY, pp 461–487, 2012). A key innovation of Portner and Rubinstein’s account is to treat mood selection as fundamentally depending on a relation between individuals’ attitudes and the predicate’s modal backgrounds. I raise challenges for P&R’s qualitative analysis of contextual commitment and explanations of mood (...) selection. There are indicative-selecting predicates that are felicitous in contexts where there isn’t contextual commitment ; and there are subjunctive-selecting predicates that involve no less contextual commitment than certain indicative-selecting verbs. I develop an alternative account of verbal mood. The general approach, which I call a state-of-mind approach, is to analyze mood in terms of whether the formal relation between the predicate’s modal backgrounds and an overall state of mind represents a relation of commitment. Indicative mood in French presupposes that the informational-evaluative state determined by the predicate’s modal backgrounds is included in the informational-evaluative state characterizing the event described by the predicate. The account provides an improved explanation of core mood-selection puzzles, including subjunctive-selection with emotive factives, indicative-selection with fiction verbs, indicative-selection with espérer ‘hope’ versus subjunctive-selection with vouloir ‘want’, and indicative-selection with commissives versus subjunctive-selection with directives. Subjunctive-selection with modal adjectives is briefly considered. The mood-selection properties of the predicates are derived from the proposed analysis of mood, independently attested features of the predicates’ semantics, and general principles of interpretation. (shrink)

The purpose of this study is to propose new similarity measures namely rough variational coefficient similarity measure under the rough neutrosophic environment. The weighted rough variational coefficient similarity measure has been also defined. The weighted rough variational coefficient similarity measures between the rough ideal alternative and each alternative are xxxxx calculated to find the best alternative. The ranking order of all the alternatives can be determined by using the numerical values of similarity measures. Finally, an illustrative example has been provided (...) to show the effectiveness and validity of the proposed approach. Comparisons of decision results of existing rough similarity measures have been provided. (shrink)

This paper is devoted to present Technique for Order Preference by Similarity to Ideal Solution (TOPSIS) method for multi-attribute group decision making under rough neutrosophic environment. The concept of rough neutrosophic set is a powerful mathematical tool to deal with uncertainty, indeterminacy and inconsistency. In this paper, a new approach for multi-attribute group decision making problems is proposed by extending the TOPSIS method under rough neutrosophic environment. Rough neutrosophic set is characterized by the upper and lower approximation operators and the (...) pair of neutrosophic sets that are characterized by truth-membership degree, indeterminacy membership degree, and falsity membership degree. In the decision situation, ratings of alternatives with respect to each attribute are characterized by rough neutrosophic sets that reflect the decision makers’ opinion. Rough neutrosophic weighted averaging operator has been used to aggregate the individual decision maker’s opinion into group opinion for rating the importance of attributes and alternatives. Finally, a numerical example has been provided to demonstrate the applicability and effectiveness of the proposed approach. (shrink)

Bare plural generic sentences pervade ordinary talk. And yet it is extremely controversial what semantics to assign to such sentences. In this paper, I achieve two tasks. First, I develop a novel classification of the various standard uses to which bare plurals may be put. This “variety data” is important—it gives rise to much of the difficulty in systematically theorizing about bare plurals. Second, I develop a novel account of bare plurals, the radical account. On this account, all bare plurals (...) fail to express propositions. The content of a bare plural has to be pragmatically “completed” by a speaker in order for her to make an assertion. At least the content of a quantifier expression has to be supplied. But sometimes, the content of a sentential operator or modal verb is also supplied. The radical account straightforwardly explains the variety data: Speakers’ communicative intentions vary wildly across different contexts. (shrink)

This paper presents a puzzle involving embedded attitude reports. We resolve the puzzle by arguing that attitude verbs take restricted readings: in some environments the denotation of attitude verbs can be restricted by a given proposition. For example, when these verbs are embedded in the consequent of a conditional, they can be restricted by the proposition expressed by the conditional’s antecedent. We formulate and motivate two conditions on the availability of verb restrictions: a constraint that ties the (...) content of restrictions to the “dynamic effects” of sentential connectives and a constraint that limits the availability of restriction effects to present tense verbs with first-person subjects. However, we also present some cases that make trouble for these conditions, and outline some possible ways of modifying the view to account for the recalcitrant data. We conclude with a brief discussion of some of the connections between our semantics for attitude verbs and issues concerning epistemic modals and theories of knowledge. (shrink)

// tl;dr A Proposition is a Way of Thinking // -/- This chapter is about type-theoretic approaches to propositional content. Type-theoretic approaches to propositional content originate with Hintikka, Stalnaker, and Lewis, and involve treating attitude environments (e.g. "Nate thinks") as universal quantifiers over domains of "doxastic possibilities" -- ways things could be, given what the subject thinks. -/- This chapter introduces and motivates a line of a type-theoretic theorizing about content that is an outgrowth of the recent literature on epistemic (...) modality, according to which contentful thought is broadly "informational" in its nature and import. The general idea here is that an object of thought is not a way *the world* could be, but rather a way *one's perspective* could be (with respect to a relevant representational question). I will spend the middle part of this chapter motivating and developing a version of this strategy that is, I’ll argue, well-suited to explaining clear phenomena concerning the attribution of perspectival attitudes -- in particular, attitudes towards loosely information-sensitive propositions -- with which extant approaches struggle. My overarching goal here will be to motivate a distinctive version of the "informational" approach -- the "Flexible Types" approach, which is based on the theory proposed in Charlow (2020). According to the Flexible Types approach, propositional attitude verbs are quantifiers over sets of possibilities, but a possibility is a type-flexible notion -- sometimes a possible world, sometimes a perspective, sometimes a set of possible worlds, sometimes a set of perspectives. -/- After introducing the Flexible Types approach, this chapter circles back to more traditional concerns for the analysis of propositions as types of possibilities -- Frege's Puzzle and the problem of Logical Omniscience. Here too the Flexible Types approach bears fruit. Although there are certainly significant differences -- I note some in the concluding section -- the gist of this theory is Hinitkkan or Lewisian in spirit (if not quite in letter). We can make progress on addressing the challenges for the analysis of propositional content in terms of types of possibilities, through empirically driven refinement of our notion of what kind of thing a "doxastic possibility" is. (shrink)

Many philosophers have suggested that claims of need play a special normative role in ethical thought and talk. But what do such claims mean? What does this special role amount to? Progress on these questions can be made by attending to a puzzle concerning some linguistic differences between two types of 'need' sentence: one where 'need' occurs as a verb, and where it occurs as a noun. I argue that the resources developed to solve the puzzle advance our understanding of (...) the metaphysics of need, the meaning of 'need' sentences, and the function of claims of need in ethical discourse. (shrink)

The similarities between the philosophical debates surrounding assessment sensitivity and moral luck run so deep that one can easily adapt almost any argument from one debate, change some terms, adapt the examples, and end up with an argument relevant to the other. This article takes Brian Rosebury's strategy for resisting moral luck in “Moral Responsibility and ‘Moral Luck' ” (1995) and turns it into a strategy for resisting assessment sensitivity. The article shows that one of Bernard Williams's examples motivating moral (...) luck is very similar to one of the examples John MacFarlane uses to motivate the assessment sensitivity of epistemic modals, and in particular the assessment sensitivity of the auxiliary verb “might.” This means that, if Rosebury is right and we do not actually need moral luck to explain Williams's example, we may not need assessment sensitivity to account for the semantic behaviour of the epistemic modal verb “might” either. (shrink)

In this paper, I will focus on the phenomenological notion of sense which Husserl calls in Ideen I noematic sense. My reading of Ideen I is based on the interpretation of noema as “object as it is intended”. This notion is developed from “filling sense” in LU. Similar to the Russellian “knowledge by acquaintance”, Husserl means by this notion the direct intuitive acquaintance with an intentional object. However, unlike Russell, Husserl doesn’t restrict this notion to sense data, but extend it (...) to the acquaintance with the perspective way of appearance of an intentional object (Erscheinungsweise, Abschattungen). This is because, unlike Frege, Husserl includes not only intension (Materie), but also illocutionary force (Aktqualität) into his notion of sense (LU, 6. Untersuchung, p. 617). This performative notion of sense requires him to take account of the acquaintance with the background of speech acts as a constitutive part of the broadest notion of sense (Ideen I, p. 233f., 322). If a conjecture e.g. about the back side of a cube: “the back side must be a square”, changes through a perception into a claim about it: “this side is indeed a square”, the change of the illocutionary forces, that is, the “filling sense” of the perception is expressed not by intentional materials (side, square etc.), but by indexicals, modal verbs or tenses, which are understood in a direct acquaintance with the perspective appearance of the cube. Thus, “the changing noematic way of appearance of the whole object as sense” (Husserliana vol. XI, p. 333) is the background or horizon, in implicit acquaintance with which illocutionary forces (Aktqualität in LU, noetischer Charakter in Ideen I) of propositional attitudes towards perceptual objects can be understood. (shrink)

The standard view of clauses embedded under attitude verbs or modal predicates is that they act as terms standing for propositions, a view that faces a range of philosophical and linguistic difficulties. Recently an alternative has been explored according to which embedded clauses act semantically as predicates of content-bearing objects. This paper argues that this approach faces serious problems when it is based on possible worlds-semantics. It outlines a development of the approach in terms of truthmaker theory instead.

A guide for translators, about the translation theory, the translation process, interpreting, subtitling, internationalization and localization and computer-assisted translation. A special section is dedicated to the translator's education and associations. The guide include, as annexes, several independent adaptations of the corresponding European Commission works, freely available via the EU Bookshop as PDF and via SetThings as EPUB, MOBI (Kindle) and PDF. For a “smart”, sensible translation , you should forget not the knowledge acquired at school or university, but the corrective (...) standards. Some people want a translation with the touch of the source version, while another people feel that in a successful version we should not be able to guess the original language. We have to realize that both people have right and wrong, and that their only fault is to present requirement as an absolute truth. Teachers agree at least on this principle: “If a sentence is ambiguous, the translation must also be“. There is another critical, less easy to argue, based on an Italian phrase with particularly strong wording: “Traduttore, traditore“. This critique argues that any translation will betray the author‘s language, spirit, style … because of the choices on all sides. What to sacrifice, clarity or brevity, if the formula in the text is brief and effective, but impossible to translate into so few words with the exact meaning? One could understand this criticism that it encourages us to read “in the text.” It seems obvious that it is impossible to follow this advice into practice. CONTENTS: Translation - Assessment of the amount of translated texts - Translation and interpretation - - Translation documents - Translation theories - - Practical / communicative approach - - Approaches of literary theories - - Sociolinguistic mainstream - - Approaches based on linguistic theories - - Approaches based on philosophical and hermeneutic concepts - - Semiotic approaches - The translation process - Types of translations - - Technical translation - Schools of thought - Difficulties associated with specialized domains - The problem of double translation - Thoughts about translation - European standard for translation services - Beautiful infidels - Self-translation - - Types of self-translation - - Factors that promote self-translation - - Self-translation and not authorial translation - Technical translation - - Terminology - - Translation process - - Translation tools - - The technical translator - - - Status - - - Remuneration - Conference interpreting - - Methods of interpretation - - Skills of the interpreter - - Contexts and working languages - - The interpretation in international institutions - - - UNESCO - - - European Union Internationalization and localization - Example - Internationalization and localization - Challenges - Software localization - - Difficulties - - Composing specifications - - Special tools Computer-assisted translation - Translation memory - - Advantages and disadvantages - - General operation - - Various - - Software - Machine translation - - Translation process - - Prerequisites - - Difficulties - - Approaches - - Development - - Existing products and services - - Prospective - Parallel text Subtitle - Subtitling or dubbing? - Description - Subtitling the movies - - Spotting - - Translation - - Simulation - - Engraving, inlaying or packaging - - The live broadcast - Live captioning - - Velotype - - Touch typing - - Computer-aided stenotype - - Speech recognition - Surtitles - - Comments - - Technical means - - Artistic issues - Quasi instant voice translation - - Difficulties - - Ongoing projects - - Future Translation Studies - Theories of translation - Interpretive theory - Back-translation - - The proper use of back-translation - False friends - - Cognates - - - Complete false friends - - - Partial false friends - - False cognates - Translation process - - The implications of the "inside" language - - Total and not absolute translation - - A single model - Untranslatability - - Hovering - - Translation methods - - - Adaptation - - - Calque - - - Compensation - - - Borrowing - - - Periphrasis - - - Translator's note - - Untranslatability of poetry and puns - - An amazing counterexample Translators - Translator's notes - European Master's in Translation - - European Master's in Translation - - - Organization of EMT - - - Core skills - - The EMT label - - EMT Network - - - Eligibility - - Members - European Council of Literary Translators' Associations - - History - - Objectives - International Translation Day Annexes: Translation in EU - Translation Guide - - Think before you write - - - Who will be reading the document? - - - What are you trying to achieve? - - - What points must the document cover? - - Focus on the reader - - - Be direct and interesting - - Get your document into shape - - - When you start - - - As you write - - - Two common problems at the European Commission: - - KISS - Keep It Short and Simple - - - Short... - - - ... and Simple: - - - Simple, uncluttered style also means: - - Make sense - structure your sentences - - Cut out excess nouns - verb forms are livelier - - Be concrete, not abstract - - Prefer active verbs to passive - - - Name the agent - - Beware of false friends, jargon and abbreviations - - - Avoid false friends - - - Avoid or explain jargon - - - Take care with abbreviations - - Revise and cheque check - Clear English Tips - - English prefers to be simple, concise and concrete. - - - Use simple words where appropriate. - - - Prefer a verb to an abstract noun - - - Prefer a gerund to an abstract noun - - - Prefer participles to relative clauses - - - And eliminate participles entirely if appropriate. - - - Use the passive voice sparingly - - - Consider replacing negatives with positives - - - Consider short forms and pronouns to avoid repeating full names … - - - Express conditions, including hidden ones, with ‘if’ ... - - - In general, cut out extra verbiage. - - English prefers straightforward syntax - - - Keep the subject close to the beginning of the sentence - - - Avoid splitting up subjects, modals, verbs and direct objects - - - If a sentence is too long, pull information out into separate sentences. - - - Use topic-introducing phrases sparingly. - - English may use different number, articles, gender or words from other languages - - - Keep uncountable nouns in the singular. - - - Use ‘a’ rather than ‘the’ for members of a class. - - - Do not use gender pronouns for entities. - - - Consider alternatives to ‘of’. - - - Finally, avoid ‘false friends’ in translation. - English Style Guide - - Introduction - - Writing English - - - GENERAL - - - SPELLING - - - PUNCTUATION - - - NUMBERS - - - ABBREVIATIONS AND SYMBOLS - - - Acronyms and initialisms - - - Contractions and truncations - - - FOREIGN IMPORTS - - - PARTS OF SPEECH - - - LISTS - - - SCIENCE GUIDE - - - FOOTNOTES, CITATIONS AND REFERENCES - - - CORRESPONDENCE - - - PERSONAL NAMES AND TITLES - - - NAMES OF BODIES - - - GENDER-NEUTRAL LANGUAGE - - About the European Union - - - THE EUROPEAN UNION - - - PRIMARY LEGISLATION - - - SECONDARY LEGISLATION - - - THE EU INSTITUTIONS - - - REFERENCES TO OFFICIAL PUBLICATIONS - - - EU FINANCES - - - MEMBER STATES - - - OFFICIAL LANGUAGES AND CURRENCIES - - - EXTERNAL RELATIONS - - TRANSLITERATION - - - TRANSLITERATION TABLE FOR GREEK - - - TRANSLITERATION TABLE FOR CYRILLIC - - FORMS OF ADDRESS - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - Style Guide for EU Member States - - Austria - - - Geography - - - Judicial bodies - - - Legal instruments - - - Government bodies and administrative divisions - - Belgium - - - Geography - - - Judicial bodies - - - Legal instruments - - - Federal structure - - Bulgaria - - - Geography - - - Judicial bodies - - - Legal instruments - - Croatia - - - Geography - - - Regions - - - Judicial bodies - - - Political and administrative structure - - - Legal instruments - - - Law gazettes, official gazettes and official journals - - - Miscellaneous - - Cyprus - - - Geography - - - Judicial bodies - - - Legal instruments - - Czech Republic - - - Geography - - - Judicial bodies - - - Legal instruments - - Denmark - - - Geography - - - Judicial bodies - - - Legal instruments - - Estonia - - - Geography - - - Judicial bodies - - - Legal instruments - - - Law gazettes, official gazettes and official journals - - Finland - - - Geography - - - Judicial bodies - - - Legal instruments - - - Law gazettes, official gazettes and official journals - - France - - - Geography - - - Judicial bodies - - - Legal instruments - - Germany - - - Geography - - - Judicial bodies - - - Legal instruments - - - Government bodies and administrative divisions - - Greece - - - Geography - - - Judicial bodies - - - Legal instruments - - Hungary - - - Geography - - - Judicial bodies - - - Legal instruments - - Iceland - - - Judicial bodies - - Ireland - - Italy - - - Geography - - - Judicial bodies - - - Legal instruments - - Latvia - - - Geography - - - Judicial bodies - - - Legal instruments - - Lithuania - - - Geography - - - Judicial bodies - - - Legal instruments - - - Law gazettes, official gazettes and official journals - - Luxembourg - - - Geography - - - Judicial bodies - - - Legal instruments - - Malta - - - Geography - - - Judicial bodies - - - Legal instruments - - Netherlands - - - Geography - - - Judicial bodies - - - Legal instruments - - Poland - - - Geography - - - Judicial bodies - - - Legal instruments - - - Law gazettes, official gazettes and official journals - - Portugal - - - Geography - - - Judicial bodies - - - Legal instruments - - Romania - - - Geography - - - Judicial bodies - - - Legal instruments - - Slovakia - - - Geography - - - Judicial bodies - - - Legal instruments - - Spain - - - Geography - - - Judicial bodies - - - Legal instruments - - Sweden - - - Geography - - - Judicial bodies - - - Legal instruments - - Turkey - - - Judicial bodies - - - Legal instruments - - United Kingdom - - - Geography Quotes References About the author - Nicolae Sfetcu . (shrink)

The verb ‘to know’ can be used both in ascriptions of propositional knowledge and ascriptions of knowledge of acquaintance. In the formal epistemology literature, the former use of ‘know’ has attracted considerable attention, while the latter is typically regarded as derivative. This attitude may be unsatisfactory for those philosophers who, like Russell, are not willing to think of knowledge of acquaintance as a subsidiary or dependent kind of knowledge. In this paper we outline a logic of knowledge of acquaintance in (...) which ascriptions like ‘Mary knows Smith’ are regarded as formally interesting in their own right, remaining neutral on their relation to ascriptions of propositional knowledge. The resulting logical framework, which is based on Hintikka’s modal approach to epistemic logic, provides a fresh perspective on various issues and notions at play in the philosophical debate on acquaintance. (shrink)

We investigate a basic probabilistic dynamic semantics for a fragment containing conditionals, probability operators, modals, and attitude verbs, with the aim of shedding light on the prospects for adding probabilistic structure to models of the conversational common ground.

This is a reply to the commentaries on my paper 'Truthmaker Semantics for Natural Language: Attitude Verbs, Modals, and Intensional Transitive Verbs'. The paper is a commissioned 'target' article, with commentaries by W. Davis, B. Arsenijevic, K. Moulton, K. Liefke, M. Kaufman, R. Matthews, P. Portner and A. Rubinstein, P. Elliott, and G. Ramchand.

This is a prepublication version of my book Objects and Attitudes. The book develops a novel semantics of attitude reports, modal sentences, and quotation based on the view that sentences semantically act as predicates of various attitudinal and modal objects, entities like claims, requests, promises, obligations, and permissions, rather than standing for abstract propositions playing the role of objects. The approach develops truthmaker semantics for attitudinal and modal objects and has a wide range of applications to issues (...) in philosophy of language, semantics, and philosophy of mind. (shrink)

Failure of substitutivity of coreferential terms, one of the hallmarks of referential opacity, is standardly explained in terms of the presence of an expression (such as a verb of propositional attitude, a modal adverb or quotation marks) with opacity-inducing properties. It is thus assumed that any term in a complex expression for which substitutivity fails will be within the scope of an expression of one of these types, and that where there is an expression of one of these types (...) there will be failure of substitutivity for terms within its scope. I shall discuss a series of examples that have been thought to challenge this explanation by exhibiting failure of substitutivity of coreferential terms for positions not within the scope of any of the standard opacity-inducing expressions. If these examples are genuine, then the usual explanations of opacity are either incomplete – because there are sources of opacity other than those standardly identified, or completely mistaken – because the standardly identified expressions are not causes of opacity. I will argue, however, that the examples only exhibit failure of substitutivity of non-coreferential terms, and, hence, do not present a challenge to standard explanations of opacity. (shrink)

I suggest a new role for authority and interest in the theory of right: Rights can be explicated as sets of prohibitions, permissions and commands, and they must be justified by interests. I argue as follows: (1) The two dominant theories of right—“Will Theory” and “Interest Theory”—have certain standard problems. (2) These problems are systematic: Will Theory’s criterion of the ability to enforce a duty is either false or empty outside of its original legal context, whereas Interest Theory includes in (...) the definition of a right what actually belongs to the justification of the practice within which that right is assigned. (3) I recast the connection between authority, interests and rights in a way that avoids each theory’s standard problem. (4) The resulting theory also has three further advantages: It analyzes rights in terms of very basic and familiar concepts; it mirrors the understanding of rights in actual public discourse, and it is compatible with a wide selection of moral theories. Since its core is about a specific use of modal auxiliary verbs, I call this new theory the “Modal Theory of Right.”. (shrink)

Natural languages exhibit a great variety of grammatical paradigms. For instance, in English verbs are grammatically marked for tense, whereas in the tenseless Eskimo-Aleut language Kalaallisut they are marked for illocutionary mood. Although time is a universal dimension of the human experience and speaking is part of that experience, some languages encode reference to time without any grammatical tense morphology, or reference to speech acts without any illocutionary mood morphology. Nevertheless, different grammatical systems are semantically parallel in certain respects. (...) Specifically, I propose that English tenses form a temporal centering system, which monitors and updates topic times, whereas Kalaallisut moods form a modal centering system, which monitors and updates modal discourse referents. To formalize these centering parallels I define a dynamic logic that represents not only changing information but also changing focus of attention in discourse (Update with Centering, formalizing Grosz et al 1995). Different languages can be translated into this typed logic by directly compositional universal rules of Combinatory Categorial Grammar (CCG) The resulting centering theory of tense and illocutionary mood draws semantic parallels across different grammatical systems. The centering generalizations span the extremes of the typological spectrum, so they are likely to be universal. In addition, the theory accounts for the translation equivalence of tense and illocutionary mood in a given utterance context. Following Stalnaker (1978) I assume that the very act of speaking up has a ‘commonplace effect’ on the context. It focuses attention on the speech act and thereby introduces default modal and temporal topics. These universal defaults complement language-specific grammars, e.g. English tenses and Kalaallisut moods. In a given utterance context the universal discourse-initial defaults plus language-specific grammatical marking may add up to the same truth conditions.. (shrink)

The empirical phenomenon at the center of this paper is projection, which we define (uncontroversially) as follows: (1) Definition of projection An implication projects if and only if it survives as an utterance implication when the expression that triggers the implication occurs under the syntactic scope of an entailment-cancelling operator. Projection is observed, for example, with utterances containing aspectual verbs like stop, as shown in (2) and (3) with examples from English and Paraguayan Guaraní (Paraguay, Tupí-Guaraní).1 The Guaraní example (...) in (2) and its English translation have at least the following implications: (i) Carla has previously smoked, and (ii) Carla stopped smoking. The first but not the second of these implications is also conveyed by the question version of sentence (2), as in (3a), or when (2) is embedded under entailment-cancelling sentential operators, such as negation, as in (3b), the antecedent of a conditional, as in (3c), or an epistemic modal, as in (3d). Hence, by the definition in (14), the first but not the second implication of (2) projects. (shrink)

Simple taste predications come with an `acquaintance requirement': they require the speaker to have had a certain kind of first-hand experience with the object of predication. For example, if I tell you that the crème caramel is delicious, you would ordinarily assume that I have actually tasted the crème caramel and am not simply relying on the testimony of others. The present essay argues in favor of a lightweight expressivist account of the acquaintance requirement. This account consists of a recursive (...) semantics and an account of assertion; it is compatible with a number of different accounts of truth and content, including contextualism, relativism, and purer forms of expressivism. The principal argument in favor of this account is that it correctly predicts a wide range of data concerning how the acquaintance requirement interacts with Boolean connectives, generalized quantifiers, epistemic modals, and attitude verbs. (shrink)

People often reason about omissions. One line of research shows that people can distinguish between the semantics of omissive causes and omissive enabling conditions: for instance, not flunking out of college enabled you (but didn’t cause you) to graduate. Another line of work shows that people rely on the normative status of omissive events in inferring their causal role: if the outcome came about because the omission violated some norm, reasoners are more likely to select that omission as a cause. (...) We designed a novel paradigm that tests how norms interact with the semantics of omissive enabling conditions. The paradigm concerns the circuitry of a mechanical device that plays music. Two experiments used the paradigm to stipulate norms and present a distinct set of possibilities to participants. Participants chose which causal verb best described the operations of the machine. The studies revealed that participants’ responses are best predicted by their tendency to consider the semantics of omissive relations. In contrast, norms had little to no effect in participants’ responses. We conclude by marshaling the evidence and considering what role norms may play in people’s understanding of omissions. (shrink)

Sentences about logic are often used to show that certain embedding expressions, including attitude verbs, conditionals, and epistemic modals, are hyperintensional. Yet it not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. This paper does two things. First, it argues against a standard account of logic talk, viz., the impossible worlds semantics. It is shown that this semantics does not easily extend to a language with propositional quantifiers, (...) which are necessary for regimenting some logic talk. Second, it develops an alternative framework based on logical expressivism, which explains logic talk using shifting conventions. When combined with the standard S5π+ semantics for propositional quantifiers, this framework results in a well-behaved system that does not face the problems of the impossible worlds semantics. It can also be naturally extended with hybrid operators to regiment a broader range of logic talk, e.g., claims about what laws hold according to other logics. The resulting system, called hyperlogic, is therefore a better framework for modeling logic talk than previous accounts. (shrink)

Recent discoveries of semantic compositionality in Japanese tits have enlivened the discussions on the presence of this phenomenon in wild animal communication. Data on semantic compositionality in wild apes are lacking, even though language experiments with captive apes have demonstrated they are capable of semantic compositionality. In this paper, I revisit the study by Boesch (Hum. Evol. 6:81–89, 1991) who investigated drumming sequences by an alpha male in a chimpanzee (_Pan troglodytes_) community in the Taï National Park, Côte d’Ivoire. A (...) reanalysis of the data reveals that the alpha male produced semantically compositional combined messages of travel direction change and resting period initiation. Unlike the Japanese tits, the elements of the compositional expression were not simply juxtaposed but displayed structural reduction, while one of the two elements in the expression coded the meanings of both elements. These processes show relative resemblance to blending and fusion in human languages. Also unlike the tits, the elements of the compositional expression did not have a fixed order, although there was a fixed distribution of drumming events across the trees used for drumming. Because the elements of the expression appear to carry verb-like meanings, the compositional expression also resembles simple verb-verb constructions and short paratactic combinations of two clauses found across languages. In conclusion, the reanalysis suggests that semantic compositionality and phenomena resembling paratactic combinations of two clauses might have been present in the communication of the last common ancestor of chimpanzees and humans, not necessarily in the vocal modality. (shrink)

In this paper, I will argue that there is a version of possibilism—inspired by the modal analogue of Kit Fine’s fragmentalism—that can be combined with a weakening of actualism. The reasons for analysing this view, which I call Modal Fragmentalism, are twofold. Firstly, it can enrich our understanding of the actualism/possibilism divide, by showing that, at least in principle, the adoption of possibilia does not correspond to an outright rejection of the actualist intuitions. Secondly, and more specifically, it (...) can enrich our understanding of concretism, by proving that, at least in principle, the idea that objects have properties in an absolute manner is compatible with transworld identity. (shrink)

Timothy Williamson has argued that in the debate on modal ontology, the familiar distinction between actualism and possibilism should be replaced by a distinction between positions he calls contingentism and necessitism. He has also argued in favor of necessitism, using results on quantified modal logic with plurally interpreted second-order quantifiers showing that necessitists can draw distinctions contingentists cannot draw. Some of these results are similar to well-known results on the relative expressivity of quantified modal logics with so-called (...) inner and outer quantifiers. The present paper deals with these issues in the context of quantified modal logics with generalized quantifiers. Its main aim is to establish two results for such a logic: Firstly, contingentists can draw the distinctions necessitists can draw if and only if the logic with inner quantifiers is at least as expressive as the logic with outer quantifiers, and necessitists can draw the distinctions contingentists can draw if and only if the logic with outer quantifiers is at least as expressive as the logic with inner quantifiers. Secondly, the former two items are the case if and only if all of the generalized quantifiers are first-order definable, and the latter two items are the case if and only if first-order logic with these generalized quantifiers relativizes. (shrink)

In this paper I show that we have strong empirical and theoretical reasons to treat the verbs we use in our semantic theorizing—particularly ‘refers to ’, ‘applies to ’, and ‘is true of ’—as intensional transitive verbs. Stating our semantic theories with intensional vocabulary allows us to partially reconcile two competing approaches to the nature and subject-matter of semantics: the Chomskian approach, on which semantics is non-relational, internalistic, and concerns the psychology of language users, and the Lewisian approach, (...) on which semantics is fully relational, specifies truth-conditions, and has metaphysical implications. ITVs have two readings: an intensional, de dicto reading, and a relational, de re reading. A semantic theory stated with the de dicto readings of our semantic verbs captures the core insights of the Chomskian approach to semantics, in part because it allows us to assign extremely fine-grained semantic values to expressions, even when those expressions are empty. On the other hand, the de re reading yields a theory that is fully relational, and issues in truth-conditions. The resulting theories are related—and compatible—in that they are expressed by two different readings of the very same semantic vocabulary, and plausibly, the distinction between these two readings is one of scope. (shrink)

This paper examines "moderate modal skepticism", a form of skepticism about metaphysical modality defended by Peter van Inwagen in order to blunt the force of certain modal arguments in the philosophy of religion. Van Inwagen’s argument for moderate modal skepticism assumes Yablo's (1993) influential world-based epistemology of possibility. We raise two problems for this epistemology of possibility, which undermine van Inwagen's argument. We then consider how one might motivate moderate modal skepticism by relying on a different (...) epistemology of possibility, which does not face these problems: Williamson’s (2007: ch. 5) counterfactual-based epistemology. Two ways of motivating moderate modal skepticism within that framework are found unpromising. Nevertheless, we also find a way of vindicating an epistemological thesis that, while weaker than moderate modal skepticism, is strong enough to support the methodological moral van Inwagen wishes to draw. (shrink)

The paper begins with a clarification of the notions of intuition (and, in particular, modal intuition), modal error, conceivability, metaphysical possibility, and epistemic possibility. It is argued that two-dimensionalism is the wrong framework for modal epistemology and that a certain nonreductionist approach to the theory of concepts and propositions is required instead. Finally, there is an examination of moderate rationalism’s impact on modal arguments in the philosophy of mind -- for example, Yablo’s disembodiment argument and Chalmers’s (...) zombie argument. A less vulnerable style of modal argument is defended, which nevertheless wins the same anti-materialist conclusions sought by these other arguments. (shrink)

This paper motivates and develops a novel semantic framework for deontic modals. The framework is designed to shed light on two things: the relationship between deontic modals and substantive theories of practical rationality and the interaction of deontic modals with conditionals, epistemic modals and probability operators. I argue that, in order to model inferential connections between deontic modals and probability operators, we need more structure than is provided by classical intensional theories. In particular, we need probabilistic structure that interacts directly (...) with the compositional semantics of deontic modals. However, I reject theories that provide this probabilistic structure by claiming that the semantics of deontic modals is linked to the Bayesian notion of expectation. I offer a probabilistic premise semantics that explains all the data that create trouble for the rival theories. (shrink)

The paper compares the suitability of two different epistemologies of counterfactuals—(EC) and (W)—to elucidate modal knowledge. I argue that, while both of them explain the data on our knowledge of counterfactuals, only (W)—Williamson’s epistemology—is compatible with all counterpossibles being true. This is something on which Williamson’s counterfactual-based account of modal knowledge relies. A first problem is, therefore, that, in the absence of further, disambiguating data, Williamson’s choice of (W) is objectionably biased. A second, deeper problem is that (W) (...) cannot satisfactorily elucidate modal knowledge. Third, from a naturalistic perspective, the nature of this second problem favours (EC) against (W). (shrink)

The paper argues against Peacocke's moderate rationalism in modality. In the first part, I show, by identifying an argumentative gap in its epistemology, that Peacocke's account has not met the Integration Challenge. I then argue that we should modify the account's metaphysics of modal concepts in order to avoid implausible consequences with regards to their possession conditions. This modification generates no extra explanatory gap. Yet, once the minimal modification that avoids those implausible consequences is made, the resulting account cannot (...) support Peacocke's moderate rationalism. (shrink)

Lange argues that some natural phenomena can be explained by appeal to mathematical, rather than natural, facts. In these “distinctively mathematical” explanations, the core explanatory facts are either modally stronger than facts about ordinary causal law or understood to be constitutive of the physical task or arrangement at issue. Craver and Povich argue that Lange’s account of DME fails to exclude certain “reversals”. Lange has replied that his account can avoid these directionality charges. Specifically, Lange argues that in legitimate DMEs, (...) but not in their “reversals,” the empirical fact appealed to in the explanation is “understood to be constitutive of the physical task or arrangement at issue” in the explanandum. I argue that Lange’s reply is unsatisfactory because it leaves the crucial notion of being “understood to be constitutive of the physical task or arrangement” obscure in ways that fail to block “reversals” except by an apparent ad hoc stipulation or by abandoning the reliance on understanding and instead accepting a strong realism about essence. (shrink)

A solid foundation of modal logic requires a clear conception of the notion of modality. Modern modal logic treats modality as a propositional operator. I shall present an alternative according to which modality applies primarily to illocutionary force, that is, to the force, or mood, of a speech act. By a first step of internalization, modality applied at this level is pushed to the level of speech-act content. By a second step of internalization, we reach a propositional operator (...) validating the modal logic S4. After a brief discussion of problematic modality and possibility, the article concludes with an extension of the account that identifies modality with illocutionary force. Throughout, close attention is paid to the intended interpretation of the formalism. All of the rules stipulated will be justified on the basis of this interpretation. (shrink)

Epistemic modal operators give rise to something very like, but also very unlike, Moore's paradox. I set out the puzzling phenomena, explain why a standard relational semantics for these operators cannot handle them, and recommend an alternative semantics. A pragmatics appropriate to the semantics is developed and interactions between the semantics, the pragmatics, and the definition of consequence are investigated. The semantics is then extended to probability operators. Some problems and prospects for probabilistic representations of content and context are (...) explored. (shrink)

Schlenker (Semant Pragmat 2(3):1–78, 2009; Philos Stud 151(1):115–142, 2010a; Mind 119(474):377–391, 2010b) provides an algorithm for deriving the presupposition projection properties of an expression from that expression’s classical semantics. In this paper, we consider the predictions of Schlenker’s algorithm as applied to attitude verbs. More specifically, we compare Schlenker’s theory with a prominent view which maintains that attitudes exhibit belief projection, so that presupposition triggers in their scope imply that the attitude holder believes the presupposition (Karttunen in Theor Linguist (...) 34(1):181, 1974; Heim in J Semant 9(3):183–221, 1992; Sudo in The art and craft of semantics: a festschrift for Irene Heim, MIT Press, 2014). We show that Schlenker’s theory does not predict belief projection, and discuss several consequences of this result. (shrink)

Provisional draft, pre-production copy of my book “The Modal Future” (forthcoming with Cambridge University Press).

Abstract Timothy Williamson has recently proposed to undermine modal skepticism by appealing to the reducibility of modal to counterfactual logic ( Reducibility ). Central to Williamson’s strategy is the claim that use of the same non-deductive mode of inference ( counterfactual development , or CD ) whereby we typically arrive at knowledge of counterfactuals suffices for arriving at knowledge of metaphysical necessity via Reducibility. Granting Reducibility, I ask whether the use of CD plays any essential role in a (...) Reducibility-based reply to two kinds of modal skepticism. I argue that its use is entirely dispensable, and that Reducibility makes available replies to modal skeptics which show certain propositions to be metaphysically necessary by deductive arguments from premises the modal skeptic accepts can be known. Content Type Journal Article Pages 1-19 DOI 10.1007/s11098-011-9784-4 Authors Juhani Yli-Vakkuri, Wolfson College, Oxford University, Oxford, OX2 6UD UK Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116. (shrink)

According to the simple modal account of essence, an object has a property essentially just in case it has it in every world in which it exists. As many have observed, the simple modal account is implausible for a number of reasons. This has led to various proposals for strengthening the account, for example, by adding a restriction to the intrinsic or sparse properties. I argue, however, that these amendments to the simple modal account themselves fail. Drawing (...) on lessons from these failures, I propose a new version of a modal account, inspired by Ruth Barcan Marcus's defense of the coherence of quantified modal logic, according to which an object has a property essentially just in case (i) it has it in every world in which it exists, (ii) the property is discriminating (or non-trivial), and (iii) the property is qualitative. The resulting account of essence does not face any of the standard objections other accounts face, and I defend it from other potential objections. (shrink)

It is widely agreed that the intelligibility of modal metaphysics has been vindicated. Quine's arguments to the contrary supposedly confused analyticity with metaphysical necessity, and rigid with non-rigid designators.2 But even if modal metaphysics is intelligible, it could be misconceived. It could be that metaphysical necessity is not absolute necessity – the strictest real notion of necessity – and that no proposition of traditional metaphysical interest is necessary in every real sense. If there were nothing otherwise “uniquely metaphysically (...) significant” about metaphysical necessity, then paradigmatic metaphysical necessities would be necessary in one sense of “necessary”, not necessary in another, and that would be it. The question of whether they were necessary simpliciter would be like the question of whether the Parallel Postulate is true simpliciter – understood as a pure mathematical conjecture, rather than as a hypothesis about physical spacetime. In a sense, the latter question has no objective answer. In this article, I argue that paradigmatic questions of modal metaphysics are like the Parallel Postulate question. I then discuss the deflationary ramifications of this argument. I conclude with an alternative conception of the space of possibility. According to this conception, there is no objective boundary between possibility and impossibility. Along the way, I sketch an analogy between modal metaphysics and set theory. (shrink)

This article presents an overview of the basic philosophical motivations for, and some recent work in, modal set theory.

This paper targets a series of potential issues for the discussion of, and modal resolution to, the alethic paradoxes advanced by Scharp (2013). I proffer four novel extensions of the theory, and detail five issues that the theory faces.

I propose a comprehensive account of negation as a modal operator, vindicating a moderate logical pluralism. Negation is taken as a quantifier on worlds, restricted by an accessibility relation encoding the basic concept of compatibility. This latter captures the core meaning of the operator. While some candidate negations are then ruled out as violating plausible constraints on compatibility, different specifications of the notion of world support different logical conducts for negations. The approach unifies in a philosophically motivated picture the (...) following results: nothing can be called a negation properly if it does not satisfy Contraposition and Double Negation Introduction; the pair consisting of two split or Galois negations encodes a distinction without a difference; some paraconsistent negations also fail to count as real negations, but others may; intuitionistic negation qualifies as real negation, and classical Boolean negation does as well, to the extent that constructivist and paraconsistent doubts on it do not turn on the basic concept of compatibility but rather on the interpretation of worlds. (shrink)

After introductory reminder of and comments on Gödel’s ontological proof, we discuss the collapse of modalities, which is provable in Gödel’s ontological system GO. We argue that Gödel’s texts confirm modal collapse as intended consequence of his ontological system. Further, we aim to show that modal collapse properly fits into Gödel’s philosophical views, especially into his ontology of separation and union of force and fact, as well as into his cosmological theory of the nonobjectivity of the lapse of (...) time. As a result, modal collapse should not be conceived in Gödel so much as a deficit, but rather as a kind of the rise of modalities to the “perfect” being. We further show that, in accordance with Gödel’s ontology, the concepts of modality and time should be derived in terms of the “fundamental philosophical concept” of cause. To give an example of how a formalization of such causative Gödelian ontology and ontological proof might look, we propose the transformation of GO into a kind of causally re-interpreted justification logic. (shrink)