This contribution aims at providing an argumentative method to account for epistemic modality and evidentiality. I claim that these two linguistic categories can work as semantic components of defeasible argumentative schemes based on classification processes. This kind of approximate reasoning is, in fact, frequently indicated by appearance verbs which signal that the inferred standpoint is conceived by the speaker as uncertain due to the deceiving nature of perceptual data. Drawing from an analysis at the semantic-argumentative interface, the way (...) in which prototype theory sheds light on the processes of meaning construction underlying defeasible arguments from definition is also shown. (shrink)

There are two problematic assumptions in Kripke’s semantic argument against descriptiv­ism. Assumption 1 is that the referential relation between a name and its bearer is only a metaphysical relation between language and the world; it has nothing to do with our public linguistic practice. Assumption 2 is that if name N has its meaning and the meaning is given by one description or a cluster of descriptions, the description(s) should supply the necessary and sufficient condition for determining what (...) N designates; it is possible for us to find out such a condition for fixing the referent of N. Emphasizing the sociality, conventionality and historicity of language and meaning, this paper criticizes Assumption 1 and Assumption 2, and concludes that Kripke’s semantic argument fails. (shrink)

There are two problematic assumptions in Kripke’s semantic argument against descriptivism. Assumption 1 is that the referential relation of a name to an object is only an objective or metaphysical relation between language and the world; it has nothing to do with the understanding of the name by our linguistic community. Assumption 2 is that descriptivism has to hold that, if name a has its meaning and the meaning is given by one description or a cluster of descriptions, (...) the description should supply a set of necessary and sufficient conditions for determining what a designates; and that it is possible for us to find out such a setof conditions. Emphasizing the sociality, intentionality, conventionality and historicity of language and meaning, this paper rejects Assumption 1, and argues that Assumption 2 is an unfair interpretation of descriptivism, and it is not necessary for descriptivists to hold Assumption 2. This paper finally concludes that Kripke’s semantic argument against descriptivism fails. (shrink)

The aim of this article is to show how modifications of meaning can influence argumentation. I present the basic concept of so-called ‘semantic argumentation,’ its definition, and its different variants. I analyse the various kinds of argument in which meanings of terms are modified in support of a persuasive goal. The analysis of different semantic arguments reveals certain structures and patterns that are needed to construct a typology of such arguments. I thus outline a basic concept of (...) argumentation based on modifications of meaning, before presenting various examples of such arguments together with an analysis of their structures, and then, finally, constructing a typology for them. (shrink)

I argue that Judith Jarvis Thomson's attack on consequentialism, premised on the semantic claim that all goodness is goodness-in-a-way, is less powerful and less precisely targeted than she supposes. For we can develop an argument against pure obligation or categorical imperatives that is largely parallel to Thomson's argument against pure goodness. The right response to both arguments is that the existence of pure goodness or pure obligation is neither semantically rule out nor semantically guaranteed.

우리의 믿음, 욕구, 의도 등은 주관적인 성격을 갖는다. 예컨대, 우리는 존재하지 않는 대상에 대하여도 주관적으로 믿고, 생각하고, 욕구하고, 의도할 수 있다. 그리고 이와 같은 현상은 이러한 심적 태도의 내용이 외적 세계와 독립적으로, 즉 순수히 개인 내적으로 결정된다는 내재론적 직관을 이해할 수 있게 하여준다. 심성 내용이 내재적으로 결정된다는 전통적 견해는 그러나 버지(T. Burge)에 의해 촉발된 소위 심성 내용 외재론 논의에 의해 오늘날 심각하게 도전을 받고 있다. 버지는 퍼트남(H. Putnam)이 제시한 의미 외재론 논증을 응용하여, 의미뿐 아니라 심성 내용 역시 필연적으로 외적 세계의 (...) 인과적, 사회적 관계에 의존한다고 주장한다. 본 논문은 이 주장을 비판적으로 검토한다. 구체적으로, 이러한 주장을 위해 버지가 제시한 형태의 외재론 논증을 비판적으로 분석하고 그것이 충분한 설득력을 가지지 않음을 보이고자 한다. 이를 위해 본 논문은 우선, 심성 내용 외재론 논증이 전형적으로 어떤 형태를 취하는지 구체적으로 살펴보고, 이를 통해 심성 내용 외재론이 궁극적으로 의미론적 근거에 토대하고 있다는 것을 보일 것이다. 다음으로, 심성 내용에 대한 언어적 기술이 심성 내용을 결정하고 이해하는 데 있어 반드시 필요한지 또는 충분한 조건을 이루는지 구체적으로 검토한다. 이 검토를 통해 결국 언어적 기술은 심성 내용을 결정하고 이해하기 위해 필요하지도 충분하지도 않음이 드러날 것이다. 그리고 이러한 점은 결론적으로 심성 내용 외재론이 제시하고 있는 의미론적 근거는 이 이론이 주장하는 외재론적 견해를 뒷받침할 적절한 근거가 되지 않는다는 점을 드러내 보여줄 것이다. (shrink)

In a methodological milieu characterized by efforts to bring the methods of philosophy closer to the methods of the sciences, one can find, with increasing regularity, meta-ethical arguments relying on scientific theory or data. The received view appears to be that, not only is it implausible to think that a scientific vindication of a non-mentalist moral semantics will be forthcoming but that evidence from a variety of sciences threatens to undermine non-mentalist views. My aim is to push back against this (...) apparent consensus. The well-established phenomenon whereby moral judgments influence our attributions of putatively purely descriptive properties has come to be known as the Knobe Effect. Joshua Knobe has attempted to explain this surprising phenomenon by arguing that our folk psychological judgments are partially constituted by moral judgments. Drawing on an argument originally offered by Moore, I argue that if some instantiation of Knobe’s explanatory strategy is accurate, we have good reason to believe that mentalist moral semantics are untenable. (shrink)

We study the semantics of dialectical proof procedures. As dialectical proof procedures are in general sound but not complete wrt admissibility semantics, a natural question here is whether we could give a more precise semantical characterization of what they compute. Based on a new notion of infinite arguments representing loops, we introduce a stricter notion of admissibility, referred to as strict admissibility, and show that dialectical proof procedures are in general sound and complete wrt strict admissibility.

This work investigates the role of semantic clause types and modality in argumentative texts. We annotate argumentative microtexts with situation entity (SE) classes and additionally label the segm...

In naturally occuring argumentation, words which play a crucial role in the argument often acquire different meanings on subsequent occasions of use. Traditionally, such semantic shifts have been dealt with by the ‘fallacy of equivocation’. In my paper, I would like to show that there is considerably more to semantic shifts during arguments than their potentially being fallacious. Based on an analysis of a debate on environmental policy, I will argue that shifts in meaning are produced by (...) a principle I call ‘local semantic elaboration’. I will go on to show that semantic shifts in the meaning of a word, the position advocated by a party, and the questions that the parties raise during an argumentative process are neatly tailored to one another, but can be incommensurable to the opponent's views. Semantic shifts thus may have a dissociative impact on a critical discussion. By linking the structure of argumentation to its pragmatics, however, it may be revealed that there are two practices that account for a higher order of coherence of the debate. The first practice is a general preference for disagreeing with the opponent, the second practice is the interpretation of local speech acts in terms of an overall ideological stance that is attributed to the speaker. Because of these practices, parties do not criticize divergent semantic conceptions as disruptive, but they treat them as characteristic and sometimes even metonymic reflections of the parties' positions. (shrink)

Since 1976 Hilary Putnam has on many occasions proposed an argument, founded on some model-theoretic results, to the effect that any philosophical programme whose purpose is to naturalize semantics would fail to account for an important feature of every natural language, the determinacy of reference. Here, after having presented the argument, I will suggest that it does not work, because it simply assumes what it should prove, that is that we cannot extend the metatheory: Putnam appears to think (...) that all we may determinately say about the relations between words and entities in the world is what the model theory tells us, but he has never offered justifications for that. At the end of the article, I will discuss the apparently reliable intuition that seems to me to be at the root of the argument, that is that, given a formal theory, there is an infinite number of ways of connecting it to, or of projecting it onto, the world. I will suggest that we should resist this intuition, because it rests on a very doubtful notion of world, which assumes that for any class of objects there is a corresponding property. (shrink)

In this paper I will present a visual method that I have created to demonstrate the validity of propositional arguments and predicates, based on the traditional Venn diagrams. This idea was born after becoming aware of how useful visual methods are in other scientific fields, such as geometrical representations of arithmetic and algebraic concepts. This method illustrates the relationship between propositional logic, predicate logic and set theory, and it can be used to explain linguistic semantic concepts such as synonymy, (...) antonymy, hyponymy, entailment, and lexical substitution. (shrink)

This paper introduces a distinction between three different kinds of religious arguments. On the basis of a deliberative model of democracy, it is argued that autonomy and identity arguments should be acceptable in public debate, whereas authority arguments should be rejected. This deliberative approach is clarified by comparing it with the exclusionist position of John Rawls on the one hand and the inclusionist position of Nicholas Wolterstorff on the other. The paper concludes with some general remarks about the relation between (...) reason and religion that explain the sense in which a postsecular public sphere also remains a secular one. (shrink)

According to the semantic view of computation, computations cannot be individuated without invoking semantic properties. A traditional argument for the semantic view is what we shall refer to as the argument from the cognitive science practice. In its general form, this argument rests on the idea that, since cognitive scientists describe computations (in explanations and theories) in semantic terms, computations are individuated semantically. Although commonly invoked in the computational literature, the argument from (...) the cognitive science practice has never been discussed in detail. In this paper, we shall provide a critical reconstruction of this argument and an extensive analysis of its prospects, taking into account some ways of defending it that have never been explored so far. We shall argue that explanatory considerations support at best a weak version of the argument from the cognitive science practice, according to which semantic properties concur with formal syntactic properties in individuating computations in cognitive science, but not a strong version, according to which computation individuation in cognitive science is semantic as opposed to formal syntactic. (shrink)

The present volume collects novel approaches to two classical topics within verbal semantics, namely argument structure and the treatment of time and aspect.

We introduce a two-valued and a three-valued truth-valuational substitutional semantics for the Quantified Argument Calculus (Quarc). We then prove that the 2-valid arguments are identical to the 3-valid ones with strict-to-tolerant validity. Next, we introduce a Lemmon-style Natural Deduction system and prove the completeness of Quarc on both two- and three-valued versions, adapting Lindenbaum’s Lemma to truth-valuational semantics. We proceed to investigate the relations of three-valued Quarc and the Predicate Calculus (PC). Adding a logical predicate T to Quarc, true (...) of all singular arguments, allows us to represent PC quantification in Quarc and translate PC into Quarc, preserving validity. Introducing a weak existential quantifier into PC allows us to translate Quarc into PC, also preserving validity. However, unlike the translated systems, neither extended system can have a sound and complete proof system with Cut, supporting the claim that these are basically different calculi. (shrink)

According to orthodox semantics, to know the meaning of a sentence is to know its truth-conditions. Against this view I observe that we typically do not know the truth-conditions of the sentences we understand. We do not know the truth-conditions, for instance, of empty definite descriptions, non-declaratives, subjunctive conditionals, causal ascriptions, belief ascriptions, probability statements, figurative language, category mistakes, normative judgments, or vague statements. Appealing to tacit knowledge does not help, for the problem goes beyond our inability to articulate complete (...) truth-conditions: even full knowledge of the world’s condition would leave us unable to say whether an arbitrary sentence was true or false. (shrink)

dialectical frameworks have been proposed as a generalization of the abstract argumentation frameworks. The semantics of abstract dialectical frameworks is defined by identifying different...

A parallel argument to the doxastic voluntarist argument -- a general voluntarism argument -- can be constructed against both ethical and semantic internalism. In the ethical case, the parallel argument begins with the idea that if ethical internalism is true, that is, if we cannot help but be motivated to do the right thing internally, then it would appear that our being moved to do the right thing is involuntary in the same was as our (...) beliefs are involuntary. If correct, this leaves the ethical internalist with a dilemma. Like the epistemologist faced with the doxastic voluntarism argument, she can either deny the plausible ought implies can principle in order to maintain that the idea that ethical obligations make sense, or she must rest content with the idea that ethical internalism has the status of a descriptive account of moral behavior rather than a prescriptive theory. But, the ethical internalist is engaged in giving an account of the nature of moral action, it is entirely unclear what differentiates moral behaviors from any other kind of internally motivated actions -- the normativity of morality is lost. If we believe that normativity is constitutive of morality, then ethical internalism fails even as a description of its nature. In the semantic case, if we cannot for instance simply decide that 'Glory' means the same as 'There's a nice knockdown argument for you', it is unclear how meaning could be determined internally and yet be normative at the same time. If ought implies can, and we cannot change the meaning of our expressions internally, then the normativity of meaning cannot come from the inside, it must come from without, but how could the normativity of linguistic behavior come from without given that it is an artefact? The semantic internalist therefore faces the same dilemma that both doxastic voluntarism and ethical internalism face. (shrink)

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

Davidson’s Surprise argument promises to resolve a dispute that has arisen in contemporary formal semantics over the proper semantic value for a semantic theory. At issue are doubts that Pietroski raises about the compositionality of truth-conditions, and thereby about truthconditional semantics, which treats a truth value as the semantic value for a sentence. The dispute is recalcitrant because, as I show, Pietroski’s evidence that truth-conditions are not compositional can be explained away with attention to Cappelen and (...) Lepore’s distinction between the truth of what is semantically expressed by an utterance and the truth of its speech act content. While the Surprise argument would, if it worked, support truth-conditional semantics, I demonstrate that it fails; in fact, it is peculiarly vulnerable to Pietroski’s concerns. (shrink)

This book addresses two related questions that have first arisen in Toulmin’s seminal book on the uses of argument. The first question is the one of the relationship between the semantic analysis of modality and the structure of arguments. The second question is the one of the distinctive place, or role, of modality in the fundamental structure of arguments. These two questions concern how modality, as a semantic category, relates to the fundamental structure of arguments. The book (...) addresses modality and argumentation also according to another perspective by looking at how different linguistic modal expressions may be taken as argumentative indicators. It explores the role of modal expressions as argumentative indicators by using the Italian modal system as a case study. At the same time, it uses predictions/forecasts in the business-financial daily press to investigate the relation between modality and the context of argumentation. (shrink)

This paper overviews some recent work on the semantics and pragmatics of arguments.

This article is concerned with the concept of ambiguity in argumentation. Ambiguity in linguistics lies on the coexistence of two possibly interpretations of an utterance, while the role of contextual factors and background/encyclopedic knowledge within a specific society seems to be crucial. From a systemic point of view, Halliday has proposed three main language functions (meta-functions): a) ideational function, b) interpersonal function, c) textual function. Language could reflect speaker’s experience of his external and internal world, interpersonal relationships and organization of (...) text, respectively. Lexico-grammatical choices under a micro-level perspective and context (the environment of language) may lead to inconsistent interpretations through semantic or syntactic ambiguities. In philosophy and argumentation logic, strategies of ambiguity have been investigated by Aristotle, since the first sophistic movement. In his Topics, Metaphysics and Rhetoric, has pointed out the notion of “τὸ διττῶς / διχῶς λεγόμενον”, meaning that a term can have different senses and double interpretation. In this paper we discuss how we reconstruct the meaning of an utterance in dialogue through the mechanism of interpretation and how we analyze and construe ambiguities, combining the insights of argumentation theory and text linguistics. Research results show that in case of misunderstanding, the “best interpretation” is the less defeasible one according to contextual presumptions. (shrink)

Over the last decade, several extensions of Dung’s Abstract Argumentation Frameworks (AFs) have been introduced in the literature. Some of these extensions concern the nature of the attack relation, such as the consideration of recursive attacks, whereas others incorporate additional interactions, such as a support relation. Recently, the Attack–Support Argumentation Framework (ASAF) was proposed, which accounts for recursive attacks and supports, attacks to supports and supports to attacks, at any level, where the support relation is interpreted as necessity. Currently, to (...) determine the accepted elements of an ASAF (which may be arguments, attacks, and supports) it is required to translate such an ASAF into a Dung’s AF. In this work, we provide a formal characterization of acceptability semantics directly on the ASAF, without requiring such a translation. We prove that our characterization is sound since it satisfies different results from Dung’s argumentation theory; moreover, we formally show that the approach proposed here for addressing acceptability is equivalent to the preexisting one, in which the ASAF was translated into an AF. Also, we formalize the relationship between the ASAF and other frameworks on which it is inspired: the Argumentation Framework with Recursive Attacks (AFRA) and the Argumentation Framework with Necessities (AFN). (shrink)

Fish abound in the pond Garlic reeked on his breath The pond abounds with fish His breath reeked with garlic Such sentences were first noted in Jespersen, then were introduced in Generative Grammar by Fillmore and Anderson. The most extensive treatment, from which some of the data below is taken, is Salkoff’s ”Bees are Swarming in the Garden”, Language 59.2, 288-346; cf. also Boons & Leclere, and see Levin for further references. For convenience in referring to the two kinds of (...) sentences, I will adopt this terminology: Agent-Subject Form: “Bees are swarming in the garden” Location-Subject Form: “The garden is swarming with bees” The swarm-alternation should be distinguished carefully from the spray-load -alternation. (shrink)

The principle-based approach is a methodology to classify and analyse argumentation semantics. In this paper we classify seven of the main alternatives for argumentation semantics using a set of new robustness principles. These principles complement Baroni and Giacomin’s original classification and deal with the behaviour of a semantics when the argumentation framework changes due to the addition or removal of an attack between two arguments. We distinguish so-called persistence principles and monotonicity principles, where the former deal with the question of (...) whether a labelling or extension of an argumentation framework under a given semantics persists after a change, and the latter with the question of whether new labellings or extensions are created after a change. We furthermore show in which sense labelling-based and extension-based semantics lead to subtly different principles and results. Our results can be used for choosing a semantics for a particular application, or to guide the search for new argumentation semantics, but they have been used also in the design of algorithms. (shrink)

Even though he is not very explicit about it, in “Wittgenstein on Rules and Private Language” Kripke discusses two different, albeit related, skeptical theses ‒ the first one in the philosophy of mind, the second one in the philosophy of language. Usually, what Kripke says about one thesis can be easily applied to the other one, too; however, things are not always that simple. In this paper, I discuss the case of the so-called “Normativity Argument” against semantic dispositionalism (...) (which I take to be epistemological in nature) and argue that it is much stronger as an argument in the philosophy of mind than when it is construed as an argument in the philosophy of language. (shrink)

_Insensitive Semantics_ is an overview of and contribution to the debates about how to accommodate context sensitivity within a theory of human communication, investigating the effects of context on communicative interaction and, as a corollary, what a context of utterance is and what it is to be in one. Provides detailed and wide-ranging overviews of the central positions and arguments surrounding contextualism Addresses broad and varied aspects of the distinction between the semantic and non-semantic content of language Defends (...) a distinctive and explanatorily powerful combination of semantic minimalism and speech act pluralism Confronts core problems which not only run to the heart of philosophy of language and linguistics, but which arise in epistemology, metaphysics, and moral philosophy as well. (shrink)

Multiple constraints, including semantic, lexical, and usage-based factors, have been shown to influence dative alternation across different languages. This work explores whether fine-grained statistics and semantic properties of the verb affect the acceptability of dative constructions in Spanish. First, a corpus analysis reveals that verbs of different semantic classes occur naturally in alternative dative constructions, a pattern quite different from English. The fact that dative alternation appears independent of semantic classes challenges traditional semantic-based approaches. Second, (...) acceptability rating tasks reveal that dative constructions containing highly entrenched word combinations and frequent word order are judged more acceptable regardless of the verbs' semantics. The results are interpreted in favor of usage-based accounts: Acceptability of dative constructions may be language-specific and depend on patterns of use and conventionalization. (shrink)

Research using the intermodal preferential looking paradigm (IPLP) has consistently shown that English‐learning children aged 2 can associate transitive argument structure with causal events. However, studies using the same methodology investigating 2‐year‐old children’s knowledge of the conjoined agent intransitive and semantic role assignment have reported inconsistent findings. The aim of the present study was to establish at what age English‐learning children have verb‐general knowledge of both transitive and intransitive argument structure using a new method: the forced‐choice pointing (...) paradigm. The results suggest that young 2‐year‐olds can associate transitive structures with causal (or externally caused) events and can use transitive structure to assign agent and patient roles correctly. However, the children were unable to associate the conjoined agent intransitive with noncausal events until aged 3;4. The results confirm the pattern from previous IPLP studies and indicate that children may develop the ability to comprehend different aspects of argument structure at different ages. The implications for theories of language acquisition and the nature of the language acquisition mechanism are discussed. (shrink)

The connection between logic programming and formal argumentation has been studied starting from the landmark 1995 paper of Dung. Subsequent work has identified a standard translation from logic programs to argumentation frameworks, under which pairwise correspondences hold between various logic programming semantics and various formal argumentation semantics. This includes the correspondence between 3-valued stable and complete semantics, between well-founded and grounded semantics and between 2-valued stable and stable semantics. In the current paper, we show that the existing translation is able (...) to yield the additional correspondence between ideal semantics for logic programming and ideal semantics for formal argumentation. We also show that correspondence does not hold between eager semantics for logic programming and eager semantics for formal argumentation, at least when translating from logic programming to formal argumentation. Overall, the current work should be seen as completing the analysis of correspondences between mainstream admissibility-based argumentation semantics and their logic programming counterparts. (shrink)

Alvin Plantinga's evolutionary argument against naturalism makes the case that the conjunction of evolutionary theory and naturalism cannot be rationally believed, as, if both evolutionary theory and naturalism were true, it would be highly unlikely that our cognitive faculties are reliable. I present Plantinga's evolutionary argument against naturalism and survey a theory of meaning espoused by Robert Brandom, known as semantic inferentialism. I argue that if one accepts semantic inferentialism, as it is developed by Brandom, then (...) Plantinga's motivation for the evolutionary argument against naturalism is undermined. (shrink)

In 2005 the author introduced networks which allow attacks on attacks of any level. So if a → b reads a attacks 6, then this attack can itself be attacked by another node c. This attack itself can attack another node d. This situation can be iterated to any level with attacks and nodes attacking other attacks and other nodes. In this paper we provide semantics to such networks. We offer three different approaches to obtaining semantics. 1. The translation approach (...) This uses the methodology of ' Logic by translation'. We translate faithfully the new networks into ordinary Dung networks with more nodes and extract the semantics from the translation. 2. The labelling approach This method regards the arrows as additional entities to be attacked and to mount attacks and applies a variation of the usual machinery of Camindada like labelling to the network. The new concept we need to employ here is that of 'joint attacks'. 3. The logic programming approach We translate the higher level network into a logic program and obtain semantics for it through known semantics for logic programs. We then compare our methods with those of S. Modgil and P. M. Dung et al. (shrink)

Argumentation is a very fertile area of research in Artificial Intelligence, and various semantics have been developed to predict when an argument can be accepted, depending on the abstract structure of its defeaters and defenders. When these semantics make conflicting predictions, theoretical arbitration typically relies on ad hoc examples and normative intuition about what prediction ought to be the correct one. We advocate a complementary, descriptive-experimental method, based on the collection of behavioral data about the way human reasoners handle (...) these critical cases. We report two studies applying this method to the case of reinstatement (both in its simple and floating forms). Results speak for the cognitive plausibility of reinstatement and yet show that it does not yield the full expected recovery of the attacked argument. Furthermore, results show that floating reinstatement yields comparable effects to that of simple reinstatement, thus arguing in favor of preferred argumentation semantics, rather than grounded argumentation semantics. Besides their theoretical value for validating and inspiring argumentation semantics, these results have applied value for developing artificial agents meant to argue with human users. (shrink)

We investigate the philosophical significance of the existence of different semantic systems with respect to which a given deductive system is sound and complete. Our case study will be Corcoran's deductive system D for Aristotelian syllogistic and some of the different semantic systems for syllogistic that have been proposed in the literature. We shall prove that they are not equivalent, in spite of D being sound and complete with respect to each of them. Beyond the specific case of (...) syllogistic, the goal is to offer a general discussion of the relations between informal notions—in this case, an informal notion of deductive validity—and logical apparatuses such as deductive systems and (model-theoretic or other) semantic systems that aim at offering technical, formal accounts of informal notions. Specifically, we will be interested in Kreisel's famous 'squeezing argument'; we shall ask ourselves what a plurality of semantic systems (understood as classes of mathematical structures) may entail for the cogency of specific applications of the squeezing argument. More generally, the analysis brings to the fore the need for criteria of adequacy for semantic systems based on mathematical structures. Without such criteria, the idea that the gap between informal and technical accounts of validity can be bridged is put under pressure. (shrink)

I develop a problem for the Fregean Reference Shift analysis of that-clause reference. The problem is discussed by Stephen Schiffer in his recent book The Things We Mean (2003). Either the defender of the Fregean Reference Shift analysis must count certain counterintuitive inferences as valid, or else he must reject a plausible Exportation rule. I consider several responses. I find that the best response relies on a Kaplan-inspired analysis of quantified belief reports. But I argue that this response faces some (...) serious problems. (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)

In this article the argumentation structure of the court’s decision in the Popov v. Hayashi case is formalised in Prakken’s (Argument Comput 1:93–124; 2010) abstract framework for argument-based inference with structured arguments. In this framework, arguments are inference trees formed by applying two kinds of inference rules, strict and defeasible rules. Arguments can be attacked in three ways: attacking a premise, attacking a conclusion and attacking an inference. To resolve such conflicts, preferences may be used, which leads to (...) three corresponding kinds of defeat, after which Dung’s (Artif Intell 77:321–357; 1995) abstract acceptability semantics can be used to evaluate the arguments. In the present paper the abstract framework is instantiated with strict inference rules corresponding to first-order logic and with defeasible inference rules for defeasible modus ponens and various argument schemes. The main techniques used in the formal reconstruction of the case are rule-exception structures and arguments about rule validity. Arguments about socio-legal values and the use of precedent cases are reduced to arguments about rule validity. The tree structure of arguments, with explicit subargument relations between arguments, is used to capture the dependency relations between the elements of the court’s decision. (shrink)