ࡱ> fhe` Lbjbjss .lD\%(vR%T%T%T%T%T%T%$'h)rx%x%%&R%R%V$@$ !$ R%%0%$ g*:g*$$Bg*2% vThD-x%x% %D` D`  Logical argument An argument is an attempt to demonstrate the  HYPERLINK "http://www.reference.com/browse/wiki/Truth" \o "truth" truth of an assertion called a  HYPERLINK "http://www.reference.com/browse/wiki/Conclusion" \o "conclusion" conclusion, based on the truth of a set of assertions called  HYPERLINK "http://www.reference.com/browse/wiki/Premise" \o "premise" premises. The process of demonstration of  HYPERLINK "http://www.reference.com/browse/wiki/Deductive" \o "deductive" deductive and  HYPERLINK "http://www.reference.com/browse/wiki/Inductive" \o "inductive" inductive reasoning shapes the argument, and presumes some kind of communication, which could be part of a written text, a speech or a conversation. Arguments can be valid or invalid, although how arguments are determined to be in either of these two categories can often itself be an object of much discussion. Informally one should expect that a valid argument should be compelling in the sense that it is capable of convincing someone about the truth of the conclusion. However, such a criterion for validity is inadequate or even misleading since it depends more on the skill of the person constructing the argument to manipulate the person who is being convinced and less on the argument itself. Less subjective criteria for validity of arguments are clearly desirable, and in some cases we should even expect an argument to be  HYPERLINK "http://www.reference.com/browse/wiki/Rigorous" \o "rigorous" rigorous, that is, to adhere to precise rules of validity. This is the case for arguments used in mathematical proofs. Note that a rigorous proof does not have to be a  HYPERLINK "http://www.reference.com/browse/wiki/Formal_proof" \o "formal proof" formal proof. In ordinary language, people refer to the logic of an argument or use terminology that suggests that an argument is based on  HYPERLINK "http://www.reference.com/browse/wiki/Inference_rule" \o "inference rule" inference rules of  HYPERLINK "http://www.reference.com/browse/wiki/Formal_logic" \o "formal logic" formal logic. Though arguments do use inferences that are indisputably purely logical (such as syllogisms), other kinds of inferences are almost always used in practical arguments. For example, arguments commonly deal with  HYPERLINK "http://www.reference.com/browse/wiki/Causality" \o "causality" causality,  HYPERLINK "http://www.reference.com/browse/wiki/Probability" \o "probability" probability and  HYPERLINK "http://www.reference.com/browse/wiki/Statistics" \o "statistics" statistics or even specialized areas such as  HYPERLINK "http://www.reference.com/browse/wiki/Economics" \o "economics" economics. In these cases, logic refers to the structure of the argument rather than to principles of pure logic that might be used in it. Argument validity In evaluating an argument, we consider separately the  HYPERLINK "http://www.reference.com/browse/wiki/Truth" \o "truth" truth of the premises and the  HYPERLINK "http://www.reference.com/browse/wiki/Validity" \o "validity" validity of the logical relationships between the premises, any intermediate assertions and the conclusion. The main logical property of an argument that is of concern to us here is whether it is truth preserving, that is if the premises are true, then so is the conclusion. We will usually abbreviate this property by saying simply that argument is valid. If the argument is valid, the premises together entail or imply the conclusion. The ways in which arguments go wrong tend to fall into certain patterns, called  HYPERLINK "http://www.reference.com/browse/wiki/Logical_fallacy" \o "logical fallacy" logical fallacies. Validity is a semantic characteristic of arguments; independently of this property, and more controversially, arguments should also be scrutinizable, in the sense that the argument be open to public examination and systematic in the sense that the structural components of the argument have public legitimacy. The mathematical paradigm In  HYPERLINK "http://www.reference.com/browse/wiki/Mathematics" \o "mathematics" mathematics, an argument can be formalized using  HYPERLINK "http://www.reference.com/browse/wiki/Symbolic_logic" \o "symbolic logic" symbolic logic. In that case, an argument is seen as an ordered list of statements, each one of which is either one of the premises or derivable from the combination of some subset of the preceding statements and one or more axioms using  HYPERLINK "http://www.reference.com/browse/wiki/Rules_of_inference" \o "rules of inference" rules of inference. The last statement in the list is the conclusion. Most arguments used in mathematical proof are rigorous, but not formal. In fact, strictly formal proofs of all but the most trivial assertions are extremely hard to construct and hard to understand without some assistance from a computer. One of the goals of  HYPERLINK "http://www.reference.com/browse/wiki/Automated_theorem_proving" \o "automated theorem proving" automated theorem proving is to design computer programs to produce and check formal proofs. A study of formal systems of mathematics together with semantic questions such as  HYPERLINK "http://www.reference.com/browse/wiki/Completeness" \o "completeness" completeness and  HYPERLINK "http://www.reference.com/browse/wiki/Validity" \o "validity" validity is often called  HYPERLINK "http://www.reference.com/browse/wiki/Metamathematics" \o "metamathematics" metamathematics. Of particular note in this direction are the  HYPERLINK "http://www.reference.com/browse/wiki/G%F6del%27s_incompleteness_theorem" \o "Gdel's incompleteness theorem" Gdel's incompleteness theorems for first order theories of arithmetic. The prevalent belief among mathematical authors is that valid arguments in mathematics are those that can be recognized as being in principle formalizable in the encompassing formal theory. It follows that the theory of valid arguments in mathematics is reducible to the theory of valid inferences in formal mathematical theories. A theory of validity of formal mathematical theories posits two distinct elements:  HYPERLINK "http://www.reference.com/browse/wiki/Syntax" \o "syntax" syntax which gives the rules for when a formula is correctly constructed and  HYPERLINK "http://www.reference.com/browse/wiki/Semantics" \o "semantics" semantics which is essentially a  HYPERLINK "http://www.reference.com/browse/wiki/Function_%28mathematics%29" \o "function (mathematics)" function from formulas to  HYPERLINK "http://www.reference.com/browse/wiki/Truth_value" \o "truth value" truth values. An expression is said to be valid if the semantic function assigns the value true to it. A  HYPERLINK "http://www.reference.com/browse/wiki/Rule_of_inference" \o "rule of inference" rule of inference is valid if and only if it is validity-preserving. An argument is valid if and only if it utilizes valid rules of inference. Note that in the case of mathematical semantics, both the syntax and semantics are mathematical objects. In general usage, however, arguments are rarely formal or even have the  HYPERLINK "http://www.reference.com/browse/wiki/Rigor" \o "rigor" rigor of mathematical proofs. Theories of arguments Theories of arguments are closely related to theories of  HYPERLINK "http://www.reference.com/browse/wiki/Informal_logic" \o "informal logic" informal logic. Ideally, a theory of argument should provide some mechanism for explaining validity of arguments. One natural approach would follow the mathematical paradigm and attempt to define validity in terms of  HYPERLINK "http://www.reference.com/browse/wiki/Semantics" \o "semantics" semantics of the assertions in the argument. Though such an approach is appealing in its simplicity, the obstacles to proceeding this way are very difficult for anything other than purely logical arguments. Among other problems, we need to interpret not only entire sentences, but also components of sentences, for example noun phrases such as The present value of government revenue for the next twelve years. One major difficulty of pursuing this approach is that determining an appropriate semantic domain is not an easy task, raising numerous thorny  HYPERLINK "http://www.reference.com/browse/wiki/Ontological" \o "ontological" ontological issues. It also raises the discouraging prospect of having to work out acceptable semantic theories before being able to say anything useful about understanding and evaluating arguments. For this reason the purely semantic approach is usually replaced with other approaches that are more easily applicable to practical discourse. For arguments regarding topics such as probability, economics or physics, some of the semantic problems can be conveniently shoved under the rug if we can avail ourselves of an  HYPERLINK "http://www.reference.com/browse/wiki/Model_%28abstract%29" \o "model (abstract)" model of the phenomenon under discussion. In this case, we can establish a limited semantic interpretation using the terms of the model and the validity of the argument is reduced to that of the abstract model. This kind of reduction is used in the natural sciences generally, and would be particularly helpful in arguing about social issues if the parties can agree on a model. Unfortunately, this prior reduction seldom occurs, with the result that arguments about social policy rarely have a satisfactory resolution. Another approach is to develop a theory of argument  HYPERLINK "http://www.reference.com/browse/wiki/Pragmatics" \o "pragmatics" pragmatics, at least in certain cases where argument and social interaction are closely related. This is most useful when the goal of logical argument is to establish a mutually satisfactory resolution of a difference of opinion between individuals. Argumentative dialogue Arguments as discussed in the preceding paragraphs are static, such as one might find in a textbook or research article. They serve as a published record of justification for an assertion. Arguments can also be interactive, in which the proposer and the interlocutor have a more symmetrical relationship. The premises are discussed, as well the validity of the intermediate inferences. For example, consider the following exchange, illustrated by the  HYPERLINK "http://www.reference.com/browse/wiki/No_true_Scotsman" \o "No true Scotsman" No true Scotsman fallacy: Argument: "No Scotsman puts sugar on his porridge." Reply: "But my friend Angus likes sugar with his porridge." Rebuttal: "Ah yes, but no true Scotsman puts sugar on his porridge." In this dialogue, the proposer first offers a premise, the premise is challenged by the interlocutor, and finally the proposer offers a modification of the premise. This exchange could be part of a larger discussion, for example a murder trial, in which the defendant is a Scotsman, and it had been established earlier that the murderer was eating sugared porridge when he or she committed the murder. In argumentative dialogue, the rules of interaction may be negotiated by the parties to the dialogue, although in many cases the rules are already determined by social mores. In the most symmetrical case, argumentative dialogue can be regarded as a process of discovery more than one of justification of a conclusion. Ideally, the goal of argumentative dialogue is for participants to arrive jointly at a conclusion by mutually accepted inferences. In some cases however, the validity of the conclusion is secondary: Emotional outlet, scoring points with an audience, wearing down an opponent, lowering the sale price of an item may be the actual goals of the dialogue. Walton distinguishes several types of argumentative dialogue which illustrate these various goals: Personal quarrel. Forensic debate. Persuasion dialogue. Bargaining dialogue. Action seeking dialogue. Educational dialogue. Van Eemeren and Grootendorst identify various stages of argumentative dialogue. These stages can be regarded as an argument  HYPERLINK "http://www.reference.com/browse/wiki/Protocol" \o "protocol" protocol. In a somewhat loose interpretation, the stages are as follows: Confrontation: Presentation of the problem, such as a debate question or a political disagreement Opening: Agreement on rules, such as for example, how evidence is to be presented, which sources of facts are to be used, how to handle divergent interpretations, determination of closing conditions. Argumentation: Application of logical principles according to the agreed-upon rules Closing: This occurs when the termination conditions are met. Among these could be for example, a time limitation or the determination of an arbiter. Van Eemeren and Grootendorst provide a detailed list of rules that must be applied at each stage of the protocol. Moreover, in the account of argumentation given by these authors, there are specified roles of protagonist and antagonist in the protocol which are determined by the conditions which set up the need for argument. It should be noted that many cases of argument are highly unsymmetrical, although in some sense they are dialogues. A particularly important case of this is  HYPERLINK "http://www.reference.com/browse/wiki/Political_argument" \o "political argument" political argument. Much of the recent work on argument theory has considered argumentation as an integral part of language and perhaps the most important function of language ( HYPERLINK "http://www.reference.com/browse/wiki/Grice" \o "Grice" Grice,  HYPERLINK "http://www.reference.com/browse/wiki/Searle" \o "Searle" Searle,  HYPERLINK "http://www.reference.com/browse/wiki/Austin" \o "Austin" Austin,  HYPERLINK "http://www.reference.com/browse/wiki/Popper" \o "Popper" Popper). This tendency has removed argumentation theory away from the realm of pure formal logic. One of the original contributors to this trend is the philosopher  HYPERLINK "http://wikipedia.org/wiki/Chaim_Perelman" \o "Chaim Perelman" \t "_blank" Chaim Perelman, who together with  HYPERLINK "http://wikipedia.org/wiki/Lucie_Olbrechts-Tyteca" \o "Lucie Olbrechts-Tyteca" \t "_blank" Lucie Olbrechts-Tyteca, introduced the French term La nouvelle rhetorique in 1958 to describe an approach to argument which is not reduced to application of formal rules of inference. Perelman's view of argumentation is much closer to a juridical one, in which rules for presenting evidence and rebuttals play an important role. Though this would apparently invalidate semantic concepts of truth, this approach seems useful in situations in which the possibility of reasoning within some commonly accepted model does not exist or this possibility has broken down because of ideological conflict. Retaining the notion enunciated in the introduction to this article that logic usually refers to the structure of argument, we can regard the logic of rhetoric as a set of protocols for argumentation. Other theories In recent decades one of the more influential discussions of philosophical arguments is that by  HYPERLINK "http://www.reference.com/browse/wiki/Nicholas_Rescher" \o "Nicholas Rescher" Nicholas Rescher in his book  HYPERLINK "http://wikipedia.org/wiki/The_Strife_of_Systems" \o "The Strife of Systems" \t "_blank" The Strife of Systems. Rescher models  HYPERLINK "http://wikipedia.org/wiki/Philosophical_problem" \o "philosophical problem" \t "_blank" philosophical problems on what he calls  HYPERLINK "http://www.reference.com/browse/wiki/Aporia" \o "aporia" aporia or an  HYPERLINK "http://wikipedia.org/wiki/Aporetic_cluster" \o "aporetic cluster" \t "_blank" aporetic cluster: a set of statements, each of which has initial plausibility but which are jointly inconsistent. The only way to solve the problem, then, is to reject one of the statements. If this is correct, it constrains how philosophical arguments are formulated. References Rober Audi, Epistemology, Routledge, 1998. Particularly relevant is Chapter 6, which explores the relationship between knowledge, inference and argument. J. L. Austin How to Do things with Words, Oxford University Press, 1976. H. P. Grice, Logic and Conversation in The Logic of Grammar, Dickenson, 1975. R. A. DeMillo, R. J. Lipton and A. J. Perlis, Social Processes and Proofs of Theorems and Programs, Communications of the ACM, Vol. 22, No. 5, 1979. A classic article on the social process of acceptance of proofs in mathematics. Yu Manin, A Course in Mathematical Logic, Springer Verlag, 1977. A mathematical view of logic. This book is different from most books on mathematical logic in that it emphasizes the mathematics of logic, as opposed to the formal structure of logic. Ch. Perelman and L Olbrechts-Tyteca, The New Rhetoric, Notre Dame, 1970. This classic was originally published in French in 1958. Henri Poincar, Science and Hypothesis, Dover Publications, 1952 Franz van Eemeren and Rob Grootendorst, Speech Acts in Argumentative Discussions, Foris Publications, 1984. K. R. Popper Objective Knowledge; An Evolutionary Approach, Oxford: Clarendon Press, 1972. L. Stebbing, A Modern Introdcution to Logic, Methuen and Co., 1948. An account of logic that covers the classic topics of logic and argument while carefully considering modern developments in logic. Douglas Walton, Informal Logic: A Handbook for Critical Argumentation, Cambridge, 1998 (From: http://www.reference.com/browse/wiki/Logical_argument) ?@Ȭȕȕz`D`&:h Th T6>*B*CJOJQJ]^JaJmH ph3fsH 7h Th T6B*CJOJQJ]^JaJmH ph333sH 2jh T6B*CJOJQJU]^JaJph3334h Th T>*B*CJOJQJ^JaJmH ph3fsH ,jh TB*CJOJQJU^JaJph3337h Th T5B*CJOJQJ\^JaJmH ph333sH 1h Th TB*CJOJQJ^JaJmH ph333sH ;h Th T5B*CJ/KH$OJQJ\^JaJ/mH phfffsH  's#t$$%'*2-..6d$d%d&d'd-D@&M NOPQ\$gd Tgd Tgd T dd@&[$\$gd TL1 2 y z   M N W X  ||a|||a|ͱͱͱ||a|||a|4h Th T>*B*CJOJQJ^JaJmH ph3fsH ,jh TB*CJOJQJU^JaJph333:h Th T6>*B*CJOJQJ]^JaJmH ph3fsH 7h Th T6B*CJOJQJ]^JaJmH ph333sH 1h Th TB*CJOJQJ^JaJmH ph333sH 2jh T6B*CJOJQJU]^JaJph333&&ef"#/0OPYZ\]  ;<']^ʳʳʳʳʳʳʳʳʳʳʳʳ|ʳʳ7h Th T5B*CJ$OJQJ\^JaJ$mH ph333sH 4h Th T>*B*CJOJQJ^JaJmH ph3fsH ,jh TB*CJOJQJU^JaJph3331h Th TB*CJOJQJ^JaJmH ph333sH 7h Th T6B*CJOJQJ]^JaJmH ph333sH 0   kplm~ Yc'(34Z[-5ЙЙЙЙЙЙЙЙ}ЙЙ7h Th T5B*CJ$OJQJ\^JaJ$mH ph333sH 7h Th T6B*CJOJQJ]^JaJmH ph333sH 4h Th T>*B*CJOJQJ^JaJmH ph3fsH 1h Th TB*CJOJQJ^JaJmH ph333sH ,jh TB*CJOJQJU^JaJph3331:DIJfg01BCbcI+ , q r x y ! !!!/!0!!!!!!!""""εεεεεεεεεεεεεεεεεε7h Th T6B*CJOJQJ]^JaJmH ph333sH 1h Th TB*CJOJQJ^JaJmH ph333sH ,jh TB*CJOJQJU^JaJph3334h Th T>*B*CJOJQJ^JaJmH ph3fsH <"1"6"b"f"p"q"""""$$S$T$Y$Z$t$$$$%%)%*%%%B&C&L&M&''o(p(((((**'+(+-+.+f-g---泘泘|泘泘泘泘7h Th T5B*CJ$OJQJ\^JaJ$mH ph333sH 4h Th T>*B*CJOJQJ^JaJmH ph3fsH ,jh TB*CJOJQJU^JaJph3337h Th T6B*CJOJQJ]^JaJmH ph333sH 1h Th TB*CJOJQJ^JaJmH ph333sH 0---..000000L66I7J777777B89;;εεεεεnU<1h{h TB*CJOJQJ^JaJmH ph333sH 1h{h TB*CJOJQJ^JaJmH ph333sH 1h Th TB*CJOJQJ^JaJmH ph333sH #h TB*CJOJQJ^JaJph3337h Th T5B*CJ$OJQJ\^JaJ$mH ph333sH 1h Th TB*CJOJQJ^JaJmH ph333sH ,jh TB*CJOJQJU^JaJph3334h Th T>*B*CJOJQJ^JaJmH ph3fsH .161r11J3L6_6q666667B8 9`99>;P<>B & FdO[$gd T & FdO[$gd Tgd T^gd Tgd T;9<:<L<M<<<1=2=7=8=:=;============= >!>'>(>>>??-?.?B?C???????HBMBBB9C:Cϴϴϴϴϴϴϴ|7h{h T5B*CJ$OJQJ\^JaJ$mH ph333sH 7h{h T6B*CJOJQJ]^JaJmH ph333sH 4h{h T>*B*CJOJQJ^JaJmH ph3fsH ,jh TB*CJOJQJU^JaJph3331h{h TB*CJOJQJ^JaJmH ph333sH 0BBFF5GGGHI1JsJJ*B*CJOJQJ]^JaJmH ph3fsH 7h{h T6B*CJOJQJ]^JaJmH ph333sH 2jh T6B*CJOJQJU]^JaJph3334h{h T>*B*CJOJQJ^JaJmH ph3fsH ,jh TB*CJOJQJU^JaJph3331h{h TB*CJOJQJ^JaJmH ph333sH FFFFBG]GGGGGG0HHHIII1JAJWJJJJK3P46::>>5???@A1BsBB3P46::>>5???@A1BsBB>>>>>????@@@@AAAAABBBBBBB B&B7B?B}BBBBBB?CGCRC^CD""!6'6I?K???@@AACCICJCD333333333L..>>A1BDD 9|[\4`:HnP t2^`CJOJQJo(^`CJOJQJo(opp^p`CJOJQJo(@ @ ^@ `CJOJQJo(^`CJOJQJo(^`CJOJQJo(^`CJOJQJo(^`CJOJQJo(PP^P`CJOJQJo(^`CJOJQJo(^`CJOJQJo(opp^p`CJOJQJo(@ @ ^@ `CJOJQJo(^`CJOJQJo(^`CJOJQJo(^`CJOJQJo(^`CJOJQJo(PP^P`CJOJQJo(^`CJOJQJo(^`CJOJQJo(opp^p`CJOJQJo(@ @ ^@ `CJOJQJo(^`CJOJQJo(^`CJOJQJo(^`CJOJQJo(^`CJOJQJo(PP^P`CJOJQJo( 94:HnPG,nFnF.ZnG,,hh { T@8xD@@UnknownGz Times New Roman5Symbol3& z Arial7GeorgiaO& k9?Lucida Sans Unicode?5 z Courier New;Wingdings"qBB :#{ :#{$24xDxD2HX)? T2Logical argument bibhum2400 bibhum2400   Oh+'0  < H T`hpxLogical argument bibhum2400Normal bibhum24002Microsoft Office Word@G@~d!@!  :՜.+,D՜.+,P  hp  Universitat de Valncia{#xD Logical argument TtuloL 8@ _PID_HLINKSA&Q|+http://wikipedia.org/wiki/Aporetic_clusteri~,http://www.reference.com/browse/wiki/Aporia{\0http://wikipedia.org/wiki/Philosophical_problem\f0http://wikipedia.org/wiki/The_Strife_of_Systems&6http://www.reference.com/browse/wiki/Nicholas_Rescher c1http://wikipedia.org/wiki/Lucie_Olbrechts-Tyteca$~)http://wikipedia.org/wiki/Chaim_Perelmant|{,http://www.reference.com/browse/wiki/Popperjbx,http://www.reference.com/browse/wiki/Austin|gu,http://www.reference.com/browse/wiki/Searlezrr+http://www.reference.com/browse/wiki/GriceX{o8http://www.reference.com/browse/wiki/Political_argumentl.http://www.reference.com/browse/wiki/Protocol 1i6http://www.reference.com/browse/wiki/No_true_Scotsmanvrf0http://www.reference.com/browse/wiki/Pragmatics*Pc:http://www.reference.com/browse/wiki/Model_%28abstract%29 `1http://www.reference.com/browse/wiki/Ontologicalxs]/http://www.reference.com/browse/wiki/Semantics`\Z4http://www.reference.com/browse/wiki/Informal_logicm~W+http://www.reference.com/browse/wiki/RigorFHT7http://www.reference.com/browse/wiki/Rule_of_inference&Q1http://www.reference.com/browse/wiki/Truth_value1RN@http://www.reference.com/browse/wiki/Function_%28mathematics%29xsK/http://www.reference.com/browse/wiki/SemanticsfeH,http://www.reference.com/browse/wiki/SyntaxTEHhttp://www.reference.com/browse/wiki/G%F6del%27s_incompleteness_theoremB5http://www.reference.com/browse/wiki/Metamathematics ?.http://www.reference.com/browse/wiki/Validity<2http://www.reference.com/browse/wiki/Completeness}n9?http://www.reference.com/browse/wiki/Automated_theorem_provingQI68http://www.reference.com/browse/wiki/Rules_of_inferencetX34http://www.reference.com/browse/wiki/Symbolic_logic01http://www.reference.com/browse/wiki/Mathematics=-5http://www.reference.com/browse/wiki/Logical_fallacy *.http://www.reference.com/browse/wiki/Validitymp'+http://www.reference.com/browse/wiki/Truthhf$/http://www.reference.com/browse/wiki/Economicsqu!0http://www.reference.com/browse/wiki/Statistics1http://www.reference.com/browse/wiki/Probabilitya~/http://www.reference.com/browse/wiki/Causality52http://www.reference.com/browse/wiki/Formal_logicLq4http://www.reference.com/browse/wiki/Inference_rule.2http://www.reference.com/browse/wiki/Formal_proof .http://www.reference.com/browse/wiki/Rigorousr{ /http://www.reference.com/browse/wiki/Inductiveyv /http://www.reference.com/browse/wiki/Deductive-http://www.reference.com/browse/wiki/Premise{d0http://www.reference.com/browse/wiki/Conclusionmp+http://www.reference.com/browse/wiki/Truth  !"#$%&'()*+,-./012345689:;<=>?@ABCDEFGHIJKLNOPQRSTVWXYZ[\]^_`abcdgRoot Entry Fq!i1Table7*WordDocument.lSummaryInformation(MDocumentSummaryInformation8UCompObjr  F Documento Microsoft Office Word MSWordDocWord.Document.89q