The rise of causality and the attendant graph-theoretic modeling tools in the study of counterfactual reasoning has had resounding effects in many areas of cognitive science, but it has thus far not permeated the mainstream in linguistic theory to a comparable degree. In this study I show that a version of the predominant framework for the formal semantic analysis of conditionals, Kratzer-style premise semantics, allows for a straightforward implementation of the crucial ideas and insights of Pearl-style causal networks. (...) I spell out the details of such an implementation, focusing especially on the notions of intervention on a network and backtracking interpretations of counterfactuals. (shrink)

This paper investigates what happens when we merge two different lines of theorizing about counterfactuals. One is the comparative closeness view, which was developed by Stalnaker and Lewis in the framework of possible worlds semantics. The second is the interventionist view, which is part of the causal models framework developed in statistics and computer science. Common lore and existing literature have it that the two views can be easily fit together, aside from a few details. I argue that, on (...) the contrary, transplanting causal-models-inspired ideas in a possible worlds framework yields a new semantics. The difference is grounded in different algorithms for handling inconsistent information, hence it touches on issues that are at the very heart of a semantics for contrary-to-fact conditionals. Roughly, Stalnaker/Lewis semantics requires us to evaluate the consequent of a counterfactual at all closest antecedent-verifying possibilities. Causal-models-based semantics also does this, but in addition uses the information contained in the antecedent, together with background causal information, to shift what worlds count as closest. This makes systematically different predictions and generates a new logic. The upshot is that we have a new semantics to study, and a substantial theoretical choice to make. (shrink)

In his original semantics for counterfactuals, David Lewis presupposed that the ordering of worlds relevant to the evaluation of a counterfactual admitted no incomparability between worlds. He later came to abandon this assumption. But the approach to incomparability he endorsed makes counterintuitive predictions about a class of examples circumscribed in this paper. The same underlying problem is present in the theories of modals and conditionals developed by Bas van Fraassen, Frank Veltman, and Angelika Kratzer. I show how to reformulate (...) all these theories in terms of lower bounds on partial preorders, conceived of as maximal antichains, and I show that treating lower bounds as cutsets does strictly better at capturing our intuitions about the semantics of modals, counterfactuals, and deontic conditionals. (shrink)

I argue that classical counterfactual semantics in the style of Stalnaker, Lewis, and Kratzer validates an inference pattern that is disconfirmed in natural language. The solution is to alter the algorithm we use to handle inconsistency in premise sets: rather than checking all maximally consistent fragments of a premise sets, as in Krazter’s semantics, we selectively remove some of the premises. The proposed implementation starts from standard premise semantics and involves a new ‘filtering’ operation (...) that achieves just this removal. The resulting semantics is interestingly related to the semantics for counterfactuals emerging from Judea Pearl’s causal models framework in computer science: in particular, filtering is a possible worlds semantics counterpart of Pearl’s interventions. (shrink)

The article examines some Greek terms in relation to the moral values of ancient Greece. The ethical tradition, generally composed of authors who were not exactly professional philosophers, supplied basic and abundant material for the elaboration of platonic ethics. When dealing with the ancient ethics, it is essential to determine the value and the semantic complexity of the more important values (“competitive” and “collaborative” or “peaceful”) together with the respective implications: the axiologic terms have deeply diverse criteria of application, and (...) the criteria of application of the most important terms reflect beyond doubt and, at the same time, reveal the conception of life of the society in its totality and, therefore, the visions concerning the notion of happiness and good life. (shrink)

This chapter defends the property dualism argument. The term “semantic premise” mentioned is used to refers to an assumption identified by Brian Loar that antiphysicalist arguments, such as the property dualism argument, tacitly assume that a statement of property identity that links conceptually independent concepts is true only if at least one concept picks out the property it refers to by connoting a contingent property of that property. It is argued that, the property that does the work in explaining (...) the possibility of a posteriori identities need not be a first-order property of the referent in question. On his view, the property dualism argument requires only a weaker semantic premise, which allows that the property in question be a higher order property. A refined version of the property dualism argument is formulated, which uses the weaker premise, and defends the argument against various objections. (shrink)

David Chalmers argues that zombies are possible because they are ideally conceivable and that therefore consciousness does not supervene on the physical. In this paper I discuss the most influential criticism of the conceivability-possibility principle in the current literature. According to that criticism, the conceivability-possibility principle is unjustified because it depends on a certain unjustified assumption concerning the semantic conditions under which necessary statements can be true a posteriori, namely that a posteriority is due to contingency at the reference-fixing level, (...) so that a necessary statement can be true a posteriori only if at least one of the concepts flanking the identity sign refers contingently. (shrink)

1. The primary evidence and motivation for externalism in the philosophy of mind is provided by the semantic facts that support direct reference theories of names, indexi- cal pronouns, and natural kind terms. But many externalists have forgotten their sem- antic roots, or so I shall contend here. I have become convinced of this by a common reaction among externalists to the main argument of my 1991 paper AAnti-Individual- ism and Privileged Access.@ In that argument, I concluded that externalism is (...) incompat- ible with the principle that we can have privileged, non-empirical knowledge of the contents of our own thoughts. The reaction in question amounts to a dismissive denial of one of my argument=s main premises. This premise, which I defended at length in the paper, is that an externalist thesis regarding a cognitive property should hold that possession of the property by a person _logically_, or _conceptually_, implies the existence of objects external to that person. (shrink)

In the paper, certain rational postulates for protocols describing real communicating are introduced.These rational postulates, on the one hand, allow assigning a certain typology of real systems of interactions, which is consistent with the reality of epistemic argumentation in systems of communicating, and on the other one – defining rules of using argumentation in real situations. Moreover, the presented postulates for protocols characterize information networks and administering knowledge in real interactivity systems. Due to the epistemic character of the considerations, the (...) problem undertaken in the paper concerns working out fundamental assumptions that refer to building of epistemic logics. They allow establishing the correctness of the discourse defined by rational postulates of protocols of real communication. In the context of the presented problem there are the following two research questions distinguished: 1) How do we determine the rule of building of real dynamic epistemic logics? and 2) How should we define semantics for these logics? Within the framework of considerations relating to the research questions asked, certain epistemic operators, relativized to types of communicating, are introduced. Basic logical relations between using these operators are established for these operators. The relations are presented by a diagram called the square of epis temic operators. On the basis of these logical relations some axioms for real dynamic epistemic logics are presented. The semantics of real dynamic epistem ic logics is extended by the methods of lower and upper approximation of formula evaluating. This allows defining ‘approximation Kripke models’. The results of conceptualization of knowledge on real premises of epistemic argum entation presented in this paper can be applied to rhetoric in real systems of interaction. (shrink)

In constructing semantic theories of normative and evaluative terms, philosophers have commonly deployed a certain type of disagreement -based argument. The premise of the argument observes the possibility of genuine disagreement between users of a certain normative or evaluative term, while the conclusion of the argument is that, however differently those speakers employ the term, they must mean the same thing by it. After all, if they did not, then they would not really disagree. We argue that in many (...) of the cases in which this argument is deployed, the conclusion not only fails to follow from the premises, but is very likely false. Disagreements between speakers who do not mean the same things by their words are common, genuine, and not easily distinguished from ordinary disagreements over the truth of literally expressed content. We make this case by developing the notion of a metalinguistic negotiation, an exchange in which speakers tacitly negotiate the proper deployment of some linguistic expression in a context. Metalinguistic negotiations express disagreements over information that is conveyed pragmatically and about what concepts should be deployed in the context at hand. We argue that neither of these features poses any obstacle to metalinguistic negotiations serving to express genuine, substantive disagreements that can be well worth engaging in. Contrary to what has been widely assumed in the literature, many normative and evaluative disputes—among ordinary speakers and even among philosophers themselves—may be of exactly this type, a conclusion with important consequences for both the subject matter and the methodology of metanormative theory. (shrink)

This note is a reply to ‘On the Lumping Semantics of Counterfactuals’ by Makoto Kanazawa, Stefan Kaufmann and Stanley Peters. It shows first that the first triviality result obtained by Kanazawa, Kaufmann, and Peters is already ruled out by the constraints on admissible premise sets listed in Kratzer (1989). Second, and more importantly, it points out that the results obtained by Kanazawa, Kaufmann, and Peters are obsolete in view of the revised analysis of counterfactuals in Kratzer (1990, 2002).

The book contains essays in honor of Victor Raskin. The contributions are all directly related to some of the major areas of work in which Raskin's scholarship has spanned for decades. The obvious connecting idea is the encyclopedic script-based foundation of lexical meaning, which informs his pioneering work in semantics in the 1970s and 1980s. The first part of the book collects articles directly concerned with script-based semantics, which examine both the theoretical and methodological premises of the idea (...) and its applications. Script-based semantics is the foundation of both Raskin's ground-breaking work in humor research (addressed by the articles in part 2) and in Ontological semantics (addressed in part 3), the most recent development of script-based semantics. The fourth part is dedicated to a less-known, but equally important, strand of Raskin's research, the applications of linguistics to other fields, including writing, lexicography, and professional applications (e,g., tourism). Overall, the book provides and up-to-date, in-depth discussion of an influential strand of the discussion on semantics and its most recent developments and influence on other seemingly unrelated fields, such as Cognitive Linguistics. (shrink)

Informational semantics were first developed as an interpretation of the model-theory of substructural (and especially relevant) logics. In this paper we argue that such a semantics is of independent value and that it should be considered as a genuine alternative explication of the notion of logical consequence alongside the traditional model-theoretical and the proof-theoretical accounts. Our starting point is the content-nonexpansion platitude which stipulates that an argument is valid iff the content of the conclusion does not exceed the (...) combined content of the premises. We show that this basic platitude can be used to characterise the extension of classical as well as non-classical consequence relations. The distinctive trait of an informational semantics is that truth-conditions are replaced by information-conditions. The latter leads to an inversion of the usual order of explanation: Considerations about logical discrimination (how finely propositions are individuated) are conceptually prior to considerations about deductive strength. Because this allows us to bypass considerations about truth, an informational semantics provides an attractive and metaphysically unencumbered account of logical consequence, non-classical logics, logical rivalry and pluralism about logical consequence. (shrink)

Here the relationship between understanding and knowledge of meaning is discussed from two different perspectives: that of Dummettian semantic anti-realism and that of the semantic externalism of Putnam and others. The question addressed is whether or not the truth of semantic externalism would undermine a central premise in one of Dummetts key arguments for anti-realism, insofar as Dummetts premise involves an assumption about the transparency of meaning and semantic externalism is often taken to undermine such transparency. Several notions (...) of transparency and conveyability of meaning are distinguished and it is argued that, though the Dummettian argument for anti-realism presupposes only a weak connection between knowledge of meaning and understanding, even this much is not trivially true in light of semantic externalism, and that semantic externalism, if true, would thus represent a reason for rejecting the crucial assumption on which the Dummettian argument depends. (shrink)

This paper argues that several leading theories of subjunctive conditionals are incompatible with ordinary intuitions about what credences we ought to have in subjunctive conditionals. In short, our theory of subjunctives should intuitively display semantic humility, i.e. our semantic theory should deliver the truth conditions of sentences without pronouncing on whether those conditions actually obtain. In addition to describing intuitions about subjunctive conditionals, I argue that we can derive these ordinary intuitions from justified premises, and I answer a possible worry (...) for my derivation by refuting a subjunctive triviality result modeled on (Lewis 1976). I conclude that the debate over the correct theory of subjunctive conditionals requires settling meta-philosophical questions about the relative value of various virtues of first-order theories of subjunctive conditionals. (shrink)

Lewis (1981) showed the equivalence between two dominant semantic frameworks for counterfactuals: ordering semantics, which relies on orders between possible worlds, and premise semantics, which relies on sets of propositions (so-called ordering sources). I define a natural, restricted version of premise semantics, expressible premise semantics, which is based on ordering sources containing only expressible propositions. First, I extend Lewis’ (1981) equivalence result to expressible premise semantics and some corresponding expressible version of (...) ordering semantics. Second, I show that expressible semantics are strictly less powerful than their nonexpressible counterparts, even when attention is restricted to the truth values of expressible counterfactuals. Assuming that the expressibility constraint is natural for premise semantics, this result breaks the equivalence between ordering semantics and (expressible) premise semantics. Finally, I show that these results cast doubt on various desirable conjectures, and in particular on a particular defense of the so-called limit assumption. (shrink)

The semantic view of computation is the claim that semantic properties play an essential role in the individuation of physical computing systems such as laptops and brains. The main argument for the semantic view rests on the fact that some physical systems simultaneously implement different automata at the same time, in the same space, and even in the very same physical properties. Recently, several authors have challenged this argument. They accept the premise of simultaneous implementation but reject the semantic (...) conclusion. In this paper, I aim to explicate the semantic view and to address these objections. I first characterize the semantic view and distinguish it from other, closely related views. Then, I contend that the master argument for the semantic view survives the counter-arguments against it. One counter-argument is that computational individuation is not forced to choose between the implemented automata but rather always picks out a more basic computational structure. My response is that this move might undermine the notion of computational equivalence. Another counter-argument is that while computational individuation is forced to rely on extrinsic features, these features need not be semantic. My reply is that the semantic view better accounts for these extrinsic features than the proposed non-semantic alternatives. (shrink)

The general issue addressed in this dissertation is: what do the models of formal model-theoretic semantics represent? In chapter 2, I argue that those of first-order classical logic represent meaning assignments in possible worlds. This motivates an inquiry into what the interpretations of first-order quantified model logic represent, and in Chapter 3 I argue that they represent meaning assignments in possible universes of possible worlds. A possible universe is unpacked as one way model reality might be. The problem arises (...) here as to how we are to understand the distinction between the actual and the possible as it relates to modal reality. ;Along with the development of the main arguments in Chapters 2 and 3, the dissertation assesses the status of semantic accounts or logical properties and relations. Specifically, what does the model-theoretic account of a logically possible situation add to the syntactic account ? ;Proofs of invalidity in terms of the models of formal semantics do not establish that it is possible for the premises to be true and the conclusion false, since a formal model is merely given by a consistent set of sentences. Unless there is some way to generate a non-formal model from a formal one, such proofs do not really go beyond syntactic notions. The dissertation ends by concluding that there is no way to generate a non-formal model from a formal one without relying on logical intuitions that are syntactical. ;Hence efforts to construct a semantic basis for model logic independent of syntactic commitments are misguided. However, in classical logic the independence of the semantic account from the syntactic one is grounded on the intuition that it is metaphysically possible for there to be a denumerably infinite totality of objects. (shrink)

There has been considerable work on practical reasoning in artificial intelligence and also in philosophy. Typically, such reasoning includes premises regarding means–end relations. A clear semantics for such relations is needed in order to evaluate proposed syllogisms. In this paper, we provide a formal semantics for means–end relations, in particular for necessary and sufficient means–end relations. Our semantics includes a non-monotonic conditional operator, so that related practical reasoning is naturally defeasible. This work is primarily an exercise in (...) conceptual analysis, aimed at clarifying and eventually evaluating existing theories of practical reasoning (pending a similar analysis regarding desires, intentions and other relevant concepts). (shrink)

According to the thesis of semantic underdetermination, most sentences of a natural language lack a definite semantic interpretation. This thesis supports an argument against the use of natural language as an instrument of thought, based on the premise that cognition requires a semantically precise and compositional instrument. In this paper we examine several ways to construe this argument, as well as possible ways out for the cognitive view of natural language in the introspectivist version defended by Carruthers. Finally, we (...) sketch a view of the role of language in thought as a specialized tool, showing how it avoids the consequences of semantic underdetermination. (shrink)

This paper presents a uniform semantic treatment of nonmonotonic inference operations that allow for inferences from infinite sets of premises. The semantics is formulated in terms of selection functions and is a generalization of the preferential semantics of Shoham (1987), (1988), Kraus, Lehman, and Magidor (1990) and Makinson (1989), (1993). A selection function picks out from a given set of possible states (worlds, situations, models) a subset consisting of those states that are, in some sense, the most preferred (...) ones. A proposition α is a nonmonotonic consequence of a set of propositions Γ iff α holds in all the most preferred Γ-states. In the literature on revealed preference theory, there are a number of well-known theorems concerning the representability of selection functions, satisfying certain properties, in terms of underlying preference relations. Such theorems are utilized here to give corresponding representation theorems for nonmonotonic inference operations. At the end of the paper, the connection between nonmonotonic inference and belief revision, in the sense of Alchourrón, Gärdenfors, and Makinson, is explored. In this connection, infinitary belief revision operations that allow for the revision of a theory with a possibly infinite set of propositions are introduced and characterized axiomatically. (shrink)

A coherence-based probability semantics for categorical syllogisms of Figure I, which have transitive structures, has been proposed recently (Gilio, Pfeifer, & Sanfilippo [15]). We extend this work by studying Figure II under coherence. Camestres is an example of a Figure II syllogism: from Every P is M and No S is M infer No S is P. We interpret these sentences by suitable conditional probability assessments. Since the probabilistic inference of ~????|???? from the premise set {????|????, ~????|????} is (...) not informative, we add ????(????|(????∨????))>0 as a probabilistic constraint (i.e., an “existential import assumption”) to obtain probabilistic informativeness. We show how to propagate the assigned (precise or interval-valued) probabilities to the sequence of conditional events (????|????,~????|????,????|(????∨????)) to the conclusion ~????|???? . Thereby, we give a probabilistic meaning to the other syllogisms of Figure II. Moreover, our semantics also allows for generalizing the traditional syllogisms to new ones involving generalized quantifiers (like Most S are P) and syllogisms in terms of defaults and negated defaults. (shrink)

Quine’s way of dealing with the semantical paradoxes (Ways of Paradox, pp. 9-10) is criticized. The criticism is based on three premises: (1) no learnable language has infinitely many semantical primitives; (2) any language of which Quine’s theory is true has infinitely many semantical primitives; (3) English is a learnable language. The conclusion drawn is that Quine’s theory is not true of English.

Is it possible to give a justification of our own practice of deductive inference? The purpose of this paper is to explain what such a justification might consist in and what its purpose could be. On the conception that we are going to pursue, to give a justification for a deductive practice means to explain in terms of an intuitively satisfactory notion of validity why the inferences that conform to the practice coincide with the valid ones. That is, a justification (...) should provide an analysis of the notion of validity and show that the inferences that conform to the practice are just the ones that are valid. Moreover, a complete justification should also explain the purpose, or point, of our inferential practice. We are first going to discuss the objection that any justification of our deductive practice must use deduction and therefore be circular. Then we will consider a particular model of justificatory explanation, building on Georg Kreisel’s concept of informal rigour. Finally, in the main part of the paper, we will discuss three ideas for defining the notion of validity: (i) the classical conception according to which the notion of (bivalent) truth is taken as basic and validity is defined in terms of the preservation of truth; (ii) the constructivist idea of starting instead with the notion of (a canonical) proof (or verification) and define validity in terms of this notion; (iii) the idea of taking the notions of rational acceptance and rejection as given and define an argument to be valid just in case it is irrational to simultaneously accept its premises and reject its conclusion (or conclusions, if we allow for multiple conclusions). Building on work by Dana Scott, we show that the last conception may be viewed as being, in a certain sense, equivalent to the first one. Finally, we discuss the so-called paradox of inference and the informativeness of deductive arguments. (shrink)

We propose an approach to natural language inference based on a model of natural logic, which identifies valid inferences by their lexical and syntactic features, without full semantic interpretation. We greatly extend past work in natural logic, which has focused solely on semantic containment and monotonicity, to incorporate both semantic exclusion and implicativity. Our system decomposes an inference problem into a sequence of atomic edits linking premise to hypothesis; predicts a lexical entailment relation for each edit using a statistical (...) classifier; propagates these relations upward through a syntax tree according to semantic properties of intermediate nodes; and composes the resulting entailment relations across the edit sequence. We evaluate our system on the FraCaS test suite, and achieve a 27% reduction in error from previous work. We also show that hybridizing an existing RTE system with our natural logic system yields significant gains on the RTE3 test suite. (shrink)

Putnam’s vat argument is intended to show that I am not a permanently envatted brain. The argument holds promise as a response to vat scepticism, which depends on the claim that I do not know that I am not a permanently envatted brain. However, there is a widespread idea that the vat argument cannot fulfil this promise, because to employ the argument as a response to vat scepticism I would have to make assumptions about the content of the premises and/or (...) conclusion of the argument that beg the question against the sceptic. In this paper, I show that this idea is mistaken. (shrink)

The New Semantics (NS) introduced by Kripke and Putnam is often thought to block antiphysicalist arguments that involve an inference from an explanatory gap to a failure of supervenience. But this “NS Rebuttal” depends upon two assumptions that are shown to be dubious. First, it assumes that mental-kind terms are among the kinds of terms to which NS analysis is properly applied. However, there are important differences in this regard between the behavior of notions like ‘pain’ and notions like (...) ‘water’, as Kripke himself has argued. Second, even on the assumption that NS analysis is appropriate to mental-kind terms, it is further assumed that this would block the anti-physicalist premise that an abiding and principled explanatory gap would entail a failure of metaphysical supervenience. But the paradigm examples of NS analysis show nothing of the sort. What they show is that there are a posteriori necessities (e.g., “water contains hydrogen”) that cannot be inferred from the sense of natural kind terms. But they do not show that such necessities cannot be derived from an adequate scientific understanding of the phenomena in question. Indeed, such derivations are often available with kinds like water, but seem unavailable with mental kinds like ‘pain’ and ‘belief’. (shrink)

This study examined the hypothesis that a key process in conditional reasoning with concrete premises involves on-line retrieval of information about potential alternate antecedents. Participants were asked to solve reasoning problems with causal conditional premises (If cause P then effect Q). These premises were inserted into short contexts. The availability of potential alternatives was varied from one context to another by adding statements that explicitly invalidated one or more of these alternatives (i.e., other causes that lead to the effect Q). (...) The invalidated alternatives differed in the degree of their semantic association to the consequent term (Q). The results show that the effect of invalidating one or more potential alternatives on the two uncertain logical forms, AC and DA, was largely determined by their relative associative strength. These results strongly support a model for conditional reasoning with causal premises that supposes that a key element in responding to the uncertain logical forms is on-line retrieval of at least one potential alternative antecedent. (shrink)

This paper offers a general model of the semantics of lexicalized social meanings, i.e. semiotic properties of certain expressions in a socio-political context. Examples include slurs, problematically charged expressions such as inner city, as well as terms such as mother, which also carry implicit ideological associations. Insofar as their linguistic properties are concerned, social meanings can be construed as context-structuring devices: without introducing specific at-issue contents, they evoke background assumptions which shape the context of conversation. An inferentialist model of (...) discourse is developed to account for this effect, in which the discursive significance of an utterance is defined as the set of inferences it licenses relative to a discursive context. A discursive context is a set of propositions that can serve as auxiliary premises in material inferences, together with a salience ranking that makes some of these propositions more readily available and therefore more relevant to determining discursive significance. Social meanings are defined as functions on discursive contexts that modify the salience ranking, increasing the salience of certain assumptions and stereotypes. As a result, they impact the discursive significance of utterances indirectly and independently of at-issue contents. They are also largely independent of speaker intentions in virtue of the ideological nature of discursive contexts. (shrink)

One of the central issues in modern linguistics has been the relationship between syntax and semantics. Within the framework of generative grammar, established by Chomsky in the early 1960s, it has been assumed that syntax is distinct from, and independent of, semantics. This premise has been challenged recently by Chomsky himself; he now proposes semantics, and in particular thematic roles, as the basis for generating syntactic structures. Yael Ravin argues that thematic roles are not valid semantic (...) entities, and that syntax and semantics are indeed autonomous and independent of one another. She advocates a Decompositional approach to lexical semantics, in the spirit of Katz's semantic theory. In the course of her argument she discusses theoretical issues such as indeterminacy and ambiguity, lexical configuration rules, and lexical projection, and analyses the semantic content of event concepts such as causation, action, and change. (shrink)

Summary. This paper proposes a common framework for various probabilistic logics. It consists of a set of uncertain premises with probabilities attached to them. This raises the question of the strength of a conclusion, but without imposing a particular semantics, no general solution is possible. The paper discusses several possible semantics by looking at it from the perspective of probabilistic argumentation.

: According to the thesis of semantic underdetermination, most sentences of a natural language lack a definite semantic interpretation. This thesis supports an argument against the use of natural language as an instrument of thought, based on the premise that cognition requires a semantically precise and compositional instrument. In this paper we examine several ways to construe this argument, as well as possible ways out for the cognitive view of natural language in the introspectivist version defended by Carruthers. Finally, (...) we sketch a view of the role of language in thought as a specialized tool, showing how it avoids the consequences of semantic underdetermination. (shrink)

More than a century ago, G. E. Moore famously offered an extended inference to reject what are in effect two substantially different types of ethical naturalism. Although some naturalistic doctrines targeted by that inference make semantic claims that, if true, would entail certain metaphysical claims, it is also possible that those semantic doctrines could be false and the metaphysical ones true at the same time. For if semantic naturalism is true, then moral terms and sentences are reducible, by an analysis (...) of what they mean, into some purely descriptive terms and sentences. But, if metaphysical naturalism is true, then the moral properties and propositions expressed by moral terms and sentences are reducible to purely natural properties and propositions. By conflating claims about meaning with claims about reference, Moore‟s original inference proved vulnerable to a number of well known objections. But we believe there is a revised Moorean inference that can succeed, and we offer that argument here. Its scope is restricted to semantic reductivist forms of ethical naturalism: those that rest on theses claiming the reducibility of expressions in the moral vocabulary to expressions in a non-moral one. A not uncommon philosophical view in Moore‟s day, such theses remain live options in metaethics (as we‟ll presently show). Although our inference is run for some putative equivalences between moral and purely descriptive terms, it could easily be adapted against ethical naturalist theses 1 involving moral concepts and thoughts as well as sentences. Like Moore, we take the successful inference to consist in an open question argument („OQA’) followed by the naturalistic-fallacy charge („NFC‟). But, unlike Moore, we identify semantic naturalism as the only naturalistic doctrine vulnerable to the inference, and we offer adequate support for the inference‟s premises. Naturalism in ethics is thus undermined, though not refuted in all its forms: semantical naturalism comes out false, but metaphysical naturalism might still be true.. (shrink)

This paper will look at three closely interrelated questions about necessary a posteriori identities, in particular concerning natural kinds. First-ly, what is the semantic phenomenon responsible for a posteriori necessities in general, and theoretical identity statements concerning natural kinds in particular? I will argue that rigidity, as it is usually defined, cannot do the job for theoretical identity statements. Rather, a posteriori necessities are grounded in a semantic phenomenon that I have in earlier work called actuality-dependence. Secondly, what is the (...) basis for this semantic phenomenon? In other words, what makes a given expression actuality-dependent, and thereby fit for appearing in a posteriori necessities? I will argue that actuality-dependence is grounded in our linguistic patterns and dispositions of application and interpretation. Thirdly and finally, what does this tell us about what essences are, and how we possess knowledge of them? I will claim that the view I am proposing gives direct support to a conferralist view of essences, at least when it comes to natural kinds. Moreover, the explanation of a posteriori necessities does not rely on independent essentialist premises; however, it does rely on essentialist beliefs or expectations on the part of ordinary speakers. (shrink)

Any inferential system in which the addition of new premises can lead to the retraction of previous conclusions is a non-monotonic logic. Classical conditional probability provides the oldest and most widely respected example of non-monotonic inference. This paper presents a semantic theory for a unified approach to qualitative and quantitative non-monotonic logic. The qualitative logic is unlike most other non- monotonic logics developed for AI systems. It is closely related to classical (i.e., Bayesian) probability theory. The semantic theory for qualitative (...) non-monotonic entailments extends in a straightforward way to a semantic theory for quantitative partial entailment relations, and these relations turn out to be the classical probability functions. (shrink)

The description of named entities in terminological knowledge bases has never been addressed in any depth in terminology. Firm preconceptions, rooted in philosophy, about the only referential function of proper names have presumably led to disparage their inclusion in terminology resources, despite the relevance of named entities having been highlighted by prominent figures in the discipline of terminology. Scholars from different branches of linguistics depart from the conservative stance on proper names and have foregrounded the need for a novel approach, (...) more linguistic than philosophical, to describing proper names. Therefore, this paper proposed a linguistic and terminological approach to the study of named entities when used in scientific discourse, with the purpose of representing them in EcoLexicon, an environmental knowledge base designed according to the premises of Frame-based Terminology. We focused more specifically on named rivers mentioned in a coastal engineering corpus. Inclusion of named entities in terminological knowledge bases requires analyzing the context that surrounds them in specialized texts because these contexts convey specialized knowledge about named entities. For the semantic representation of context, this paper thus analyzed the local syntactic and semantic contexts that surrounded potamonyms in coastal engineering texts and described the semantic annotation of the predicate-argument structure of sentences where a potamonym was mentioned. The semantic variables annotated were the following: semantic category of the arguments; semantic role of the arguments; semantic relation between the arguments; and lexical domain of the verbs. This method yielded valuable insight into the different semantic roles that named rivers played, the entities and processes that participated in the events educed by potamonyms through verbs, and how they all interacted. Furthermore, since arguments are specialized terms and verbs are relational constructs, the analysis of argument structure led to the construction of semantic networks that depicted specialized knowledge about named rivers. These conceptual networks were then used to craft the thematic description of potamonyms. Accordingly, the semantic network and the thematic description not only constituted the representation of a potamonym in EcoLexicon, but also allowed the geographic contextualization of specialized concepts in the terminological resource. (shrink)

The classification-cum-explanation Kripke assigns to rigidity requires the notion to apply to singular and general terms alike. But Kripke's own notion of rigidity is tailor-made for singular terms, and an extensive debate has not secured a general notion of rigidity apt to provide the classification-cum-explanation Kripke aims for. I propose that we look for a Kripkean alternative to generalized rigidity. I argue that on Kripkean premises, natural kind terms and proper names belong to the meta-semantic category of paradigm terms. I (...) also argue that the property of being a paradigm term effects precisely the classification-cum-explanation Kripke attributes to rigidity. I conclude that Kripkeans should acknowledge that being a paradigm term, rather than designating rigidly, plays the role Kripke delineates, and that we can stop worrying about generalizing rigidity. Kripke's notion works fine for singular terms. And there is no need for rigidity to apply beyond these. (shrink)

In this paper, I argue that informational semantics, the most well-known and worked-out naturalistic account of intentional content, conflicts with a fundamental psychological principle about the conditions of belief-formation. Since this principle is an important premise in the argument for informational semantics, the upshot is that the view is self-contradictory??indeed, it turns out to be guilty of a sophisticated version of the fallacy famously committed by Euthyphro in the eponymous Platonic dialogue. Criticisms of naturalistic accounts of content (...) typically proceed piecemeal by narrowly constructed counterexamples, but I argue that the current result is more robust. It affects a broad family of accounts, and provokes a wider doubt about the possibility of successful execution of the naturalistic project. (shrink)

Frege's thesis that each singular term has a sense that determines its reference and serves as its cognitive value has come to be widely doubted. Saul Kripke argued that since names are rigid designators, their referents are not determined by senses. David Kaplan has argued that the rigid designation of indexical terms entails that they also lack referent–determining senses. Kripke's argument about names and Kaplan's argument about indexical terms differ, but each contains a false premise. The referents of both (...) names and indexical terms are determined by reflexive senses. It is reflexive sense that makes these terms rigid designators. (shrink)

Frege's thesis that each singular term has a sense that determines its reference and serves as its cognitive value has come to be widely doubted. Saul Kripke argued that since names are rigid designators, their referents are not determined by senses. David Kaplan has argued that the rigid designation of indexical terms entails that they also lack referent–determining senses. Kripke's argument about names and Kaplan's argument about indexical terms differ, but each contains a false premise. The referents of both (...) names and indexical terms are determined by reflexive senses. It is reflexive sense that makes these terms rigid designators. (shrink)

This essay addresses one of the open questions of proof-theoretic semantics: how to understand the semantic values of atomic sentences. I embed a revised version of the explanatory proof system of Millson and Straßer (2019) into the proof-theoretic semantics of Francez (2015) and show how to specify (part of) the intended interpretation of atomic sentences on the basis of their occurrences in the premises and conclusions of inferences to and from best explanations.

The paper analyses theoretical presuppositions of the predominant form of semantic naturalism in contemporary analytic philosophy. The aim is to show that irrespective of the fact that the doctrine of semantic naturalism is grounded in ontological and epistemological naturalism, and is developed on the basis of semantic externalism, this conception of foundational semantics rests on internalist premises, and therefore should be construed as Cartesian. Theories and their interrelations that are assumed by semantic naturalism are explicated by relying on the (...) tripartite interpretation of “the problem of intentionality”. The Cartesian aspects of the assumed theories – and thus of the form of semantic naturalism that is analysed – are then specified in the context of Hilary Putnam’s version of semantic externalism. (shrink)

The paper highlights proof-theoretic semantics as providing natural resources for capturing semantic variation in natural language. The semantic variations include:Distinction between extensional predication and attribution to intensional transitive verbs a non-specific object.Omission of a verbal argument in a transitive verb.Obtaining sameness of meaning of sentences with transitive verbs with omitted object and existentially quantified object.Blocking unwarranted entailments in adjective–noun combinations.Capturing quantifier scope ambiguity.Obtaining context dependent quantifier domain restriction. The proof-theoretic resources employed to capture the above semantic variations include:The use (...) of different kinds of formal parameters and different ways of binding them to predicates.Omission of a premise from a proof-rule.Basing meanings on derivations in meaning-conferring proof-systems.Appealing to substructurality of I/E-rules.Controlling the order of rule applications in derivations.Controlling the open formulas participating in a context within a sequent. (shrink)

Modus ponens provides the central theme. There are laws, of the form A→C. A logic L collects such laws. Any datum A provides input to the laws of L. The central ternary relation R relates theories L,T and U, where U consists of all of the outputs C got by applying modus ponens to major premises from L and minor premises from T. Underlying this relation is a modus ponens product operation on theories L and T, whence RLTU iff LTU. (...) These ideas have been expressed, especially with Routley, as worlds semantics for relevant and other substructural logics.Worlds are best demythologized as theories, subject to truth-functional and other constraints. The chief constraint is that theories are taken as closed under logical entailment, which clearly begs the question if we are using the semantics to determine which theory L is Logic itself. Instead we draw the modal logicians’ conclusion—there are many substructural logics, each with its appropriate ternary relational postulates.Each logic L gives rise to a Calculus of L-theories, on which particular candidate logical axioms have the combinatorial properties expected from the well-known Curry–Howard isomorphism . We apply their bubbling lemma, updating the Fools Model of Combinatory Logic at the pure → level for the system BT. We make fusion an explicit connective, proving a combinator correspondence theorem. Having taken relevant → as a left residual for , we explore its right residual mate →r. Finally we concentrate on and prove a finite model property for the classical minimal relevant logic CB, a conservative extension of the minimal positive relevant logic B+. (shrink)

The structure of strategies for semantical games is studied by means of a new formalism developed for the purpose. Rigorous definitions of strategy, winning strategy, truth, and falsity are presented. Non-contradiction and bivalence are demonstrated for the truth-definition. The problem of the justification of deduction is examined from this perspective. The rules of a natural deduction system are justified: they are seen to guarantee existence of a winning strategy for the defender in the semantical game for the conclusion, given winning (...) strategies for that player in the games for the premises. Finally, it is shown how semantical games and the truth-definition can be given for languages lacking individual constants. *** DIRECT SUPPORT *** AZ902009 00003. (shrink)

We give a simple definition of validity for syllogisms involving necessary and assertoric premises which validates all and only the Aristotelian apodeictic syllogisms.

In the work of both Matti Eklund and John Hawthorne there is an influential semantic argument for a maximally expansive ontology that is thought to undermine even modest forms of quantifier variance. The crucial premise of the argument holds that it is impossible for an ontologically "smaller" language to give a Tarskian semantics for an ontologically "bigger" language. After explaining the Eklund-Hawthorne argument (in section I), we show this crucial premise to be mistaken (in section II) by (...) developing a Tarskian semantics for a mereological universalist language within a mereological nihilist language (a case which we, and Eklund and Hawthorne, take as representative). After developing this semantics we step back (in section III) to discuss the philosophical motivations behind the Eklund- Hawthorne argument’s demand for a semantics. We ultimately conclude that quantifier variantists can meet any demand for a semantics that might reasonably be imposed upon them. (shrink)

Fictional Discourse: A Radical Fictionalist Semantics combines the insight of linguistic and philosophical semantics with the study of fictional language. Its central idea is familiar to anyone exposed to the ways of narrative fiction, namely the notion of a fictional teller. Starting with premises having to do with fictional names such as 'Holmes' or 'Emma', Stefano Predelli develops Radical Fictionalism, a theory that is subsequently applied to central themes in the analysis of fiction. Among other things, he discusses (...) the distinction between storyworlds and narrative peripheries, the relationships between homodiegetic and heterodiegetic narrative, narrative time, unreliability, and closure. The final chapters extend Radical Fictionalism to critical discourse, as Predelli introduces the ideas of critical and biased retelling, and pauses on the relationships between Radical Fictionalism and talk about literary characters. (shrink)