Relationship between default semantics and modularity of mind (in particular mind reading through the principle of Relevance).

I show that a generalization of premise semantics allows for a new set of solutions to the problems posed by anankastic conditionals.

We start with an observation about implicit quantifier domain restriction: certain implicit restrictions (e.g., restricting objects by location and time) appear to be more natural and widely available than others (e.g., restricting objects by color, aesthetic, or historical properties). Our aim is to explain why this is. That is, we aim to explain why some implicit domain restriction possibilities are available by default. We argue that, regardless of their other explanatory virtues, extant pragmatic and metasemantic frameworks leave this question (...) unanswered. We then motivate a partially nativist account of domain restriction that involves a minimal view of joint planning around broad shared goals about navigating and influencing our environments augmented with cognitive heuristics that facilitate these. Finally, we sketch how the view can be extended to account for the ways non-default restriction possibilities become available when conversationalists have shared idiosyncratic goals. (shrink)

I identify and develop a solution to the puzzles of anankastic conditionals that is novel in the sense that it has gone largely unnoticed, but also well-worn in that the materials for it have long been available. The solution involves an integration of the classical Kratzerian premise semantics and a default theory of reasons (such as the one presented in Horty, 2012, leveraging several decades of research on default logic). To stress-test the proposal I also investigate how (...) it might be applied to the variety of anankastic-adjacent data discussed by Condoravdi and Lauer (2016). The resulting approach is not just an exceptional fit for the problem of anankastic conditionals, but also an independently promising upgrade on the classical account of modals. (shrink)

Moeser suggested participants default to linear ordering elements but they can be primed to impose either linear or partial ordering. This study seems problematic insofar as ‘greater than’ might be understood to incline participants to favor linear orderings. Recent follow-up studies strongly suggest participants do not default to linear ordering. It seems plausible, moreover, that the observed priming effect is far more pervasive than Moeser countenanced. The present work explores the extent to which priming for linear or partial (...) orders conflicts with the construction of linear or partial ordering lists. Our two experiments suggest friction between priming and task, and also show once the priming tasks are cleared of potentially confounding semantic content, participants perform equally with respect to constructing linear or partial orders under similar priming conditions. (shrink)

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the (...) nature of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of verification and validation ); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of proxy ) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of commutation ); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained. (shrink)

The article addresses the problem of how semantic information can be upgraded to knowledge. The introductory section explains the technical terminology and the relevant background. Section 2 argues that, for semantic information to be upgraded to knowledge, it is necessary and sufficient to be embedded in a network of questions and answers that correctly accounts for it. Section 3 shows that an information flow network of type A fulfils such a requirement, by warranting that the erotetic deficit, characterising the target (...) semantic information t by default, is correctly satisfied by the information flow of correct answers provided by an informational source s. Section 4 illustrates some of the major advantages of such a Network Theory of Account (NTA) and clears the ground of a few potential difficulties. Section 5 clarifies why NTA and an informational analysis of knowledge, according to which knowledge is accounted semantic information, is not subject to Gettier-type counterexamples. A concluding section briefly summarises the results obtained. (shrink)

This paper reports an experiment that investigates interpretive distinctions between two different expressions of generalization in Spanish. In particular, our aim was to find out when the distinction between generic statements (GS) such as Tigers have stripes and universally quantified statements (UQS) such as All tigers have stripes was acquired in Spanish-speaking children of two different age groups (4/5-year-olds and 8/9-year-olds), and then compare these results with those of adults. The starting point of this research was the semantic distinction between (...) GS and UQS in that the former admit exceptions, unlike the latter. On the other hand, several authors have observed a Generic overgeneralization effect (GOG) consisting in allowing for UQS to be felicitous in the face of exceptions, thus proposing that this “error” stems from GS being defaults (simpler, more easily learned and processed). In the current paper we aimed to test the “Generics as Default” (GaD) hypothesis by comparing GS and UQS in three different age ranges. Our data show that, overall, the accuracy of GS is greater than the accuracy of UQS. Moreover, we also confirm a hypothesized interaction between age and NP type (GS vs UQS). Further, we present several data points that are not predicted by the GaD, including an observed decline in the accuracy of GS in the older group of children as well as in adults, and that children fail at rejecting statements that are not considered to be true generalizations. (shrink)

In recent work, Williamson has defended a suggestive account of assertion. Williamson claims that the following norm or rule (the knowledge rule) is constitutive of assertion, and individuates it: (KR) One must ((assert p) only if one knows p) Williamson is not directly concerned with the semantics of assertion-markers, although he assumes that his view has implications for such an undertaking; he says: “in natural languages, the default use of declarative sentences is to make assertions” (op. cit., 258). (...) In this paper I will explore Williamson’s view from this perspective, i.e., in the light of issues regarding the semantics of assertion-markers. I will end up propounding a slightly different account, on which, rather than KR, what is constitutive and individuating of assertion is an audience-involving transmission of knowledge rule: (TKR) One must ((assert p) only if one’s audience comes thereby to be in a position to know p) I will argue that TKR, of which KR is an illocutionary consequence (but not the other way around), has all the virtues that Williamson claims for his account and no new defect. (shrink)

We propose to characterize imaginative resistance as the failure or unwillingness of the reader to take a fictional description of a deviant reality at face value. The goal of the paper is to explore how readers deal with such a breakdown of the default Face Value interpretation strategy. We posit two distinct interpretative ‘coping’ strategies which help the reader engage with the resistance-inducing fiction by attributing the offending content to one of the fictional characters. We present novel empirical evidence (...) that shows that actual readers use these strategies and we flesh out the exact workings of these strategies by integrating them into a general formal semantic framework for interpreting fiction. (shrink)

Logical monism is the view that there is ‘One True Logic’. This is the default position, against which pluralists react. If there were not ‘One True Logic’, it is hard to see how there could be one true theory of anything. A theory is closed under a logic! But what is logical monism? In this article, I consider semantic, logical, modal, scientific, and metaphysical proposals. I argue that, on no ‘factualist’ analysis (according to which ‘there is One True Logic’ (...) expresses a factual claim, rather than an attitude like approval), does the doctrine have both metaphysical and methodological import. Metaphysically, logics abound. Methodologically, what to infer from what is not settled by the facts, even the normative ones. I conclude that the only interesting sense in which there could be One True Logic is noncognitive. The same may be true of monism about normative areas, like moral, epistemic, and prudential ones, generally. (shrink)

In many languages, the same particles that form quantifier words also serve as connectives, additive and scalar particles, question markers, roots of existential verbs, and so on. Do these have a unified semantics, or do they merely bear a family resemblance? Are they aided by silent operators in their varied roles―if yes, what operators? I dub the particles “quantifier particles” and refer to them generically with capitalized versions of the Japanese morphemes. I argue that both MO and KA can (...) be assigned a stable semantics across their various roles. The specific analysis I offer is motivated by the fact that MO and KA often combine with just one argument; I propose that this is their characteristic behavior. Their role is to impose semantic requirements that are satisfied when the immediately larger context is interpreted as the meet/join of their host’s semantic contribution with something else. They do not perform meet/join themselves. The obligatory vs. optional appearance of the particles depends on whether the meet/join interpretations arise by default in the given constellation. I explicate the proposal using the toolkit of basic Inquisitive Semantics. (shrink)

This paper is about an underappreciated aspect of generics: their non-specificity. Many uses of generics, utterances like ‘Seagulls swoop down to steal food’, express non-specific generalisations which do not specify their quantificational force or flavour. I consider whether this non-specificity arises as a by-product of context-sensitivity or semantic incompleteness but argue instead that generics semantically express non-specific generalisations by default as a result of quantifying existentially over more specific ones.

This paper aims to bridge the relationship between metalinguistic if you like as a non-propositional discourse marker and its conditional counterparts. This paper claims that metalinguistic if you like is polysemous between a hedge that denotes the speaker’s reduced commitment to some aspect of the main clause, and an optional yet potential conditional reading that interlocutors can legitimately draw on in interaction which is brought about due to the ‘if p, q’ sentence form. That is, although the metalinguistic reading is (...) most likely obtained automatically by default, it also carries an available conditional reading that is akin to other metalinguistic conditional clauses such as if you see what I mean. Next, a semantic representation of metalinguistic if you like is developed that takes on board a characterization of conditionality that departs from lexico-grammatical conventions, such that conditionals of the form ‘if p, q’ no longer bear a one-to-one correspondence with “conditional” truth conditions. Employing a radical contextualist semantic framework in which the unit of truth-conditional analysis is not constrained to the sentence form, utterances employing metalinguistic if you like are given a semantic representation such that the if-clause does not contribute propositional content, yet they also maintain their status as conditionals as the sentence form gives rise to a potential conditional secondary meaning. (shrink)

How is it possible that beginning from the negation of rational thoughts one comes to produce knowledge? This problem, besides its intrinsic interest, acquires a great relevance when the representation of a knowledge is settled, for example, on data and automatic reasoning. Many treatment ways have been tried, as in the case of the non-monotonic logics; logics that intend to formalize an idea of reasoning by default, etc. These attempts are incomplete and are subject to failure. A possible solution (...) would be to formulate a logic of the irrational, which offers a model for reasoning permitting to support contradictions as well as to produce knowledge from such situations. An intuition underlying the foundation of such a logic consists of the da Costa's paraconsistent logics presenting however, a different deduction theory and a whole distinct semantics, called here "the semantics of possible translations". The present proposing, following our argumentation, intends to enlight all this question, by a whole satisfactory logical point of view, being practically applicable and philosophically acceptable.Como é possível que a partir da negação do racional se possa obter conhecimento adicional? Esse problema, além de seu interesse intrínseco, adquire uma relevância adicional quando o encontramos na representação do conhecimento em bases de dados e raciocínio automático, por exemplo. Nesse caso, diversas tentativas de tratamento têm sido propostas, como as lógicas não-monotônicas, as lógicas que tentam formalizar a ideia do raciocínio por falha . Tais tentativas de solução, porém, são falhas e incompletas; proponho que uma solução possível seria formular uma lógica do irracional, que oferecesse um modelo para o raciocínio permitindo não só suportar contradições, como conseguir obter conhecimento, a partir de tais situações. A intuição subjacente à formulação de tal lógica são as lógicas paraconsistentes de da Costa, mas com uma teoria da dedução diferente e uma semântica completamente distinta . Tal proposta, como pretendo argumentar, fornece um enfoque para a questão que é ao mesmo tempo completamente satisfatório, aplicável do ponto de vista prático e aceitável do ponto de vista filosófico. (shrink)

The distinction between episodic and semantic declarative memory systems, as introduced by Tulving (1972, updated in 1984, 1991), was a revolutionary approach to human memory. While the distinction is now widely endorsed in the study of memory, there are debates about what constitutes each system’s domain, how each system is used, how each system functions, and the phenomenal experiences associated with the functioning of each system. On the basis of clinical studies and insights from conditions affecting memory, this paper argues (...) that the episodic/semantic distinction can be reframed as a result of a unified declarative memory system. In this view, experiences are encoded into memory traces, and retrieval of memories is dependent on the cues specific to each particular instance of remembering. The upshot of this proposal, called unified memory functionalism, is that the phenomenal differences of remembering can be understood in terms of the differential salience of cues without defaulting to the view that there exist multiple declarative memory systems. (shrink)

Slurs are incendiary terms so much that many ordinary speakers and theorists deny that sentences containing them can ever be true, and utterances where they occur embedded within normally "quarantining" contexts, like conditionals and indirect reports, are still typically offensive. At the same time, however, many speakers and theorists also find it obvious that sentences containing slurs can be true; and there are clear cases where embedding does inoculate a speaker from the slur's offensiveness. I argue that four standard accounts (...) of the "other" element that differentiates slurs from their more neutral counterparts semantic content, perlocutionary effect, presupposition, and conventional implicature all fail to account for this puzzling mixture of intuitions about truth, and for this mixture of projection and quarantining. Instead, I propose that slurs make two distinct, coordinated contributions to a sentence's conventional communicative role: predication of group membership and endorsement of a derogating perspective on the group. Predication of group membership is "at issue" by default, but different semantic and conversational contexts can alter the relative prominence and scope of the two contributions. (shrink)

We propose a typology of representational artifacts for health care and life sciences domains and associate this typology with different kinds of formal ontology and logic, drawing conclusions as to the strengths and limitations for ontology in a description logics framework. The four types of domain representation we consider are: (i) lexico-semantic representation, (ii) representation of types of entities, (iii) representations of background knowledge, and (iv) representation of individuals. We advocate a clear distinction of the four kinds of representation in (...) order to provide a more rational basis for using ontologies and related artifacts to advance integration of data and enhance interoperability of associated reasoning systems. We highlight the fact that only a minor portion of scientifically relevant facts in a domain such as biomedicine can be adequately represented by formal ontologies as long as the latter are conceived as representations of entity types. In particular, the attempt to encode default or probabilistic knowledge using ontologies so conceived is prone to produce unintended, erroneous models. (shrink)

The project of this paper is to deliver a semantics for a broad subset of bare plural generics about racial kinds, a class which I will dub 'Type C generics.' Examples include 'Blacks are criminal' and 'Muslims are terrorists.' Type C generics have two interesting features. First, they link racial kinds with ​ socially perspectival predicates ​ (SPPs). SPPs lead interpreters to treat the relationship between kinds and predicates in generic constructions as nomic or non-accidental. Moreover, in computing their (...) content, interpreters must make implicit reference to socially privileged​ ​ perspectives which are treated as authoritative about whether a given object fits into the extension of the predicate. Such deference grants these authorities influence over both the conventional meaning of these terms and over the nature of the ​ objects ​ in the social ontology that these terms purport to describe, much the way a baseball umpire is authoritative over the meaning and metaphysics of 'strike'/​ strike ​. Second, terms like 'criminal' and 'terrorist' receive default ​ racialized ​ interpretations in which these terms conventionally token racial or ethnic identities. I show that neither of these features can be explained by Sarah-Jane Leslie's influential 'weak semantics' for generics, and show how my own 'socially perspectival semantics' fares better on both counts. Finally, I give an analysis of 'Blacks are criminal' which explores the semantic mechanisms that underlie default racialized interpretations. (shrink)

This paper defends a version of Davidson’s demonstrative theory of quotation and against against the Fregean identity theory (IT henceforth) as articulated and defended by Corey Washington (1992). On the Fregean view, when an expression is referred to by means of quotation the quoted material itself is a linguistic referring expression. Quotation-marks are not needed; when they are used, they serve to make clearer the shift in syntactic and semantic properties effected on the quoted material by its occupying that linguistic (...) context: whatever its usual syntactic function, the quoted material functions as a singular term; whatever its usual semantic function, in that linguistic environment the quoted material refers to itself. On DT, in contrast, quotation-marks themselves are the linguistic bearers of reference, functioning like a demonstrative; the quoted material merely plays the role of a demonstratum. In the version I argue for the referent is obtained through some contextually suggested relation; in the default case the relation will be: … instantiates the linguistic type __, but there are other possibilities. In this way, the view can deal with the fact that we do not merely refer with quotations to expression-types, but also to other entities related in some way to the relevant token we use: features exhibited by the token distinct from those constituting its linguistic type, features exhibited by other tokens of the same type but not by the one actually used (as when, by using a graphic token, we refer to its phonetic type), or even other related tokens. (shrink)

A sorites argument is a symptom of the vagueness of the predicate with which it is constructed. A vague predicate admits of at least one dimension of variation (and typically more than one) in its intended range along which we are at a loss when to say the predicate ceases to apply, though we start out confident that it does. It is this feature of them that the sorites arguments exploit. Exactly how is part of the subject of this paper. (...) The majority of philosophers writing on vagueness take it to be a kind of semantic phenomenon. If we are right, they are correct in this assumption, which is surely the default position, but they have not so far provided a satisfactory account of the implications of this or a satisfactory diagnosis of the sorites arguments. Other philosophers have urged more exotic responses, which range from the view that the fault lies not in our language, but in the world, which they propose to be populated with vague objects which our semantics precisely reflects, to the view that the world and language are both perfectly in order, but that the fault lies with our knowledge of the properties of the words we use (epistemicism). In contrast to the exotica to which some philosophers have found themselves driven in an attempt to respond to the sorites puzzles, we undertake a defense of the commonsense view that vague terms are semantically vague. Our strategy is to take fresh look at the phenomenon of vagueness. Rather than attempting to adjudicate between different extant theories, we begin with certain pre-theoretic intuitions about vague terms, and a default position on classical logic. The aim is to see whether (i) a natural story can be told which will explain the vagueness phenomenon and the puzzling nature of soritical arguments, and, in the course of this, to see whether (ii) there arises any compelling pressure to give up the natural stance. We conclude that there is a simple and natural story to be told, and we tell it, and that there is no good reason to abandon our intuitively compelling starting point. The importance of the strategy lies in its dialectical structure. Not all positions on vagueness are on a par. Some are so incredible that even their defenders think of them as positions of last resort, positions to which we must be driven by the power of philosophical argument. We aim to show that there is no pressure to adopt these incredible positions, obviating the need to respond to them directly. If we are right, semantic vagueness is neither surprising, nor threatening. It provides no reason to suppose that the logic of natural languages is not classical or to give up any independently plausible principle of bivalence. Properly understood, it provides us with a satisfying diagnosis of the sorites argumentation. It would be rash to claim to have any completely novel view about a topic so well worked as vagueness. But we believe that the subject, though ancient, still retains its power to inform and challenge us. In particular, we will argue that taking seriously the central phenomenon of predicate vagueness—the “boundarylessness” of vague predicates—on the commonsense assumption that vagueness is semantic, leads ineluctably to the view that no sentences containing vague expressions (henceforth ‘vague sentences’) are truth-evaluable. This runs counter to much of the literature on vagueness, which commonly assumes that, though some applications of vague predicates to objects fail to be truth-evaluable, in clear positive and negative cases vague sentences are unproblematically true or false. It is clarity on this, and related points, that removes the puzzles associated with vagueness, and helps us to a satisfying diagnosis of why the sorites arguments both seem compelling and yet so obviously a bit of trickery. We give a proof that semantically vague predicates neither apply nor fail-to-apply to anything, and that consequently it is a mistake to diagnose sorites arguments, as is commonly done, by attempting to locate in them a false premise. Sorites arguments are not sound, but not unsound either. We offer an explanation of their appeal, and defend our position against a variety of worries that might arise about it. The plan of the paper is as follows. We first introduce an important distinction in terms of which we characterize what has gone wrong with vague predicates. We characterize what we believe to be our natural starting point in thinking about the phenomenon of vagueness, from which only a powerful argument should move us, and then trace out the consequences of accepting this starting point. We consider the charge that among the consequences of semantic vagueness are that we must give up classical logic and the principle of bivalence, which has figured prominently in arguments for epistemicism. We argue there are no such consequences of our view: neither the view that the logic of natural languages is classical, nor any plausible principle of bivalence, need be given up. Next, we offer a diagnosis of what has gone wrong in sorites arguments on the basis of our account. We then present an argument to show that our account must be accepted on pain of embracing (in one way or another) the epistemic view of “vagueness”, i.e., of denying that there are any semantically vague terms at all. Next, we discuss some worries that may arise about the intelligibility of our linguistic practices if our account is correct. We argue none of these worries should force us from our intuitive starting point. Finally, we cast a quick glance at other forms of semantic incompleteness. (shrink)

In this paper, I explore Bach’s idea (Bach, 2000) that null appositives, intended as expanded qua-clauses, can resolve the puzzles of belief reports. These puzzles are crucial in understanding the semantics and pragmatics of belief reports and are presented in a section. I propose that Bach’s strategy is not only a way of dealing with puzzles, but also an ideal way of dealing with belief reports. I argue that even simple unproblematic cases of belief reports are cases of pragmatic (...) intrusion, involving null appositives, or to use the words of Bach, ‘qua-clauses’. The main difference between my pragmatic approach and the one by Salmon (1986) is that this author uses the notion of conversational implicature, whereas I use the notion of pragmatic intrusion and explicature. From my point of view, statements such as ‘‘John believes that Cicero is clever’’ and ‘‘John believes that Tully is clever’’ have got distinct truth-values. In other words, I claim that belief reports in the default case illuminate the hearer on the mental life of the believer, that includes specific modes of presentation of the referents talked about. Furthermore, while in the other pragmatic approaches, it is mysterious how a mode of presentation is assumed to be the main filter of the believer’s mental life, here I provide an explanatory account in terms of relevance, cognitive effects, and processing efforts. The most important part of the paper is devoted to showing that null appositives are required, in the case of belief reports, to explain certain anaphoric effects, which would otherwise be mysterious. My examples show that null appositives are not necessitated at logical form, but only at the level of the explicature, in line with the standard assumptions by Carston and Recanati on pragmatic intrusion. I develop a potentially useful analysis of belief reports by exploiting syntactic and semantic considerations on presuppositional clitics in Romance. (shrink)

One of the insights of dynamic semantics in its various guises (Kamp 1981, Heim 1982, Groenendijk & Stokhof 1991, Kamp & Reyle 1993 among many others) is that interpretation is sensitive to left-to-right order. Is order sensitivity, particularly the default left-to-right order of evaluation, a property of particular meanings of certain lexical items (e.g., dynamically interpreted conjunction) or is it a more general feature of meaning composition? If it is a more general feature of meaning composition, is it (...) a processing ‘preference’ or should it be captured as a ‘harder’ constraint on the type of meanings and operations over meanings involved in natural language interpretation? This squib draws attention to the symmetrical A-too B-too construction (found in a variety of languages, e.g., Hungarian, Japanese, Romanian, Russian) in this context. It argues that any semantic analysis of its main ‘symmetrical-meaning’ characteristic should also allow for subtler interactions between this construction and items that are clearly sensitive to evaluation-order effects, e.g., anaphoric adjectives like next and other. We suggest that the notion of postsupposition embedded in a broader dynamic framework is better able to account for both the symmetric nature of this construction, its non-symmetric variant A-too, and its interaction with items that are evaluation-order sensitive. We briefly compare this proposal with a couple of possible alternative accounts. (shrink)

A crucial philosophical problem of social robots is how much they perform a kind of sociality in interacting with humans. Scholarship diverges between those who sustain that humans and social robots cannot by default have social interactions and those who argue for the possibility of an asymmetric sociality. Against this dichotomy, we argue in this paper for a holistic approach called “Δ phenomenology” of HSRI. In the first part of the paper, we will analyse the semantics of an (...) HSRI. This is what leads a human being to assign or receive a meaning of sociality by interacting with a social robot. Hence, we will question the ontological structure underlying HSRIs, suggesting that HSRIs may lead to a peculiar kind of user alienation. By combining all these variables, we will formulate some final recommendations for an ethics of social robots. (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)

Theorists have had less success in analyzing the truth conditions of generics. Philosophers of language have offered a number of theories. This chapter surveys several semantic accounts of generics. However, the focus is on generics and experimental philosophy. It briefly reviews empirical work that bears on these semantic accounts. While generics constitute an interesting linguistic phenomenon worthy of study in their own right, the study of generics also has wide‐ranging implications for questions beyond the philosophy of language, including questions in (...) social psychology and cognitive science more generally. The chapter also reviews empirical work on the relationship between generics and cognition. Existing empirical work strongly supports the generics‐as‐defaults hypothesis: the hypothesis that generics reflect a cognitively default, fundamental mode of generalizing in humans. Finally, the chapter elucidates evidence that generic language and generic modes of generalizing play an important role in stereotyping and prejudice. (shrink)

Ergative languages make up a substantial percentage of the world’s languages. They have a case system which distinguishes the subject of a transitive verb from that of an intransitive, grouping the latter with the object — that is, the object of a transitive verb and the subject of an intransitive verb are in the same case, which we refer to as the nominative. However, ergative languages differ from one another in important ways. In Greenlandic Eskimo the nominative, whether it is (...) a subject or an object, is syntactically prominent in the clause, much like a subject in English; but in Warlpiri, the nominative is not prominent, more like an object. The variable prominence of the nominative manifests itself as well in the semantics, e.g., default scope of indefinite and quantified nominals. Using data from Greenlandic Eskimo and Warlpiri, and from Hindi, which represents a split ergative system, this paper develops a general theory of case which explains the observed differences amongst ergative languages. In addition, the theory is designed to account for the accusative language type, represented by English. (shrink)

Pragmatic presuppositions are analyzed considering their relation with the notion of commitment, namely the dialogical acceptance of a proposition by an interlocutor. The attribution of commitments carried out by means of pragmatic presupposition is shown to depend on the reasonableness of the underlying presumptive reasoning, ultimately grounded on hierarchies of presumptions. On this perspective, the ordinary interpretation of pragmatic presuppositions as the “taking for granted” of propositions signaled by semantic or syntactic triggers becomes only the presumptive, prototypical interpretation of a (...) complex linguistic and pragmatic phenomenon. It will be shown how the prototypical interpretation is subject to default in cases of conflicts of presumptions, which lead to reconstructing the speaker’s meaning non-presumptively at a pragmatic, semantic, or syntactic level. The phenomena of presupposition cancellation and neutralization can be explained in terms of presumptive and non-presumptive articulation and interpretation of an utterance, through which the speaker can impose, correct, or refuse implicit commitments. (shrink)

This squib begins with an argument emphasizing that the grammar of English makes a distinction between constituents that are focused and those that are merely new, hence not given. If the distinction is made via features, we need two features: one indicating focus and one indicating either given or new information. Which one of the two? Semantically, the choice doesn’t matter: whatever information is given is not new and the other way round. For the phonology, there is a difference, however. (...) If the prosody of all-new constituents is default prosody, but the prosody of given constituents is special, we would want to indicate givenness, rather than newness. (shrink)

The quantified argument calculus (Quarc) is a novel logic that departs in several ways from mainstream first-order logic. In particular, its quantifiers are not sentential operators attached to variables, but attach to unary predicates to form arguments – quantified arguments – of other predicates. Furthermore, Quarc includes devices to account for anaphora, active-passive-voice distinctions, and sentence- versus predicate-negation. While this base system has already been shown to be sound and complete, modal extensions still lack such results. The present paper fills (...) this lacuna by developing a modal extension of Quarc, including identity. The semantics will invalidate the Quarc-analogues of the Barcan-formula and its converse, as well as treat identity as contingent by default. Furthermore, an unlabelled Gentzen-style natural deduction system will be presented, which includes the full expressive power of Quarc. It will be shown to be strongly sound and complete with respect to relational frames. The paper closes off with considerations on how to extend the system to cover other normal modal logics as well as extensions to suitable three-valued semantics that capture relevant types of presupposition-failure. (shrink)

Hobbs (2010) introduced ‘clause-internal coherence’ (CIC) to describe inferences in, e.g., ‘A jogger was hit by a car,’ where the jogging is understood to have led to the car-hitting. Cohen & Kehler (2021) argue that well-known pragmatic tools cannot account for CIC, motivating an enrichment account familiar from discourse coherence research. An outstanding question is how to compositionally derive CIC from coherence relations. This paper takes strides in answering this question. It first provides experimental support for the existence of CIC (...) via offline evidence that attributive (non-)deverbal adjectives can trigger the same causal inferences within clauses that their predicative counterparts can trigger across clauses, albeit more weakly. To explain the experimental results, we use tools in Segmented Discourse Representation Theory (SDRT), which allows us to show that causal inferences can be derived in various ways, depending on whether deverbal adjectives are used attributively or predicatively. If the former, they are presupposition triggers and the coherence relations Elaboration/Continuation compete with Background; if the latter, Explanation/Result compete with Background. These different competitions -- cashed out in terms of interaction between default axioms -- correlate with the difference in the relative salience of the causal inferences. (shrink)

The Ramsey Test is considered to be the default test for the acceptability of indicative conditionals. I will argue that it is incompatible with some of the recent developments in conceptualizing conditionals, namely the growing empirical evidence for the _Relevance Hypothesis_. According to the hypothesis, one of the necessary conditions of acceptability for an indicative conditional is its antecedent being positively probabilistically relevant for the consequent. The source of the idea is _Evidential Support Theory_ presented in Douven (2008). I (...) will defend the hypothesis against alleged counterexamples, and show that it is supported by growing empirical evidence. Finally, I will present a version of the Ramsey test which incorporates the relevance condition and therefore is consistent with growing empirical evidence for the relevance hypothesis. (shrink)

Both in formal and computational natural language semantics, the classical correspondence view of meaning – and, more specifically, the view that the meaning of a declarative sentence coincides with its truth conditions – is widely held. Truth (in the world or a situation) plays the role of the given, and meaning is analysed in terms of it. Both language and the world feature in this perspective on meaning, but language users are conspicuously absent. In contrast, the inferentialist semantics (...) that Robert Brandom proposes in his magisterial book ‘Making It Explicit’ puts the language user centre stage. According to his theory of meaning, the utterance of a sentence is meaningful in as far as it is a move by a language user in a game of giving and asking for reasons (with reasons underwritten by a notion of good inferences). In this paper, I propose a proof-theoretic formalisation of the game of giving and asking for reasons that lends itself to computer implementation. In the current proposal, I flesh out an account of defeasible inferences, a variety of inferences which play a pivotal role in ordinary (and scientific) language use. (shrink)

John McDowell articulated a radical criticism of normative inferentialism against Robert Brandom’s expressivist account of conceptual contents. One of his main concerns consists in vindicating a notion of intentionality that could not be reduced to the deontic relations that are established by discursive practitioners. Noticeably, large part of this discussion is focused on empirical knowledge and observational judgments. McDowell argues that there is no role for inference in the application of observational concepts, except the paradoxical one of justifying the content (...) of an observational judgment in terms of itself. This paper examines the semantical consequences of the analysis of the content of empirical judgments in terms of their inferential role. These, it is suggested, are distinct from the epistemological paradoxes that McDowell charges the inferentialist approach with. (shrink)

Is the basic mechanism behind presupposition projection fundamentally asymmetric or symmetric? This is a basic question for the theory of presupposition, which also bears on broader issues concerning the source of asymmetries observed in natural language: are these simply rooted in superficial asymmetries of language use— language use unfolds in time, which we experience as fundamentally asymmetric— or can they be, at least in part, directly referenced in linguistic knowledge and representations? In this paper we aim to make progress on (...) these questions by exploring presupposition projection across conjunction, which has typically been taken as a central piece of evidence that presupposition projection is asymmetric. As a number of authors have recently pointed out, however, whether or not this conclusion is warranted is not clear once we take into account independent issues of redundancy. Building on previous work by Chemla & Schlenker (2012) and Schwarz (2015), we approach this question experimentally by using an inference task which controls for redundancy and presupposition suspension. We find strong evidence for left-to-right filtering across conjunctions, but no evidence for right-to-left filtering, suggesting that, at least as a default, presupposition projection across conjunction is indeed asymmetric. (shrink)

Default positions, predetermined starting points that aid in complex decision-making, are common in clinical medicine. In this article, we identify and critically examine common default positions in clinical ethics practice. Whether default positions ought to be held is an important normative question, but here we are primarily interested in the descriptive, rather than normative, properties of default positions. We argue that default positions in clinical ethics function to protect and promote important values in medicine—respect for (...) persons, utility, and justice. Further, default positions in clinical ethics may also guard against harm. Where default positions exist, there are epistemic burdens to overturn them. The person wishing to reject the default position, rather than the person endorsing it, bears this burden. The person who bears the burden of meeting the epistemic requirements must provide evidence proportional to the degree of harm the default position protects against. Default positions that protect against significant harm impose significant epistemic requirements to overturn. This asymmetry not only makes medical decision-making more economical but also serves to promote and protect certain values. The identification and analysis of common and recognizable default positions can help to identify other default positions and the conditions under which their associated epistemic requirements are met. The article concludes with considerations of potential problems with the use of default positions in clinical ethics. (shrink)

Default logic has been a very active research topic in artificial intelligence since the early 1980s, but has not received as much attention in the philosophical literature thus far. This paper shows one way in which the technical tools of artificial intelligence can be applied in contemporary epistemology by modeling a paradigmatic case of deep disagreement using default logic. In §1 model-building viewed as a kind of philosophical progress is briefly motivated, while §2 introduces the case of deep (...) disagreement we aim to model. On the heels of this, §3 defines our formal framework, viz., a refined Horty-style default logic. §4 then uses the framework to model deep disagreement, and finally §5 provides a critical discussion of the result. (shrink)

The default theory of aesthetic value combines hedonism about aesthetic value with strict perceptual formalism about aesthetic value, holding the aesthetic value of an object to be the value it has in virtue of the pleasure it gives strictly in virtue of its perceptual properties. A standard theory of aesthetic value is any theory of aesthetic value that takes the default theory as its theoretical point of departure. This paper argues that standard theories fail because they theorize from (...) the default theory. (shrink)

The notions of inference and default are used in pragmatics with different meanings, resulting in theoretical disputes that emphasize the differences between the various pragmatic approaches. This paper is aimed at showing how the terminological and theoretical differences concerning the two aforementioned terms result from taking into account inference and default from different points of view and levels of analysis. Such differences risk making a dialogue between the theories extremely difficult. However, at a functional level of analysis the (...) different theories, definitions, and approaches to interpretation can be compared and integrated. At this level, the standardization of pragmatic inferences can be regarded as the development of a specific type of presumptions, used to draw prima-facie interpretations. (shrink)

This paper addresses a recent suggestion that moral particularists can extend their view to countenance default reasons (at a first stab, reasons that are pro tanto unless undermined) by relying on certain background expectations of normality. I first argue that normality must be understood non-extensionally. Thus if default reasons rest on normality claims, those claims won't bestow upon default reasons any definite degree of extensional generality. Their generality depends rather on the contingent distributional aspects of the world, (...) which no theory of reasons should purport to settle. Appeals to default reasons cannot therefore uniquely support particularism. But this argument also implies that if moral generalism entailed that moral reasons by necessity have invariant valence (in the natural extensional sense), it would be a non-starter. Since generalism is not a non-starter, my argument forces us to rethink the parameters of the generalism-particularism debate. Here I propose to clarify the debate by focusing on its modal rather than extensional aspects. In closing, I outline the sort of generalism that I think is motivated by my discussion, and then articulate some worries this view raises about the theoretical usefulness of the label ‘default reason’. -/- [Note: The outline of moral generalism provided in this paper is superseded by those in "Moral Generalism: Enjoy in Moderation" and "A Theory of Hedged Moral Principles".]. (shrink)

This paper argues for the reasonableness of an inclusive conception of default reasoning. The inclusive conception allows untriggered default rules to influence beliefs: Since a default “from φ, infer ψ” is a defeasible inference rule, it by default warrants a belief in the material implication φ → ψ, even if φ is not believed. Such inferences are not allowed in standard default logic of the Reiter tradition, but are reasonable by analogy to the Deduction Theorem (...) for classical logic. Our main contribution is a formal framework for inclusive default reasoning. The framework has a solid philosophical foundation, it draws conclusions non-trivially different from non-inclusive frameworks, and it exhibits a host of benchmark properties deemed desirable in the literature—e.g., that extensions always exist and are consistent. (shrink)

Reasoning by default is a relevant aspect of everyday life that has traditionally attracted the attention of many fields of research, from psychology to the philosophy of logic, from economics to artificial intelligence. Also in the field of law, default reasoning is widely used by lawyers, judges and other legal decision-makers. In this paper, a philosopher of language (Carlo Penco) and a philosopher of law (Damiano Canale) attempt to explore some uses of default reasoning that are scarcely (...) considered by legal theory. In particular, the dialogue dwells on the notion of literal meaning, witness testimony, and the problem of disagreement among experts in legal proceedings. The paper is intended as a sort of brain storming useful to identify new lines of research straddling philosophy of law, cognitive psychology and philosophy of language. (shrink)

In this paper, I show that Polleit and Mariano (2011) are right in concluding that Credit Default Swaps (CDS) are per se unobjectionable from Rothbard’s libertarian perspective on property rights and contract theory, but that they fail to derive this conclusion properly. I therefore outline the proper explanation. In addition, though Polleit and Mariano are correct in pointing out that speculation with CDS can conceivably hurt the borrowers’ interests, they fail to grasp that this can be the case only (...) in some peculiar circumstances that I identify. In other words, they miss the bigger picture, the one outside special circumstances, in which CDS trading has the opposite effect. That is, CDS facilitate debt accumulation, including government debt accumulation. Finally, I point out how this can precipitate the collapse of fiat money regimes. An incidental goal of the analysis is to provide a better account than Polleit and Mariano of recent government interventions in and around CDS markets. (shrink)

It may seem that epistemic and practical rationality weigh reasons differently, because ties in practical rationality tend to generate permissions and ties in epistemic rationality tend to generate a requirement to withhold judgment. I argue that epistemic and practical rationality weigh reasons in the same way, but they have different "default biases". Practical rationality is biased toward every option being permissible whereas epistemic rationality is biased toward withholding judgment's being required.

Some theorists have recently raised doubts about much of the experimental evidence purporting to demonstrate the existence of unconscious perception. In our (2019) in this journal, we argued some of these considerations are not decisive. Phillips (forthcoming a) replies thoughtfully to our paper, concluding that he is unconvinced by our arguments. Phillips maintains that the view that perception is invariably conscious remains, as he puts it, the “default” hypothesis both within the folk understanding and experimental study of perception. There (...) is much to agree with in Phillips’ piece, but there remain some substantive points of disagreement, which we outline here. (shrink)

Two semantic paradoxes, the Liar and Curry’s paradox, are analysed using a newly developed conception of procedural semantics (semantics according to which the truth of propositions is determined algorithmically), whose main characteristic is its departure from methodological realism. Rather than determining pre-existing facts, procedures are constitutive of them. Of this semantics, two versions are considered: closed (where the halting of procedures is presumed) and open (without this presumption). To this end, a procedural approach to deductive reasoning is (...) developed, based on the idea of simulation. As is shown, closed semantics supports classical logic, but cannot in any straightforward way accommodate the concept of truth. In open semantics, where paradoxical propositions naturally ‘belong’, they cease to be paradoxical; yet, it is concluded that the natural choice—for logicians and common people alike—is to stick to closed semantics, pragmatically circumventing problematic utterances. (shrink)

In “Is semantics possible?” Putnam connected two themes: the very possibility of semantics (as opposed to formal model theory) for natural languages and the proper semantic treatment of common nouns. Putnam observed that abstract semantic accounts are modeled on formal languages model theory: the substantial contribution is rules for logical connectives (given outside the models), whereas the lexicon (individual constants and predicates) is treated merely schematically by the models. This schematic treatment may be all that is needed for (...) an account of validity in a formal setting, but it does not help to understand how proper and common nouns function in reality (not in models). Putnam then initiated the empirical study of such nouns to indicate, (i), that the popular Frege-Carnap account of them as (“disguised” compound) predicates is empirically incorrect, and, (ii), that they offer a new paradigm for a naturalistic semantics of natural languages. We take Putnam’s program a couple of steps further. First, we investigate the semantics of common nouns and argue that they refer (to kinds), rather than apply by satisfaction/truth to a designation/denotation. Second, we point to general results about semantics as a theory whose fulcrum is the reference relation rather than satisfaction in models and validity across them. (shrink)

I argue that semantics is the study of the proprietary database of a centrally inaccessible and informationally encapsulated input–output system. This system’s role is to encode and decode partial and defeasible evidence of what speakers are saying. Since information about nonlinguistic context is therefore outside the purview of semantic processing, a sentence’s semantic value is not its content but a partial and defeasible constraint on what it can be used to say. I show how to translate this thesis into (...) a detailed compositional-semantic theory based on the influential framework of Heim and Kratzer. This approach situates semantics within an independently motivated account of human cognitive architecture and reveals the semantics–pragmatics interface to be grounded in the underlying interface between modular and central systems. (shrink)

This paper addresses a set-theoretic completeness based on a relational semantics for fuzzy extensions of two versions Rt and R T of R (Relevance logic). To this end, two fuzzy logics FRt and FRT as extensions of Rt and R T, respectively, and the relational semantics, so called Routley-Meyer semantics, for them are first recalled. Next, on the semantics completeness results are provided for them using a set-theoretic way.

Virtual environments engage millions of people and billions of dollars each year. What is the ontological status of the virtual objects that populate those environments? An adequate answer to that question requires a developed semantics for virtual environments. The truth-conditions must be identified for “tree”-sentences when uttered by speakers immersed in a virtual environment (VE). It will be argued that statements about virtual objects have truth-conditions roughly comparable to the verificationist conditions popular amongst some contemporary antirealists. This does not (...) mean that the virtual objects lack ontological standing. There is an important sense in which virtual objects are no less real for being mind-dependent. (shrink)