The following text material and terms defined at the end comprise part of what will be asked on the Mid-Term Exam for PHIL 1381. Logic [excerpt from Stan Baronett, Logic, 2E] Logic is the study of reasoning. Logic investigates the level of correctness of the reasoning found in arguments. An argument is a group of statements of which one (the conclusion) is claimed to follow from the others (the premises). A statement is a sentence that is either true or false. Every statement is either true or false; these two possibilities are called “truth values.” Premises are statements that contain information intended to provide support or reasons to believe a conclusion. The conclusion is the statement that is claimed to follow from the premises. In order to help recognize arguments, we rely on premise indicator words and phrases, and conclusion indicator words and phrases. Inference is the term used by logicians to refer to the reasoning process that is expressed by an argument. If a passage expresses a reasoning process—that the conclusion follows from the premises—then we say that it makes an inferential claim. If a passage does not express a reasoning process (explicit or implicit), then it does not make an inferential claim (it is a noninferential passage). One type of noninferential passage is the explanation. An explanation provides reasons for why or how an event occurred. By themselves, explanations are not arguments; however, they can form part of an argument. There are two types of argument: deductive and inductive. A deductive argument is one in which it is claimed that the conclusion follows necessarily from the premises. In other words, it is claimed that under the assumption that the premises are true it is impossible for the conclusion to be false. An inductive argument is one in which it is claimed that the premises make the conclusion probable. In other words, it is claimed that, under the assumption that the premises are true, it is improbable for the conclusion to be false. Revealing the logical form of a deductive argument helps with logical analysis and evaluation. When we evaluate deductive arguments, we use the following concepts: valid, invalid, sound, and unsound. A valid argument is one where, assuming the premises are true, it is impossible for the conclusion to be false. In other words, the conclusion follows necessarily from the premises. An invalid argument is one where, assuming the premises are true, it is possible for the conclusion to be false. In other words, a deductive argument in which the conclusion does not follow necessarily from the premises is an invalid argument. When logical analysis shows that a deductive argument is valid, and when truth value analysis of the premises shows that they are all true, then the argument is sound. If a deductive argument is invalid, or if at least one of the premises is false (truth value analysis), then the argument is unsound. A counterexample to astatement is evidenc.