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 (...) class='Hi'>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)

We present a novel semantic and conversational framework for a class of gradable-like constructions. These include metalinguistic comparatives, like "Ann is more a linguist than a philosopher", as well as metalinguistic equatives, degree modifications, and conditionals. To the extent previous literature discusses such metalinguistic gradability, the focus has been on comparatives. We extend our account of metalinguistic comparatives (Rudolph & Kocurek 2020) to cover a broader range of metalinguistic gradable constructions. On our semantic expressivist (...) view, these all serve in various ways to express speakers' relative commitments to different linguistic interpretations. (shrink)

This paper sets out the felicity conditions for metalinguistic proposals, a type of directive illocutionary act. It discusses the relevance of metalinguistic proposals and other metalinguistic directives for understanding both small- and large-scale linguistic engineering projects, essentially contested concepts, metalinguistic provocations, and the methodology of ordinary language philosophy. Metalinguistic proposals are compared with other types of linguistic interventions, including metalinguistic negotiation, conceptual engineering, lexical warfare, and ameliorative projects.

In componential analysis, word meanings are (partly) decomposed into other meanings, and semantic and syntactic markers. Although a theory of word meaning based on such semantic decompositions remains compatible with the linguistic labor division thesis, it is not compatible with Kripke/Putnam-style indexical externalism. Instead of abandoning indexical externalism, a Separation Thesis is defended according to which lexical meaning need not enter the truth-conditional content of an utterance. Lexical meaning reflects beliefs about word meaning shared in a speaker community, and these (...) may rest on possibly erroneous world-level theories. It is argued that this type of lexical meaning is indispensable for explaining word composition processes and the rationality of metalinguistic disputes. (shrink)

This is a discussion of different ways of working out the idea that the semantic paradoxes show that natural languages are somehow “inconsistent”. I take the workable form of the idea to be that there are expressions such that a necessary condition of understanding them is that one be inclined to accept inconsistent claims (an conception also suggested by Matti Eklund). I then distinguish “simple” from “complex” forms of such views. On a simple theory, such expressions are meaningless, while on (...) a complex theory they are not. I argue that complex theories are incompatible with truth conditional semantics and that simple theories are only coherent when the inconsistent claims are metalingusitic attributions of meaning. I close with a discussion of the version of the simple metalinguistic theory I have defended in “Understanding the Liar” and other papers. (shrink)

In both philosophical and linguistic research, the explicit cancelability test is widely used to distinguish semantic contents from conversational implicatures. Assuming a straightforward relation between semantic content and explicit cancelability, a researcher might think that: if the proposition _p_ is expressed semantically by an utterance, then _p_ is not explicitly cancelable. In this paper, however, I argue for two amendments to this assumption. First, following Jerrold Sadock, I argue that the semantic content of an ambiguous utterance may be explicitly cancelable. (...) Against this widely accepted view, a recent paper by Arthur Sullivan argues that the ambiguity problem should be rejected. I respond to Sullivan’s arguments and argue that the ambiguity problem remains despite Sullivan’s objections. Second, I argue that there is also another type of case complicating the relation between semantic content and explicit cancelability. In some cases where an utterance of a sentence _s_ semantically expresses the proposition that _p_, certain resources that speakers have available for metalinguistic communication may be employed to make _p_ satisfy a sufficient condition for explicit cancelability, although _s_ is not ambiguous. These two weaknesses of the explicit cancelability test have important implications for its diagnostic use. (shrink)

Two of the major problems in AGM-style belief revision, namely the difficulties in accounting for iterated change and for Ramsey test conditionals, have satisfactory solutions in descriptor revision. In descriptor revision, the input is a metalinguistic sentence specifying the success condition of the operation. The choice mechanism selects one of the potential outcomes in which the success condition is satisfied. Iteration of this operation is unproblematic. Ramsey test conditionals can be introduced without giving rise to the paradoxical (...) results that they generate in other systems. In addition to standard Ramsey test conditionals, a more general variant of epistemic conditionals is defined, representing statements of the form ”if the belief state is changed to satisfy condition A then it will satisfy condition B”. An axiomatic characterization of such descriptor conditionals is presented. It is related in intricate ways to the KLM postulates for cumulative reasoning. (shrink)

The aim of this paper is to provide arguments based on linguistic evidence that discard a truth-conditional analysis of slurs and pave the way for more promising approaches. We consider Hom and May’s version of TCA, according to which the derogatory content of slurs is part of their truth-conditional meaning such that, when slurs are embedded under semantic operators such as negation, there is no derogatory content that projects out of the embedding. In order to support this view, Hom and (...) May make two moves: they point to cases where it looks like projection does not occur and they try to explain away cases where projection seems to occur by appealing to a pragmatic phenomenon that they call ‘offense’. Pace Hom and May, we argue that the derogatory content of slurs does in fact project and, in advocating for our claim, we show that those cases where it looks like projection does not occur are in fact metalinguistic uses in which slurs are not really used, by relying on three linguistic tests ; and we refute Hom and May’s attempt to explain why speakers would entertain the supposedly wrong intuition that the derogatory content of slurs projects out of semantic embedding, by focusing on the case of slurs for fictional entities. We conclude that Hom and May’s strategies to support TCA ultimately fail. (shrink)

Conceptual engineering involves revising our concepts. It can be pursued as a specific philosophical methodology, but is also common in ordinary, non-philosophical, contexts. How does our capacity for conceptual engineering fit into human cognitive life more broadly? I hold that conceptual engineering is best understood alongside practices of conceptual exploration, examples of which include conceptual supposition (i.e. suppositional reasoning about alternative concepts), and conceptual comparison (i.e. comparisons between possible concept choices). Whereas in conceptual engineering we aim to change the concepts (...) we use, in conceptual exploration, we reason about conceptual possibilities. I approach conceptual exploration via the linguistic tools we use to communicate about concepts, using metalinguistic negotiation, convention-shifting conditionals, and metalinguistic comparatives as my key examples. I present a linguistic framework incorporating conventions that can account for this communication in a unified way. Furthermore, I argue that conceptual exploration helps undermine skepticism about conceptual engineering itself. (shrink)

The problem of value disagreement and contextualist, relativist and metalinguistic attempts of solving it are laid out. Although the metalinguistic account seems to be on the right track, it is argued that it does not sufficiently explain why and how disagreements about the meaning of evaluative terms are based on and can be decided by appeal to existing social practices. As a remedy, it is argued that original suggestions from Putnam's 'The Meaning of "Meaning"' ought to be taken (...) seriously. The resulting dual aspect theory of meaning can explain value disagreement in much the same way as it deals with disagreement about general terms. However, the account goes beyond Putnam's by not just defending a version of social externalism, but also defending the thesis that the truth conditional meaning of many evaluative terms is not fixed by experts either and instead constantly contested as part of a normal function of language. (shrink)

Are the words that a novelist uses adequate to his or her elusive subject&—the human condition? Are they pertinent, accurate, invariably fair, unflinchingly honest? Or do the novelist's words execute essentially formal maneuvers, engaging our interest through their patterns rather than their reach? And what about a possible third, synthesizing option? Robert W. Greene discovers that the two apparently divergent intentions in question (metalinguistic vs. moralistic) often paradoxically coexist in French fiction. Also, no doubt because it is more consistently (...) self-conscious than that of any previous era, the fiction of twentieth-century France seems to illustrate this convergence with special brillance. From L'lmmoralist (1902) to L'Usage de la parole (1980) Greene explores combinations and permutations of moralistic analysis and metalinguistic commentary in a particular sequence of prose narrative. Along the way, he observes Gide, Proust, Malraux, Camus, Duras, and Sarraute, each in his or her own fashion, moving ceaselessly back and forth between soundings of the heart and diagnoses of the tongue. (shrink)

The term 'covert mixed quotation' describes cases in which linguistic material is interpreted in the manner of mixed quotation — that is, used in addition to being mentioned — despite the superficial absence of any commonly recognized conventional devices indicating quotation. After developing a novel theory of mixed quotation, I show that positing covert mixed quotation allows us to give simple and unified treatments of a number of puzzling semantic phenomena, including the projective behavior of conventional implicature items embedded in (...) indirect speech reports and propositional attitude ascriptions, so-called 'c-monsters,' metalinguistic negation, metalinguistic negotiation, and 'in a sense' constructions. (shrink)

This contribution addresses the issue of one of the instances of non-standard negation, the so-called expletive negation (EN). Though it discusses data from a variety of languages, it mainly concentrates on Italian, proposing that the behavior of EN in comparative, exclamative and temporal clauses warrants an analysis of EN in terms of an operator of implicature denial. This approach derives the fact that EN is truth-conditionally irrelevant from the fact that the semantics of negation as a truth-value reversal operator is (...) shifted, in the case of EN, to the layer of implicated meaning. The analysis has a number of interesting consequences for the notion of metalinguistic negation. It further derives many of the interpretive effects normally linked to the so-called evaluative analysis of EN, and is compatible with a new set of data showing that EN scopally interacts with other negative elements. Finally, the proposal advanced here has a number of non-trivial implications regarding the relation between morphosyntax and the systems of interpretation, potentially affecting the standard view of language within cognition. (shrink)

A descriptor is a set of sentences that are truth-functional combinations of expressions of the form \ , where \ is a metalinguistic belief predicate and p a sentence in the object language in which beliefs are expressed. Descriptor revision ) is an operation of belief change that takes us from a belief set K to a new belief set \ where \ is a descriptor representing the success condition. Previously studied operations of belief change are special cases of (...) descriptor revision, hence sentential revision can be represented as \ , contraction as \ , multiple contraction as \ , replacement as \ , etc. General models of descriptor revision are constructed and axiomatically characterized. The common selection mechanisms of AGM style belief change cannot be used, but they can be replaced by choice functions operating directly on the set of potential outcomes . The restrictions of this construction to sentential revision ) and sentential contraction give rise to operations with plausible properties that are also studied in some some detail. (shrink)

Whenever we make a claim about a fictional entity, we seem to embroil ourselves in familiar problems of reference. This appearance is misleading, because what a sentence is about bears a greater resemblance to a Fregean sense than to a reference. All previous attempts to define 'about' consist of two approaches: "metalinguistic" theories of 'about', proposed by Ryle and Carnap, which fail to counterexamples wherein transparent contexts generate paradoxical consequences; and "semantic" theories of 'about' proposed by Putnam and by (...) Goodman, which fail to counterexamples wherein no term refers to that which the sentence is about. ;An untried alternative is to replace 'S is about k ' with 'S is about k for person p '. Clearly, such a definition need not confine itself to sentences, but may apply to works of art as well. A detailed examination of how one actually goes about arguing to an audience that some work of art W is about some topic, yields a definition that approximates normal usage, yet avoids many problematic notions, such as 'beliefs', 'ideas', and 'intentional states'. Necessary and sufficient truth conditions for 'W is about k for p at time T' turn out to include as major elements a causal chain leading from W to a set of "explicit thoughts" and dispositions, and the lack of an "aesthetic environment" which excludes W. (shrink)

ABSTRACT This article proposes an interpretation of the ideas of Ferdinand de Saussure and Mikhail Bakhtin that seeks to relate them not through an epistemological point of view, but based on a concept proposed by Henri Meschonnic, according to which one author can be linked to another without an explicit reference to an affiliation between them. The starting point is a comment made by Bakhtin about the translation of François Rabelais’ work into Russian, which Meschonnic cites in his anti-structuralist interpretation (...) of Saussure. Finally, a reflection is made on the relevance of addressing metalinguistic comments that discuss the condition of the speaker, which can be the object of an enunciative-anthropological theorization. (shrink)

The dominant view maintains that names are directly referring, rigid terms, the primary function of which is to designate an individual. But, as has long been noted, proper names also allow for predicative uses and combine with quantifiers and definite, indefinite, and numerical determiners. Any adequate semantic account of proper names thus must make sense not just of their referential uses but also of their seemingly predicative ones. Predicativists maintain that such uses manifest a name’s semantically encoded, predicative meaning, while (...) the directly referential theorists argue that they involve polysemic or pragmatic, metalinguistic re-interpretations. But while competing accounts differ radically in their analyses of such uses, they all, in the wake of Kripke’s attack on descriptivism, share a common feature: they interpret a predicative use of a name N as expressing (either semantically or pragmatically) the property of being called N. I argue that no such account of predicative uses currently on offer is successful. Indeed, adequately characterizing being called condition is more difficult than has been appreciated. The best attempt—on predicative and directly referential accounts alike—leaves a surprising consequence: names are ambiguous in a way unlike any other we witness with other kinds of lexical items. (shrink)

This is a discussion of different ways of working out the idea that the semantic paradoxes show that natural languages are somehow “inconsistent”. I take the workable form of the idea to be that there are expressions such that a necessary condition of understanding them is that one be inclined to accept inconsistent claims (an conception also suggested by Matti Eklund). I then distinguish “simple” from “complex” forms of such views. On a simple theory, such expressions are meaningless, while on (...) a complex theory they are not. I argue that complex theories are incompatible with truth conditional semantics and that simple theories are only coherent when the inconsistent claims are metalingusitic attributions of meaning. I close with a discussion of the version of the simple metalinguistic theory I have defended in “Understanding the Liar” and other papers. (shrink)

In her recent defense of predicativism for proper names, Delia Graff Fara proposes the following non-metalinguistic being-called condition for the applicability of names as predicates: A name ‘N’ is true of a thing if and only if it is called N. The BCC is supposed to hold for names only. In this essay I criticize Fara’s BCC by arguing that the word ‘called’ is ambiguous, and that the BCC holds only for the particular sense of ‘calling’ as naming. I (...) revise accordingly Fara’s BCC and propose in its place a non-metalinguistic being-named condition. I also argue, against Fara, that being-named conditions are not unique to proper names: they hold for mass nouns, common count nouns, as well as for family names, which I distinguish from surnames. Finally, I discuss honorific titles and propose a being-entitled condition according to which a title ‘T’ is true of a thing just in case it is dubbed T. I conclude the paper with pragmatic, syntactic, as well as semantic considerations in favor of the thesis that names are a subspecies of non-hereditary, honorific titles. (shrink)

Purpose: The purpose of this study is to better understand the characteristics of the language-related skills of bilingual children with specific learning disorders. The aim is achieved by analyzing language-related skills in a sample of bilingual and Italian monolingual children, with and without SLD.Patients and methods: A total of 72 minors aged between 9 and 11 were recruited and divided into four groups: 18 Italian monolingual children with SLD, 18 bilingual children with SLD, 18 Italian monolingual children without SLD, and (...) 18 bilingual children without SLD. Each child underwent tests to evaluate different aspects of language skills: lexical and grammar, metalanguage and executive functions.Results: With regard to lexical and grammatical skills, the conditions of SLD and bilingualism both impact naming in terms of total number of errors for words with low frequency of use, while the condition of SLD has an effect on semantic errors for words with low frequency of use. The condition of bilingualism impacts on the total errors for words with high frequency of use and on circumlocution-type errors for words with low frequency of use. There were significant effects of bilingualism and SLD on the metalinguistic test for understanding implicit meaning, and an impact of SLD on phonological awareness was also found.Conclusion: The results suggest that both SLD and bilingualism have an effect on some lexical skills, in particular for words with low frequency of use. Both conditions, bilingualism and SLD, seem to impact on metalinguistic abilities that depend on lexical knowledge. These findings reinforce the importance of improving understanding of the neuropsychological profile of bilingual children with SLD. (shrink)

The aim of this paper is to consider some logical aspects of the debate between the view that the present is the only 'real' time, and the view that the present is not in any way metaphysically privileged. In particular I shall set out a language of first-order predicate tense logic with a now predicate, and a first order (extensional) language with an abstraction operator, in such a way that each language can be shewn to be exactly translatable into the (...) other. I shew that this translation is preserved at the metalinguistic level, so that equivalent truth conditions can be defined in a tensed metalanguage or an indexical metalanguage. I then make some remarks about the connection between proofs of relative consistency and metaphysical truth; and some historical remarks about Arthur Prior's use of formal logic in expressing his presentist views. (shrink)

The paper develops a speech act-based model of verbal irony. It argues, first, that ironic utterances are speech actions performed as conforming to a socially accepted procedure and, second, that they are best understood as so-called etiolated uses of language. The paper is organized into four parts. The first one elaborates on Austin's doctrine of the etiolations of language and distinguishes between the normal or serious mode of communication and its etiolated mode. The second part discusses the dominant approaches to (...) verbal irony and argues that the irony-as-a-trope theories can be viewed as attempts to describe ironic utterances as cases of normal speech, whereas the metalinguistic theories seem to treat them as etiolated uses of language. The third part proposes a set of felicity conditions for ironic acts and puts forth a hypothesis that echo and overt pretence are complementary techniques of linguistic etiolation used for ironizing. The fourth part uses the proposed model to discuss the social dimension of ironizing and argues that utterances intended as acts of ironizing may trigger the accommodating process of context-repair. The take-home message is that ironic utterances are essentially social actions: acts performed by invoking a socially accepted procedure. (shrink)

The search for definitions is ubiquitous in Sanskrit philosophy. In many texts across traditions, we find philosophers presenting their theories by laying down definitions of key theoretical categories, by testing those definitions, and by refuting competing definitions of the same theoretical categories. Call this the method of definitions. The aim of this essay is to explore a challenge that arises for this method: the paradox of definitions. It arises from the claim that the method of definitions is either (i) redundant (...) because it does not provide us any knowledge that we did not already possess, or (ii) impossible to successfully pursue because it leads to an infinite regress. Neither of these alternatives should be acceptable to the defender of this method. To focus our discussion, I will show how this challenge arose for—and was arguably resolved by—early Nyāya-Vaiśeṣika thinkers active in the first millennium CE and at the very beginning of the second millennium. In response to the paradox of definitions, these Nyāya-Vaiśeṣika thinkers claimed that the purpose of a definition is to remove either metaphysical ignorance about the distinction between theoretically significant kinds or kind-membership, or metalinguistic ignorance about the meaning or the application-conditions of theoretically significant terms. I will show how this discussion helps us to ward off certain misconceptions about the method of definitions in Nyāya-Vaiśeṣika. (shrink)

We present a procedure which allows us to recover classical and nonclassical logical structures as concrete logics associated with physical theories expressed by means of classical languages. This procedure consists in choosing, for a given theory ${{\mathcal{T}}}$ and classical language ${{\fancyscript{L}}}$ expressing ${{\mathcal{T}}, }$ an observative sublanguage L of ${{\fancyscript{L}}}$ with a notion of truth as correspondence, introducing in L a derived and theory-dependent notion of C-truth (true with certainty), defining a physical preorder $\prec$ induced by C-truth, and finally selecting (...) a set of sentences ϕ V that are verifiable (or testable) according to ${{\mathcal{T}}, }$ on which a weak complementation ⊥ is induced by ${{\mathcal{T}}. }$ The triple $(\phi_{V},\prec,^{\perp})$ is then the desired concrete logic. By applying this procedure we recover a classical logic and a standard quantum logic as concrete logics associated with classical and quantum mechanics, respectively. The latter result is obtained in a purely formal way, but it can be provided with a physical meaning by adopting a recent interpretation of quantum mechanics that reinterprets quantum probabilities as conditional on detection rather than absolute. Hence quantum logic can be considered as a mathematical structure formalizing the properties of the notion of verification in quantum physics. This conclusion supports the general idea that some nonclassical logics can coexist without conflicting with classical logic (global pluralism) because they formalize metalinguistic notions that do not coincide with the notion of truth as correspondence but are not alternative to it either. (shrink)

As anyone who has ever seriously attempted to analyze the semantico-epistemological status of scientific theories has soon discovered, it is not easy to reconcile the belief that theoretical terms have genuine cognitive properties with the empiricist tenet that all knowledge derives from experience. Even if it be granted that knowledge can originate in experience without being about experience, it still remains to develop a coherent metalinguistic account of the truth-conditions of theoretical propositions and the designata of denotative expressions in (...) the theory language. In a recent article, “On the use of Hilbert's e-operator in scientific theories” [1], Carnap has broadened his analysis of theories to include provision for the referential properties of individual theoretical terms. But while his account focuses more closely than ever upon the fundamental semantical problems of a theory language, his specific proposals amount to a repudiation of the very logical empiricism which he has so strongly championed these many years. In what follows, I use Carnap's notation and terminology throughout. (shrink)

One of the main arguments in favor of metalinguistic predicativism is the uniformity argument. The article discusses one of its premises, according to which the Being Called Condition gives the literal meaning of proper names. First, the uniformity argument is presented. Second, the article examines a challenge by Jeshion and a recent response by Tayebi. It is then argued that Tayebi’s response is unsound. Finally, two sets of facts are discussed, which provide independent evidence against the literal meaning thesis.

This paper addresses a difficult passage from Aristotle’s Metaphysics (V. 4, 1015a11-13) in which he identifies a metaphorical use of the term “nature” (phusis) to refer to the entities which he calls “substances” (ousiai). I claim that the passage at stake deploys the very notion of metaphor on the basis of an analogy (as defined in the Poetics and in the Rhetorics), which is grounded on a weak (and, sometimes, very weak) similarity between two relations (each involving two relata). The (...) sentences found in 1015a11-13 belong to those kind of metalinguistic sentences which we usually employ to shed some light on the metaphorical use of a term. The similarity Aristotle is presupposing is this: both nature and substance are, in their respective fields, some kind of principle that guarantees (besides other things) certain persistence conditions for what they are the principles of. And this weak similarity is enough for the term “nature” to refer metaphorically to substances. (shrink)

Blockage revision is a version of descriptor revision, i.e. belief change in which a belief set K is changed with inputs whose success conditions are metalinguistic expressions containing the belief predicate \. This is a highly general framework that allows a single revision operator \ to take inputs corresponding to sentential revision ), contraction ) as well as more complex and composite operations. In blockage revision, such an operation is based on a relation \ of blockage among the set (...) of potential outcomes. \ signifies that if X satisfies the success condition of a belief change, then Y cannot be its outcome. The properties of blockage revision are investigated, and conditions on the blocking relation are specified that characterize various properties of the resulting operation of change. (shrink)

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

A comprehensive theory ofeven if needs to account for consequent ‘entailing’even ifs and in particular those of theif-focused variety. This is where the theory ofeven if ceases to be neutral between conditional theories. I have argued thatif-focusedeven ifs,especially if andonly if can only be accounted for through the suppositional theory ofif. Furthermore, a particular interpretation of this theory — the conditional assertion theory — is needed to account foronly if and a type of metalinguistic negation ofQ if P. We (...) therefore have evidence that the currently accepted approaches to conditionals are basically wrong about the semantic forms they attribute toif P, Q.11. (shrink)

The history of contemporary modal logic dates back to the writings of C. S. Lewis in the early part of this century. Since then, a growing body of literature has attested to professional interest in the area, and in a number of related issues in philosophical logic which have received wide attention. The recent development of powerful formal techniques for modal system building, together with an increasing interest in modal logic as a tool for philosophical analysis, have created a need (...) for an up-to-date text to introduce students to this material. Snyder's book attempts to answer this need. Assuming an understanding of elementary propositional logic, Snyder introduces a reductive technique called cancellation for detecting the theorems of a system of logic. This technique, analogous to the construction of Smullyan trees but more compact, is extended to modal and quantified contexts. Cancellation versions of the systems M and Mn of G. H. von Wright, and S4 and S5 of Lewis are developed. Snyder uses a Hintikka type of semantics, showing how the various formal systems are differentiated at the semantic level by differing conditions which must be imposed on the model systems used as interpretations for them. These model systems, and the conditions imposed upon them, are in turn described by means of a metalanguage which is essentially first-order quantificational logic. The power of this technique stems from the fact that for every object language formula of a system, there is a corresponding formula in the metalanguage which describes the conditions an interpretation must meet in order to satisfy the original formula. The conditions that the interpretations of a given system of logic must meet are reflected in this metalanguage as "antecedent assumptions," and these in turn correspond to cancellation rules for the object language. This correspondence is constructed in such a way that the metalinguistic counterpart of each theorem of the system will be a theorem of first-order logic. Snyder's primary interest is in showing how modal logic can be used, with the help of these techniques, to build a large variety of formal systems and to "tailor" such systems to meet a variety of analytical tasks. Simple modal systems are developed for the articulation of a number of modal concepts, in addition to the classic alethic ones. Examples are taken from temporal, deontic, and epistemic logic to show how specific interpretations of the meanings of the relevant operators lead to the incorporation of appropriate conditions in the formal systems used to articulate them. An entire chapter is devoted to a discussion of the paradoxes of material and strict implication, and to an attempt to articulate the notion of entailment through the development of formal systems which include a dyadic modal operator that is free of these paradoxes. The final chapter discusses such classical issues as proper names, reference, fictional entities, definite descriptions, and existence presuppositions. Appendices deal with such matters as the equivalence of the cancellation systems to more classical axiomatic-deduction systems, and the sketch of a proof of soundness and completeness for all the modal systems presented. While designed as a text, this volume should be of interest to both logicians and those working in metaphysics and language analysis, since the primary concern of the author is to develop techniques that will facilitate the usefulness of modal logic as a tool for philosophical analysis. The instructor's manual contains many suggestions derived from the author's experience in teaching this non-standard treatment of the subject.--K. T. (shrink)

A course-grained theory of event individuation is defended by arguing that events are spatiotemporal particulars with an ontological affinity to coarse-grained physical objects and by demonstrating that the metalinguistic correlate to one set of adequate identity conditions for events is most plausibly iterpreted as coarsely individuating events. Such coarse-grained events, it is argued, do admit of divisibility proliferation, much like the proliferation of physical objects entailed by Goodman's calculus of individuals. This coase-grained, divisibility proliferation account of events is then (...) used to resolve Davidson's paradox concerning the poisoned space traveller who is killed long befor he dies. (shrink)

The so-called ‘type method’ widely employed in biological taxonomy is often seen as conforming to the causal-historical theory of reference. In this paper, I argue for an alternative account of reference for biological nomenclature in which taxon names are understood as descriptive names. A descriptive name, as the concept came to be known from the work of Gareth Evans, is a referring expression introduced by a definite description. There are three main differences between the DN and the causal account. First, (...) according to the DN account, rather than fixing a name to a referent, the assignment of a type specimen to serve as the name-bearer for a taxon should be seen as performatively establishing a synonymy between a name and a definite description of the form “the taxon whose type is t”. Each taxon name is therefore associated with a criterion of application, a semantic rule that establishes the connection between the name and the descriptive content. This is the second major difference from the causal account: taxon names do have some descriptive content associated with them. The final locus of dissent concerns the strength of the modality resulting from the usage of taxon names. In order to address this point, I use the DN account to focus on the debate between Matt Haber and Joeri Witteveen concerning misidentification of type specimens, misapplication of names, and the truth conditions of Joseph LaPorte’s de dicto necessary sentence “Necessarily, any species with a type specimen contains its type specimen”. Using a pragmatic variant of the distinction between attributive and referential uses of descriptions, I argue that a metalinguistic version of the de dicto sentence is in fact falsified, as previously argued by Haber. (shrink)

Social objects have become common subjects of interest to both social ontologists and conceptual engineers, but up to this point much of the philosophical work from these two fields has surprisingly been done in isolation from each field. I show how these prolific research fields—social ontology, conceptual engineering, and conceptual ethics—can mutually benefit each other through a unifying model I propose called the 2D-CE model that shows the dependence relations between a given concept, its instantiation conditions, and whatever language represents (...) such devices. This model combines a model from social ontology with insights from conceptual engineering and conceptual ethics into a powerful metaphilosophical tool that highlights the role of social agents for metaphysical and metalinguistic explanation. A major benefit of the model is its utility for not only social philosophy, but for other areas of research beyond the social world. (shrink)

Michael Dummett has long argued that we should ascribe implicit knowledge of a meaning-theory to speakers, and that the task of a theory of meaning is to tell us what such knowledge consists in. But he also sees it as a problem that how implicit knowledge is actually used, that is, how a speaker's metalinguistic knowledge of a meaning-theory issues or delivers the speaker's knowledge of meanings of utterances (the delivery problem). In this paper 1argue that Dummett's instrumental construal (...) of implicit knowledge does not and cannot solve the delivery problem. However, I do not suggest Dummett to modify or abandon his instrumental construal; rather, I think he can dissolve the delivery problem by recognizing that knowledge of semantics for a language is not a necessary condition for mastering a language. 1 shall argue this point through Davidson's attitude towards the role of linguistic knowledge and his thesis in his (in)famous paper "A Nice Derangement of Epitaphs.". (shrink)

The standard view about counterfactuals is that a counterfactual (A > C) is true if and only if the A-worlds most similar to the actual world @ are C-worlds. I argue that the worlds conception of counterfactuals is wrong. I assume that counterfactuals have non-trivial truth-values under physical determinism. I show that the possible-worlds approach cannot explain many embeddings of the form (P > (Q > R)), which intuitively are perfectly assertable, and which must be true if the contingent falsity (...) of (Q > R) is to be explained. If (P > (Q > R)) has a backtracking reading then the contingent facts that (Q > R) needs to be true in the closest P-worlds are absent. If (P > (Q > R)) has a forwardtracking reading, then the laws required by (Q > R) to be true in the closest P-worlds will be absent, because they are violated in those worlds. Solutions like lossy laws or denial of embedding won't work. The only approach to counterfactuals that explains the embedding is a pragmatic metalinguistic approach in which the whole idea that counterfactuals are about a modal reality, be it abstract or concrete, is given up. (shrink)

This paper excavates a debate concerning the claims of ordinary language philosophers that took place during the middle of the last century. The debate centers on the status of statements about ‘what we say’. On one side of the debate, critics of ordinary language philosophy argued that statements about ‘what we say’ should be evaluated as empirical observations about how people do in fact speak, on a par with claims made in the language sciences. By that standard, ordinary language philosophers (...) were not entitled to the claims that they made about what we would say about various topics. On the other side of the debate, defenders of the methods of ordinary language philosophy sought to explain how philosophers can be entitled to statements about what we would say without engaging in extensive observations of how people do in fact use language. In this paper, I defend the idea that entitlement to claims about what we say can be had in a way that doesn’t require empirical observation, and I argue that ordinary language philosophers are engaged in a different project than linguists or empirically minded philosophers of language, which is subject to different conditions of success. (shrink)

The work of scientists and doctors in advancing genetic research and its applications has been accompanied by plenty of discussion in the popular press—from Good Housekeeping and Forbes to Ms. and the Congressional Record—about such ...

In previous published research (“Conditionals and Inferential Connections: A Hypothetical Inferential Theory,” Cognitive Psychology, 2018), we investigated experimentally what role the presence and strength of an inferential connection between a conditional’s antecedent and consequent plays in how people process that conditional. Our analysis showed the strength of that connection to be strongly predictive of whether participants evaluated the conditional as true, false, or neither true nor false. In this article, we re-analyse the data from our previous research, now focussing (...) on the semantics of conditionals rather than on how they are processed. Specifically, we use those data to compare the main extant semantics with each other and with inferentialism, a semantics according to which the truth of a conditional requires the presence of an inferential connection between the conditional’s component parts. (shrink)

This book contends that insufficient attention has been paid to the syntax of conditionals, as investigated by linguists.

The fact that the standard probabilistic calculus does not define probabilities for sentences with embedded conditionals is a fundamental problem for the probabilistic theory of conditionals. Several authors have explored ways to assign probabilities to such sentences, but those proposals have come under criticism for making counterintuitive predictions. This paper examines the source of the problematic predictions and proposes an amendment which corrects them in a principled way. The account brings intuitions about counterfactual conditionals to bear on (...) the interpretation of indicatives and relies on the notion of causal (in)dependence. (shrink)

This chapter was written in 2013 and was posted in the Semantics Archive in January 2014. The preprint of the published version has been in the Semantics Archive since 2016. The Semantics Archive is an electronic preprint archive hosted by the Linguistics Society of America. -/- The chapter looks at indicative conditionals embedded under quantifiers, with a special emphasis on ‘one-case’, episodic, conditionals as in "No query was answered if it came from a doubtful address." It agrees with (...) earlier assessments that a complete conditional (with antecedent and consequent) is embedded under a quantifier in those constructions, but then proceeds to create a dilemma by showing that we can’t always find the right interpretation for that conditional. Contrary to earlier assessments, Stalnaker’s conditional won’t always do. The paper concludes that the embedded conditional in the sentence above is a material implication, but the "if"-clause also plays a pragmatic role in restricting the domain of the embedding quantifier. That an appeal to pragmatics should be necessary at all goes with Edgington’s verdict that “we do not have a satisfactory general account of sentences with conditional constituents.” -/- One of the conclusions drawn at the end of the chapter is that the English modal "will" should be given a Stalnaker selection function analysis. The idea is implemented by attaching to "will" an accessibility function variable that receives its value from the context of use and can be dynamically updated by preceding "if"-clauses, as proposed in von Fintel (1994). The argument for a Stalnaker selection function analysis of "will" provided by the paper is that, together with the restrictor analysis of "if"-clauses, it yields the correct truth-conditions for "will"-conditionals (as opposed to episodic, 'one case', conditionals) embedded under quantifiers. The proposal that the English modal "will" should be given a Stalnaker selection function analysis has since been taken up and elaborated considerably in Cariani & Santorio's (2018) paper on "will" in Mind, and is a central idea in Cariani's (2021) book The Modal Future. (shrink)

This paper presents a new theory of the truth conditions for indicative conditionals. The theory allows us to give a fairly unified account of the semantics for indicative and subjunctive conditionals, though there remains a distinction between the two classes. Put simply, the idea behind the theory is that the distinction between the indicative and the subjunctive parallels the distinction between the necessary and the a priori. Since that distinction is best understood formally using the resources of two-dimensional (...) modal logic, those resources will be brought to bear on the logic of conditionals. (shrink)

Based on the new experimental evidence, we argue that a link between a conditional antecedent and the consequent is semantically expressed rather than pragmatically conveyed. In our paper, we focus on particular kinds of links which conditionals may convey in a context. For instance, a conditional ‘If p, q’ may convey a thought equivalent to ‘p will cause q’, ‘p is the best explanation for q’, ‘q follows from p’, etcetera. The traditional theoretical literature on conditionals seems to (...) imply that these specific links are generated pragmatically and are akin to conversational implicatures. In order to test this hypothesis, we used a well-recognized linguistic test from ‘reinforceability’, which serves to distinguish between a semantic and pragmatic level of meaning, and we designed an experimental study based on that test. The outcome of our study is that specific links conveyed by conditionals exhibit features of semantic entailments rather than conversational implicatures. This result accords with some of the recent findings in empirical investigations on conditionals. In the final part of our paper, we discuss various accounts of conditionals which can accommodate the results of our study. (shrink)