Abstract Few theoretical insights have emerged from the extensive literature discussions of petitio principii argument. In particular, the pattern of petitio analysis has largely been one of movement between the two sides of a dichotomy, that of form and content. In this paper, I trace the basis of this dichotomy to a dualist conception of mind and world. I argue for the rejection of the form/content dichotomy on the ground that its dualist presuppositions generate a reductionist analysis of certain concepts (...) which are central to the analysis of petitio argument. I contend, for example, that no syntactic relation can assimilate within its analysis the essentially holistic nature of a notion like justification. In this regard, I expound a form of dialectical criticism which has been frequently employed in the philosophical arguments of Hilary Putnam. Here the focus of analysis is upon the way in which the proponent of a position proceeds to explain or argue for his/her own particular theses. My conclusion points to the use of such dialectic within future analyses of petitio principii. (shrink)

Peter H. Hare (1935-2008) developed informed, original views about the proposition: some published (Hare 1969 and Hare-Madden 1975); some expressed in conversations at scores of meetings of the Buffalo Logic Colloquium and at dinners following. The published views were expository and critical responses to publications by Curt J. Ducasse (1881-1969), a well-known presence in American logic, a founder of the Association for Symbolic Logic and its President for one term.1Hare was already prominent in the University of Buffalo's Philosophy Department in (...) 1969 when I was appointed. Soon after, he became Chair. As his Associate Chair from 1971to 1975, I spent many hours with him in Buffalo and on professional trips .. (shrink)

Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...) structure, because they differ in the placement of the logical constants “every” and “some”. By contrast, the sentences Every girl loves some boy. and Every boy loves some girl. are thought to have the same logical form, because “girl” and “boy” are not logical constants. Thus, in order to settle questions about logical form, and ultimately about which arguments are logically valid and which sentences logically true, we must distinguish the “logical constants” of a language from its nonlogical expressions. (shrink)

Charles Peirce is often credited for being among the first, perhaps even the first, to develop a scientific metaphysics of indeterminism. After rejecting the received view that Peirce developed his views from Darwin and Maxwell, I argue that Peirce's view results from his synthesis of Immanuel Kant's critical philosophy and George Boole's contributions to formal logic. Specifically, I claim that Kant's conception of the laws of logic as the basis for his architectonic, when combined with Boole's view of probability, yields (...) Peirce's metaphysics of probabilistic laws. Indeterminism provides, therefore, an excellent illustration of how Peirce attempted to use logic to clarify metaphysical problems.Since everyone must have conceptions of things in general, it is most important that they should be carefully constructed. I shall enter into no criticism of the different methods of metaphysical research, but shall merely say that in the opinions of several great thinkers, the only successful mode yet lighted upon is that of adopting our logic as our metaphysics. (W1: 490, 1866)2. (shrink)

This volume presents a selection of papers reflecting key theoretical issues in argumentation theory. Its six sections are devoted to specific themes, including the analysis and evaluation of argumentation, argument schemes and the contextual embedding of argumentation. The section on general perspectives on argumentation discusses the trends of empiricalization, contextualization and formalization, offers descriptions of the analytical and evaluative tools of informal logic, and highlights selected principles that argumentation theorists do and do not agree upon. In turn, the section on (...) linguistic approaches to argumentation focuses on the problem of distinguishing between explanation and argument, while also elaborating on the role of verbal indicators of argument schemes. All essays included in this volume point out notable recent developments in the study of argumentation. (shrink)

How do Dutch people let each other know that they disagree? What do they say when they want to resolve their difference of opinion by way of an argumentative discussion? In what way do they convey that they are convinced by each other’s argumentation? How do they criticize each other’s argumentative moves? Which words and expressions do they use in these endeavors? By answering these questions this short essay provides a brief inventory of the language of argumentation in Dutch.

Presuppositions are at the same time a crucial and almost neglected dimension of arguments and fallacies. Arguments involve different types of presuppositions, which can be used for manipulative purposes in distinct ways. However, what are presuppositions? What is their dialectical function? Why and how can they be dangerous? This paper intends to address these questions by developing the pragmatic approaches to presupposition from a dialectical perspective. The use of presuppositions will be analyzed in terms of presumptive conclusions concerning the interlocutor’s (...) acceptance of a proposition, which can be assessed as reasonable or unacceptable. Their dialectical function is described in terms of dark side commitments attributed to a collective "voice" representing what is commonly shared. For this reason, they count as attempts to include the presupposed contents into the hearer’s commitment store, which in some circumstances can reverse the burden of proof. The different manipulative strategies grounded on controversial presuppositions will be examined by showing the distinct roles that the latter play and the relationship between the degrees of presuppositional implicitness and the speaker’s burden of retraction. (shrink)

The use of the symbol ∨for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol ∨ in its historical and logical context. Some sources say that disjunction in its use as connecting propositions or formulas was introduced by Peano; others suggest that it originated as an abbreviation of the Latin word for “or,” vel. We show that the origin of the symbol ∨ for disjunction can be traced to Whitehead and (...) Russell’s pre-Principia work in formal logic. Because of Principia’s influence, its notation was widely adopted by philosophers working in logic (the logical empiricists in the 1920s and 1930s, especially Carnap and early Quine). Hilbert’s adoption of ∨ in his Grundzüge der theoretischen Logik guaranteed its widespread use by mathematical logicians. The origins of other logical symbols are also discussed. (shrink)

According to John D. Norton's Material Theory of Induction, all inductive inferences are justified by local facts, rather than their formal features or some grand principles of nature's uniformity. Recently, Richard Dawid (Found Phys 45(9):1101–1109, 2015) has offered a challenge to this theory: in an adaptation of Norton's own celebrated "Dome" thought experiment, it seems that there are certain inductions that are intuitively reasonable, but which do not have any local facts that could serve to justify them in accordance with (...) Norton's requirements. Dawid's suggestion is that “raw induction” might have a limited but important role for such inferences. I argue that the Material Theory can accommodate such inductions, because there are local facts concerning the combinatoric features of the induction’s target populations that can licence the inferences in an analogous way to existing examples of material induction. Since my arguments are largely independent of the details of the Dome, Norton's theory emerges as surprisingly robust against criticisms of excessive narrowness. (shrink)

Homoeopathy is commonly recognised as pseudoscience. However, there is, to date, no systematic discussion that seeks to establish this view. In this paper, we try to fill this gap. We explain the nature of homoeopathy, discuss the notion of pseudoscience, and provide illustrative examples from the literature indicating why homoeopathy fits the bill. Our argument contains a conceptual and an empirical part. In the conceptual part, we introduce the premise that a doctrine qualifies as a pseudoscience if, firstly, its proponents (...) claim scientific standing for it and, secondly, if they produce bullshit to defend it, such that, unlike science, it cannot be viewed as the most reliable knowledge on its topic. In the empirical part, we provide evidence that homoeopathy fulfils both criteria. The first is quickly established since homoeopaths often explicitly claim scientificity. To establish the second, we dive into the pseudo-academic literature on homoeopathy to provide evidence of bullshit in the arguments of homoeopaths. Specifically, we show that they make bizarre ontological claims incompatible with natural science, illegitimately shift the burden of proof to sceptics, and mischaracterise, cherry-pick, and misreport the evidence. Furthermore, we demonstrate that they reject essential parts of established scientific methodology and use epistemically unfair strategies to immunise their doctrine against recalcitrant evidence. (shrink)

The phrase _secundum quid et simpliciter_ is the Latin expression translating and labelling the sophism described by Aristotle as connected with the use of some particular expression “absolutely or in a certain respect and not in its proper sense.” This paper presents an overview of the analysis of this fallacy in the history of dialectics, reconstructing the different explanations provided in the Aristotelian texts, the Latin and medieval dialectical tradition, and the modern logical approaches. The _secundum quid_ emerges as a (...) strategy that is based on the pragmatic dimension of arguments, and in particular the complex passage from an utterance (what is said) to its logical form (a proposition in an argument). The medieval and modern logical theories attempted to explain from different philosophical perspectives how the pragmatically enriched semantic representation can be achieved, justified, and most importantly manipulated. The different analyses of this fallacy bring to light various dimensions of the pragmatics of arguments, and the complex interdependence between context, meaning, and inferences. (shrink)

It is usually accepted that deductions are non-informative and monotonic, inductions are informative and nonmonotonic, abductions create hypotheses but are epistemically irrelevant, and both deductions and inductions can’t provide new insights. In this article, I attempt to provide a more cohesive view of the subject with the following hypotheses: (1) the paradigmatic examples of deductions, such as modus ponens and hypothetical syllogism, are not inferential forms, but coherence requirements for inferences; (2) since any reasoner aims to be coherent, any inference (...) must be deductive; (3) a coherent inference is an intuitive process where the premises should be taken as sufficient evidence for the conclusion, which on its turn should be viewed as necessary evidence for the premises in some modal range; (4) inductions, properly understood, are abductions, but there are no abductions beyond the fact that in any inference the conclusion should be regarded as necessary evidence for the premises; (5) monotonicity is not only compatible with the retraction of past inferences given new information, but it is a requirement for it; (6) this explanation of inferences holds true for discovery processes, predictions and trivial inferences. (shrink)

This paper offers an account of a fallacy we will call bothsiderism, which is to mistake disagreement on an issue for evidence that either a compromise on, suspension of judgment regarding, or continued discussion of the issue is in order. Our view is that this is a fallacy of a unique and heretofore untheorized type, a fallacy of meta-argumentation. The paper develops as follows. After a brief introduction, we examine a recent bothsiderist case in American politics. We use this as (...) a pivot point to survey the theoretical literature on the fallacy. The most prominent theory is that bothsiderism is a case of dialogue-shifting. This view fails, we maintain, to explain how bothsiderism might be persuasive. We argue, rather, bothsiderism is a kind of meta-argumentative fallacy. (shrink)

In Fallacies and Judgments of Reasonableness, Frans H. van Eemeren, Bart Garssen and Bert Meuffels report on their systematic empirical research of the conventional validity of the pragma-dialectical discussion rules. The experimental studies they carried out during more than ten years start from the pragma-dialectical theory of argumentation developed at the University of Amsterdam, their home university. In these studies they test methodically the intersubjective acceptability of the rules for critical discussion proposed in this theory by confronting ordinary arguers who (...) have not received any special education in argumentation and fallacies with discussion fragments containing both fallacious and non-fallacious argumentative moves. The research covers a wide range of informal fallacies. In this way, the authors create a basis for comparing the theoretical reasonableness conception of pragma-dialectics with the norms for judging argumentative moves prevailing in argumentative practice. Fallacies and Judgments of Reasonableness provides a unique insight into the relationship between theoretical and practical conceptions of reasonableness, supported by extensive empirical material gained by means of sophisticated experimental research. (shrink)

Questions are, in many respects, the hallmarks of the philosopher's trade. They are passed down from one generation to the next and yet, throughout history, philosophers have had relatively little to say about questions. In particular, few have asked or tried to answer the question ‘what is a question'. I call this the ‘Question Question’ and I offer an answer to it in this paper, furnishing philosophical analysis with the results of a large online survey, which has been running for (...) more than a decade. (shrink)

The philosophical background important to Mill’s theory of induction has two major components: Richard Whately’s introduction of the uniformity principle into inductive inference and the loss of the idea of formal cause.

George Boole emerged from the British tradition of the “New Analytic”, known for the view that the laws of logic are laws of thought. Logicians in the New Analytic tradition were influenced by the work of Immanuel Kant, and by the German logicians Wilhelm Traugott Krug and Wilhelm Esser, among others. In his 1854 work An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities, Boole argues that the laws of thought acquire (...) normative force when constrained to mathematical reasoning. Boole’s motivation is, first, to address issues in the foundations of mathematics, including the relationship between arithmetic and algebra, and the study and application of differential equations (Durand-Richard, van Evra, Panteki). Second, Boole intended to derive the laws of logic from the laws of the operation of the human mind, and to show that these laws were valid of algebra and of logic both, when applied to a restricted domain. Boole’s thorough and flexible work in these areas influenced the development of model theory (see Hodges, forthcoming), and has much in common with contemporary inferentialist approaches to logic (found in, e.g., Peregrin and Resnik). (shrink)

In this paper we study the inferential analysis of the use of fallacies as a source of absurd communication. Starting from a diachronic review of perpectives, criteria and classification of fallacies, we analyze the fallacious arguments used in absurd discourses which are meant to trigger humor as well as the dislocation of the communicative sense.

If one looks to the current textbook lore for reliable taxonomic and analytical information about the petitio principii, one is met with conceptual disarray and much too much nonsense. The present writers have recently attempted to furnish the beginnings of a theoretical reconstruction of this fallacy which is at once faithful to its formidable complexity yet useful as guide for its detection and avoidance. The fact is that the petitio has had a lengthy and interesting history, and in this paper (...) we shall want to explore certain features of its development, such as it may have been. The principal origins of the concept of circular argument are to be found in Aristotle. The Aristotelian doctrine recurs with variations in the sophismata literature of the middle ages and in logic texts and manuals right up to the present day. (shrink)

The translation into French of the English word “fallacy” opens a discussion on the difference between fallacy and sophism in English. The two words are sometimes synonyms, but a difference is sometimes made on the ground that a sophism is deliberate and a fallacy is non-deliberate. In a second part of the paper this distinctive criterion is taken seriously to discuss the relative frequency of sophisms and of fallacies for a typical kind of fallacious argument. I claim that this aspect (...) should be taken into account by a theory of fallacious argument. (shrink)

The quality of our public discourse – think of the climate change debate for instance – is never very high. A day spent observing it reveals a litany of misrepresentation and error, argumentative fallacy, and a general lack of good will. In this paper I focus on a microcosmic aspect of these practices: the use of two types of argument – the argumentum ad hominem and appeal to authority – and a way in which they are related. Public debate is (...) so contaminated by the misuse of the ad hominem tactic that it is important to have an understanding of one of the ways in which its use may be legitimate. So readers who might have expected an analysis of the ad hominem fallacy will, on the contrary, be presented with an account of one of the places for its potential success. In ad hominem, arguers are viewed as legitimate constitutive targets for their own argument; in authority arguments, arguers provide a legitimate constitutive warrant for an argument they deploy. These types of argument are connected in so far as the identities of persons deploying them carry the cognitive weight of the argument. If authority arguments sometimes deserve to succeed, ad hominem attacks on them are potentially legitimate. An important motivation for this analysis is that in identifying the success conditions for one of the ad hominem types we attain some clarity in the evaluation of their use. (shrink)

Why informal logic? Informal logic is a group of proposals meant to contrast with, replace, and reject formal logic, at least for the analysis and evaluation of everyday arguments. Why reject formal logic? Formal logic is criticized and claimed to be inadequate because of its commitment to the soundness doctrine. In this paper I will examine and try to respond to some of these criticisms. It is not my aim to examine every argument ever given against formal logic; I am (...) limiting myself to those that, as a matter of historical fact, were instrumental in the replacement of formal logic by informal logic and initially established informal logic as a separate discipline. If the criticism of the soundness doctrine is defective, then the move from formal logic to informal logic was not theoretically well-motivated. It is this motivation that I wish to bring into question, rather than the adequacy or inadequacy of formal or informal logic as such. While I will tend to the view that formal logic is as adequate as it is reasonable to expect, the real issue is whether it is inadequate for the reasons that, as a matter of historical fact, were used to motivate its rejection. (shrink)

This paper examines the views of Fogelin, Woods, Johnstone, etc., concerning deep disa-greements, force-five standoffs, philosophical controversies, etc. My approach is to reconstruct their views and critiques of them as meta-arguments, and to elaborate the meta-argumentative aspects of radical disa-greements. It turns out that deep disagreements are resolvable to a greater degree than usually thought, but only by using special principles and practices, such as meta-argumentation, ad hominem argumentation, Ramsey’s principle, etc.

Although the fallacy of composition is little studied and trivially illustrated, some view it as ubiquitous and paramount. Furthermore, although definitions regard the concept as unproblematic, it contains three distinct elements, often confused. And although some scholars apparently claim that fallacies are figments of a critic’s imagination, they are really proposing to study fallacies in the context of meta-argumentation. Guided by these ideas, I discuss the important historical example of Michels’s iron law of oligarchy.

The aim of this paper is to propose foundations for a formal model of representation and numerical evaluation of a possibly broad class of arguments, including those that occur in natural discourse. Since one of the most characteristic features of everyday argumentation is the occurrence of convergent reasoning, special attention should be paid to the operation ⊕, which allows us to calculate the logical force of convergent arguments with an accuracy not offered by other approaches.

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)

This is a critical examination of Johnstone's thesis that all valid philosophical arguments are ad hominem. I clarify his notions of valid, philosophical, and ad hominem. I illustrate the thesis with his refutation ofthe claim that only ordinary language is correct. r discuss his three supporting arguments (historical, theoretical, and intermediate). And r criticize the thesis with the objections that if an ad hominem argument is valid, it is really ad rem; that it's unclear how his own theoretical argument can (...) be ad hominem; that if an ad hominem argument is really valid, it would have to be based on the proponent's own assumptions; and that the thesis is not true of philosophical arguments that are constructive rather than critical. (shrink)

Fallacies of relevance, a major category of informal fallacies, include two that could be called pure fallacies of relevance-the wrong conclusion (ignoratio elenchi, wrong conclusion, missing the point) fallacy and the red herring digression, diversion) fallacy. The problem is how to classify examples of these fallacies so that they clearly fall into the one category or the other, on some rational system of classification. In this paper, the argument diagramming software system, Araucaria. is used to analyze the argumentation in some (...) selected textbook examples of pure fallacies of relevance. A system of classification of these fallacies is proposed, and criteria for determining whether an example should be classified as wrong conclusion or red herring are formulated. A key difference cited is that in a case where the red herring fallacy has been committed, even if the argument may go to a wrong conclusion, there is evidence of the use ofa deceptive tactic of diversion. Textual evidence must indicate that the arguer deliberately interjects a distracting controversy to lead the respondent away from the real issue to be disputed. (shrink)

The situationally disqualifying ad hominem attack is an argumentative move in critical dialogue whereby one participant points out certain features in his adversary's personal situation that are claimed to make it inappropriate for this adversary to take a particular point of view, to argue in a particular way, or to launch certain criticisms. In this paper, we discuss some examples of this way of arguing. Other types of ad hominem argumentation are discussed as well and compared with the situationally disqualifying (...) type. The socalled Houtlosser Dilemma highlights the danger of unconditionally condoning ad hominem arguments. We propose a classification of ad hominem, and a more restrictive use of the term 'circumstantial'. Finally, we discuss whether ad hominem arguments are (always?) to be rejected as fallacious. (shrink)

Why are personal attacks so powerful? In political debates, speeches, discussions and campaigns, negative character judgments, aggressive charges and charged epithets are used for different purposes. They can block the dialogue, trigger value judgments and influence decisions; they can force the interlocutor to withdraw a viewpoint or undermine his arguments. Personal attacks are not only multifaceted dialogical moves, but also complex argumentative strategies. They can be considered as premises for further arguments based on signs, generalizations or consequences. They involve tactics (...) for arousing emotions such as fear, hate or contempt, or for ridiculing the interlocutor. The twofold level of investigation presented in this paper is aimed at distinguishing the different roles that ad hominem have in a dialogue and bringing to light their hidden dimensions. The reasoning structure of each type of attack will be distinguished from the tactics used to increase its effectiveness and conceal its weaknesses. (shrink)

This article outlines criteria for the evaluation of the argumentum ad hominem (argument against the person, or personal attack in argument) that is traditionally a part of the curriculum in informal logic. The argument is shown to be a kind of criticism which works by shifting the burden of proof in dialogue through citing a pragmatic inconsistency in an arguer's position. Several specific cases of ad hominem argumentation which pose interesting problems in analyzing this type of criticism are studied.

Inductive generalization asserts that what obtains in known instances can be generalized to all. Its original form is enumerative induction, the earliest form of inductive inference, and it has been elaborated in various ways, largely with the goal of extending its reach. Its principal problem is that it supplies no intrinsic notion of strength of support so that one cannot tell if the generalization has weak or strong support.

(1993). Thomas solly (1816–1875):an unknown pioneer of the mathematization of logic in england, 1839. History and Philosophy of Logic: Vol. 14, No. 2, pp. 133-169.

Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much more, (...) I argue. "If you love me, kiss me", a conditional imperative, mixes a declarative antecedent ("you love me") with an imperative consequent ("kiss me"); it is satisfied if you love and kiss me, violated if you love but don't kiss me, and avoided if you don't love me. So we need a logic of three -valued imperatives which mixes declaratives with imperatives. I develop such a logic. (shrink)

According to John D. Norton's Material Theory of Induction, all reasonable inductive inferences are justified in virtue of background knowledge about local uniformities in nature. These local uniformities indicate that our samples are likely to be representative of our target population in our inductions. However, a variety of critics have noted that there are many circumstances in which induction seems to be reasonable, yet such background knowledge is apparently absent. I call such absences ‘the frontiers of science', where background scientific (...) theories do not provide information about such local uniformities. I argue that the Material Theory of Induction can be reconciled with our intuitions in favour of these inductions. I adapt an attempted justification of induction in general, the Combinatoric Justification of Induction, into a more modest rationalisation at the less foundational level that the critics discuss. Subject to a number of conditions, we can extrapolate from large samples using our knowledge of facts about the minimum proportions of representative subsets of finite sets. I also discuss some of Norton's own criticisms of his theory and argue that he is overly pessimistic. I conclude that Norton's theory at least performs well at the frontiers of science. (shrink)

This expository paper on Aristotle’s prototype underlying logic is intended for a broad audience that includes non-specialists. It requires as background a discussion of Aristotle’s demonstrative logic. Demonstrative logic or apodictics is the study of demonstration as opposed to persuasion. It is the subject of Aristotle’s two-volume Analytics, as its first sentence says. Many of Aristotle’s examples are geometrical. A typical geometrical demonstration requires a theorem that is to be demonstrated, known premises from which the theorem is to be deduced, (...) and a deductive logic by which the steps of the deduction proceed. Every demonstration produces knowledge of its conclusion for every person who comprehends the demonstration. Aristotle presented a general truth-and-consequence theory of demonstration meant to apply to all demonstrations: a demonstration is an extended argumentation that begins with premises known to be truths and that involves a chain of reasoning showing by deductively evident steps that its conclusion is a consequence of its premises. In short, a demonstration is a deduction whose premises are known to be true. Aristotle’s general theory of demonstration required a prior general theory of deduction presented in the Prior Analytics. His general immediate-deduction-chaining theory of deduction was meant to apply to all deductions: any deduction that is not immediately evident is an extended argumentation that involves a chaining of immediately evident steps that shows its final conclusion to follow logically from its premises. His deductions, both direct and indirect, were rule-based and not tautology-based. The idea of tautology-based deduction, which dominated modern logic in the early years of the 1900s, is nowhere to be found in Analytics. Rule-based deduction was rediscovered by modern logicians. To illustrate his general theory of deduction, Aristotle presented a prototype: an ingeniously simple and mathematically precise special case traditionally known as the categorical syllogistic. With reference only to propositions of the four so-called categorical forms, he painstakingly worked out exactly what those immediately evident deductive steps are and how they are chained to complete deductions. In his specialized prototype theory, Aristotle explained how to deduce from a given categorical premise set, no matter how large, any categorical conclusion implied by the given set. He did not extend this treatment to non-categorical deductions, thus setting a program for future logicians. The prototype, categorical syllogistic, was seen by Boole as a “first approximation” to a comprehensive logic. Today, however it appears more as the first of the dozens of logics already created and as the first exemplification of a family that continues to expand. (shrink)

This paper aims to outline an analysis and interpretation of the process that led to First-Order Logic and its consolidation as a core system of modern logic. We begin with an historical overview of landmarks along the road to modern logic, and proceed to a philosophical discussion casting doubt on the possibility of a purely rational justification of the actual delimitation of First-Order Logic. On this basis, we advance the thesis that a certain historical tradition was essential to the emergence (...) of modern logic; this traditional context is analyzed as consisting in some guiding principles and, particularly, a set of exemplars (i.e., paradigmatic instances). Then, we proceed to interpret the historical course of development reviewed in section 1, which can broadly be described as a two-phased movement of expansion and then restriction of the scope of logical theory. We shall try to pinpoint ambivalencies in the process, and the main motives for subsequent changes. Among the latter, one may emphasize the spirit of modern axiomatics, the situation of foundational insecurity in the 1920s, the resulting desire to find systems well-behaved from a proof-theoretical point of view, and the metatheoretical results of the 1930s. Not surprisingly, the mathematical and, more specifically, the foundational context in which First-Order Logic matured will be seen to have played a primary role in its shaping.Mathematical logic is what logic, through twenty-five centuries and a few transformations, has become today. (Jean van Heijenoort). (shrink)

If good argument is virtuous, then fallacies are vicious. Yet fallacies cannot just be identified with vices, since vices are dispositional properties of agents whereas fallacies are types of argument. Rather, if the normativity of good argumentation is explicable in terms of virtues, we should expect the wrongness of fallacies to be explicable in terms of vices. This approach is defended through case studies of several fallacies, with particular emphasis on the ad hominem.

Jesus has been accused of committing a fallacy (of denying the antecedent) at John 8:47. Careful analysis of this text (1) reveals a hitherto unrecognized valid form of argument which can superficially look like the predicate-logic analogue of denying the antecedent; (2) shows that determining whether a published text can be fairly charged with committing a fallacy may require (but often does not get) extensive and detailed analysis; (3) acquits Jesus of the charge; and thereby (4) conflnns a claim by (...) Michael Burke that published arguments can seldom be fairly charged with denying the antecedent, or analogous fallacies. (shrink)

The aim of this work is to elucidate John F. W. Herschel’s distinctive contribution to nineteenth-century British inductivism by exploring his understanding of experimental methods. Drawing on both his explicit discussion of experiment in his Preliminary Discourse on Natural Philosophy and his published account of experiments he conducted in the domain of electromagnetism, I argue that the most basic principle underlying Herschel’s epistemology of experiment is that experiment enables a particular kind of lower-level experimental understanding of phenomena. Experimental practices provide (...) knowledge of a particular phenomenon as a genuine effect produced under precise material conditions whose connections with other phenomena can be traced by variations in experimental parameters. The orienting concern of experimental inquiry seems to be the production of a secure understanding of phenomena even if it has no direct theoretical significance. Insofar as one can generate this lower-level understanding, it can function both as a fertile source for explanatory principles about phenomena and as a body of evidence against which one can test the adequacy of an explanatory hypothesis. This project provides evidence of Herschel’s inductivism not merely as a philosophical approach to understanding the sciences but as a methodological commitment in scientific practice. (shrink)

This paper aims to outline an analysis and interpretation of the process that led to First-Order Logic and its consolidation as a core system of modern logic. We begin with an historical overview of landmarks along the road to modern logic, and proceed to a philosophical discussion casting doubt on the possibility of a purely rational justification of the actual delimitation of First-Order-Logic. On this basis, we advance the thesis that a certain historical tradition was essential to the emergence of (...) modern logic; this traditional context is analyzed as consisting in some guiding principles and, particularly, a set of exemplares (i.e., paradigmatic instances). Then, we proceed to interpret the historical course of development reviewed in section 1, which can broadly be described as a two-phased movement of expansion and then restriction of the scope of logical theory. We shall try to pinpoint ambivalencies in the process, and the main motives for subsequent changes. Among the latter, one may emphasize the spirit of modern axiomatics, the situation of foundational insecurity in the 1920s, the resulting desire to find systems well-behaved from a proof-theoretical point of view, and the metatheoretical results of the 1930s. Not surprisingly, the mathematical and, more specifically, the foundational context in which Firs-Order-Logic matured will be seen to have played a primary role in its shaping. (shrink)

The two different layers of logical theory—epistemological and ontological—are considered and explained. Special attention is given to epistemic assumptions of the kind that a judgement is granted as known, and their role in validating rules of inference, namely to aid the inferential preservation of epistemic matters from premise judgements to conclusion judgement, while ordinary Natural Deduction assumptions serve to establish the holding of consequence from antecedent propositions to succedent proposition.

Most recent discussions of John Stuart Mill’s System of Logic (1843) neglect the fifth book concerned with logical fallacies. Mill not only follows the revival of interest in the traditional Aristotelian doctrine of fallacies in Richard Whately and Augustus De Morgan, but he also develops new categories and an original analysis which enhance the study of fallacies within the context of what he calls ‘the philosophy of error’. After an exploration of this approach, the essay relates the philosophy of error (...) to the discussion of truth and error in chapter two of On Liberty (1859) concerned with freedom of thought and discussion. Drawing on Socratic and Baconian perspectives, Mill defends both the traditional study of logic against Jevons, Boole, De Morgan, and others, as well as the study of fallacies as the key to maintaining truth and its dissemination in numerous fields, such as science, morality, politics, and religion. In Mill’s view the study of fallacies also liberates ordinary people to explore the truth and falsity of ideas and, as such, to participate in society and politics and develop themselves as progressive beings. (shrink)

History witnesses alternative approaches to “the proposition”. The proposition has been referred to as the object of belief, disbelief, and doubt: generally as the object of propositional attitudes, that which can be said to be believed, disbelieved, understood, etc. It has also been taken to be the object of grasping, judging, assuming, affirming, denying, and inquiring: generally as the object of propositional actions, that which can be said to be grasped, judged true or false, assumed for reasoning purposes, etc. The (...) proposition has also been taken to be the subject of truth and falsity: generally as the subject of propositional properties, that which can be said to be true, false, tautological, informative, inconsistent,etc. It has also been taken as the subject and object of logical relations, e.g. that which can be said to imply, be implied, contradict, be contradicted, etc. Prima facie, such properties and relations are non-mental and objective. It has also been taken to be the resultants or products of propositional operations, usually mental or linguistic; e.g. judging, affirming, and denying have been held to produce propositions called judgments, affirmations, and negations, respectively. Propositions have also been taken to be certain declarative sentences. Finally,propositions have been taken to be meanings of certain declarative sentences. This essay is an informal, selective, and incomplete survey of alternative approaches to “the proposition” with special attention to the views of the late American philosopher Peter Hare (1935–2008)and of those who influenced him. DOI: 10.5007/1808-1711.2011v15n1p51. (shrink)

This paper deals with the treatment of figures of speech in Perelman’s and Olbrechts-Tyteca’s Treatise on Argumentation (TA), and, more broadly, with the place of figures in argumentation theory. The contrast between two conceptions (or two domains)\n of rhetoric, “a rhetoric of figures” and “a rhetoric of argument” can be traced back to Ramus, and it has been revived in\n the seventies through the perception of an incommensurability between Perelman’s “New Rhetoric” and the École de Liège’s “General\n Rhetoric”. Modern theories (...) of argumentation, oriented towards the characterization and denunciation of fallacious discourse,\n emphasize the gap between sound argumentative discourse and rhetorical discourse seen as a “powerful instrument of error and\n deceit” (Locke). This concept of argument presupposes a vision of language as ideal/transparent—a revised language that is\n not the language of ordinary argumentation. Figures are not basically “decorative”; they are manifestations of the complex\n process of language structuring in speech. Thus rejecting figures amounts to a negation of discourse as such. The second section\n turns to a somewhat neglected aspect of the TA, its both decisive and somewhat cavalier theory of figures of speech, and its extended use and re-definition of a complex set of figures. We argue that the TA, in its quest for descriptive adequacy, breaks with the traditional and comfortable concept of figures as useless fallacious\n “ornaments” and provides us with the first description of what could be characterized as the semantic level of ordinary argumentative\n discourse. This will be shown on the case of “figures of choice, presence and communion”, and could be extended to the discursive\n construction of objects and participants, including the speaker and her emotions. (shrink)

A number of areas of biology raise questions about what is of value in the natural environment and how we ought to behave towards it: conservation biology, environmental science, and ecology, to name a few. Based on my experience teaching students from these and similar majors, I argue that the field of environmental ethics has much to teach these students. They come to me with pent-up questions and a feeling that more is needed to fully engage in their subjects, and (...) I believe some exposure to environmental ethics can help focus their interests and goals. I identify three primary areas in which environmental ethics can con- tribute to their education. The first is an examination of who (or what) should be considered to be part of our moral community (i.e., the community to whom we owe direct duties). Is it humans only? Or does it include all sentient life? Or all life? Or ecosystems considered holistically? Often, readings implicitly assume one or more of these answers; the goal is to make the student more sensitive to these implicit claims and to get them to think about the different reasons that support them. The second area, related to the first, is the application of the different answers concerning the extent of the ethical community to real environmental issues and problems. Students need to be aware of how the different answers concerning the moral community can imply conflicting answers for how we should act in certain cases and to think about ways to move toward conflict resolution. The third area in which environmental ethics can contribute is a more conceptual one, focusing on central concepts such as biodiversity, sustainability, species, and ecosystems. Exploring and evaluating various meanings of these terms will make students more reflective and thoughtful citizens and biologists, sensitive to the implications that different conceptual choices make. (shrink)

Logical guarantees of validity must be understood as subject to the proviso that no equivocation is committed. But we do not have a formal theory of equivocation. This paper attempts to formulate rules for responding to equivocal arguments in the context of dialogue. What occurs when one distinguishes meanings of an equivocal expression turns out to be rather different from definition.