Most human actions are complex, but some of them are basic. Which are these? In this paper, I address this question by invoking slips, a common kind of mistake. The proposal is this: an action is basic if and only if it is not possible to slip in performing it. The argument discusses some well-established results from the psychology of language production in the context of a philosophical theory of action. In the end, the proposed criterion is applied to discuss (...) some well-known theories of basic actions. (shrink)

A large body of research in cognitive science differentiates human reasoning into two types: fast, intuitive, and emotional “System 1” thinking, and slower, more reflective “System 2” reasoning. According to this research, human reasoning is by default fast and intuitive, but that means that it is prone to error and biases that cloud our judgments and decision making. To improve the quality of reasoning, critical thinking education should develop strategies to slow it down and to become more reflective. The goal (...) of such education should be to enable and motivate students to identify weaknesses, gaps, biases, and limiting perspectives in their own reasoning and to correct them. This contribution discusses how this goal could be achieved with regard to reasoning that involves the construction of arguments; or more precisely: how computer-supported argument visualization tools could be designed that support reflection on the quality of arguments and their improvement. Three types of CSAV approaches are distinguished that focus on reflection and self-correcting reasoning. The first one is to trigger reflection by confronting the user with specific questions that direct attention to critical points. The second approach uses templates that, on the one hand, provide a particular structure to reason about an issue by means of arguments and, on the other, include prompts to enter specific items. And a third approach is realized in specifically designed user guidance that attempts to trigger reflection and self-correction. These types of approaches are currently realized only in very few CSAV tools. In order to inform the future development of what I call reflection tools, this article discusses the potential and limitations of these types and tools with regard to five explanations of the observation that students hardly ever engage in substantial revisions of what they wrote: a lack of strategies how to do it; cognitive overload; certain epistemic beliefs; myside bias; and over-confidence in the quality of one’s own reasoning. The question is: To what degree can each of the CSAV approaches and tools address these five potential obstacles to reflection and self-correction? (shrink)

In this paper, we prove the correspondence between complete extensions in abstract argumentation and 3-valued stable models in logic programming. This result is in line with earlier work of [6] that identified the correspondence between the grounded extension in abstract argumentation and the well-founded model in logic programming, as well as between the stable extensions in abstract argumentation and the stable models in logic programming.

In this chapter, we begin by sketching in the broadest possible strokes the ideas behind two formal systems that have been introduced with to goal of explicating the ways in which reasons interact to support the actions and conclusions they do. The first of these is the theory of defeasible reasoning developed in the seminal work of Pollock; the second is a more recent theory due to Horty, which adapts and develops the default logic introduced by Reiter to provide an (...) account of reasons. However, the implementations are complex enough, in both cases, to prevent anything more than this sketch. And we would not want to give the impression that we think that work on the logic of reasons must follow the path mapped out in either of these theories—indeed, we feel that the field is wide open. In the remainder of the chapter, therefore, will concentrate on a number of issues bearing on the logic of reasons that are either not treated in the work of Pollock and Horty, or whose treatment there is, we feel, either inadequate or incomplete. These are: first, the question of whether it is necessary to understand logical interactions among reasons themselves, rather than simply between reasons and the actions or conclusions they support, and if so, what principles might govern these interactions; second, priority relations among reasons and the notion of reason accrual; and third, some problems posed by undercutting defeat. (shrink)

My starting point is some widely accepted and intuitive ideas about justified, well-founded belief. By drawing on John Pollock’s work, I sketch a formal framework for making these ideas precise. Central to this framework is the notion of an inference graph. An inference graph represents everything that is relevant about a subject for determining which of her beliefs are justified, such as what the subject believes based on what. The strengths of the nodes of the graph represent the degrees of (...) justification of the corresponding beliefs. There are two ways in which degrees of justification can be computed within this framework. I argue that there is not any way of doing the calculations in a broadly probabilistic manner. The only alternative looks to be a thoroughly non-probabilistic way of thinking wedded to the thought that justification is closed under competent deduction. However, I argue that such a view is unable to capture the intuitive notion of justification, for it leads to an uncomfortable dilemma: either a widespread scepticism about justification, or drawing epistemically spurious distinctions between different types of lotteries. This should worry anyone interested in well-founded belief. (shrink)

Although studies have yielded a detailed taxonomy of types of slippery slope arguments, they have failed to identify a basic argumentation scheme that applies to all. Therefore, there is no way of telling whether a given argument is a slippery slope argument or not. This paper solves the problem by providing a basic argumentation scheme. The scheme is shown to fit a clear and easily comprehensible example of a slippery slope argument that strongly appears to be reasonable, something that has (...) also been lacking. (shrink)

In this paper, it is argued that the most fruitful approach to developing normative models of argument quality is one that combines the argumentation scheme approach with Bayesian argumentation. Three sample argumentation schemes from the literature are discussed: the argument from sign, the argument from expert opinion, and the appeal to popular opinion. Limitations of the scheme-based treatment of these argument forms are identified and it is shown how a Bayesian perspective may help to overcome these. At the same time, (...) the contributions of the standard scheme-based approach are highlighted, and it is argued that only a combination of the insights of different traditions will yield a complete normative theory of argument quality. (shrink)

The traditional connection between logic and reasoning has been under pressure ever since Gilbert Harman attacked the received view that logic yields norms for what we should believe. In this article I first place Harman's challenge in the broader context of the dialectic between logical revisionists like Bob Meyer and sceptics about the role of logic in reasoning like Harman. I then develop a formal model based on contemporary epistemic and doxastic logic in which the relation between logic and norms (...) for belief can be captured. (shrink)

Science advances by means of argument and debate. Based on a formal model of complex argumentation, this article assesses the interplay between evidential and inferential drivers in scientific controversy, and explains, in particular, why both evidence accumulation and argumentation are veritistically valuable. By improving the conditions for applying veritistic indicators , novel evidence and arguments allow us to distinguish true from false hypotheses more reliably. Because such veritistic indicators also underpin inductive reasoning, evidence accumulation and argumentation enhance the reliability of (...) inductive inference, for example, inference to the best explanation. 1 Introduction2 Theory of Dialectical Structures3 Debate Simulations4 From Evidence and Arguments to Truth: The First Route5 From Evidence to Truth: The Second Route6 Conclusion. (shrink)

The concept of conductive argument weight was developed by Carl Wellman and later by Trudy Govier. This concept has received renewed attention recently from another informal logician, Robert C. Pinto. Argument weight has also been addressed in recent years by theorists in AI & Law. I argue from a non-technical perspective that some aspects of AI & Law’s approach to argument weight can be usefully applied to the issues addressed by Pinto. I also relate some of these issues to the (...) work of argument theorist Harald Wohlrapp. (shrink)

The preface paradox does not show that it can be rational to have inconsistent beliefs, because preface writers do not have inconsistent beliefs. I argue, first, that a fully satisfactory solution to the preface paradox would have it that the preface writer's beliefs are consistent. The case here is on basic intuitive grounds, not the consequence of a theory of rationality or of belief. Second, I point out that there is an independently motivated theory of belief – sensitivism – which (...) allows such a solution. I sketch a sensitivist account of the preface writer's doxastic state. (shrink)

In some cases one is provided with inconsistent information and has to reason about various consistent scenarios contained within that information. Our goal is to argue that filtered paraconsistent logics are not the right tool to handle such cases and that the problems generalise to a large class of paraconsistent logics. A wide class of paraconsistent logics is obtained by filtration: adding conditions to the classical consequence operation . We start by surveying the most promising candidates and comparing their strengths. (...) Then we discuss the mainstream views on how non-classical logics should be chosen for an application and argue that none of these allows us to choose any of the filtered logics for action-guiding reasoning with inconsistent information, because such reasoning has to start with the selection of possible scenarios – and such a.. (shrink)

This paper examines arguments that take counter- considerations into account, and it does so from a dialogical point of view. According to my account, a counterconsideration is part of a critical reaction from a real or imagined opponent, and an arguer may take it into account in his argument in at least six fully responsive ways. Conductive arguments will be characterized as one of these types. In this manner, the paper aims to show how conducive, and related kinds of argument (...) can be understood dialogically. (shrink)

In this paper, we present a survey of the development of the technique of argument diagramming covering not only the fields in which it originated - informal logic, argumentation theory, evidence law and legal reasoning – but also more recent work in applying and developing it in computer science and artificial intelligence. Beginning with a simple example of an everyday argument, we present an analysis of it visualised as an argument diagram constructed using a software tool. In the context of (...) a brief history of the development of diagramming, it is then shown how argument diagrams have been used to analyze and work with argumentation in law, philosophy and artificial intelligence. (shrink)

Mathematicians often speak of conjectures, yet unproved, as probable or well-confirmed by evidence. The Riemann Hypothesis, for example, is widely believed to be almost certainly true. There seems no initial reason to distinguish such probability from the same notion in empirical science. Yet it is hard to see how there could be probabilistic relations between the necessary truths of pure mathematics. The existence of such logical relations, short of certainty, is defended using the theory of logical probability (or objective Bayesianism (...) or non-deductive logic), and some detailed examples of its use in mathematics surveyed. Examples of inductive reasoning in experimental mathematics are given and it is argued that the problem of induction is best appreciated in the mathematical case. (shrink)

I characterize the deductivist ideal of justification and, following to a great extent Toulmin’s work The Uses of Argument, I try to explain why this ideal is erroneous. Then I offer an alternative model of justification capable of making our claims to knowledge about substantial matters sound and reasonable. This model of justification will be based on a conception of justification as the result of good argumentation, and on a model of argumentation which is a pragmatic linguistic reconstruction of Toulmin’s (...) model of argument. (shrink)

Corroborative evidence has a dual function in argument. Primarily, it functions to provide direct evidence supporting the main conclusion. But it also has a secondary, bolstering function which increases the probative value of some other piece of evidence in the argument. This paper argues that the bolstering effect of corroborative evidence is legitimate, and can be explained as counter–rebuttal achieved through inference to the best explanation. A model (argument diagram) of corroborative evidence, representing its structure and operation as a schematic (...) pattern of defeasible argument is also supplied. In addition to explaining the operation and theoretical foundation of corroborative evidence, the model facilitates the correct analysis and guides the evaluation (assessment and critique) of corroborative evidence as it occurs in argument. (shrink)

It is common orthodoxy among internalists and externalists alike that knowledge is lost or defeated in situations involving misleading evidence of a suitable kind. But making sense of defeat has seemed to present a particular challenge for those who reject an internalist justification condition on knowledge. My main aim here is to argue that externalists ought to take seriously a view on which knowledge can be retained even in the face of strong seemingly defeating evidence. As an instructive example, I (...) first discuss whether a theory on which knowledge is belief that is safe from error has the resources for accommodating defeat. I argue that beliefs retained in defeat cases need not be unsafe or true in some accidental way. I then discuss externalist strategies for explaining why we have incorrect intuitions about defeat. The notion of an epistemically reasonable subject plays a central role in my theory. Reasonable subjects adopt general strategies that are good for acquiring true belief and knowledge across a wide range of normal cases, but stubbornly retaining belief in the face of new evidence does not reflect such policies. I argue that though the methods employed by subjects who fail to adjust their beliefs in defeat cases may be perfectly good, they are not good methods to adopt, as their adoption is accompanied by bad dispositions. What emerges is a view on which a subject can know despite being unreasonable, and despite failing to manifest dispositions to know across normal cases. Unreasonable subjects are genuinely criticisable, but like almost anything, knowledge can sometimes be achieved in the absence of a good general strategy. (shrink)

Some solo verbal reasoning serves the function of arriving at a correct answer to a question from information at the reasoner’s disposal. Such reasoning is good if and only if its grounds are justified and adequate, its warrant is justified, and the reasoner is justified in assuming that no defeaters apply. I distinguish seven sources of justified grounds and state the conditions under which each source is trustworthy. Adequate grounds include all good relevant information practically obtainable by the reasoner. The (...) claim must follow from the grounds in accordance with a justified general warrant. If this warrant is not universal, the reasoner must be justified in assuming that no exception-making circumstances hold in the particular case to which it is applied. (shrink)

This paper reviews the history of AI & Law research from the perspective of argument schemes. It starts with the observation that logic, although very well applicable to legal reasoning when there is uncertainty, vagueness and disagreement, is too abstract to give a fully satisfactory classification of legal argument types. It therefore needs to be supplemented with an argument-scheme approach, which classifies arguments not according to their logical form but according to their content, in particular, according to the roles that (...) the various elements of an argument can play. This approach is then applied to legal reasoning, to identify some of the main legal argument schemes. It is also argued that much AI & Law research in fact employs the argument-scheme approach, although it usually is not presented as such. Finally, it is argued that the argument-scheme approach and the way it has been employed in AI & Law respects some of the main lessons to be learnt from Toulmin’s The Uses of Argument. (shrink)

I provide an interpretation of Wittgenstein's much criticized remarks on Gödel's First Incompleteness Theorem in the light of paraconsistent arithmetics: in taking Gödel's proof as a paradoxical derivation, Wittgenstein was right, given his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. I show that the models of paraconsistent arithmetics (obtained via the Meyer-Mortensen (...) collapsing filter on the standard model) match with many intuitions underlying Wittgensteins philosophy of mathematics, such as its strict finitism and the insistence on the decidability of any meaningful mathematical question. (shrink)

The applicability of Bayesian conditionalization in setting one’s posterior probability for a proposition, α, is limited to cases where the value of a corresponding prior probability, PPRI(α|∧E), is available, where ∧E represents one’s complete body of evidence. In order to extend probability updating to cases where the prior probabilities needed for Bayesian conditionalization are unavailable, I introduce an inference schema, defeasible conditionalization, which allows one to update one’s personal probability in a proposition by conditioning on a proposition that represents a (...) proper subset of one’s complete body of evidence. While defeasible conditionalization has wider applicability than standard Bayesian conditionalization (since it may be used when the value of a relevant prior probability, PPRI(α|∧E), is unavailable), there are circumstances under which some instances of defeasible conditionalization are unreasonable. To address this difficulty, I outline the conditions under which instances of defeasible conditionalization are defeated. To conclude the article, I suggest that the prescriptions of direct inference and statistical induction can be encoded within the proposed system of probability updating, by the selection of intuitively reasonable prior probabilities. (shrink)

This paper proposes an approach to investigate norm-governed learning agents which combines a logic-based formalism with an equation-based counterpart. This dual formalism enables us to describe the reasoning of such agents and their interactions using argumentation, and, at the same time, to capture systemic features using equations. The approach is applied to norm emergence and internalisation in systems of learning agents. The logical formalism is rooted into a probabilistic defeasible logic instantiating Dung’s argumentation framework. Rules of this logic are attached (...) with probabilities to describe the agents’ minds and behaviours as well as uncertain environments. Then, the equation-based model for reinforcement learning, defined over this probability distribution, allows agents to adapt to their environment and self-organise. (shrink)

Bayesian Epistemology is a general framework for thinking about agents who have beliefs that come in degrees. Theories in this framework give accounts of rational belief and rational belief change, which share two key features: (i) rational belief states are represented with probability functions, and (ii) rational belief change results from the acquisition of evidence. This dissertation focuses specifically on the second feature. I pose the Evidence Question: What is it to have evidence? Before addressing this question we must have (...) an understanding of Bayesian Epistemology. The first chapter argues that we should understand Bayesian Epistemology as giving us theories that are evaluative and not action-guiding. I reach this verdict after considering the popular ‘ought’-implies-‘can’ objection to Bayesian Epistemology. The second chapter argues that it is important for theories in Bayesian Epistemology to answer the Evidence Question, and distinguishes between internalist and externalist answers. The third and fourth chapters present and defend a specific answer to the Evidence Question. The account is inspired by reliabilist accounts of justification, and attempts to understand what it is to have evidence by appealing solely to considerations of reliability. Chapter 3 explains how to understand reliability, and how the account fits with Bayesian Epistemology, in particular, the requirement that an agent’s evidence receive probability 1. Chapter 4 responds to objections, which maintain that the account gives the wrong verdict in a variety of situations including skeptical scenarios, lottery cases, scientific cases, and cases involving inference. After slight modifications, I argue that my account has the resources to answer the objections. The fifth chapter considers the possibility of losing evidence. I show how my account can model these cases. To do so, however, we require a modification to Conditionalization, the orthodox principle governing belief change. I present such a modification. The sixth and seventh chapters propose a new understanding of Dutch Book Arguments, historically important arguments for Bayesian principles. The proposal shows that the Dutch Book Arguments for implausible principles are defective, while the ones for plausible principles are not. The final chapter is a conclusion. (shrink)

We defend a set of acceptance rules that avoids the lottery paradox, that is closed under classical entailment, and that accepts uncertain propositions without ad hoc restrictions. We show that the rules we recommend provide a semantics that validates exactly Adams’ conditional logic and are exactly the rules that preserve a natural, logical structure over probabilistic credal states that we call probalogic. To motivate probalogic, we first expand classical logic to geo-logic, which fills the entire unit cube, and then we (...) project the upper surfaces of the geo-logical cube onto the plane of probabilistic credal states by means of standard, linear perspective, which may be interpreted as an extension of the classical principle of indifference. Finally, we apply the geometrical/logical methods developed in the paper to prove a series of trivialization theorems against question-invariance as a constraint on acceptance rules and against rational monotonicity as an axiom of conditional logic in situations of uncertainty. (shrink)

The New Evil Demon Problem is supposed to show that straightforward versions of reliabilism are false: reliability is not necessary for justification after all. I argue that it does no such thing. The reliabilist can count a number of beliefs as justified even in demon worlds, others as unjustified but having positive epistemic status nonetheless. The remaining beliefs---primarily perceptual beliefs---are not, on further reflection, intuitively justified after all. The reliabilist is right to count these beliefs as unjustified in demon worlds, (...) and it is a challenge for the internalist to be able to do so as well. (shrink)

This paper challenges the view that arguments are (by definition, as it were) attempts to persuade or convince an audience to accept (or reject) a point of view by presenting reasons for (or against) that point of view. I maintain, first, that an arguer need not intend any effect beyond that of making it manifest to readers or hearers that there is a reason for doing some particular thing (e.g., for believing a certain proposition, or alternatively for rejecting it), and (...) second that when an arguer is in fact trying to induce an effect above and beyond rendering a reason manifest, the effect intended—the use to which his or her argument is put—need not be that hearers do what the stated reasons are reasons for doing. Where the actual or intended effect of making a reason R for doing X manifest is something other than doing X, I call it an oblique—as opposed to a direct—effect of making that reason manifest. The core of the paper presents an overview or map of the main categories of effect which arguments can have, and the main sub-types within each category, calling attention to the points at which such effects can be indirect or oblique effects. The purpose of that typology is to make it clear (i) how oblique effects can come about and (ii) how important a role they can play in the conduct of argumentation. (shrink)

This paper attempts to systematically characterize critical reactions in argumentative discourse, such as objections, critical questions, rebuttals, refutations, counterarguments, and fallacy charges, in order to contribute to the dialogical approach to argumentation. We shall make use of four parameters to characterize distinct types of critical reaction. First, a critical reaction has a focus, for example on the standpoint, or on another part of an argument. Second, critical reactions appeal to some kind of norm, argumentative or other. Third, they each have (...) a particular illocutionary force, which may include that of giving strategic advice to the other. Fourth, a critical reaction occurs at a particular level of dialogue (the ground level or some meta-level). The concepts here developed shall be applied to discussions of critical reactions by Aristotle and by some contemporary authors. (shrink)

The paper attempts to rationalize cooperation in the one-shot prisoners' dilemma (PD). It starts by introducing (and preliminarily investigating) a new kind of equilibrium (differing from Aumann's correlated equilibria) according to which the players' actions may be correlated (sect. 2). In PD the Pareto-optimal among these equilibria is joint cooperation. Since these equilibria seem to contradict causal preconceptions, the paper continues with a standard analysis of the causal structure of decision situations (sect. 3). The analysis then raises to a reflexive (...) point of view according to which the agent integrates his own present and future decision situations into the causal picture of his situation (sect. 4). This reflexive structure is first applied to the toxin puzzle and then to Newcomb's problem, showing a way to rationalize drinking the toxin and taking only one box with-out assuming causal mystery (sect. 5). The latter result is finally extended to a rationalization of cooperation in PD (sect. 6). (shrink)

This paper presents a theory of reasoning with evidence in order to determine the facts in a criminal case. The focus is on the process of proof, in which the facts of the case are determined, rather than on related legal issues, such as the admissibility of evidence. In the literature, two approaches to reasoning with evidence can be distinguished, one argument-based and one story-based. In an argument-based approach to reasoning with evidence, the reasons for and against the occurrence of (...) an event, e.g., based on witness testimony, are central. In a story-based approach, evidence is evaluated and interpreted from the perspective of the factual stories as they may have occurred in a case, e.g., as they are defended by the prosecution. In this paper, we argue that both arguments and narratives are relevant and useful in the reasoning with and interpretation of evidence. Therefore, a hybrid approach is proposed and formally developed, doing justice to both the argument-based and the narrative-based perspective. By the formalization of the theory and the associated graphical representations, our proposal is the basis for the design of software developed as a tool to make sense of the evidence in complex cases. (shrink)

We argue that there are mutually beneficial connections to be made between ideas in argumentation theory and the philosophy of mathematics, and that these connections can be suggested via the process of producing computational models of theories in these domains. We discuss Lakatos’s work (Proofs and Refutations, 1976) in which he championed the informal nature of mathematics, and our computational representation of his theory. In particular, we outline our representation of Cauchy’s proof of Euler’s conjecture, in which we use work (...) by Haggith on argumentation structures, and identify connections between these structures and Lakatos’s methods. (shrink)

The term "non-monotonic logic" covers a family of formal frameworks devised to capture and represent defeasible inference , i.e., that kind of inference of everyday life in which reasoners draw conclusions tentatively, reserving the right to retract them in the light of further information. Such inferences are called "non-monotonic" because the set of conclusions warranted on the basis of a given knowledge base does not increase (in fact, it can shrink) with the size of the knowledge base itself. This is (...) in contrast to classical (first-order) logic, whose inferences, being deductively valid, can never be "undone" by new information. (shrink)

. While courts depend on expert opinions in reaching sound judgments, the role of the expert witness in legal proceedings is associated with a litany of problems. Perhaps most prevalent is the question of under what circumstances should testimony be admitted as expert opinion. We review the changing policies adopted by American courts in an attempt to ensure the reliability and usefulness of the scientific and technical information admitted as evidence. We argue that these admissibility criteria are best seen in (...) a dialectical context as a set of critical questions of the kind commonly used in models of argumentation. (shrink)

This paper is concerned with formal solutions to the lottery paradox on which high probability defeasibly warrants acceptance. It considers some recently proposed solutions of this type and presents an argument showing that these solutions are trivial in that they boil down to the claim that perfect probability is sufficient for rational acceptability. The argument is then generalized, showing that a broad class of similar solutions faces the same problem. An argument against some formal solutions to the lottery paradox The (...) argument generalized Some variations Adding modalities Anticipated objections. (shrink)

In some recent cases in Anglo-American law juries ruled contrary to an expert's testimony even though that testimony was never challenged, contradicted or questioned in the trial. These cases are shown to raise some theoretical questions about formal dialogue systems in computational dialectical systems for legal argumentation of the kind recently surveyed by Bench-Capon (1997) and Hage (2000) in this journal. In such systems, there is a burden of proof, meaning that if the respondent questions an argument, the proponent is (...) obliged to offer some support for it give it up. But what should happen in a formal system of dialogue if the proponent puts forward an argument and the respondent fails to critically question it, and simply moves on to another issue? Is this some kind of fault that should have implications? Should it be taken to imply that, by default, the respondent has conceded the argument? What, if anything, should be the outcome of such a failure to question in a formal dialogue system of argumentation? These questions are considered by examining some legal cases of expert opinion testimony in relation rules for formal dialectical argumentation systems. (shrink)

The paper consists of three parts. In the first part five kinds of defeasibility are distinguished that is ontological, conceptual, epistemic, justification and logical defeasibility. In the second part it is argued that from these, justification defeat is the phenomenon that plays a role in legal reasoning. In the third part, the view is defended that non-monotonic logics are not necessary to model justification defeat, but that they are so to speak the natural way to model this phenomenon.

Alan Turing devised his famous test (TT) through a slight modificationof the parlor game in which a judge tries to ascertain the gender of twopeople who are only linguistically accessible. Stevan Harnad hasintroduced the Total TT, in which the judge can look at thecontestants in an attempt to determine which is a robot and which aperson. But what if we confront the judge with an animal, and arobot striving to pass for one, and then challenge him to peg which iswhich? (...) Now we can index TTT to a particular animal and its syntheticcorrelate. We might therefore have TTTrat, TTTcat,TTTdog, and so on. These tests, as we explain herein, are abetter barometer of artificial intelligence (AI) than Turing's originalTT, because AI seems to have ammunition sufficient only to reach thelevel of artificial animal, not artificial person. (shrink)

We explore new connections between the epistemologies of mental rehearsal and suppositional reasoning to offer a novel perspective on skilled behavior and its relationship to practical knowledge. We argue that practical knowledge is "easy" in the sense that, by manifesting one's skills, one has a priori propositional justification for certain beliefs about what one is doing as one does it. This proposal has wider consequences for debates about intentional action and knowledge: first, because agents sometimes act intentionally in epistemically hazardous (...) environments, these justified beliefs do not always rise to the level of (practical) knowledge. Second, practical knowledge is more intimately related to basic knowledge than has been appreciated. Third, an attractive "middle way" opens between the Anscombian tradition of defending a necessary connection between intentional action and practical knowledge and the more recent tradition of explaining away substantive epistemic conditions on intentional action. (shrink)

One main goal of argumentation theory is to evaluate arguments and to determine whether they should be accepted or rejected. When there is no clear answer, a third option, being undecided, has to be taken into account. Indecision is often not considered explicitly, but rather taken to be a collection of all unclear or troubling cases. However, current philosophy makes a strong point for taking indecision itself to be a proper object of consideration. This paper aims at revealing parallels between (...) the findings concerning indecision in philosophy and the treatment of indecision in argumentation theory. By investigating what philosophical forms and norms of indecision are involved in argumentation theory, we can improve our understanding of the different uncertain evidential situations in argumentation theory. (shrink)

This paper builds a nine-step method for determining whether a straw man fallacy has been committed in a given case or not, by starting with some relatively easy textbook cases and moving to more realistic and harder cases. The paper shows how the type of argument associated with the fallacy can be proved to be a fallacy in a normative argumentation model, and then moves on to the practical task of building a hands-on method for applying the model to real (...) examples of argumentation. Insights from linguistic pragmatics are used to distinguish the different pragmatic processes involved in reconstructing what is said and what is meant by an utterance, and to differentiate strong and weak commitments. In particular, the process of interpretation is analyzed in terms of an abductive pattern of reasoning, based on co-textual and contextual information, and assessable through the instruments of argumentation theory. (shrink)

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

Imagine advanced computers that could, by virtue merely of being programmed in the right ways, act, react, communicate, and otherwise behave like humans. Might such computers be capable of understanding, thinking, believing, and the like? The framework developed in this paper for tackling challenging questions of concept application (in any realm of discourse) answers in the affirmative, contrary to Searle’s famous ‘Chinese Room’ thought experiment, which purports to prove that ascribing such mental processes to computers like these would be necessarily (...) incorrect. The paper begins by arguing that the core issue concerns language, specifically the discourse-community-guided mapping of phenomena onto linguistic categories. It then offers a model of how people adapt language to deal with novel states of affairs and thereby lend generality to their words, employing processes of assimilation, lexemic creation, and accommodation (in intersense and intrasense varieties). Attributions of understanding to some computers lie in the middle range on a spectrum of acceptability and are thus reasonable. Possible objections deriving from Searle’s writings require supplementing the model with distinctions between present and future acceptability, and between contemplated and uncontemplated word uses, as well as a literal-figurative distinction that is more sensitive than Searle’s to actual linguistic practice and the multiplicity of subsenses possible within a single literal sense. The paper then critiques two misleading rhetorical features of Searle’s Chinese Room presentation, and addresses a contemporary defense of Searle that seems to confront the sociolinguistic issue, but fails to allow for intrasense accommodation. It concludes with a brief consideration of the proper course for productive future discussion. (shrink)

Conciliatory views of disagreement say, roughly, that it’s rational for you to become less confident in your take on an issue in case you find out that an epistemic peer’s take on it is the opposite. Their intuitive appeal notwithstanding, there are well-known worries about the behavior of conciliatory views in scenarios involving higher-order disagreements, which include disagreements over these views themselves and disagreements over the peer status of alleged epistemic peers. This paper does two things. First, it explains how (...) the core idea behind conciliatory views can be expressed in a defeasible logic framework. The result is a formal model that’s particularly useful for thinking about the behavior of conciliatory views in cases involving higher-order disagreements. And second, the paper uses this model to resolve three paradoxes associated with disagreements over epistemic peerhood. (shrink)