English translation of an entry on pages 137–42 of the Spanish-language dictionary of logic: Luis Vega, Ed. Compendio de Lógica, Argumentación, y Retórica. Madrid: Trotta. -/- DEDICATION: To my friend and collaborator Kevin Tracy. -/- This short essay—containing careful definitions of ‘counterargument’ and ‘counterexample’—is not an easy read but it is one you’ll be glad you struggled through. It contains some carefully chosen examples suitable for classroom discussion. -/- Using the word ‘counterexample’ instead of ‘counterargument’ in connection with Aristotle’s invalidity (...) proofs leads to a misinterpretation of Aristotle’s intentions. The two relations expressed by these two words are drastically different—as explained in this essay. There is however a subtle overlap: Every argument that is a counterargument for a given argument is a counterexample to the universal proposition that every argument in the same form as the given argument is valid. The word ‘counterexample’ was coined in the 1800s. The word ‘counterargument’ was given this sense in the 1960s. Saying that one argument is a counterexample for another argument is bad English—taking the word ‘counterexample’ in its Standard English sense. The word ‘counterinstance’ is an exact synonym for ‘counterexample’. Which logic books define ‘counterinstance’ or ‘counterexample’? Who started using ‘counterinstance’ or ‘counterexample’ in the sense of ‘counterargument’? Did they note that they were not using the word in the Standard sense? Why did it catch on? -/- Also see: https://www.academia.edu/8840909/Argumentations_and_logic_1989_ . (shrink)

Girolamo Saccheri (1667--1733) was an Italian Jesuit priest, scholastic philosopher, and mathematician. He earned a permanent place in the history of mathematics by discovering and rigorously deducing an elaborate chain of consequences of an axiom-set for what is now known as hyperbolic (or Lobachevskian) plane geometry. Reviewer's remarks: (1) On two pages of this book Saccheri refers to his previous and equally original book Logica demonstrativa (Turin, 1697) to which 14 of the 16 pages of the editor's "Introduction" are devoted. (...) At the time of the first edition, 1920, the editor was apparently not acquainted with the secondary literature on Logica demonstrativa which continued to grow in the period preceding the second edition \ref[see D. J. Struik, in Dictionary of scientific biography, Vol. 12, 55--57, Scribner's, New York, 1975]. Of special interest in this connection is a series of three articles by A. F. Emch [Scripta Math. 3 (1935), 51--60; Zbl 10, 386; ibid. 3 (1935), 143--152; Zbl 11, 193; ibid. 3 (1935), 221--333; Zbl 12, 98]. (2) It seems curious that modern writers believe that demonstration of the "nondeducibility" of the parallel postulate vindicates Euclid whereas at first Saccheri seems to have thought that demonstration of its "deducibility" is what would vindicate Euclid. Saccheri is perfectly clear in his commitment to the ancient (and now discredited) view that it is wrong to take as an "axiom" a proposition which is not a "primal verity", which is not "known through itself". So it would seem that Saccheri should think that he was convicting Euclid of error by deducing the parallel postulate. The resolution of this confusion is that Saccheri thought that he had proved, not merely that the parallel postulate was true, but that it was a "primal verity" and, thus, that Euclid was correct in taking it as an "axiom". As implausible as this claim about Saccheri may seem, the passage on p. 237, lines 3--15, seems to admit of no other interpretation. Indeed, Emch takes it this way. (3) As has been noted by many others, Saccheri was fascinated, if not obsessed, by what may be called "reflexive indirect deductions", indirect deductions which show that a conclusion follows from given premises by a chain of reasoning beginning with the given premises augmented by the denial of the desired conclusion and ending with the conclusion itself. It is obvious, of course, that this is simply a species of ordinary indirect deduction; a conclusion follows from given premises if a contradiction is deducible from those given premises augmented by the denial of the conclusion---and it is immaterial whether the contradiction involves one of the premises, the denial of the conclusion, or even, as often happens, intermediate propositions distinct from the given premises and the denial of the conclusion. Saccheri seemed to think that a proposition proved in this way was deduced from its own denial and, thus, that its denial was self-contradictory (p. 207). Inference from this mistake to the idea that propositions proved in this way are "primal verities" would involve yet another confusion. The reviewer gratefully acknowledges extensive communication with his former doctoral students J. Gasser and M. Scanlan. ADDED 14 March 14, 2015: (1) Wikipedia reports that many of Saccheri's ideas have a precedent in the 11th Century Persian polymath Omar Khayyám's Discussion of Difficulties in Euclid, a fact ignored in most Western sources until recently. It is unclear whether Saccheri had access to this work in translation, or developed his ideas independently. (2) This book is another exemplification of the huge difference between indirect deduction and indirect reduction. Indirect deduction requires making an assumption that is inconsistent with the premises previously adopted. This means that the reasoner must perform a certain mental act of assuming a certain proposition. It case the premises are all known truths, indirect deduction—which would then be indirect proof—requires the reasoner to assume a falsehood. This fact has been noted by several prominent mathematicians including Hardy, Hilbert, and Tarski. Indirect reduction requires no new assumption. Indirect reduction is simply a transformation of an argument in one form into another argument in a different form. In an indirect reduction one proposition in the old premise set is replaced by the contradictory opposite of the old conclusion and the new conclusion becomes the contradictory opposite of the replaced premise. Roughly and schematically, P,Q/R becomes P,~R/~Q or ~R, Q/~P. Saccheri’s work involved indirect deduction not indirect reduction. (3) The distinction between indirect deduction and indirect reduction has largely slipped through the cracks, the cracks between medieval-oriented logic and modern-oriented logic. The medievalists have a heavy investment in reduction and, though they have heard of deduction, they think that deduction is a form of reduction, or vice versa, or in some cases they think that the word ‘deduction’ is the modern way of referring to reduction. The modernists have no interest in reduction, i.e. in the process of transforming one argument into another having exactly the same number of premises. Modern logicians, like Aristotle, are concerned with deducing a single proposition from a set of propositions. Some focus on deducing a single proposition from the null set—something difficult to relate to reduction. (shrink)

Accounts of arguments from expert opinion take it for granted that expert judgments count as (defeasible) evidence for propositions, and so an argument that proceeds from premises about what an expert judges to a conclusion that the expert is probably right is a strong argument. In Mizrahi (2013), I consider a potential justification for this assumption, namely, that expert judgments are significantly more likely to be true than novice judgments, and find it wanting because of empirical evidence (...) suggesting that expert judgments under uncertainty are not significantly more likely to be true than novice judgments or even chance. In this paper, I consider another potential justification for this assumption, namely, that expert judgments are not influenced by the cognitive biases novice judgments are influenced by, and find it wanting, too, because of empirical evidence suggesting that experts are vulnerable to pretty much the same cognitive biases that novices are vulnerable to. If this is correct, then the basic assumption at the core of accounts of arguments from expert opinion, namely, that expert judgments count as (defeasible) evidence for propositions, remains unjustified. (shrink)

This paper describes how bodily positions and gestures were used to teach argument diagramming to a student who cannot see. After listening to short argumentative passages with a screen reader, the student had to state the conclusion while touching his belly button. When stating a premise, he had to touch one of his shoulders. Premises lending independent support to a conclusion were thus diagrammed by a V-shaped gesture, each shoulder proposition going straight to the (...) class='Hi'>conclusion. Premises lending dependent support were diagrammed by a T-shaped gesture, the shoulder premises meeting at the collar bone before moving down to the belly button. Arguments involving two pairs of entailments were diagrammed by an I-shaped gesture, going from the collar bone to a mid-way conclusion above the abdomen before travelling to the final conclusion at the belly button. The student’s strong performance suggests that placing propositions at different locations on the body and uniting them with gestures can help one discern correct argumentative structures. (shrink)

Abstract In this essay, I will argue that images can play a substantial role in argumentation: exploiting information from the context, they can contribute directly and substantially to the communication of the propositions that play the roles of premises and conclusion. Furthermore, they can achieve this directly, i.e. without the need of verbalization. I will ground this claim by presenting and analyzing some arguments where images are essential to the argumentation process. Content Type Journal Article Pages 1-14 DOI 10.1007/s10503-011-9259-y (...) Authors Axel Arturo Barceló Aspeitia, Instituto de Investigaciones Filosóficas, Universidad Nacional Autónoma de México, Cto. Mario de la Cueva s/n, Cd. Universitaria, Coyoacán, 04500 DF, Mexico Journal Argumentation Online ISSN 1572-8374 Print ISSN 0920-427X. (shrink)

The word pro-tasis is etymologically a near equivalent of pre-mise, pro-position, and ante-cedent—all having positional, relational connotations now totally absent in contemporary use of proposition. Taking protasis for premise, Aristotle’s statement (24a16) -/- A protasis is a sentence affirming or denying something of something…. -/- is not a definition of premise—intensionally: the relational feature is absent. Likewise, it is not a general definition of proposition—extensionally: it is too narrow. This paper explores recent literature on these issues.

In Tractatus 5.132 Wittgenstein argues that inferential justification depends solely on the understanding of the premises and conclusion, and is not mediated by any further act. On this basis he argues that Frege’s and Russell’s rules of inference are “senseless” and “superfluous”. This line of argument is puzzling, since it is unclear that there could be any viable account of inference according to which no such mediation takes place. I show that Wittgenstein’s rejection of rules of inference can (...) be motivated by taking account of his holistic construal of the relation between inference and understanding. (shrink)

The argument from appearance for the content view or intentionalism attracts a lot of attention recently. In my paper, I follow Charles Travis to argue against the key premise that representational content can be ‘read off’ from a certain way that a thing looks to a subject. My arguments are built upon Travis’s original objection and a reinterpretation of Rodrick Chisholm’s comparative and noncomparative uses of appearance words. Byrne, Schellenberg and others interpret Travis’ ‘visual looks’ as Chisholm’s comparative (...) use, and appeal to the noncomparative use as an alternative to avoid Travis’s objection. I demonstrate that they misunderstand both Chisholm and Travis. Both the comparative use and the noncomparative use are semantic notions, while ‘visual looks’ is a metaphysical one. Although Chisholm’s appearance objectivism –– that appearance expressions attribute appearances to ordinary objects –– is close to ‘visual looks’, appearance objectivism is not exceptional to the noncomparative use as Byrne interprets. In the end, I also show that Byrnean’s conception of distinctive visual gestalt cannot exclude contrary representational contents, because a distinctive visual gestalt can be shared by different kinds of things. Besides, Byrne and others do not explain why a distinctive visual gestalt should be presented as ‘being instantiated’. Therefore, I conclude that representational content cannot be read off from a certain way that a thing looks to a subject; the argument from appearance thus fails. (shrink)

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 premise-conclusion 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 epistemic process of extracting information implicit in explicitly given information) and, second, the process of establishing knowledge that a conclusion does not follow. Despite the overwhelming tendency to interpret the syllogistic as formal epistemology, it was not until the early 1970s that it occurred to anyone to think that Aristotle may have developed a theory of deductive reasoning with a well worked-out system of deductions comparable in rigor and precision with systems such as propositional logic or equational logic familiar from mathematical logic. When modern logicians in the 1920s and 1930s first turned their attention to the problem of understanding Aristotle's contribution to logic in modern terms, they were guided both by the Frege-Russell conception of logic as formal ontology and at the same time by a desire to protect Aristotle from possible charges of psychologism. They thought they saw Aristotle applying the informal axiomatic method to formal ontology, not as making the first steps into formal epistemology. They did not notice Aristotle's description of deductive reasoning. Ironically, the formal axiomatic method (in which one explicitly presents not merely the substantive axioms but also the deductive processes used to derive theorems from the axioms) is incipient in Aristotle's presentation. Partly in opposition to the axiomatic, ontically-oriented approach to Aristotle's logic and partly as a result of attempting to increase the degree of fit between interpretation and text, logicians in the 1970s working independently came to remarkably similar conclusions to the effect that Aristotle indeed had produced the first system of formal deductions. They concluded that Aristotle had analyzed the process of deduction and that his achievement included a semantically complete system of natural deductions including both direct and indirect deductions. Where the interpretations of the 1920s and 1930s attribute to Aristotle a system of propositions organized deductively, the interpretations of the 1970s attribute to Aristotle a system of deductions, or extended deductive discourses, organized epistemically. The logicians of the 1920s and 1930s take Aristotle to be deducing laws of logic from axiomatic origins; the logicians of the 1970s take Aristotle to be describing the process of deduction and in particular to be describing deductions themselves, both those deductions that are proofs based on axiomatic premises and those deductions that, though deductively cogent, do not establish the truth of the conclusion but only that the conclusion is implied by the premise-set. Thus, two very different and opposed interpretations had emerged, interestingly both products of modern logicians equipped with the theoretical apparatus of mathematical logic. The issue at stake between these two interpretations is the historical question of Aristotle's place in the history of logic and of his orientation in philosophy of logic. This paper affirms Aristotle's place as the founder of logic taken as formal epistemology, including the study of deductive reasoning. A by-product of this study of Aristotle's accomplishments in logic is a clarification of a distinction implicit in discourses among logicians--that between logic as formal ontology and logic as formal epistemology. (shrink)

In this paper, I inspect the grounds for the mature Spinozist argument for substance monism. The argument is succinctly stated at Ethics Part 1, Proposition 14. The argument appeals to two explicit premises: (1) that there must be a substance with all attributes; (2) that substances cannot share their attributes. In conjunction with a third implicit premise, that a substance cannot not have any attribute whatsoever, Spinoza infers that there can be no more than one (...) substance. I begin the inspection with the analysis of the first premise, which is provided in the form of the four proofs of God’s existence in Ethics Part 1, Proposition 11. While demonstrating how Spinoza adopts a progressive approach, where the fourth proof of God’s existence is more successful and persuasive than the third, which is more successful than the second, etc., I also unpack concepts central to Spinoza’s thinking here, including the concepts of reason (ratio) and power (potesta or potentia). I then analyze the second premise of the Spinozist argument for substance monism, as established by Ethics Part 1, Proposition 4 in conjunction with Ethics Part 1, Proposition 5. I take up and respond to the objection attributed to Leibniz that a substance p can have the attributes x and y and a substance q can have the attributes y and z, and thus that substances can share some attributes while remaining distinct. Throughout the study, my attention is focused on the argumentative procedures Spinoza adopts. This yields a close, internalist reading of the text where Spinoza effectively embraces substance monism. In conclusion to this study, I underscore to the originality of Spinoza’s argument for seventeenth century theories of substance. (shrink)

Although in some contexts the notions of an ordinary argument’s presumption, assumption, and presupposition appear to merge into the one concept of an implicit premise, there are important differences between these three notions. It is argued that assumption and presupposition, but not presumption, are basic logical notions. A presupposition of an argument is best understood as pertaining to a propositional element (a premise or the conclusion) e of the argument, such that the presupposition is (...) a necessary condition for the truth of e or for a term in e to have a referent. In contrast, an assumption of an argument pertains to the argument as a whole in that it is integral to the reasoning or inferential structure of the argument. A logical assumption of an argument is essentially a proposition that must be true in order for the argument aside from that proposition to be fully cogent. Nothing that is both comparable and distinguishing can be said about presumptions of arguments. Rather, presumptions of arguments are distinctively conventional; they are introduced through conventional rules (e.g., those that concern how to treat promises). So not all assumptions and not all presuppositions of arguments are presumptions of those arguments, although all presumptions of arguments are either assumptions or presuppositions of those arguments. This account avoids making the (monological) notion of presumption vacuous and dissolving the distinction between assumption and presumption, which is a vulnerability of alternative views such as Hansen’s and Bermejo-Luque’s, as is shown. (shrink)

Contrary to dictionaries, a non sequitur isn’t “any statement that doesn’t follow logically from previous statements”. Otherwise, every opening statement would be a non sequitur: a non sequitur is a statement claimed to follow from previous statements but that doesn’t follow. If the sentence making a given statement doesn’t contain ‘thus’, ‘so’, ‘hence’, ‘therefore’, or something else indicating an implication claim, the statement isn’t a non sequitur in this sense. But this is only one of several senses of that expression, (...) which, contrary to appearances, is a unitary common noun more properly written as one word: non-sequitur or nonsequitur. Above a nonsequitur was, roughly speaking, a conclusion of an invalid premise- conclusion argument, but not every such, only those that were stated to follow from premises that had been stated. Every informative proposition is the conclusion of an invalid argument. Anyway, nonsequiturs were not arguments. However, the expression ‘nonsequitur’ also means “invalid premise- conclusion argument”. It also means something like “fallacious reasoning” as in ‘Abe’s proof of the big-bang hypothesis is a nonsequitur’. The English noun is also used for an irrelevancy, an abrupt change of topic, or for any of many other expressions that are gratuitous, inappropriate, incongruous, or in some other way out of place. The English noun is derived from the Latin expression ‘non sequitur’, which is not a common noun but a sentence variously meaning “it isn’t in sequence ”, “it doesn’t follow”, “it is out of order”, etc. A statement that begins ‘in the second place’ is a nonsequitur if the previous sentence lacked implication of something like ‘in the first place’ or if it contained something similar to ‘in the third place’. In fact, a true implication claim can be a nonsequitur if there is no reason for making it. If Ben says ‘Hence, Abe swims and Abe swims’ in reply to Carl’s statement ‘Abe swims‘, then Ben may well be committing a nonsequitur. Many conversation stoppers are nonsequiturs. This lecture surveys and analyses a wide selection of uses of ‘nonsequitur’ in logic and logic-related literature. -/- END OF DRAFT 4 -/- NOTE 091215: When Rick Perry was discussing possible withdrawal from the race—unfortunately not the human race but the Republican race—a reporter reminded him that just last week Donald Trump predicted the Perry withdrawal. Perry interrupted with “A broken clock is right once a day”. -/- If you did not know Perry you might think his reply was a brilliant diversionary nonsequitur. If you know Perry you might think his reply was a stupid nonsequitur. -/- For the record, he did say ‘once a day’, not ‘twice a day’. BTW, my interjection ‘unfortunately not the human race but the Republican race’ was also a nonsequitur. (shrink)

In the present article we attempt to show that Aristotle's syllogistic is an underlying logiC which includes a natural deductive system and that it isn't an axiomatic theory as had previously been thought. We construct a mathematical model which reflects certain structural aspects of Aristotle's logic. We examine the relation of the model to the system of logic envisaged in scattered parts of Prior and Posterior Analytics. Our interpretation restores Aristotle's reputation as a logician of consummate imagination and skill. Several (...) attributions of shortcomings and logical errors to Aristotle are shown to be without merit. Aristotle's logic is found to be self-sufficient in several senses: his theory of deduction is logically sound in every detail. (His indirect deductions have been criticized, but incorrectly on our account.) Aristotle's logic presupposes no other logical concepts, not even those of propositional logic. The Aristotelian system is seen to be complete in the sense that every valid argument expressible in his system admits of a deduction within his deductive system: every semantically valid argument is deducible. (shrink)

Consider the following. The first is a one-premise argument; the second has two premises. The question sign marks the conclusions as such. -/- Matthew, Mark, Luke, and John wrote Greek. ? Every evangelist wrote Greek. -/- Matthew, Mark, Luke, and John wrote Greek. Every evangelist is Matthew, Mark, Luke, or John. ? Every evangelist wrote Greek. -/- The above pair of premise-conclusion arguments is of a sort familiar to logicians and philosophers of science. In each case (...) the first premise is logically equivalent to the set of four atomic propositions: “Matthew wrote Greek”, “Mark wrote Greek”, “Luke wrote Greek”, and “John wrote Greek”. The universe of discourse is the set of evangelists. We presuppose standard first-order logic. -/- As many logic texts teach, the first of these two premise-conclusion arguments—sometimes called a complete enumerative induction— is invalid in the sense that its conclusion does not follow from its premises. To get a counterargument, replace ‘Matthew’, ‘Mark’, ‘Luke’, and ‘John’ by ‘two’,’four’, ‘six’ and ‘eight’; replace ‘wrote Greek’ by ‘are even’; and replace ‘evangelist’ by ‘number’. This replacement converts the first argument into one having true premises and false conclusion. -/- But the same replacement performed on the second argument does no such thing: it converts the second premise into the falsehood “Every number is two, four, six, or eight”. As many logic texts teach, there is no replacement that converts the second argument into one with all true premises and false conclusion. The second is valid; its conclusion is deducible from its two premises using an instructive natural deduction. -/- This paper “does the math” behind the above examples. The theorem could be stated informally: the above examples are typical. (shrink)

It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the (...) history of logic. These practices presuppose, respectively, a criterion of validity and a criterion of invalidity each of which has been extended and refined by modern logicians: deductions are studied in formal syntax (proof theory) and coun¬termodels are studied in formal semantics (model theory). The purpose of this paper is to compare these two criteria to the corresponding criteria employed in Boole’s first logical work, The Mathematical Analysis of Logic (1847). In particular, this paper presents a detailed study of the relevant metalogical passages and an analysis of Boole’s symbolic derivations. It is well known, of course, that Boole’s logical analysis of compound terms (involving ‘not’, ‘and’, ‘or’, ‘except’, etc.) contributed to the enlargement of the class of propositions and arguments formally treatable in logic. The present study shows, in addition, that Boole made significant contributions to the study of deduc¬tive reasoning. He identified the role of logical axioms (as opposed to inference rules) in formal deductions, he conceived of the idea of an axiomatic deductive sys¬tem (which yields logical truths by itself and which yields consequences when ap¬plied to arbitrary premises). Nevertheless, surprisingly, Boole’s attempt to imple¬ment his idea of an axiomatic deductive system involved striking omissions: Boole does not use his own formal deductions to establish validity. Boole does give symbolic derivations, several of which are vitiated by “Boole’s Solutions Fallacy”: the fallacy of supposing that a solution to an equation is necessarily a logical consequence of the equation. This fallacy seems to have led Boole to confuse equational calculi (i.e., methods for gen-erating solutions) with deduction procedures (i.e., methods for generating consequences). The methodological confusion is closely related to the fact, shown in detail below, that Boole had adopted an unsound criterion of validity. It is also shown that Boole totally ignored the countermodel criterion of invalid¬ity. Careful examination of the text does not reveal with certainty a test for invalidity which was adopted by Boole. However, we have isolated a test that he seems to use in this way and we show that this test is ineffectual in the sense that it does not serve to identify invalid arguments. We go beyond the simple goal stated above. Besides comparing Boole’s earliest criteria of validity and invalidity with those traditionally (and still generally) employed, this paper also investigates the framework and details of THE MATHEMATICAL ANALYSIS OF LOGIC. (shrink)

In response to the claim that certain epistemically defective inferences such as Moore’s argument lead us to the conclusion that we ought to abandon closure, Crispin Wright suggests that we can avoid doing so by distinguishing it from a stronger principle, namely transmission. Where closure says that knowledge of a proposition is a necessary condition on knowledge of anything one knows to entail it, transmission makes a stronger claim, saying that by reasoning deductively from known premises one (...) can thereby acquire knowledge of or justification for the conclusion. Wright’s thought is that in cases such as Moore what is really going on is a failure of transmission, not a failure of closure. The problem with this claim is that it relies on an outdated formulation of closure which few nowadays would find plausible. Once we stipulate that it is the intuitive closure principle that deserves our attention, it becomes far less obvious that the project of diagnosing what is wrong with arguments such as Moore in terms of transmission failure but not closure failure can be vindicated. In order to demonstrate this claim, I consider intuitive closure of propositional justification vs. transmission of propositional justification and concede that perhaps these can come apart in the way that Wright suggests. I then argue that despite this concession, we also need an answer to the question of whether intuitive closure for doxastic justification and transmission for doxastic justification can come apart. We need an answer to this question because our ultimate interest in these issues stems from our interest in whether knowledge obeys closure, not merely whether propositional justification does. I argue that, even on the assumption that there is transmission failure of propositional justification, there is no transmission failure of doxastic justification. And if this is true, then there is no transmission failure of knowledge either. The transmission failure diagnosis of Moore’s argument and its ilk is thus in trouble. (shrink)

One innovation in this paper is its identification, analysis, and description of a troubling ambiguity in the word ‘argument’. In one sense ‘argument’ denotes a premise-conclusion argument: a two-part system composed of a set of sentences—the premises—and a single sentence—the conclusion. In another sense it denotes a premise-conclusion-mediation argument—later called an argumentation: a three-part system composed of a set of sentences—the premises—a single sentence—the conclusion—and complex of sentences—the mediation. The latter (...) is often intended to show that the conclusion follows from the premises. The complementarity and interrelation of premise-conclusion arguments and premise-conclusion-mediation arguments resonate throughout the rest of the paper which articulates the conceptual structure found in logic from Aristotle to Tarski. This 1972 paper can be seen as anticipating Corcoran’s signature work: the more widely read 1989 paper, Argumentations and Logic, Argumentation 3, 17–43. MR91b:03006. The 1972 paper was translated into Portuguese. The 1989 paper was translated into Spanish, Portuguese, and Persian. (shrink)

In this paper, I argue that, if transcendental arguments are to proceed from premises that are acceptable to the skeptic, the Transcendental Premise, according to which “X is a metaphysically necessary condition for the possibility of Y,” must be grounded in considerations of conceivability and possibility. More explicitly, the Transcendental Premise is based on what Szabó Gendler and Hawthorne call the “conceivability-possibility move.” This “inconceivability-impossibility” move, however, is a problematic argumentative move when advancing transcendental arguments for the following (...) reasons. First, from “S cannot conceive of P” it doesn’t necessarily follow that P is inconceivable. Second, from “P is inconceivable” it doesn’t necessarily follow that P is metaphysically impossible. Third, rather than block skeptical doubts, the conceivability-possibility move introduces skeptical doubts. For these reasons, transcendental arguments fail to deliver on their promise to overcome skeptical doubts. (shrink)

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

The contemporary versions of the ontological argument that originated from Charles Hartshorne are formalized proofs based on unique modal theories. The simplest well-known theory of this kind arises from the b system of modal logic by adding two extra-logical axioms: “If the perfect being exists, then it necessarily exists‘ and “It is possible that the perfect being exists‘. In the paper a similar argument is presented, however none of the systems of modal logic is relevant to it. Its (...) only premises are the axiom and, instead of, the new axiom : “If the perfect being doesn’t exist, it necessarily doesn’t‘. The main goal of the work is to prove that is no more controversial than and -- in consequence -- the whole strength of the modal ontological argument lies in the set of its extra-logical premises. In order to do that, three arguments are formulated: ontological, “cosmological‘ and metalogical. (shrink)

[Edited from Conclusion section:] We have looked at various challenging issues to do with getting connectionism to cope with high-level cognitive activities such a reasoning and natural language understanding. The issues are to do with various facets of generalization that are not commonly noted. We have been concerned in particular with the special forms these issues take in the arena of propositional attitude processing. The main problems we have looked at are: (1) The need to construct explicit representations of (...) generalizations, not just generalize correctly to individual cases; (2) The need to be able to match two or more complex short-term information structures, to enable rapid generalization from recent examples rather than from long-term memories; (3) The need to represent and reason with anomalous combinations of concepts; (4) The need to perform embedded reasoning. This presents special problems for systems using non-concatenative representations (as in mainstream connectionist approaches). We also touched on vague quantification in attitude report complements. Neither this topic nor that of analogies between short-term structures (point 2) has been adequately addressed in the symbolic framework, let alone in connectionism. -/- The opportunities and problems covered are put forward as things worth being optimistic about or pessimistic about, respectively. They are not put forward as decisive arguments for or against connectionism. The hope is that this chapter contributes to a greater understanding of the connectionist/symbolist gap by presenting some unusual issues and by throwing new light on some well known ones. (shrink)

Arguments and conditionals are powerful means language provides us to reason about possibilities and to reach conclusions from premises. These two kinds of constructions exhibit several affinities—e.g., they both come in different varieties depending on the mood; they share some of the same connectives (i.e., ‘then’); they allow for similar patterns of modal subordination. In the light of these affinities, it is not surprising that prominent theories of conditionals—old and new suppositionalisms as well as dynamic theories of conditionals—as well as (...) certain reductive theories of arguments tend to semantically assimilate conditionals and arguments. In this paper, I shall marshall some linguistic evidence as well as some theoretical considerations for thinking that, despite these similarities, arguments and conditionals should be given a different semantics and I shall lay out a framework that can capture at least some of their affinities while accounting for their outstanding differences. (shrink)

Arguments from disagreement against moral realism begin by calling attention to widespread, fundamental moral disagreement among a certain group of people. Then, some skeptical or anti-realist-friendly conclusion is drawn. Chapter 2 proposes that arguments from disagreement share a structure that makes them vulnerable to a single, powerful objection: they self-undermine. For each formulation of the argument from disagreement, at least one of its premises casts doubt either on itself or on one of the other premises. On reflection, this (...) shouldn’t be surprising. These arguments are intended to support very strong metaphysical or epistemological conclusions about morality. They must therefore employ very strong metaphysical or epistemological premises. But, given the pervasiveness of disagreement in philosophy, especially about metaphysics and epistemology, very strong premises are virtually certain to be the subject of widespread, intractable disagreement—precisely the sort of disagreement that proponents of these arguments think undermine moral claims. Thus, these arguments undermine their own premises. If Chapter 2’s argument is sound, it provides realists with a single, unified strategy for responding to any existing or forthcoming arguments from disagreement. (shrink)

Although philosophers of art and aesthetics regularly appeal to a notion of ‘pictorial content’, there is little agreement over its nature. The present paper argues that pictures have propositional contents. This conclusion is reached by considering a style of argument having to do with the phenomenon of negation intended to show that pictures must have some kind of non-propositional content. I first offer reasons for thinking that arguments of that type fail. Second, I show that when properly understood, (...) such arguments can in fact be turned on their heads and shown to support the propositionalist position. (shrink)

Demonstrative logic, the study of demonstration as opposed to persuasion, is the subject of Aristotle's two-volume Analytics. Many examples are geometrical. Demonstration produces knowledge (of the truth of propositions). Persuasion merely produces opinion. Aristotle presented a general truth-and-consequence 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 by deductively evident steps that its conclusion is a consequence of its premises. In particular, 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 conception of deduction was meant to apply to all deductions. According to him, any deduction that is not immediately evident is an extended argumentation that involves a chaining of intermediate immediately evident steps that shows its final conclusion to follow logically from its premises. To illustrate his general theory of deduction, he presented an ingeniously simple and mathematically precise special case traditionally known as the categorical syllogistic. (shrink)

An argument is epistemically self-defeating when either the truth of an argument’s conclusion or belief in an argument’s conclusion defeats one’s justification to believe at least one of that argument’s premises. Some extant defenses of the evidentiary value of intuition have invoked considerations of epistemic self-defeat in their defense. I argue that there is one kind of argument against intuition, an unreliability argument, which, even if epistemically self-defeating, can still imply that we (...) are not justified in thinking intuition has evidentiary value. (shrink)

Moorean arguments are a popular and powerful way to engage highly revisionary philosophical views, such as nihilism about motion, time, truth, consciousness, causation, and various kinds of skepticism (e.g., external world, other minds, inductive, global). They take, as a premise, a highly plausible first-order claim (e.g., cars move, I ate breakfast before lunch, it’s true that some fish have gills) and conclude from it the falsity of the highly revisionary philosophical thesis. Moorean arguments can be used against nihilists in (...) ethics (error theorists), too. Recently, error theorists have recognized Moorean arguments as a powerful challenge and have tried to meet it. They’ve argued that moral Moorean premises seem highly credible to us, but aren’t, by offering various debunking explanations. These explanations all appeal to higher-order evidence—evidence of error in our reasoning. I argue that drawing attention to higher-order evidence is a welcome contribution from error theorists, but that the higher-order evidence actually counts further against error theoretic arguments—including their debunking explanations—and further in favor of Moorean arguments and the commonsense views they support. Along the way I answer a few prominent objections to Moorean arguments: that they are objectionably question-begging, rely on categorizing some facts as “Moorean Facts”, and that reports of one’s credence in a proposition bears no interesting relation to that proposition’s credibility. (shrink)

Robert Nozick initiated one of the most inspired and inspiring discussions in political philosophy with his 1974 response in Anarchy, State, and Utopia to John Rawls’s 1971 account of distributive justice in A Theory of Justice. These two works have informed an enormous amount of subsequent, especially liberal, discussions of economic justice, where Nozick’s work typically functions as a resource for those defending more right-wing (libertarian) positions, whereas Rawls’s has been used to defend various left-wing stances. Common to these discussions, (...) as found in politics generally (where similar kinds of arguments frequently are used to defend right and the left-wing policies and conclusions) is that they end in rather stubborn stalemates: the right defending minimal states while the left defends more extensive states. Interesting, too, is that both Nozick and Rawls take themselves to be consistent with, inspired by, and furthering Kant’s freedom project in the development of their own theories of justice. In this paper, I start by outlining the structures of these debates with an emphasis on the original disagreements between Nozick and Rawls. I then show how neither theory actually employed Kant’s own theory of justice, but rather drew on or out (presumed) implications of his ethical theory. In the final sections, I argue that if Nozick and Rawls had instead used Kant’s theory of justice and not his ethics, not only would their individual theories have been stronger, but they could have found ways of overcoming the unproductive stalemates that characterize their own as well as subsequent related discussions of economic justice as we currently find them in much scholarly and contemporary political debate. (shrink)

Basic Argument forms Modus Ponens , Modus Tollens , Hypothetical Syllogism and Dilemma contains ‘If –then’ conditions. Conclusions from the Arguments containing ‘If –then’ conditions can be deduced very easily without any significant memorization by applying Raval’s method. Method: In Raval’s method If P then Q is written as P (2$) – Q (1$) and viewed numerically, in currency form i.e. P is viewed as 2$ and Q is viewed as 1$ and implications from this notations are valid conclusions. (...) If one has 2$ then he definitely have 1$. If one do not have 2$, he may not have 1$. If one is having 1$, he may not have 2$. If one do not have 1$, he definitely doesn’t have 2$. (shrink)

Moral discourse is propositionally clothed, that is, it exhibits those features – such as the ability of its sentences to intelligibly embed in conditionals and other unasserted contexts – that have been taken by some philosophers to be constitutive of discourses that express propositions. If there is nothing more to a mental state being a belief than it being characteristically expressed by sentences that are propositionally clothed then the version of expressivism which accepts that moral discourse is propositionally clothed (‘quasi-realism’) (...) is self-refuting. Fortunately for quasi-realists, this view of belief, which I label ‘minimalism’, is false. I present three arguments against it and dismiss two possible defences (the first drawn from the work of Wright, the second given by Harcourt). The conclusion is that the issue between expressivists and their opponents cannot be settled by the mere fact that moral discourse wears propositional clothing. (shrink)

Controversially, psychologist and public intellectual Jordan Peterson advises “enforced monogamy” for societies with high percentages of “incels.” As Peterson’s proposal resonates in manosphere circles, this chapter reconstructs and briefly evaluates the argument for it. Premised on the moral importance of civilizational sustainability, advocates argue that both polygamous and socially monogamous but sexually liberal mating patterns result in unsustainable proportions of unattached young men. Given the premises, monogamous societies are probably justified in maintaining their anti-polygamist social and legal norms. The (...) case for imposing stricter sexual norms on socially monogamous but sexually liberal societies is weaker, however, as male involuntary celibacy in those places isn’t as directly caused by male intrasexual competition, and since less intrusive social interventions are more likely to ameliorate “the incel problem.”. (shrink)

This chapter defends Terence Horgan's claim that any genuinely physicalist position must distinguish itself from (what has been traditionally known as) emergentism. It argues that physicalism is necessarily reductive in character — it must either give a reductive account of apparently non‐physical entities, or a reductive explanation of why there are non‐physical entities. It contends that many recent ‘non‐reductive’ physicalists do not do this, and that because of this they cannot adequately distinguish their view from emergentism. The conclusion is (...) that this is the real challenge posed by Joseph Levine's ‘explanatory gap’ argument: if physicalists cannot close the explanatory gap in Levine's preferred way, they must find some other way to do it. Otherwise their view is indistinguishable from emergentism. (shrink)

The Theistic Argument from Intentionality (TAI) is a venerable argument for the existence of God from the existence of eternal truths. The argument relies, inter alia, on the premises that (i) truth requires representation, and that (ii) non-derivative representation is a function of, and only of, minds. If propositions are the fundamental bearers of truth and falsity, then these premises entail that propositions (or at least their representational properties) depend on minds. Although it is widely thought that (...) psychologism—the view that the fundamental truth-bearers are mind-dependent—was refuted by Frege, a psychologistic view of propositions has been undergoing a revival. However, this new psychologism suffers from a problem of scarcity—finite minds cannot generate enough thoughts to play the role of fundamental truth-bearers. This objection paves the way for a revised version of the TAI: only an infinite mind can furnish enough thoughts to play the role of propositions. (shrink)

It’s often thought that the phenomenon of risk aggregation poses a problem for multi-premise closure but not for single-premise closure. But recently, Lasonen-Aarnio and Schechter have challenged this thought. Lasonen-Aarnio argues that, insofar as risk aggregation poses a problem for multi-premise closure, it poses a similar problem for single-premise closure. For she thinks that, there being such a thing as deductive risk, risk may aggregate over a single premise and the deduction itself. Schechter argues that (...) single-premise closure succumbs to risk aggregation outright. For he thinks that there could be a long sequence of competent single-premise deductions such that, even though we are justified in believing the initial premise of the sequence, intutively, we are not justified in believing the final conclusion. This intuition, Schechter thinks, vitiates single-premise closure. In this paper, I defend single-premise closure against the arguments offered by Lasonen-Aarnio and Schechter. (shrink)

The premise-fact confusion in Aristotle’s PRIOR ANALYTICS. -/- The premise-fact fallacy is talking about premises when the facts are what matters or talking about facts when the premises are what matters. It is not useful to put too fine a point on this pencil. -/- In one form it is thinking that the truth-values of premises are relevant to what their consequences in fact are, or relevant to determining what their consequences are. Thus, e.g., someone commits the (...) class='Hi'>premise-fact fallacy if they think that a proposition has different consequences were it true than it would have if false. C. I. Lewis said that confusing logical consequence with material consequence leads to this fallacy. See Corcoran’s 1973 “Meanings of implication” [available on Academia. edu]. -/- The premise-fact confusion occurs in a written passage that implies the premise-fact fallacy or that suggests that the writer isn’t clear about the issues involved in the premise-fact fallacy. Here are some examples. -/- E1: If Abe is Ben and Ben swims, then it would follow that Abe swims. -/- Comment: The truth is that from “Abe is Ben and Ben swims”, the proposition “Abe swims” follows. Whether in fact Abe is Ben and Ben swims is irrelevant to whether “Abe swims” follows from “Abe is Ben and Ben swims”. -/- E1 suggests that maybe “Abe swims” wouldn’t follow from “Abe is Ben and Ben swims” if the latter were false. -/- E2: The truth of “Abe is Ben and Ben swims” implies that Abe swims. -/- E3: Indirect deduction requires assuming something false. -/- Comment: If the premises of an indirect deduction are true the conclusion is true and thus the “reductio” assumption is false. But deduction, whether direct or indirect, does not require true premises. In fact, indirect deduction is often used to determine that the premises are not all true. -/- Anyway, the one-page paper accompanying this abstract reports one of dozens of premise-fact errors in PRIOR ANALYTICS. In the session, people can add their own examples and comment on them. For example, is the one at 25b32 the first? What is the next premise-fact error after 25b32? Which translators or commentators discuss this? -/- . (shrink)

Can we find propositions that cannot rationally be denied in any possible world without assuming the existence of that same proposition, and so involving ourselves in a contradiction? In other words, can we find transworld propositions needing no further foundation or justification? Basically, three differing positions can be imagined: firstly, a relativist position, according to which ultimately founded propositions are impossible; secondly, a meta-relativist position, according to which ultimately founded propositions are possible but unnecessary; and thirdly, an absolute position, (...) according to which such propositions are necessary. In this short essay I show that under the premise of modal logic S5 with constant domain there are ultimately founded propositions and that their existence is even necessary, and I will give some reasons for the superiority of S5 over other logics. (shrink)

Study represents an application of the neutrosophic method, for solving the contradiction between communication and information. In addition, it recourse to an appropriate method of approaching the contradictions: Extensics, as the method and the science of solving the contradictions. The research core is the reality that the scientific research of communication-information relationship has reached a dead end. The bivalent relationship communicationinformation, information-communication has come to be contradictory, and the two concepts to block each other. After the critical examination of conflicting (...) positions expressed by many experts in the field, the extensic and inclusive hypothesis is issued that information is a form of communication. The object of communication is the sending of a message. The message may consist of thoughts, ideas, opinions, feelings, beliefs, facts, information, intelligence or other significational elements. When the message content is primarily informational, communication will become information or intelligence. The arguments of supporting the hypothesis are: a) linguistic (the most important being that there is "communication of information" but not "information of communication"; also, it is clarified and reinforced the over situated referent, that of the communication as a process), b) systemic-procedural (in the communication system is developing an information system; the informing actant is a type of communicator, the information process is a communication process), c) practical (the delimitation eliminates the efforts of disparate and inconsistent understanding of the two concepts), d) epistemological arguments (the possibility of intersubjective thinking of reality is created), linguistic arguments, e) logical and realistic arguments (it is noted the situation that allows to think coherently in a system of concepts - derivative series or integrative groups) f) and arguments from historical experience (the concept of communication has temporal priority, it appears 13 times in Julius Caesar’s writings ). In an axiomatic conclusion, the main arguments are summarized in four axioms: three are based on the pertinent observations of specialists, and the fourth is a relevant application of Florentin Smarandache’s neutrosophic theory. (shrink)

proposition. Universal proposition is defined as the proposition in which the relation between the subject term and the predicate term is without any condition, in which the predicate is either affirmed or denied of the subject unconditionally. In nyaya logic the term vyapti is a universal proposition or invariable relation between the middle term (linga/hetu) and the major term (sadya) . According to the category of relation propositions are divided into categorical and the conditional. Although (...) class='Hi'>proposition is a logical entity which is an assertion, either affirm or deny the subject. Truth and falsity are the values of proposition. Universal proposition is of two kinds: universal affirmative proposition and universal negative proposition while universality is the quantity of the subject and affirmation or negation is the quality of the proposition. Anumana (inference) is the knowledge of the objects which follows some other knowledge. In nyaya logic Inference is a combined deductive-inductive reasoning consisting of at least three categorical propositions and in it there are at least three propositions consisting of three terms, viz. the paksa or minor term about which we infer something, the sadhya or major term which inferred object, and the linga(probans) or sadana or middle which is invariably related to the major, and is present in the minor. Indian inference resembles to the categorical syllogism of western logic. In nyaya logic inference consisting of three propositions the first proposition is the conclusion of the syllogism , the second is the minor premise and last the major premise which is totally opposite of western logic. Syllogism of nyaya logic contains five propositions, called its Avayavas or members. These are pratijna, hetu, udarana, upanaya, and nigamana. Middle term have five characteristics in order to make five Figures of syllogism as Figure is the form of the syllogism. These five characteristics, or at least four of them , must be found in the middle term of a valid inference. If not, there will be fallacies(error in reasoning). Nyayikas give us three classifications of inference. According to first inference is of two kinds, namely, svartha and parartha. According to another inference is of three kinds, purvavat, sesavat and samanyatodrsta. According to third classification inference is distinguished into kevalanvayi, kevala-vyatireki and anvaya-vyatireki. (shrink)

Over the decades, scholarly discourses on sovereignty and globalization have been produced following various theories and numerous debates about the strength and weakness of the sovereign nation-state and globalization. In this paper, the various theories on the discourse of sovereignty and globalization are traced and placed into four categories as: contending paradigm, globalization paradigm, transformation paradigm and complementary paradigm. Both concepts, sovereignty and globalization, are explored by adopting the methodological framework, sources of explanation. The argument is that there is (...) an intricate relationship between these concepts. To determine the relationship between sovereignty and globalization, three world systems were examined and it revealed that, globalization is born of the sovereign nation-state and that globalization can only be assert in the current sovereign world system and not the ones preceding it. The overall conclusion is that globalization emerged as a result of sovereignty and since the discourse of sovereignty and globalization is about the same space and its inhabitants, they are bound to be discursively set against each other if the discourse focusses solely on the phenomena seen as globalization. The forces of globalization and sovereignty need to be further researched into to be able to tell where they are leading us. (shrink)

This paper explores an idea of Stoic descent that is largely neglected nowadays, the idea that an argument is valid when the conditional formed by the conjunction of its premises as antecedent and its conclusion as consequent is true. As it will be argued, once some basic features of our naıve understanding of validity are properly spelled out, and a suitable account of conditionals is adopted, the equivalence between valid arguments and true conditionals makes perfect sense. The account (...) of validity outlined here, which displays one coherent way to articulate the Stoic intuition, accords with standard formal treatments of deductive validity and encompasses an independently grounded characterization of inductive validity. (shrink)

This paper is based on the comments I gave to Alfred Mele regarding his original Zygote Argument during my presentation at a small workshop on manipulation arguments in Budapest back in 2012. After those comments, Mele changed the conclusion of his original Zygote Argument and redefined 'incompatibilism' so that it would refer to the conclusion of his new Zygote Argument (Mele 2013+). Yet, over the last decade, Mele has made no comment in print about the (...) changes he made nor the invalidity objection that led to them. To my knowledge, Mele has only mentioned this 2015 paper once: in the context of defending his non-explanatory definition of 'incompatibilism' at the opening of Aspects of Agency (p. 6, n. 4), Mele draws his readers' attention to just *just this paper* as a place where they'll find the type of nonstandard/nontraditional definition of 'incompatibilism' that he rejects. If Mele had a general concern about unusual definitions of 'incompatibilism', he could have just as easily named almost any leading figure in free will for this purpose (since most reject the non-explanatory definition he now endorses). But for some reason, Mele thought an unemployed junior researcher should be singled out as an example. Moreover, if Mele were genuinely interested in helping his readers understand the ambiguity of terms like 'compatibilism' and 'incompatibilism' it is a mystery that he referenced a paper in which nothing of substance hung on the definitions given to these terms when he might have instead pointed them to my OTHER 2015 paper in which the MAIN AIM of the paper is to expose the difficulties facing anyone who wants to define the terms 'compatibilism' and 'incompatibilism' in a way that everyone will accept (including a critique of the definitions that Mele has adopted). By all appearances, Mele's aim was to give readers the false impression that my working definition of 'incompatibilism' played some role in my charge that his argument is invalid (which it doesn't, given that the term doesn't appear in either the premises or conclusion of that argument). In this paper, I simply use the invalidity of the simple 2-premise Zygote Argument to make a series of more philosophically significant points (e.g. regarding the dialectical structure of the free-will debate, the role of best-explanation reasoning, and to develop the first-ever "master manipulation argument"). Mele pays no attention to my answer to the "Now What?" question in this paper, even though that answer was the paper's main point. For those interested in a more recent discussion of how the logical and metaphilosophical observations made in this paper have helped to move the free-will debate forward, I suggest my contributions to the Wiley-Blackwell Companion to Free Will (Intro and Chapter 4, 2023) and my paper "Free Will, Self-Creation, and the Paradox of Moral Luck" (2019). (shrink)

The causal premise of the evolutionary debunking argument contends that human moral beliefs are explained by the process of natural selection. While it is universally acknowledged that such a premise is fundamental to the debunker’s case, the vast majority of philosophers focus instead on the epistemic premise that natural selection does not track moral truth and the resulting skeptical conclusion. Recently, however, some have begun to concentrate on the causal premise. So far, the upshot (...) of this small but growing literature has been that the causal premise is likely false due to the seemingly persuasive evidence that our moral beliefs are in fact not the result of natural selection. In this paper, I argue that this view is mistaken. Specifically, I advocate the Innate Biases Model, which contends that there is not only compelling evidence for an evolved cognitive capacity for acquiring norms but also for the existence of an evolutionarily instilled set of cognitive biases that make it either more or less likely that we adopt certain moral beliefs. (shrink)

The Pyrrhonist’s argumentative practice is characterized by at least four features. First, he makes a therapeutic use of arguments: he employs arguments that differ in their persuasiveness in order to cure his dogmatic patients of the distinct degrees of conceit and rashness that afflict them. Secondly, his arguments are for the most part dialectical: when offering an argument to oppose it to another argument advanced by a given dogmatist, he accepts in propria persona neither the truth of its (...) premises and conclusion nor the validity of its logical form. Thirdly, he avails himself of arguments in his own open-minded inquiry into the truth about a wide range of topics. Fourthly, Pyrrhonian argumentation is oppositional inasmuch as it typically works by producing oppositions among arguments that appear to the Pyrrhonist to be equipollent. In this article, I focus on the first three features with the aim of both shedding some light on them and determining whether they are in tension or coherently relate to each other. (shrink)

Argumentations are at the heart of the deductive and the hypothetico-deductive methods, which are involved in attempts to reduce currently open problems to problems already solved. These two methods span the entire spectrum of problem-oriented reasoning from the simplest and most practical to the most complex and most theoretical, thereby uniting all objective thought whether ancient or contemporary, whether humanistic or scientific, whether normative or descriptive, whether concrete or abstract. Analysis, synthesis, evaluation, and function of argumentations are described. Perennial philosophic (...) problems, epistemic and ontic, related to argumentations are put in perspective. So much of what has been regarded as logic is seen to be involved in the study of argumentations that logic may be usefully defined as the systematic study of argumentations, which is virtually identical to the quest of objective understanding of objectivity. -/- KEY WORDS: hypothesis, theorem, argumentation, proof, deduction, premise-conclusion argument, valid, inference, implication, epistemic, ontic, cogent, fallacious, paradox, formal, validation. (shrink)

I show that in our theoretical representations of argument, vicious infinite regresses of self-reference may arise with respect to each of the three usual, informal criteria of argument cogency: the premises are to be relevant, sufficient, and acceptable. They arise needlessly, by confusing a cogency criterion with argument content. The three types of regress all are structurally similar to Lewis Carroll’s famous regress, which involves quantitative extravagance with no explanatory power. Most attention is devoted to the sufficiency (...) criterion, including its relation to the view au courant that inferring necessarily involves the thinker taking her premises to support her conclusion. I contend that this view is mistaken and likewise that arguments make no such assumption or inference claim as that the premises support the conclusion. The core of the positive alternative model I propose is that there is commitment to, but not claiming, the proposition that the premises support the conclusion. (shrink)

The knowledge argument is something that is both an ideal for philosophy and yet surprisingly rare: a simple, valid argument for an interesting and important conclusion, with plausible premises. From a compelling thought-experiment and a few apparently innocuous assumptions, the argument seems to give us the conclusion, a priori, that physicalism is false. Given the apparent power of this apparently simple argument, it is not surprising that philosophers have worried over the argument and (...) its proper diagnosis: physicalists have disputed its validity, or soundness or both; in response, non-physicalists have attempted to reformulate the argument to show its real anti-physicalist lesson. (shrink)

This self-contained one page paper produces one valid two-premise premise-conclusion argument that is a counterexample to the entire three traditional rules of distribution. These three rules were previously thought to be generally applicable criteria for invalidity of premise-conclusion arguments. No longer can a three-term argument be dismissed as invalid simply on the ground that its middle is undistributed, for example. The following question seems never to have been raised: how does having an undistributed (...) middle show that an argument's conclusion does not follow from its premises? This result does nothing to vitiate the theories of distribution developed over the period beginning in medieval times. What it does vitiate is many if not all attempts to use distribution in tests of invalidity outside of the standard two-premise categorical arguments—where they were verified on a case-by-case basis without further theoretical grounding. In addition it shows that there was no theoretical basis for many if not all claims of fundamental status of rules of distribution. These results are further support for approaching historical texts using mathematical archeology. (shrink)

The modal argument against materialism, in its most standard form, relies on a compatibility thesis to the effect that the physical truths are compatible with the absence of consciousness. I propose an alternative modal argument that relies on an incompatibility thesis: The existence of consciousness is incompatible with the proposition that the physical truths provide a complete description of reality. I show that everyone who accepts the premises of the standard modal argument must accept the premises (...) of the revised modal argument, but not vice versa. (shrink)

Contemporary just war theory is divided into two broad camps: revisionists and traditionalists. Traditionalists seek to provide moral foundations for something close to current international law, and in particular the laws of armed conflict. Although they propose improvements, they do so cautiously. Revisionists argue that international law is at best a pragmatic fiction—it lacks deeper moral foundations. In this article, I present the contemporary history of analytical just war theory, from the origins of contemporary traditionalist just war theory in Michael (...) Walzer's work to the revisionist critique of Walzer and the subsequent revival of traditionalism. I discuss central questions of methodology, as well as consider the morality of resorting to war and the morality of conduct in war. I show that although the revisionists exposed philosophical shortcomings in Walzer's arguments, their radical conclusions should prompt us not to reject the broad contemporary consensus, but instead to seek better arguments to underpin it. (shrink)

In his book The Things We Mean, Stephen Schiffer advances a subtle defence of what he calls the ‘face-value’ analysis of attributions of belief and reports of speech. Under this analysis, ‘Harold believes that there is life on Venus’ expresses a relation between Harold and a certain abstract object, the proposition that there is life on Venus. The present essay first proposes an improvement to Schiffer’s ‘pleonastic’ theory of propositions. It then challenges the face-value analysis. There will be such (...) things as propositions only if they possess conditions of identity and distinctness. By analyzing Frege’s theory of propositions (Gedanken), I argue that such conditions may be found for the special case of beliefs and sayings advanced as premises and conclusions of deductive arguments. These conditions, however, are not applicable to most ordinary beliefs and sayings. Ordinary attributions and reports, then, do not place thinkers and speakers in relations to propositions. A bonus is exposure of the fallacy in the Putnam-Taschek objection to Frege’s theory of sense and reference. (shrink)