We contend that it is possible to argue reasonably for and against arguments from classifications and definitions, provided they are seen as defeasible (subject to exceptions and critical questioning). Arguments from classification of the most common sorts are shown to be based on defeasible reasoning of various kinds represented by patterns of logical reasoning called defeasible argumentation schemes. We show how such schemes can be identified with heuristics, or short-cut solutions to a problem. We examine a variety (...) of arguments of this sort, including argument from abductive classification, argument from causal classification, argument from analogy-based classification and arguments from classification based on generalizations. (shrink)

In this paper we analyze the uses and misuses of argumentation schemes from verbal classification, and show how argument from definition supports argumentation based on argument from verbal classification. The inquiry has inevitably included the broader study of the concept of definition. The paper presents the schemes for argument from classification and for argument from definition, and shows how the latter type of argument so (...) typically supports the former. The problem of analyzing arguments based on classification is framed in a structure that reveals the crucial role it plays in the persuasion process. The survey of the literature includes the work of Hastings, Perelman, Kienpointner and Schiappa, but still finds much of value in Aristotle. Lessons drawn from Aristotle’s Topics are shown to be useful for developing new tools for assessing definitions and arguments from definition. (shrink)

In this paper we present an analysis of persuasive definition based on argumentation schemes. Using the medieval notion of differentia and the traditional approach to topics, we explain the persuasiveness of emotive terms in persuasive definitions by applying the argumentation schemes for argument from classification and argument from values. Persuasive definitions, we hold, are persuasive because their goal is to modify the emotive meaning denotation of a persuasive term in a way that contains an (...) implicit argument from values. However, our theory is different from Stevenson’s, a positivistic view that sees emotive meaning as subjective, and defines it as a behavioral effect. Our proposal is to treat the persuasiveness produced by the use of emotive words and persuasive definitions as due to implicit arguments that an interlocutor may not be aware of. We use congruence theory to provide the linguistic framework for connecting a term with the function it is supposed to play in a text. Our account allows us to distinguish between conflicts of values and conflicts of classifications. (shrink)

The purpose of this paper is to inquire into the relationship between persuasive definition and common knowledge (propositions generally accepted and not subject to dispute in a discussion). We interpret the gap between common knowledge and persuasive definition (PD) in terms of potential disagreements: PDs are conceived as implicit arguments to win a potential conflict. Persuasive definitions are analyzed as arguments instantiating two argumentation schemes, argument from classification and argument from values, and presupposing (...) a potential disagreement. The argumentative structure of PDs reveals different levels of disagreement, and different pos-sibilities of resolving the conflict or causing dialogical deadlock. (shrink)

Legal definitions will be examined from three perspectives: their pragmatic function, their propositional structure, and their argumentative role. In law, definitions can be used for different pragmatic purposes: they can be uttered to describe a concept, or to establish a new meaning for a term. The propositional content of definitional speech acts can be different. In law, like in ordinary conversation, there might be different types of definition: we can define by providing examples, or showing the fundamental characteristics (...) of the concept defined, or listing the constituent parts of the denotatum. All these definitions play different argumentative roles in legal discourse. At a third level, definitions can be thought of as premises in complex patterns of reasoning (for the subject of reasoning from definition in law, see Aarnio 1977; Moore 1980; Lindahl, 2004). They constitute the fundamental element of argument from classification, namely a pattern of inference in which a new property (or a name) is attributed to an entity on the basis of other properties. (shrink)

This paper is based on the comments I gave to Alfred Mele regarding his original Zygote Argument during my presentation at a small workshop on manipulation arguments in Budapest back in 2012. After those comments, Mele changed the conclusion of his original Zygote Argument (OZA) from a positive, explanatory conclusion to a negative, non-explanatory conclusion--and, correspondingly, redefined 'incompatibilism' so that it would no longer refer in his work to the view that determinism precludes (undermines, eliminates, destroys, etc.) (...) free will, but refers narrowly to the perhaps spurious association claim that appears in the conclusion of the revised Zygote Argument (Mele 2013+). Yet, over the last decade, Mele has made no comment in print about the changes he made, the invalidity objection that led to them, nor to the fact that his revised Zygote Argument was originally presented by me as a (non-optimal) reaction to my invalidity objection to his original Zygote Argument. To my knowledge, Mele has only mentioned this 2015 paper once, at it was not in the context of understanding manipulation arguments; it was, rather, in the context of defending his revised, non-explanatory definition of 'incompatibilism' at the opening of Aspects of Agency (p. 6, n. 4). There, Mele singles out *just this 2015 paper* as a place where they'll find what Mele degrades as a type of nonstandard/nontraditional definition of 'incompatibilism' that he rejects. This is notable because Mele provides no empirical evidence that his preferred definition is standard, and most (including Lehrer, who coined the term) reject the negative, non-explanatory, association-based definition that Mele came to endorse in the aftermath of my invalidity objection to OZA. So, if Mele had a genuine concern about philosophers who use the term 'incompatibilism', then Mele could have--and should have--named almost any leading figure in free will for this purpose (since most--including Pereboom, Vihvelin, Haji, etc.) reject the non-explanatory definition that Mele-2013+ now endorses. Yet, for untold reasons, Mele isolated the working definition of 'incompatibilism' used in one paper by one unemployed junior researcher to use as his example--even though Neil Levy had used this same definition in previously published work (eg. Levy 2011). Moreover, if Mele were genuinely interested in helping his readers understand the ambiguity of terms like 'compatibilism' and 'incompatibilism' it is a mystery that he referenced a paper in which nothing of substance hung on the definitions given to these terms -- especially considering that he might have instead pointed them to my OTHER 2015 paper, "A Critique of Vihvelin's Three-Fold Classification" in which the MAIN AIM of the paper is to expose the difficulties facing anyone who wants to define the terms 'compatibilism' and 'incompatibilism' in a way that everyone will accept (including a critique of the negative, non-explanatory "incompossibilist" definition that Mele adopted after my objection to OZA). By all appearances, Mele's main aim in citing specifically THIS paper and none of my other work was to give readers the false impression that my working definition of 'incompatibilism' played some role in my charge that his argument is invalid (which it doesn't, given that the term doesn't appear in either the premises or conclusion of that argument). Mele adds to this unseemly rhetorical campaign in his book *Manipulation Agents* where he mentions an invalidity objection in the intro (p. 84) and then discusses that objection in the final lines of Chapter 5 of the book (p. 120-121). The invalidity objection discussed here is completely pedantic, has never been seriously raised in the primary literature (and was previously addressed in multiple places my multiple philosophers, including me), and has nothing whatever to do with my invalidity objection. In other words, Mele was content to discuss an invalidity objection that no one has ever had to an argument that is clearly valid while completely ignoring the ONLY substantive invalidity objection to his argument in print. This is unfortunate, because it has led to serious confusion --including the patently false description of my invalidity objection to OZA as an objection to the revised version of the Zygote Argument that Mele adopted in *response* my objection (e.g., Capes mistakenly claims "Mickelson (2015) contends that arguments like this [i.e. like the revised Zygote Argument] are invalid. But that’s because she defines “incompatibilism” differently than I’ve defined it here" in his "Manipulation Arguments and Direct Arguments" chapter in the 2023 Wiley-Blackwell Companion to Free Will; I did not say this, and the definition of 'incompatibilism' is irrelevant to my objection). In "The Zygote Argument Is Invalid--Now What?", I simply use the invalidity of the simple 2-premise Zygote Argument as a foil to make a series of more philosophically significant points (e.g. regarding the dialectical structure of the free-will debate, the role of best-explanation reasoning, and to develop the first-ever "master manipulation argument"). Mele has yet to address my reasons for calling attention to the non-trivial invalidity of his OZA or to any of my answers to the "Now What?" question in this paper, even though this question and my proposed answers to this question are the paper's main point. For those interested in a more recent discussion of how the logical and metaphilosophical observations made in this "Now What?" paper have helped to move the free-will debate forward, I suggest looking at the discussions of the "paradigm shift" in the free-will debate that helps to explain why the free-will debate has become mired in stalemates and empty verbal disputes that are found, for example, in my contributions to the Wiley-Blackwell Companion to Free Will (Intro and Chapter 4, 2023) and my paper "Free Will, Self-Creation, and the Paradox of Moral Luck" (2019). (shrink)

Argument from analogy is a common and formidable form of reasoning in law and in everyday conversation. Although there is substantial literature on the subject, according to a recent survey ( Juthe 2005) there is little fundamental agreement on what form the argument should take, or on how it should be evaluated. Th e lack of conformity, no doubt, stems from the complexity and multiplicity of forms taken by arguments that fall under the umbrella of analogical (...) reasoning in argumentation, dialectical studies, and law. Modeling arguments with argumentation schemes has proven useful in attempts to refine the analyst’s understanding of not only the logical structures that shape the backbone of the argument itself, but also the logical underpinning of strategies for evaluating it, strategies based on the semantic categories of genus and relevance. By clarifying the distinction between argument from example and argument from analogy, it is possible to advance a useful proposal for the treatment of argument from analogy in law. (shrink)

The overarching goal of this book is to differentiate and provide a highly detailed descriptive account of a specific class of arguments. To simplify, let us consider the following example: suppose one aims to persuade that “Julius Caesar was a criminal.” To support that claim various arguments may be formulated, such as: a) Joseph Stalin murdered his political opponents who openly opposed him, thus he was a criminal. Julius Caesar did the same. Therefore, if Stalin was a criminal, then Caesar (...) was also a criminal. b) Most historians studying the history of the Roman Empire consider Julius Caesar to be a criminal, so he was one. c) The majority of people believe Julius Caesar was a criminal, so he was one. d) Anyone who murders or orders the killing of others is a criminal—regardless of whether it’s in defense of the country or to maintain power. Julius Caesar issued orders resulting in thousands of deaths, so he was a criminal. Argumentation theory distinguishes and extensively describes different types of arguments, each with its own definition, argumentation scheme, subtypes, and criteria for evaluation. We may, therefore, identify that: example (a) employs the argument from analogy, (b) is an argument from authority (ad auctoritate), and (c) is an argument from popular opinion (ad populum). What about (d)? Is there a theory for such arguments? Argument in the example (d) establishes the meaning of “criminal” by extending it to those who lead troops into battle or kill in self-defense, and in this way, Caesar can also be included in the extension of a “criminal” (regardless of whether he committed genocide or simply won battles). Although there are many concepts in argumentation theory and informal logic that explain various aspect of such arguments (e.g., persuasive definitions and persuasive quasi-definitions, attributions, classification arguments, etc.) there is no theory for such arguments—or rather—there was no until now. This book is aimed to provide a concept, classification, and assessment criteria for arguments which fix the meaning to support persuasion—namely, semantic arguments. Semantic arguments manifest themselves as a common and very powerful means of persuasion in various areas of human activity, including political discourse, advertising, science, law, and philosophy. This can be illustrated through an analysis of some examples: e.g., the redefinition of “planet” proposed in 2008 to exclude Pluto from the scope of this concept, the redefinition of the term “wetland” put forward by G.W. Bush in 1988, modifications of the definition of “human being” in disputes about abortion, or the definition of “vehicle” in cases of accidents involving electric scooters. The book’s goal is to provide a model of semantic argument—differentiating arguments that fix meaning for persuasive purposes, providing definition and scheme, constructing a comprehensive classification, and developing assessment criteria. This broader aim also fills a gap in argumentation theory regarding our understanding of semantic arguments and their actual and potential applications. (shrink)

In this essay, I argue for the rejection of Vihvelin's ‘Three-fold Classification’ , a nonstandard taxonomy of free-will compatibilism, incompatibilism, and impossibilism. Vihvelin is right that the standard taxonomy of these views is inadequate, and that a new taxonomy is needed to clarify the free-will debate. Significantly, Vihvelin notes that the standard formal definition of ‘incompatibilism’ does not capture the historically popular view that deterministic laws pose a threat to free will. Vihvelin's proposed solution is to redefine ‘incompatibilism.’ (...) However, Vihvelin's formal definition of ‘incompatibilism’ is flawed according to her own arguments. In addition, Vihvelin's characterization of ‘compatibilism’ is incomplete, and at least two important free-will views are missing from her proposed taxonomy. Given the problems with Vihvelin's arguments for 3-FC, her novel view of the dialectic between the major free-will views lacks support. (shrink)

In his Pyrrhonian Outlines , Sextus Empiricus employs an argument based upon the possibility of disagreement in order to show that one should not assent to a Dogmatic claim to which at present one cannot oppose a rival claim. The use of this argument seems to be at variance with the Pyrrhonian stance, both because it does not seem to accord with the definition of Skepticism and because the argument appears to entail that the search for (...) truth is doomed to failure. In the present paper, I examine the passages in which Sextus utilizes the argument from possible disagreement and offer an interpretation that makes the use of this argument compatible with the Pyrrhonian outlook. (shrink)

The reasoning process of analogy is characterized by a strict interdependence between a process of abstraction of a common feature and the transfer of an attribute of the Analogue to the Primary Subject. The first reasoning step is regarded as an abstraction of a generic characteristic that is relevant for the attribution of the predicate. The abstracted feature can be considered from a logic-semantic perspective as a functional genus, in the sense that it is contextually essential for the attribution (...) of the predicate, i.e. that is pragmatically fundamental (i.e. relevant) for the predica-tion, or rather the achievement of the communicative intention. While the transfer of the predicate from the Analogue to the analogical genus and from the genus to the Primary Subject is guaranteed by the maxims (or rules of inference) governing the genus-species relation, the connection between the genus and the predicate can be complex, characterized by various types of reasoning patterns. The relevance relation can hide implicit arguments, such as an implicit argument from classification , an evaluation based on values, consequences or rules, a causal relation, or an argument from practical reasoning. (shrink)

Grounding is a powerful metaphysical concept; yet there is widespread scepticism about the intelligibility of the notion. In this paper, I propose an account of an entity’s nature or essence, which I then use to provide grounding conditions for that entity. I claim that an understanding of an entity’s nature, together with an account of how logically complex entities are grounded, provides all we need to understand how that entity is grounded. This approach not only allows us to say what (...) grounds what, it also sheds light on the formal features of the grounding relation. It provides a principled argument for the orthodox view that grounding is irreflexive, asymmetrical, and transitive; but it allows that it may not be well-founded. The resulting approach gives us a powerful framework for understanding nature, grounding, and the relationship between them. (shrink)

With the advent of the semantic web, the problem of ambiguity is becoming more and more urging. Semantic analysis is necessary for explaining and resolving some sorts of ambiguity by inquiring into the relation between possibilities of predication and definition of a concept in order to solve problems such as interpretation and ambiguity. If computing is now approaching such problems of linguistic analysis, what is worth inquiring into is how the development of linguistic studies can be useful for developing (...) the theoretical background of ontologies. Our proposal is to develop a theory of definition alternative to the traditional metaphysical approach and the modern relativistic account. We interpret the ancient notion of essential definition in a dialectical perspective, and show how the dialectical definition by genus and difference corresponds to the semantic analysis of the definiendum. The dialectical definition is shown to be grounded on the deepest endoxa (shared knowledge) of a community, and to be the argumentatively strongest definition. After presenting the most common types of definition used in argumentation, the linguistic and logical characteristics of the notion of definition by genus and difference are set out in a pragmatic framework. (shrink)

Jeśli można mówić o modzie w badaniach naukowych, to semantyka jest od prawie wieku niewątpliwie jedną z bardziej modnych dziedzin w nauce. Badają ją nie tylko logicy i filozofowie języka, lecz także kulturoznawcy, antropologowie, filologowie, kognitywiści czy informatycy. Niniejszy artykuł ma na celu zbadanie roli, jaką odgrywa semantyka w teorii argumentacji, a dokładniej — zarysowanie pewnego modelu argumentacji, który modyfikuje znaczenia terminów dla celów argumentacyjnych. Najpierw przedstawię kilka przykładowych argumentów semantycznych, analizując każdy z nich na tyle, aby wydobyć pewne subtelności (...) potrzebne do zbudowania modelu argumentu semantycznego. W ten sposób pokażę, jak nomen omen znaczący wpływ na argumentację ma znaczenie słów, a także na ile sposobów może ono wpływać na przebieg argumentacji. Na samym końcu zarysuję definicję argumentu semantycznego, która może wytyczyć kierunek dalszych badań nad semantyką w teorii argumentacji. (shrink)

ABSTRACT: This paper traces the earliest development of the most basic principle of deduction, i.e. modus ponens (or Law of Detachment). ‘Aristotelian logic’, as it was taught from late antiquity until the 20th century, commonly included a short presentation of the argument forms modus (ponendo) ponens, modus (tollendo) tollens, modus ponendo tollens, and modus tollendo ponens. In late antiquity, arguments of these forms were generally classified as ‘hypothetical syllogisms’. However, Aristotle did not discuss such arguments, nor did he (...) call any arguments ‘hypothetical syllogisms’. The Stoic indemonstrables resemble the modus ponens/tollens arguments. But the Stoics never called them ‘hypothetical syllogisms’; nor did they describe them as ponendo ponens, etc. The tradition of the four argument forms and the classification of the arguments as hypothetical syllogisms hence need some explaining. In this paper, I offer some explanations by tracing the development of certain elements of Aristotle’s logic via the early Peripatetics to the logic of later antiquity. I consider the questions: How did the four argument forms arise? Why were there four of them? Why were arguments of these forms called ‘hypothetical syllogisms’? On what grounds were they considered valid? I argue that such arguments were neither part of Aristotle’s dialectic, nor simply the result of an adoption of elements of Stoic logic, but the outcome of a long, gradual development that begins with Aristotle’s logic as preserved in his Topics and Prior Analytics; and that, as a result, we have a Peripatetic logic of hypothetical inferences which is a far cry both from Stoic logic and from classical propositional logic, but which sports a number of interesting characteristics, some of which bear a cunning resemblance to some 20th century theories. (shrink)

As Leibniz points out in the Méditation sur la notion commune de la jus tice, justice—defined as charity of the wise and universal benevolence—belongs “to the necessary and eternal truths about the nature of things, as numbers and proportions.” According to the interpretation of Patrick Riley, from this perspective the two manuscripts usually regarded as belonging to the Méditation should be seen as complementary parts of a unitary Platonizing work. According to Riley, the manuscript that now constitutes the first (...) part of the Méditation is concerned with definitions of ethical concepts viewed as “quasi-mathematical, demonstrable ‘eternal verities’”, whereas the manuscript that now constitutes the second part of the Méditation is concerned “with Platonic ‘ascent’, in the manner of Phaedrus and Symposium,” which recommends the transition from mere negative forbearance from harm to doing positive good. In formulating these claims, Riley uses scare quotes to indicate that he uses the terms “eternal verities” and “ascent” in an unusual way that diverges from the views of the historical Plato. According to his interpretation, Leibniz’s modifications of Platonism are restricted to peripheral parts such as the doctrine of the pre-existence of the soul or Pythagorean components such as the doctrine of metempsychosis. Therefore, Riley claims that when Leibniz is talking about knowing eternal truths, what he has in mind is literally the view that we know the same truths as the truths that the gods know and love but do not cause or change. (shrink)

According to informal logic, the possibilities of deductive logic as a tool for analysing and evaluating ordinary arguments are very limited. While I agree with this claim in general, I question it in the case of the argument from cause to effect. In this paper I first show, on the basis of carefully chosen examples, that we usually react differently to falsification of the conclusion of the argument from cause to effect than we do to the (...) falsification of the conclusion of other defeasible arguments. I then identify general conditions and assumptions under which the causal argument from cause to effect can be reconstructed as deductive. Finally, I compare the causal argument with the expert argument, which is a typical example of a defeasible argument in the narrower sense. (shrink)

A large part of the controversy surrounding the publication of DSM-5 stems from the possibility of replacing the purely descriptive approach to classification favored by the DSM since 1980. This paper examines the question of how mental disorders should be classified, focusing on the issue of whether the DSM should adopt a purely descriptive or theoretical approach. I argue that the DSM should replace its purely descriptive approach with a theoretical approach that integrates causal information into the DSM’s (...) descriptive diagnostic categories. The paper proceeds in three sections. In the first section, I examine the goals (viz., guiding treatment, facilitating research, and improving communication) associated with the DSM’s purely descriptive approach. In the second section, I suggest that the DSM’s purely descriptive approach is best suited for improving communication among mental health professionals; however, theoretical approaches would be superior for purposes of treatment and research. In the third section, I outline steps required to move the DSM towards a hybrid system of classification that can accommodate the benefits of descriptive and theoretical approaches, and I discuss how the DSM’s descriptive categories could be revised to incorporate theoretical information regarding the causes of disorders. I argue that the DSM should reconceive of its goals more narrowly such that it functions primarily as an epistemic hub that mediates among various contexts of use in which definitions of mental disorders appear. My analysis emphasizes the importance of pluralism as a methodological means for avoiding theoretical dogmatism and ensuring that the DSM is a reflexive and self-correcting manual. (shrink)

The classification of a state of affairs under a legal category can be considered as a kind of con- densed decision that can be made explicit, analyzed, and assessed us- ing argumentation schemes. In this paper, the controversial conflict of opinions concerning the nature of “marriage” in Obergefell v. Hodges is analyzed pointing out the dialecti- cal strategies used for addressing the interpretive doubts. The dispute about the same-sex couples’ right to marry hides a much deeper disa- greement not (...) only about what mar- riage is, but more importantly about the dialectical rules for defining it. (shrink)

In this article, I use Edmund Gettier’s Ten Coins hypothetical scenario to illustrate some reasoning errors in the use of definite descriptions. The Gettier problem, central as it is to modern epistemology, is first and foremost an argument, which Gettier (Analysis 23(6):121–123, 1963) constructs to prove a contrary conclusion to a widely held view in epistemology. Whereas the epistemological claims in the case have been extensively analysed conceptually, the strategies and tools from other philosophical disciplines such as analytic (...) philosophy of language, logic and argumentation that Gettier deploys in the case have scarcely received any attention. This work abstracts from the epistemological content and examines Gettier’s handling of the definite description involved, and how that affects the cogency of his argument. (shrink)

In the tradition stemming from Aristotle through Aquinas, rational decision making is seen as a complex structure of distinct phases in which reasoning and will are interconnected. Intention, deliberation, and decision are regarded as the fundamental steps of the decision-making process, in which an end is chosen, the means are specified, and a decision to act is made. Based on this Aristotelian theoretical background, we show how the decision-making process can be modeled as a net of several patterns of (...) reasoning, involving the classification of an action or state of affairs, its evaluation, the deliberation about the means to carry it out, and the decision. It is shown how argumentation theory can contribute to our understanding of the mechanisms involved by formalizing the steps of reasoning using argumentation schemes, and setting out the value-based criteria underlying the evaluation of an action. Representing each phase of the decision-making process as a separate scheme allows one to identify implicit premises and bring the roots of ethical dilemma to light along with the means to resolve them. In particular, we will show the role of framing and classification in triggering value-based reasoning, and how argumentation theory can be used to represent and uproot the grounds of possible manipulations. (shrink)

Primarily using philosophy, but also some social science, Escape from Leviathan (EfL) explains and defends what it calls an extreme version of the implicit ‘classical liberal compatibility thesis’: liberty, welfare, and anarchy are overwhelmingly complementary in normal practice (rationality is added for its intimate theoretical connections to these categories). This is done using theories, not definitions, of each concept. This important thesis is entirely positive. Therefore, somewhat unusually, all normative issues are avoided as irrelevant distractions in this context. In (...) addition, the epistemology used is also unorthodox. A justificationist, or foundationalist, approach would be literally illogical: the self-refuting trilemma faced by ‘supporting justifications’ (as regards arguments and evidence) is of entailing infinite regresses, dogmatic starting points, or circularities. Consequently, critical rationalism is assumed: conjecture and criticism are all that is possible. Thus all aspects of the conjectured thesis are explained and defended from criticism as thoroughly as the book can encompass. It is concluded that the thesis has not been refuted and so may be critically preferred. (However, this could all still be viewed as a ‘justification’ by those thus inclined.) All of this is made clear enough in the short introductory chapter and repeated where relevant throughout. Yet some reviews do not have a firm grasp of the specific project and so reject it with unsound criticisms. We now turn to one such example. (shrink)

Many philosophers believe that our ordinary English words man and woman are “gender terms,” and gender is distinct from biological sex. That is, they believe womanhood and manhood are not defined even partly by biological sex. This sex/gender distinction is one of the most influential ideas of the twentieth century on the broader culture, both popular and academic. Less well known are the reasons to think it’s true. My interest in this paper is to show that, upon investigation, the (...) arguments for the sex/gender distinction have feet of clay. In fact, they all fail. We will survey the literature and tour arguments in favor of the sex/gender distinction, and then we’ll critically evaluate those arguments. We’ll consider the argument from resisting biological determinism, the argument from biologically intersex people and vagueness, the argument from the normativity of gender, and some arguments from thought experiments. We’ll see that these arguments are not up to the task of supporting the sex/gender distinction; they simply don’t work. So, philosophers should either develop stronger arguments for the sex/gender distinction, or cultivate a variety of feminism that’s consistent with the traditional, biologically-based definitions of woman and man. (shrink)

The general aim of this article is to give a critical interpretation of post-trial obligations towards individual research participants in the Declaration of Helsinki 2013. Transitioning research participants to the appropriate health care when a research study ends is a global problem. The publication of a new version of the Declaration of Helsinki is a great opportunity to discuss it. In my view, the Declaration of Helsinki 2013 identifies at least two clearly different types of post-trial obligations, specifically, access to (...) care after research and access to information after research. The agents entitled to receive post-trial access are the individual participants in research studies. The Declaration identifies the sponsors, researchers and host country governments as the main agents responsible for complying with the post-trial obligations mentioned above. To justify this interpretation of post-trial obligations, I first introduce a classification of post-trial obligations and illustrate its application with examples from post-trial ethics literature. I then make a brief reconstruction of the formulations of post-trial obligations of the Declaration of Helsinki from 2000 to 2008 to correlate the changes with some of the most salient ethical arguments. Finally I advance a critical interpretation of the latest formulation of post-trial obligations. I defend the view that paragraph 34 of ‘Post-trial provisions’ is an improved formulation by comparison with earlier versions, especially for identifying responsible agents and abandoning ambiguous ‘fair benefit’ language. However, I criticize the disappearance of ‘access to other appropriate care’ present in the Declaration since 2004 and the narrow scope given to obligations of access to information after research. (shrink)

In this article author traces relation between argumentation and cultural practice. The first part focuses on definition of argumentation in informal logic tradition. In particular, it discusses argument in terms of verbal and social activity involving the use of everyday language. Author claims that there is no argumentation beyond language. The second part explains persuasive argumentation as a form of cultural practice. The persuasive arguments found in “social practice” can be understood as a social activity, analysable within the (...) context of a given cultural system. Author refers to an approach taking the argumentative expression as a certain type of communicative practice, directed towards respecting, recognising or accepting specific actions. The inclusion of persuasive argumentation in the “circuit of cultural activities” to be studied makes it possible to compare this type of argumentation with other social practices, and to posit a clear historical dimension in the study of argumentation. It also makes it possible to view persuasive argumentation as one of many cultural activities aimed at changing or perpetuating behaviours, attitudes, thinking, etc. The third part of the paper concerns the problem of humanistic interpretation of persuasive argumentation. Author attempts to develop this intuition, at the same time demonstrating the problems that arise from this approach. In conclusion, author tries to analyze argumentation in terms of culture theory and humanistic interpretation. (shrink)

Scholars have often thought that a monistic reading of Aristotle’s definition of the human good – in particular, one on which “best and most teleios virtue” refers to theoretical wisdom – cannot follow from the premises of the ergon argument. I explain how a monistic reading can follow from the premises, and I argue that this interpretation gives the correct rationale for Aristotle’s definition. I then explain that even though the best and most teleios virtue (...) must be a single virtue, that virtue could in principle be a whole virtue that arises from the combination of all the others. I also clarify that the definition of the human good aims at capturing the nature of human eudaimonia only in its primary case. (shrink)

In the complex tapestry of existence, we journey down the corridors of thought, proclaiming Descarte's famed words: "Cogito ergo sum." Yet, the journey does not conclude with merely affirming our existence but falls down the endless pit of the dimensions and complex corridors of free will and autonomy. Let us establish the terms that shall guide our thoughts for this voyage. First, a multi-faceted free will that transcends mere ownership of thoughts, extending to the profound responsibility for our actions within (...) the temporal plane we inhabit," an existence yet to be fully revealed. Second, the insistence on the necessity, or at least the belief in the potential, of self-control. Here, we differ from conventional definitions of free will to assert the capacity to govern the mind and ego, even when one perceives a lack of control. The mind, which exists somewhere, owns the authority over its thoughts, which is you. And thirdly, the elusive question: What is "I"? Not into the human "you" or the one that speaks and sees but into the core thinker, the intangible essence that animates. The "I" resides within, shaping the tangible reality and, paradoxically, depending on nothing while being the core of reality. Yet, the pivotal question still stands: Do others exist? Autonomy becomes the litmus test. If I, as an autonomous being, fail to wield dominion over external circumstances. Weakness in reshaping the external world confirms the separation, a stark admission of being powerless in the face of objective reality. While using ocoms razer, our answer is found. Thus, the conclusion is a solitary existence in the ability to affirm one's own being while recognizing others through autonomy. (shrink)

There are emotively powerful words that can modify our judgment, arouse our emotions, and influence our decisions. The purpose of this paper is to provide instruments for analyzing the structure of the reasoning underlying the inferences that they trigger, in order to investigate their reasonableness conditions and their persuasive effect. The analysis of the mechanism of persuasion triggered by such words involves the complex systematic relationship between values, decisions, and emotions, and the reasoning mechanisms that have been investigated under the (...) label of “heuristics.” On the one hand, arguing using ethical words is shown to sometimes involve value-based practical reasoning grounded on evaluative classifications stemming from hierarchies of values and maxims of experience. On the other hand, ethical words provide representations bound to the interlocutor’s experiences and judgments, which trigger specific emotions yielding a particular reaction. This chain of judgments and reactions and the potential fallaciousness thereof can be inquired into by examining the relationship between the heuristic processes of reasoning and the more complex argumentative structure that the use of such words involves. The analysis of the 2013 Italian political campaign and the ad hominem arguments used by the political candidates shows the different strategies and counterstrategies for the manipulation of emotions. (shrink)

In this paper I investigate Putnam’s model-theoretic argument from a transcendent standpoint, in spite of Putnam’s well-known objections to such a standpoint. This transcendence, however, requires ascent to something more like a Tarskian meta-level than what Putnam regards as a “God’s eye view”. Still, it is methodologically quite powerful, leading to a significant increase in our investigative tools. The result is a shift from Putnam’s skeptical conclusion to a new understanding of realism, truth, correspondence, knowledge, and theories, (...) or certain aspects thereof, based on, among other things, a better understanding of what models are designed (and not designed) to do. (shrink)

Since the publication of Hartry Field’s influential paper “Tarski’s Theory of Truth” there has been an ongoing discussion about the philosophical import of Tarski’s definition. Most of the arguments have aimed to play down that import, starting with that of Field himself. He interpreted Tarski as trying to provide a physicalistic reduction of semantic concepts like truth, and concluded that Tarski had partially failed. Robert Stalnaker and Scott Soames claimed then that Field should have obtained a stronger conclusion, namely (...) that Tarski’s failure in his allegedly intended physicalistic reduction was total. From another front, Hilary Putnam argued for an even more sweeping thesis: “[a]s a philosophical account of truth, Tarski’s theory fails as badly as it is possible for an account to fail.” Scott Soames followed suit also on this count, endorsing Putnam’s argument in section iii of the aforementioned paper; and John Etchemendy used a very similar argument to contend that “a Tarskian definition of truth [...] cannot possibly illuminate the semantic properties of the object language.” The paper argues that these contentions are based on several misunderstandings about the nature of a definition like Tarski’s. Regarding the Putnam-Soames-Etchemendy argument, we must apply a distinction Frege found natural to draw—and is natural to draw anyway—between what he called “constructive” definitions, definitions properly so called, which are mere stipulations, and what he described as “analytic” definitions, definitions which aim to make explicit the meaning of a term already in use. Regarding the Field-Soames-Stalnaker criticism, the paper contends that the true aims of a Tarskian truth definition are perfectly well fulfilled without Field’s amendments. (shrink)

The definitive statement of the Knowledge Argument was formulated by Frank Jackson, in a paper entitled “Epiphenomenal Qualia” that appeared in The Philosophical Quarterly in 1982. Arguments in the same spirit had appeared earlier (Broad 1925, Robinson 1982), but Jackson’s argument is most often compared with Thomas Nagel’s argument in “What is it Like to be a Bat?” (1974). Jackson, however, takes pains to distinguish his argument from Nagel’s. This entry will follow standard practice in (...) focusing on Jackson’s argument, though I will also describe the main points of alleged similarity and dissimilarity between these two arguments. (shrink)

We consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary evidence-based definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways: (1) in terms of classical algorithmic verifiabilty; and (2) in terms of finitary algorithmic computability. We then show that the two definitions correspond to two distinctly different assignments of satisfaction and (...) truth to the compound formulas of PA over N---I_PA(N; SV ) and I_PA(N; SC). We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both I_PA(N; SV ) and I_PA(N; SC). We then show: (a) that if we assume the satisfaction and truth of the compound formulas of PA are always non-finitarily decidable under I_PA(N; SV ), then this assignment corresponds to the classical non-finitary putative standard interpretation I_PA(N; S) of PA over the domain N; and (b) that the satisfaction and truth of the compound formulas of PA are always finitarily decidable under the assignment I_PA(N; SC), from which we may finitarily conclude that PA is consistent. We further conclude that the appropriate inference to be drawn from Goedel's 1931 paper on undecidable arithmetical propositions is that we can define PA formulas which---under interpretation---are algorithmically verifiable as always true over N, but not algorithmically computable as always true over N. We conclude from this that Lucas' Goedelian argument is validated if the assignment I_PA(N; SV ) can be treated as circumscribing the ambit of human reasoning about `true' arithmetical propositions, and the assignment I_PA(N; SC) as circumscribing the ambit of mechanistic reasoning about `true' arithmetical propositions. (shrink)

Physicalism is incompatible with what is known as the possibility of zombies, that is, the possibility of a world physically like ours, but in which there are no conscious experiences. But it is compatible with what is known as the possibility of ghosts, that is, the possibility of a world which is physically like ours, but in which there are additional nonphysical entities. In this paper we argue that a revision to the traditional definition of physicalism designed to accommodate (...) the possibility of ghosts inadvertently accommodates what is known as the possibility of inverted spectra, that is, the possibility of a world which is physically like ours, but in which colour experience is inverted. This consequence is unwelcome, because it is widely agreed that the possibility of inverted spectra is incompatible with physicalism. We argue for a revised definition of physicalism which resolves this problem. We then use our definition to argue that physicalism is not compatible with what is known as the possibility of blockers, that is, the possibility of a world which is physically like ours, but in which additional nonphysical entities have prevented the existence of conscious experience. This undermines Stephan Leuenberger's attempt to defend physicalism from arguments which purport to establish the possibility of zombies. (shrink)

Leibniz's mill argument in 'Monadology' 17 is a well-known but puzzling argument against materialism about the mind. I approach the mill argument by considering other places where Leibniz gave similar arguments, using the same example of the machinery of a mill and reaching the same anti-materialist conclusion. In a 1702 letter to Bayle, Leibniz gave a mill argument that moves from his definition of perception (as the expression of a multitude by a simple) to (...) the anti-materialist conclusion. Soon afterwards, in the Preface to the New Essays, Leibniz gave a different mill argument. That argument depends upon there being no arbitrary and inexplicable connections in nature, because God would not create such things. Later, in the 'Monadology', Leibniz again used the mill example in arguing against materialism. That passage too, I argue, uses an argument from inexplicability rather than from Leibniz's definition of perception. (shrink)

In “The Zygote Argument is Invalid: Now What?” (2015), Kristin Mickelson published an objection to the Zygote Argument that she first presented in 2012 as workshop comments on a draft of Mele's "Manipulation, Moral Responsibility, and Bullet-Biting" (2013). Assuming that the phrase "determinism precludes free will" means something like determinism-related causal factors are what prevent people from acting freely when determinism is true, Mele's original Zygote Argument was invalid. At the workshop, Mickelson presented Mele with two (...) options to address the problem, a premise-preserving option and a conclusion-preserving option. That is, Mele could change the conclusion of the original argument to the negative, non-explanatory thesis entailed by its original two premises, or find a way to add premises that would support the positive, explanatory conclusion of the original argument (which, notably, is the conclusion that Pereboom supports using best-explanation reasoning in his Four-Case Argument). Mickelson used this as an opportunity to explain the key contribution that best-explanation reasoning makes to manipulation arguments -- and why the best variant of the manipulation argument might conclude that incompatibilism is FALSE. In response to Mickelson's objection, Mele changed the conclusion of the argument before "Manipulation, Moral Responsibility, and Bullet-Biting" went to print, choosing Mickelson's proposal to change its conclusion over the suggestion to change its premises. However, Mele failed to mention Mickelson's invalidity objection in print and that he changed the conclusion of his argument as a direct response to it; nor did Mele mention the costs that Mickelson outlined for the premise-preserving solution that he adopted or the benefits of a conclusion-preserving solution. At the same time, Mele began using the term 'incompatibilism' to pick out the negative, non-explanatory claim supported by the newly revised Zygote Argument--and also started to claim (without providing evidence) that those who use the term 'incompatibilism' to denote the explanatory claim deterministic causal factors *make it the case* that no one acts freely when determinism is true" is guilty of using the term in a nonstandard and nontraditional way that he had "never had any use for"--failing to mention that he clearly used the term in this explanatory sense in his 2005 critique of the Four-Case Argument, which is to be expected give that Derk Pereboom uses the explanatory definition (as do Kadri Vihvelin, Carolina Sartorio, and *most* other contributors to the free-will literature). In THIS reply essay, Mickelson responds to an attempt by Gabriel De Marco (FSU, advisor Alfred Mele) to defend the original Zygote Argument from Mickelson's 2012/2015 critique. Unfortunately, both of De Marco's proposed "solutions" are non-starters. The first is a non-starter because De Marco merely repeats the premise-preserving solution that Mickelson offered to Mele in 2012 and that Mele adopted in print in 2013. In other words, De Marco took credit for the premise-preserving solution to the invalidity objection that Mickelson developed (although he does *redescribe* Mickelson's solution in his own idiosyncratic jargon) and Mele had already adopted in print. De Marco's second solution is a non-starter because it is constituted by a patently invalid argument. Contrary to De Marco's proposal, it's not true that the conjunction of possibilism and incompossibilism deductively entails the positive, diagnostic claim that deterministic causal factors beyond one's control preclude (destroy, undermine, is antagonistically relevant to) free will when determinism is true. *My thanks to the editors of Philosophia for publishing this reply when PhilStudies would not. (shrink)

Reber and Alcock have recently made a sharp attack on the entire psi literature, and in particular a recent overview by Cardeña of the meta-analyses across various categories of psi. They claim the data are inherently fl awed because of their disconnect with our current understanding of the world. As a result, they ignore the data and identify key scientific principles that they argue clash with psi. In this Commentary, I argue that these key principles are diffi cult to apply (...) in areas where our understanding remains poor, especially quantum mechanics and consciousness. I also explore how the psi data may fi t within these two domains. (shrink)

In psychiatry some disorders of cognition are distinguished from instances of normal cognitive functioning and from other disorders in virtue of their surface features rather than in virtue of the underlying mechanisms responsible for their occurrence. Aetiological considerations often cannot play a significant classificatory and diagnostic role, because there is no sufficient knowledge or consensus about the causal history of many psychiatric disorders. Moreover, it is not always possible to uniquely identify a pathological behaviour as the symptom of (...) a certain disorder, as disorders that are likely to differ both in their causal histories and in their overall manifestations may give rise to very similar patterns of behaviour. -/- Consider delusions as an example. It wouldn’t be correct to define delusions as those beliefs people form as a result of a neurobiological deficit and a hypothesis-evaluation deficit (as some versions of the two-factor theory of delusions suggest), because for some delusions no neurobiological deficit may be found, and reasoning biases and motivational factors may be contributors to the formation of the delusion (e.g. McKay et al., 2005). Moreover, it would be a mistake to define delusions as symptoms of schizophrenia alone, because they occur also in other disorders, including dementia, amnesia, and delusional disorders. Thus, aetiological considerations may appear in the description and analysis of delusions, but do not feature prominently in their definition. -/- In this paper I argue that the surface features used as criteria for the classification and diagnosis of disorders of cognition are often epistemic in character. I shall offer two examples: confabulations and delusions are defined as beliefs or narratives that fail to meet standards of accuracy and justification. Although classifications and diagnoses based on features of people’s observable behaviour are necessary at these early stages of neuropsychiatric research, given the variety of conditions in which certain phenomena appear, I shall attempt to show that current epistemic accounts of confabulations and delusions have limitations. Epistemic criteria can guide both research and clinical practice, but fail to provide sufficient conditions for the identification of delusions and confabulations, and fail to demarcate pathological from non-pathological narratives or beliefs. -/- Another limitation of current epistemic accounts – which I shall not address here – is the excessive focus on epistemic faults of confabulations and delusions at the expense of their epistemically neutral or advantageous features (see Bortolotti and Cox, 2009). This may lead to a misconception of delusions and confabulations, and to an oversimplification in the assessment of the needs of people who require clinical treatment for their psychotic symptoms. (shrink)

In this paper I defend the existence of a Dialectical school proper against criticisms brought forward by Klaus Döring and by Jonathan Barnes. Whereas Döring claims that there was no Dialectical school separate from the Megarians, Barnes takes issue with my claim (argued for in “Dialektiker und frühe Stoiker bei Sextus Empiricus”) that most of the reports in Sextus on the dialecticians refer to members of the Dialectical school. Barnes contends that these dialecticians are in fact Stoic logicians. As (...) against Döring, I argue that the passage in Diogenes Laertius II 113 (first drawn attention to by David Sedley) which talks of a the Megarian Stilpo winning over disciples from the Dialecticians is not refuted by Döring’s arguments. It clearly shows that the Dialecticians and the Megarians at the time were taken to be different philosophical sects. As against Barnes I insist on the differences between the report in Ps.-Galen’s Historia 9 and the Sextan report on the theory of sign in AM VIII. These reports offer incompatible definitions of the indicative sign. Moreover, the classification of simple propositions reported by Sextus at AM VIII 96f. cannot be a truncated version of the (Stoic) list to be found in Diogenes Laertius VII 69f. since in Sextus’ report one of the three classes of simple propositions is labelled middle (meson). This is a certain sign that we are dealing with a triad, and hence that this list is meant to be complete. Therefore the classification found in Sextus and attributed to the dialecticians and the one in Diogenes Laertius reporting Stoic material do come from different sources. (shrink)

This chapter proposes a dialectical approach to legal interpretation, consisting of three dimensions: a formalization of the canons of interpretation in terms of argumentation schemes; a dialectical classification of interpretive schemes; and a logical and computational model for comparing the arguments pro and contra an interpretation. The traditional interpretive maxims or canons used in both common and civil law are translated into defeasible patterns of arguments, which can be evaluated through sets of corresponding critical questions. These interpretive argumentation schemes (...) are classified in general categories and a distinction is drawn between schemes supporting and rebutting an interpretation. This framework allows conceiving statutory interpretation as a dialectical procedure consisting in weighing arguments pro and contra an interpretation. This procedure is formalized and represented computationally through tools from formal argumentation systems. (shrink)

The issue of the definition and position of archaeology as a discipline is examined in relation to the dispute which took place from 1980 to 2009 between the archaeologist Jean-Claude Gardin and the sociologist Jean-Claude Passeron. This case study enables us to explore the actual conceptual relationships between archaeology and the other sciences (as opposed to those wished for or prescribed). The contrasts between the positions declared by the two researchers and the rooting of their arguments in their (...) disciplines are examined: where the sociologist makes use of his philosophical training, the archaeologist relies mainly on his work on semiology and informatics. Archaeology ultimately plays a minor role in the arguments proposed. This dispute therefore cannot be considered as evidence for the movement of concepts between archaeology and the social sciences. A blind spot in the debate, relating to the ontological specificities of archaeological objects, nevertheless presents itself as a possible way of implementing this movement. (shrink)

The article advances a new way of thinking about classifications in general and the classification of mental disorders in particular. By applying insights from measurement practice to the context of classification, I defend a notion of epistemic accuracy that allows one to evaluate and improve classifications by comparing different classifying methods to each other. Progress in classification arises from the mutual development of classification systems and classifying methods. Based on this notion of accuracy, the (...) article illustrates with an example how psychiatric classifications can be improved via circumscribed comparisons of different perspectives on mental disorders, without relying on complete models of their complex aetiology. When applying this strategy, the traditional opposition between symptom-based and causal approaches is of little consequence for making progress in the epistemic accuracy of psychiatric classification. (shrink)

The article develops and justifies, on the basis of the epistemological argumentation theory, two central pieces of the theory of evaluative argumentation interpretation: 1. criteria for recognizing argument types and 2. rules for adding reasons to create ideal arguments. Ad 1: The criteria for identifying argument types are a selection of essential elements from the definitions of the respective argument types. Ad 2: After presenting the general principles for adding reasons (benevolence, authenticity, immanence, optimization), heuristics are (...) proposed for finding missing reasons, for deductive arguments, e.g., semantic tableaux are suggested. (shrink)

Since the ENCODE project published its final results in a series of articles in 2012, there is no consensus on what its implications are. ENCODE’s central and most controversial claim was that there is essentially no junk DNA: most sections of the human genome believed to be «junk» are functional. This claim was met with many reservations. If researchers disagree about whether there is junk DNA, they have first to agree on a concept of function and how function, given a (...) particular definition, can be discovered. The ENCODE debate centered on a notion of function that assumes a strong dichotomy between evolutionary and non-evolutionary function and causes, prevalent in the Modern Evolutionary Synthesis. In contrast to how the debate is typically portrayed, both sides share a commitment to this distinction. This distinction is, however, much debated in alternative approaches to evolutionary theory, such as the EES. We show that because the ENCODE debate is grounded in a particular notion of function, it is unclear how it connects to broader debates about what is the correct evolutionary frame- work. Furthermore, we show how arguments brought forward in the controversy, particularly arguments from mathematical population genetics, are deeply embedded in their particular disciplinary contexts, and reflect substantive assumptions about the evolution of genomes. With this article, we aim to provide an anatomy of the ENCODE debate that offers a new perspective on the notions of function both sides employed, as well as to situate the ENCODE debate within wider debates regarding the forces operating in evolution. (shrink)

Christian apologists, like Willian Lane Craig and Stephen T. Davis, argue that belief in Jesus’ resurrection is reasonable because it provides the best explanation of the available evidence. In this article, I refute that thesis. To do so, I lay out how the logic of inference to the best explanation (IBE) operates, including what good explanations must be and do by definition, and then apply IBE to the issue at hand. Multiple explanations—including (what I will call) The Resurrection Hypothesis, (...) The Lie Hypothesis, The Coma Hypothesis, The Imposter Hypothesis, and The Legend Hypothesis—will be considered. While I will not attempt to rank them all from worst to best, what I will reveal is how and why The Legend Hypothesis is unquestionably the best explanation, and The Resurrection Hypothesis is undeniably the worst. Consequently, not only is Craig and Davis’ conclusion mistaken, but belief in the literal resurrection of Jesus is irrational. In presenting this argument, I do not take myself to be breaking new ground; Robert Cavin and Carlos Colombetti have already presented a Bayesian refutation of Craig and Davis’ arguments. But I do take myself to be presenting an argument that the average person (and philosopher) can follow. It is my goal for the average person (and philosopher) to be able to clearly understand how and why the hypothesis “God supernaturally raised Jesus from the dead” fails utterly as an explanation of the evidence that Christian apologist cite for Jesus’ resurrection. (shrink)

Presumption is a complex concept in law, affecting the dialogue setting. However, it is not clear how presumptions work in everyday argumentation, in which the concept of “plausible argumentation” seems to encompass all kinds of inferences. By analyzing the legal notion of presumption, it appears that this type of reasoning combines argument schemes with reasoning from ignorance. Presumptive reasoning can be considered a particular form of reasoning, which needs positive or negative evidence to carry a probative weight on (...) the conclusion. For this reason, presumptions shift the burden of providing evidence or explanations onto the interlocutor. The latter can provide new information or fail to do so: whereas in the first case the new information rebuts the presumption, in the second case, the absence of information that the interlocutor could reasonably provide strengthen the conclusion of the presumptive reasoning. In both cases the result of the presumption is to strengthen the conclusion of the reasoning from lack of evidence. As shown in the legal cases, the effect of presumption is to shift the burden of proof to the interlocutor; however, the shift a presumption effects is only the shift of the evidential burden, or the burden of completing the incomplete knowledge from which the conclusion was drawn. The burden of persuasion remains on the proponent of the presumption. On the contrary, reasoning from definition in law is a conclusive proof, and shifts to the other party the burden to prove the contrary. This crucial difference can be applied to everyday argumentation: natural arguments can be divided into dialectical and presumptive arguments, leading to conclusions materially different in strength. -/- . (shrink)

In this paper we apply social epistemology to mathematical proofs and their role in mathematical knowledge. The most famous modern collaborative mathematical proof effort is the Classification of Finite Simple Groups. The history and sociology of this proof have been well-documented by Alma Steingart (2012), who highlights a number of surprising and unusual features of this collaborative endeavour that set it apart from smaller-scale pieces of mathematics. These features raise a number of interesting philosophical issues, but have received (...) very little attention. In this paper, we will consider the philosophical tensions that Steingart uncovers, and use them to argue that the best account of the epistemic status of the Classification Theorem will be essentially and ineliminably social. This forms part of the broader argument that in order to understand mathematical proofs, we must appreciate their social aspects. (shrink)

Kevin Harrelson's book commences with the following words: This book provides a philosophical analysis of the several debates concerning the "ontological argument" from the middle of the seventeenth to the beginning of the nineteenth century. My aim in writing it was twofold. First, I wished to provide a detailed and comprehensive account of the history of these debates, which I perceived to be lacking in the scholarly literature. Second, I wanted also to pursue a more philosophically interesting question (...) concerning the apparent unassailability of ontological arguments. In pursuit of this latter problem, the driving question that my account addresses is "why has this argument, or kind of argument, been such a constant in otherwise diverse philosophical contexts and periods?" I think that there is no doubt that Harrelson succeeds in the first of these aims. He has, indeed, produced a detailed scholarly account of the history of debates about ontological arguments from the middle of the seventeenth century to the beginning of the nineteenth. His history is engaging and interesting, covering a wide range of authors with diverse philosophical orientations: Descartes, Arnauld, Caterus, Gassendi, Hobbes, Mersenne, More, Geulincx, Cudworth, Locke, Clarke, Malebranche, Huet, Spinoza, Leibniz, Wolff, Baumgarten, Eberhard, Crusius, Kant, Mendelssohn, and Hegel, among others. It seems to me that anyone who works on the treatment of. (shrink)

In this paper, I reply to Seidel’s objections against my argument from expert performance to the effect that arguments from expert opinion are weak arguments. I clarify what Seidel takes to be unclear points in my argument and show that it withstands Seidel’s objections.

The aim of the paper is to present a typology of argument schemes. In first place, we found it helpful to define what an argument scheme is. Since many argument schemes found in contemporary theories stem from the ancient tradition, we took in consideration classical and medieval dialectical studies and their relation with argumentation theory. This overview on the main works on topics and schemes provides a summary of the main principles of classification. In the (...) second section, Walton’s theory is briefly explained to introduce the schemes classification and its different levels. At least, the final part shows the main application of the schemes in computing and AI. -/- . (shrink)

Spinoza scholars have claimed that we are faced with a dilemma: either Spinoza's definitions in his Ethics are real, in spite of indications to the contrary, or the definitions are nominal and the propositions derived from them are false. I argue that Spinoza did not recognize the distinction between real and nominal definitions. Rather, Spinoza classified definitions according to whether they require a priori or a posteriori justification, which is a classification distinct from either the real/nominal or (...) the intensional/extensional classification. I argue that Spinoza uses both a priori and a posteriori definitions in the Ethics and that recognizing both types of definitions allows us to understand Spinoza's geometric method in a new way. We can now understand the geometric method as two methods, one resulting in propositions that Spinoza considers to be absolutely certain and another resulting in propositions that Spinoza does not consider certain. The latter method makes use of a posteriori definitions and postulates, whereas the former method uses only a priori definitions and axioms. (shrink)