Logic Warning: You are not logged in. Your IP address will be publicly visible if you make any edits. If you log in or create an account, your edits will be attributed to your username, along with other benefits.Anti-spam check. Do not fill this in! ===Arguments and inferences=== {{Main|Argument|inference}} Logic is commonly defined in terms of arguments or inferences as the study of their correctness.{{sfnm|1a1=Hintikka|1y=2019|1loc=lead section, §Nature and varieties of logic|2a1=Audi|2loc=Philosophy of logic|2y=1999b}} An ''argument'' is a set of premises together with a conclusion.{{sfnm|1a1=Blackburn|1y=2008|1loc=argument|2a1=Stairs|2y=2017|2p=343}} An ''inference'' is the process of reasoning from these premises to the conclusion.{{sfn |Audi |loc=Philosophy of logic |1999b}} But these terms are often used interchangeably in logic. Arguments are correct or incorrect depending on whether their premises support their conclusion. Premises and conclusions, on the other hand, are true or false depending on whether they are in accord with reality. In formal logic, a [[Soundness (logic)|sound]] argument is an argument that is both correct and has only true premises.{{sfn |Copi |Cohen |Rodych |2019 |p=[https://books.google.com/books?id=38bADwAAQBAJ&pg=PA30 30]}} Sometimes a distinction is made between simple and complex arguments. A complex argument is made up of a chain of simple arguments. This means that the conclusion of one argument acts as a premise of later arguments. For a complex argument to be successful, each link of the chain has to be successful.{{sfn |Audi |loc=Philosophy of logic |1999b}} [[File:Argument_terminology.svg|thumb|upright=1.8|right|alt=Diagram of argument terminology used in logic|[[Argument]] terminology used in logic]] Arguments and inferences are either correct or incorrect. If they are correct then their premises support their conclusion. In the incorrect case, this support is missing. It can take different forms corresponding to the different [[method of reasoning|types of reasoning]].{{sfnm|1a1=Hintikka|1a2=Sandu|1y=2006|1p=20|2a1=Backmann|2y=2019|2pp=235–255|3a1=IEP Staff}} The strongest form of support corresponds to [[deductive reasoning]]. But even arguments that are not deductively valid may still be good arguments because their premises offer non-deductive support to their conclusions. For such cases, the term ''ampliative'' or ''inductive reasoning'' is used.{{sfnm|1a1=Hintikka|1a2=Sandu|1y=2006|1p=16|2a1=Backmann|2y=2019|2pp=235–255|3a1=IEP Staff}} Deductive arguments are associated with formal logic in contrast to the relation between ampliative arguments and informal logic.{{sfnm|1a1=Groarke|1y=2021|1loc=1.1 Formal and Informal Logic|2a1=Weddle|2y=2011|2loc=36. Informal logic and the eductive-inductive distinction|2pp=383–8|3a1=van Eemeren|3a2=Garssen|3y=2009|3p=191}} ====Deductive==== A deductively valid argument is one whose premises guarantee the truth of its conclusion.{{sfnm|1a1=McKeon|2a1=Craig|2y=1996|2loc=Formal and informal logic}} For instance, the argument "(1) all frogs are amphibians; (2) no cats are amphibians; (3) therefore no cats are frogs" is deductively valid. For deductive validity, it does not matter whether the premises or the conclusion are actually true. So the argument "(1) all frogs are mammals; (2) no cats are mammals; (3) therefore no cats are frogs" is also valid because the conclusion follows necessarily from the premises.{{sfn |Evans |2005 |loc=8. Deductive Reasoning, [https://books.google.com/books?id=znbkHaC8QeMC&pg=PA169 p. 169]}} According to an influential view by [[Alfred Tarski]], deductive arguments have three essential features: (1) they are formal, i.e. they depend only on the form of the premises and the conclusion; (2) they are a priori, i.e. no sense experience is needed to determine whether they obtain; (3) they are modal, i.e. that they hold by [[logical necessity]] for the given propositions, independent of any other circumstances.{{sfn |McKeon}} Because of the first feature, the focus on formality, deductive inference is usually identified with rules of inference.{{sfn|Hintikka|Sandu|2006|pp=13–4}} Rules of inference specify the form of the premises and the conclusion: how they have to be structured for the inference to be valid. Arguments that do not follow any rule of inference are deductively invalid.{{sfnm|1a1=Hintikka|1a2=Sandu|1y=2006|1pp=13-4|2a1=Blackburn|2y=2016|2loc=rule of inference}} The modus ponens is a prominent rule of inference. It has the form "''p''; if ''p'', then ''q''; therefore ''q''".{{sfn |Blackburn |2016 |loc=rule of inference}} Knowing that it has just rained (<math>p</math>) and that after rain the streets are wet (<math>p \to q</math>), one can use modus ponens to deduce that the streets are wet (<math>q</math>).{{sfn |Dick |Müller |2017 |p=157}} The third feature can be expressed by stating that deductively valid inferences are truth-preserving: it is impossible for the premises to be true and the conclusion to be false.{{sfnm|1a1=Hintikka|1a2=Sandu|1y=2006|1p=13|2a1=Backmann|2y=2019|2pp=235–255|3a1=Douven|3y=2021}} Because of this feature, it is often asserted that deductive inferences are uninformative since the conclusion cannot arrive at new information not already present in the premises.{{sfnm|1a1=Hintikka|1a2=Sandu|1y=2006|1p=14|2a1=D'Agostino|2a2=Floridi|2y=2009|2pp=271–315}} But this point is not always accepted since it would mean, for example, that most of mathematics is uninformative. A different characterization distinguishes between surface and depth information. The surface information of a sentence is the information it presents explicitly. Depth information is the totality of the information contained in the sentence, both explicitly and implicitly. According to this view, deductive inferences are uninformative on the depth level. But they can be highly informative on the surface level by making implicit information explicit. This happens, for example, in mathematical proofs.{{sfnm|1a1=Hintikka|1a2=Sandu|1y=2006|1p=14|2a1=Sagüillo|2y=2014|2pp=75–88|3a1=Hintikka|3y=1970|3pp=135–152}} ====Ampliative==== Ampliative arguments are arguments whose conclusions contain additional information not found in their premises. In this regard, they are more interesting since they contain information on the depth level and the thinker may learn something genuinely new. But this feature comes with a certain cost: the premises support the conclusion in the sense that they make its truth more likely but they do not ensure its truth.{{sfnm|1a1=Hintikka|1a2=Sandu|1y=2006|1pp=13-6|2a1=Backmann|2y=2019|2pp=235–255|3a1=IEP Staff}} This means that the conclusion of an ampliative argument may be false even though all its premises are true. This characteristic is closely related to ''[[Non-monotonic logic|non-monotonicity]]'' and ''[[Defeasible reasoning|defeasibility]]'': it may be necessary to retract an earlier conclusion upon receiving new information or in the light of new inferences drawn.{{sfnm|1a1=Rocci|1y=2017|1p=26|2a1=Hintikka|2a2=Sandu|2y=2006|2pp=13, 16|3a1=Douven|3y=2021}} Ampliative reasoning plays a central role for many arguments found in everyday discourse and the sciences. Ampliative arguments are not automatically incorrect. Instead, they just follow different standards of correctness. The support they provide for their conclusion usually comes in degrees. This means that strong ampliative arguments make their conclusion very likely while weak ones are less certain. As a consequence, the line between correct and incorrect arguments is blurry in some cases, as when the premises offer weak but non-negligible support. This contrasts with deductive arguments, which are either valid or invalid with nothing in-between.{{sfnm|1a1=IEP Staff|2a1=Douven|2y=2021|3a1=Hawthorne|3y=2021}} The terminology used to categorize ampliative arguments is inconsistent. Some authors, like James Hawthorne, use the term "[[inductive reasoning|induction]]" to cover all forms of non-deductive arguments.{{sfnm|1a1=IEP Staff|2a1=Hawthorne|2y=2021|3a1=Wilbanks|3y=2010|3pp=107–124}} But in a more narrow sense, ''induction'' is only one type of ampliative argument alongside ''[[abductive reasoning|abductive arguments]]''.{{sfn |Douven |2021}} Some philosophers, like Leo Groarke, also allow ''conductive arguments''{{efn|Conductive arguments present reasons in favor of a conclusion without claiming that the reasons are strong enough to decisively support the conclusion.}} as one more type.{{sfnm|1a1=Groarke|1y=2021|1loc=4.1 AV Criteria|2a1=Possin|2y=2016|2pp=563–593}} In this narrow sense, induction is often defined as a form of statistical generalization.{{sfnm|1a1=Scott|1a2=Marshall|1y=2009|1loc=analytic induction|2a1=Houde|2a2=Camacho|2loc=Induction|2y=2003}} In this case, the premises of an inductive argument are many individual observations that all show a certain pattern. The conclusion then is a general law that this pattern always obtains.{{sfn |Borchert |2006b |loc=Induction}} In this sense, one may infer that "all elephants are gray" based on one's past observations of the color of elephants.{{sfn |Douven |2021}} A closely related form of inductive inference has as its conclusion not a general law but one more specific instance, as when it is inferred that an elephant one has not seen yet is also gray.{{sfn |Borchert |2006b |loc=Induction}} Some theorists, like Igor Douven, stipulate that inductive inferences rest only on statistical considerations. This way, they can be distinguished from abductive inference.{{sfn |Douven |2021}} Abductive inference may or may not take statistical observations into consideration. In either case, the premises offer support for the conclusion because the conclusion is the best [[explanation]] of why the premises are true.{{sfnm|1a1=Douven|1y=2021|2a1=Koslowski|2y=2017|2loc=[https://www.taylorfrancis.com/locs/edit/10.4324/9781315725697-20/abductive-reasoning-explanation-barbara-koslowski Abductive reasoning and explanation]}} In this sense, abduction is also called the ''inference to the best explanation''.{{sfn |Cummings |2010 |loc=Abduction, p. 1}} For example, given the premise that there is a plate with breadcrumbs in the kitchen in the early morning, one may infer the conclusion that one's house-mate had a midnight snack and was too tired to clean the table. This conclusion is justified because it is the best explanation of the current state of the kitchen.{{sfn |Douven |2021}} For abduction, it is not sufficient that the conclusion explains the premises. For example, the conclusion that a burglar broke into the house last night, got hungry on the job, and had a midnight snack, would also explain the state of the kitchen. But this conclusion is not justified because it is not the best or most likely explanation.{{sfnm|1a1=Douven|1y=2021|2a1=Koslowski|2y=2017|2loc=[https://www.taylorfrancis.com/locs/edit/10.4324/9781315725697-20/abductive-reasoning-explanation-barbara-koslowski Abductive reasoning and explanation]}}{{sfn |Cummings |2010 |loc=Abduction, p. 1}} Summary: Please note that all contributions to Christianpedia may be edited, altered, or removed by other contributors. If you do not want your writing to be edited mercilessly, then do not submit it here. You are also promising us that you wrote this yourself, or copied it from a public domain or similar free resource (see Christianpedia:Copyrights for details). Do not submit copyrighted work without permission! Cancel Editing help (opens in new window) Discuss this page