Citations of:
Add citations
You must login to add citations.


The role of audiences in mathematical proof has largely been neglected, in part due to misconceptions like those in Perelman and OlbrechtsTyteca which bar mathematical proofs from bearing reflections of audience consideration. In this paper, I argue that mathematical proof is typically argumentation and that a mathematician develops a proof with his universal audience in mind. In so doing, he creates a proof which reflects the standards of reasonableness embodied in his universal audience. Given this framework, we can better understand (...) 

Aristotle studies syllogistic argumentation in Sophistical Refutations and Prior Analytics. In the latter he focuses on the formal and syntactic character of arguments and treats the sullogismoi and nonsullogismoi as argument patterns with valid or invalid instances. In the former Aristotle focuses on semantics and rhetoric to study apparent sullogismoi as object language arguments. Interpreters usually take Sophistical Refutations as considerably less mature than Prior Analytics. Our interpretation holds that the two works are more of a piece than previously believed (...) 

Contemporary logicians continue to address problems associated with the existential import of categorical propositions. One notable problem concerns invalid instances of subalternation in the case of a universal proposition with an empty subject term. To remedy problems, logicians restrict firstorder predicate logics to exclude such terms. Examining the historical origins of contemporary discussions reveals that logicians continue to make various category mistakes. We now believe that no proposition per se has existential import as commonly understood and thus it is unnecessary (...) 

We seek means of distinguishing logical knowledge from other kinds of knowledge, especially mathematics. The attempt is restricted to classical twovalued logic and assumes that the basic notion in logic is the proposition. First, we explain the distinction between the parts and the moments of a whole, and theories of ?sortal terms?, two theories that will feature prominently. Second, we propose that logic comprises four ?momental sectors?: the propositional and the functional calculi, the calculus of asserted propositions, and rules for (...) 

This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11page 1936 Tarski consequencedefinition paper is based on a monistic fixeduniverse framework?like Begriffsschrift and Principia Mathematica. Monistic fixeduniverse frameworks, common in preWWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multipleuniverse framework?like the 1931 Gödel incompleteness paper. A pluralistic multipleuniverse framework recognizes multiple (...) 

Prior Analytics by the Greek philosopher Aristotle and Laws of Thought by the English mathematician George Boole are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle's system with the system that Boole constructed over twentytwo centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss many other historically and philosophically important aspects (...) 

Contrary to common misconceptions, today's logic is not devoid of existential import: the universalized conditional ∀ x [S→ P] implies its corresponding existentialized conjunction ∃ x [S & P], not in all cases, but in some. We characterize the proexamples by proving the ExistentialImport Equivalence: The antecedent S of the universalized conditional alone determines whether the universalized conditional has existential import, i.e. whether it implies its corresponding existentialized conjunction.A predicate is an open formula having only x free. An existentialimport predicate (...) 

Each science has its own domain of investigation, but one and the same science can be formalized in different languages with different universes of discourse. The concept of the domain of a science and the concept of the universe of discourse of a formalization of a science are distinct, although they often coincide in extension. In order to analyse the presuppositions and implications of choices of domain and universe, this article discusses the treatment of omega arguments in three very different (...) 

Three distinctly different interpretations of Aristotle?s notion of a sullogismos in Prior Analytics can be traced: (1) a valid or invalid premiseconclusion argument (2) a single, logically true conditional proposition and (3) a cogent argumentation or deduction. Remarkably the three interpretations hold similar notions about the logical relationships among the sullogismoi. This is most apparent in their conflating three processes that Aristotle especially distinguishes: completion (A46)reduction(A7) and analysis (A45). Interpretive problems result from not sufficiently recognizing Aristotle?s remarkable degree of metalogical (...) 

This article discusses two coextensive concepts of logical consequence that are implicit in the two fundamental logical practices of establishing validity and invalidity for premiseconclusion arguments. The premises and conclusion of an argument have information content (they ?say? something), and they have subject matter (they are ?about? something). The asymmetry between establishing validity and establishing invalidity has long been noted: validity is established through an informationprocessing procedure exhibiting a stepbystep deduction of the conclusion from the premiseset. Invalidity is established by (...) 

Demonstrative logic, the study of demonstration as opposed to persuasion, is the subject of Aristotle's twovolume Analytics. Many examples are geometrical. Demonstration produces knowledge (of the truth of propositions). Persuasion merely produces opinion. Aristotle presented a general truthandconsequence conception of demonstration meant to apply to all demonstrations. According to him, a demonstration, which normally proves a conclusion not previously known to be true, is an extended argumentation beginning with premises known to be truths and containing a chain of reasoning showing (...) 

Since the time of Aristotle's students, interpreters have considered Prior Analytics to be a treatise about deductive reasoning, more generally, about methods of determining the validity and invalidity of premiseconclusion arguments. People studied Prior Analytics in order to learn more about deductive reasoning and to improve their own reasoning skills. These interpreters understood Aristotle to be focusing on two epistemic processes: first, the process of establishing knowledge that a conclusion follows necessarily from a set of premises (that is, on the (...) 

Argumentation logicians have recognized a specter of relativism to haunt their philosophy of argument. However, their attempts to dispel pernicious relativism by invoking notions of a universal audience or a community of model interlocutors have not been entirely successful. In fact, their various discussions of a universal audience invoke the contexteschewing formalism of Kant’s categorical imperative. Moreover, they embrace the Kantian method for resolving the antinomies that continually vacillates between opposing extremes – here between a transcendent universal audience and a (...) 

The Linda paradox is a key topic in current debates on the rationality of human reasoning and its limitations. We present a novel analysis of this paradox, based on the notion of verisimilitude as studied in the philosophy of science. The comparison with an alternative analysis based on probabilistic confirmation suggests how to overcome some problems of our account by introducing an adequately defined notion of verisimilitudinarian confirmation. 

Peter H. Hare (19352008) developed informed, original views about the proposition: some published (Hare 1969 and HareMadden 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 (18811969), a wellknown 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 (...) 

An information recovery problem is the problem of constructing a proposition containing the information dropped in going from a given premise to a given conclusion that folIows. The proposition(s) to beconstructed can be required to satisfy other conditions as well, e.g. being independent of the conclusion, or being “informationally unconnected” with the conclusion, or some other condition dictated by the context. This paper discusses various types of such problems, it presents techniques and principles useful in solving them, and it develops (...) 





This discussion reviews the thinking of some prominent philosophers of argument to extract principles common to their thinking. It shows that a growing concern with dialogical pragmatics is better appreciated as a part of applied ethics than of applied epistemology. The discussion concludes by indicating a possible consequence for philosophy of argument and invites further discussion by asking whether argumentation philosophy has an implicit, underlying moral, or even political, posture. 

This paper examines whether philosophers of argument, in spite of their disavowing ‘timeless principles’, nevertheless embrace a set of principles, or axioms, to underlie argumentation theory. First, it reviews the thinking of some prominent philosophers of argument; second, it extracts some principles common to their philosophies; and third, it draws out possible consequences for argumentation theory and asks whether such theory has an underlying political posture. 

We are much better equipped to let the facts reveal themselves to us instead of blinding ourselves to them or stubbornly trying to force them into preconceived molds. We no longer embarrass ourselves in front of our students, for example, by insisting that “Some Xs are Y” means the same as “Some X is Y”, and lamely adding “for purposes of logic” whenever there is pushback. Logic teaching in this century can exploit the new spirit of objectivity, humility, clarity, observationalism, (...) 

Prior Analytics by the Greek philosopher Aristotle (384 – 322 BCE) and Laws of Thought by the English mathematician George Boole (1815 – 1864) are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle’s system with the system that Boole constructed over twentytwo centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss (...) 

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

When are we, in fact, arguing? Even one and the same author may offer more than one definition of what he understands by argumentation: this is partly because the problem of argumentation is not confined to a single area of knowledge or of practical life. Definitions of argumentation are as varied as the different positions taken on the question of what exactly we do when we argue. Be that as it may, we are struck by the fact that the problem (...) 

The syllogistic mnemonic known by its first two words Barbara Celarent introduced a constellation of terminology still used today. This concatenation of nineteen words in four lines of verse made its stunning and almost unprecedented appearance around the beginning of the thirteenth century, before or during the lifetimes of the logicians William of Sherwood and Peter of Spain, both of whom owe it their lasting places of honor in the history of syllogistic. The mnemonic, including the theory or theories it (...) 

This paper explores applications of concepts from argumentation theory to mathematical proofs. Note is taken of the various contexts in which proofs occur and of the various objectives they may serve. Examples of strategic maneuvering are discussed when surveying, in proofs, the four stages of argumentation distinguished by pragmadialectics. Derailments of strategies are seen to encompass more than logical fallacies and to occur both in alleged proofs that are completely out of bounds and in alleged proofs that are at least (...) 