Argument

In logic and philosophy, an argument is a series of statements (in a natural language), called the premises or premisses (both spellings are acceptable), intended to determine the degree of truth of another statement, the conclusion. The logical form of an argument in a natural language can be represented in a symbolic formal language, and independently of natural language formally defined 'arguments' can be made in math and computer science. In logic and philosophy, an argument is a series of statements (in a natural language), called the premises or premisses (both spellings are acceptable), intended to determine the degree of truth of another statement, the conclusion. The logical form of an argument in a natural language can be represented in a symbolic formal language, and independently of natural language formally defined 'arguments' can be made in math and computer science. Logic is the study of the forms of reasoning in arguments and the development of standards and criteria to evaluate arguments. Deductive arguments can be valid or sound: in a valid argument, premisses necessitate the conclusion, even if one or more of the premisses is false and the conclusion is false; in a sound argument, true premisses necessitate a true conclusion. Inductive arguments, by contrast, can have different degrees of logical strength: the stronger or more cogent the argument, the greater the probability that the conclusion is true, the weaker the argument, the lesser that probability. The standards for evaluating non-deductive arguments may rest on different or additional criteria than truth—for example, the persuasiveness of so-called 'indispensability claims' in transcendental arguments, the quality of hypotheses in retroduction, or even the disclosure of new possibilities for thinking and acting. The Latin root arguere (to make bright, enlighten, make known, prove, etc.) is from Proto-Indo-European argu-yo-, suffixed form of arg- (to shine; white). Informal arguments as studied in informal logic, are presented in ordinary language and are intended for everyday discourse. Conversely, formal arguments are studied in formal logic (historically called symbolic logic, more commonly referred to as mathematical logic today) and are expressed in a formal language. Informal logic may be said to emphasize the study of argumentation, whereas formal logic emphasizes implication and inference. Informal arguments are sometimes implicit. That is, the rational structure – the relationship of claims, premises, warrants, relations of implication, and conclusion – is not always spelled out and immediately visible and must sometimes be made explicit by analysis. There are several kinds of arguments in logic, the best-known of which are 'deductive' and 'inductive.' An argument has one or more premises but only one conclusion. Each premise and the conclusion are truth bearers or 'truth-candidates', each capable of being either true or false (but not both). These truth values bear on the terminology used with arguments. A deductive argument is one that, if valid, has a conclusion that is entailed by its premises. In other words, the truth of the conclusion is a logical consequence of the premises—if the premises are true, then the conclusion must be true. It would be self-contradictory to assert the premises and deny the conclusion, because the negation of the conclusion is contradictory to the truth of the premises.