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)

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.

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)

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)

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)

This essay explores Johnstone's idea that "rhetoric is a wedge." In particular, it explores the place of this idea in Johnstone's philosophy of argument, the need to confront this idea with argument, and ways of confronting it with ad rem and ad hominem arguments.

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 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)

Normal 0 21 false false false ES X-NONE X-NONE MicrosoftInternetExplorer4 /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Tabla normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-qformat:yes; mso-style-parent:""; mso-padding-alt:0cm 5.4pt 0cm 5.4pt; mso-para-margin:0cm; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:11.0pt; font-family:"Calibri","sans-serif"; mso-ascii-font-family:Calibri; mso-ascii-theme-font:minor-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-hansi-font-family:Calibri; mso-hansi-theme-font:minor-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:minor-bidi;} If the open society is a society that ‘sets free the critical powers of man’ (Popper, 1945, Introduction), then the subject of critical thinking, now widely taught in universities in North America and at the level of (...) further education in the UK, might seem to be a welcome innovation. Caution is advised. By mistakenly supposing that thinking intelligently is identical with thinking logically, critical thinking textbooks almost invariably regard the purpose of argument to be a combination of justification and persuasion, authoritarian goals that critical rationalists, and other supporters of the open society, must shun. If students do not learn the proper place of reason, and its limitations, they will be disappointed when it fails, and like many irrationalists in the past, may be induced to reason their way out of reason altogether. (shrink)

The world’s scientific community must be in a state of constant readiness to address the threat posed by newly emerging infectious diseases. Whether the disease in question is SARS in humans or BSE in animals, scientists must be able to put into action various disease containment measures when everything from the causative pathogen to route(s) of transmission is essentially uncertain. A robust epistemic framework, which will inform decision-making, is required under such conditions of uncertainty. I will argue that this framework (...) should have reasoning at its center and, specifically, that forms of reasoning beyond deduction and induction should be countenanced by scientists who are confronted with emerging infectious diseases. In previous articles, I have presented a case for treating certain so-called traditional informal fallacies as rationally acceptable forms of argument that can facilitate scientific inquiry when little is known about an emerging disease. In this article, I want to extend that analysis by highlighting the unique features of these arguments that makes them specially adapted to cope with conditions of uncertainty. Of course, such a view of the informal fallacies must at least be consistent with the reasoning practices of scientists, and particularly those scientists (viz. epidemiologists) whose task it is to track and respond to newly emerging infectious diseases. To this end, I draw upon examples of scientific reasoning from the UK’s BSE crisis, a crisis that posed a significant threat to both human and animal health. (shrink)

Slippery slope arguments (SSAs) have often been viewed as inherently weak arguments, to be classified together with traditional fallacies of reasoning and argumentation such as circular arguments and arguments from ignorance. Over the last two decades several philosophers have taken a kinder view, often providing historical examples of the kind of gradual change on which slippery slope arguments rely. Against this background, Enoch (2001, Oxford Journal of Legal Studies 21(4), 629–647) presented a novel argument against SSA use that itself invokes (...) a slippery slope. Specifically, he argued that the very reasons that can make SSAs strong arguments mean that we should be poor at abiding by the distinction between good and bad SSAs, making SSAs inherently undesirable. We argue that Enoch’s meta-level SSA fails on both conceptual and empirical grounds. (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)

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)

Hypotheticals, conditionals, and their connecting relation, implication, dramatically changed their meanings during the nineteenth and early part of the twentieth century. Modern logicians ordinarily do not distinguish between the terms hypothetical and conditional. Yet in the late nineteenth century their meanings were quite different, their ties to the implication relation either were unclear, or the implication relation was used exclusively as a logical operator. I will trace the development of implication as an inference operator from these earlier notions into the (...) first third of the twentieth century using as the starting point the ideas primarily of R. Whately and W. Hamilton before discussing the work of the transitional logicians, A. De Morgan and G. Boole on these topics. Then we discuss the relevant views of four prominent but relatively unknown nineteenth century British logicians, W.E. Johnson, J.N. Keynes, E.E.C. Jones, and H. MacColl, as well as those of the more influential logicians, W.S. Jevons and J. Venn, closing with a section on ‘implication as inference’ where we explore some key ideas of B. Russell and sketch the work of D. Hilbert, P. Hertz, and G. Gentzen who together are responsible for the development of the modern ideas related to the subjects of this paper. (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)

This is a critical appreciation of Govier’s 2006 ISSA keynote address on the fallacy of composition, and of economists’ writings on this fallacy in economics. I argue that the “fallacy of composition” is a problematical concept, because it does not denote a distinctive kind of argument but rather a plurality, and does not constitute a distinctive kind of error, but rather reduces to oversimplification in arguing from micro to macro. Finally, I propose further testing of this claim based on examples (...) involving public vs. private debt in economics; oligarchic tendencies in politics, and the emergence of societal wholes in sociology. (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)

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.

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.

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 preface paradox strikes us as puzzling because we feel that if a person holds a set of inconsistent beliefs, i.e. beliefs such that at least one of them must be correct, then he should give at least one of them up. Equally, if a person's belief is rational, then he has a right to hold it. Yet the preface example is prima facie a case in which a person holds an inconsistent set of beliefs each of which is rational, (...) and thus a case in which that person has a duty to relinquish what he has a right to keep. (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)

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)

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.

Peter Geach describes the 'doctrine of distribution' as the view that a term is distributed if it refers to everything that it denotes, and undistributed if it refers to only some of the things that it denotes. He argues that the notion, so explained, is incoherent. He claims that the doctrine of distribution originates from a degenerate use of the notion of ?distributive supposition? in medieval supposition theory sometime in the 16th century. This paper proposes instead that the doctrine of (...) distribution occurs at least as early as the 12th century, and that it originates from a study of Aristotle's notion of a term's being ?taken universally?, and not from the much later theory of distributive supposition. A detailed version of the doctrine found in the Port Royal Logic is articulated, and compared with a slightly different modern version. Finally, Geach's arguments for the incoherence of the doctrine are discussed and rejected. (shrink)

(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.

Jarmo Pulkkinen, The threat of logical mathematism. A study on the critique of mathematical logic in Germany at the turn of the 20th century. Frankfurt a.M:Peter Lang, 1994. Scandinavian University Studies in the Humanities and Social Sciences; 7). 186 pp. 24 DM. ISBN 3-631-47409-1.

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)

§§3-4 of the Begriffsschrift present Frege’s objections to a dominant if murky nineteenth-century semantic picture. I sketch a minimalist variant of the pre-Fregean picture which escapes Frege’s criticisms by positing a thin notion of semantic content which then interacts with a multiplicity of kinds of truth to account for phenomena such as modality. After exploring several ways in which we can understand the existence of multiple truth properties, I discuss the roles of pointwise and setwise truth properties in modal logic. (...) I argue that thinking of supertruth and determinate truth as setwise truth properties allows an understanding of supervaluationist approaches to vagueness which escapes both Williamson’s objections to and a needless metalinguistic orientation of traditional supervaluationism. (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)

Pierre Trémaux’s 1865 ideas on speciation have been unjustly derided following his acceptance by Marx and rejection by Engels, and almost nobody has read his ideas in a charitable light. Here we offer an interpretation based on translating the term sol as “habitat”, in order to show that Trémaux proposed a theory of allopatric speciation before Wagner and a punctuated equilibrium theory before Gould and Eldredge, and translate the relevant discussion from the French. We believe he may have influenced Darwin’s (...) revision to the third edition of the Origin on rates of evolution, and suggest that Gould’s dismissal of Trémaux is motivated by concern that others might think punctuated equilibrium theory was tainted by a connection with Trémaux. (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)

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)

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)

In this paper I propose to continue the analysis of the appeal to authority begun at the last OSSA conference. I proceed by examining the well-documented use of the appeal made by the ancient Roman advocate, Cicero. The fact that Cicero expressed his opinion was expectably sufficient to give his auditors--responsible citizens all--reason to do as he desired. But why? The resolution of this puzzle points to a strong sense in which arguments can be called rhetorical , for the rational (...) force of Cicero's authority depends necessarily on what he says. (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 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)

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)

This paper is concerned with De Morgan’s explanation of the validity of arguments that involve relational notions. It discusses De Morgan’s expansion of traditional logic aimed at accommodating those inferences, and makes the point that his endeavour is not successful in that the rules that made up his new logic are not sound. Nevertheless, the most important scholarly work on De Morgan’s logic, and contrary to that De Morgan’s mistake is not beyond repair. The rules that determine his new logic (...) are in fact monotonie replacement rules. And provided they are restricted in the correct way, these rules are demonstrably sound. (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.