# Inductive reasoning

Inductive reasoning is the complement of deductive reasoning. For other article subjects named induction, see Induction. Induction or inductive reasoning, sometimes called inductive logic, is the process of reasoning in which the premises of an argument are believed to support the conclusion but do not ensure it. It is used to ascribe properties or relations to types based on tokens (es decir,, on one or a small number of observations or experiences); or to formulate laws based on limited observations of recurring phenomenal patterns. Induction is employed, por ejemplo, in using specific propositions such as: This ice is cold. A billiard ball moves when struck with a cue. ...to infer general propositions such as: All ice is cold. All billiard balls struck with a cue move. Inductive reasoning has been attacked several times. Históricamente, David Hume denied its logical admissibility. During the twentieth century, thinkers such as Karl Popper and David Miller have disputed the existence, necessity and validity of any inductive reasoning, including probabilistic (Bayesian) razonamiento (see Sources below). Contenido 1 Strong and weak induction 1.1 Strong induction 1.2 Weak induction 2 Validez 3 Types of inductive reasoning 3.1 Generalización 3.2 Statistical syllogism 3.3 Simple induction 3.4 Argument from analogy 3.5 Causal inference 3.6 Predicción 3.7 Argument from authority 4 Bayesian inference 5 Other information 6 Bibliografía 7 Fuentes 8 Enlaces externos 9 See also Strong and weak induction Strong induction All observed crows are black. Por lo tanto: All crows are black. This exemplifies the nature of induction: inducing the universal from the particular. Sin embargo, the conclusion is not certain. Unless we can systematically falsify the possibility of crows of another color, the statement (conclusion) may actually be false. Por ejemplo, one could examine the bird's genome and learn whether its capable of producing a differently colored bird without mutation or a long set of breeding changes. Al hacerlo, we could discover that albinism is possible, resulting in light-colored crows. Even if you change the definition of "crow" to require blackness, the original question of the color possibilities for a bird of that species would stand, only semantically hidden. A strong induction is thus an argument in which the truth of the premises would make the truth of the conclusion probable, but not definite. Weak induction I always hang pictures on nails. Por lo tanto: All pictures hang from nails. Assuming the first statement to be true, this example is built on the certainty that "I always hang pictures on nails" leading to the generalization that "All pictures hang from nails". Sin embargo, the link between the premise and the inductive conclusion is weak. No reason exists to believe that just because one person hangs pictures on nails that there are no other ways for pictures to be hung, or that other people cannot do other things with pictures. En efecto, not all pictures are hung from nails; es más, not all pictures are hung. The conclusion cannot be strongly inductively made from the premise. Using other knowledge we can easily see that this example of induction would lead us to a clearly false conclusion. Conclusions drawn in this manner are usually overgeneralizations. Many speeding tickets are given to teenagers. Por lo tanto: All teenagers drive fast. En este ejemplo, the premise is built upon a certainty; sin embargo, it is not one that leads to the conclusion. Not every teenager observed has been given a speeding ticket. En otras palabras., unlike "The sun rises every morning", there are already plenty of examples of teenagers not being given speeding tickets. Therefore the conclusion drawn can easily be true or false (perhaps more easily false than true in this case), and the inductive logic does not give us a strong conclusion. In both of these examples of weak induction, the logical means of connecting the premise and conclusion (with the word "por lo tanto") are faulty, and do not give us a strong inductively reasoned statement. Validity Formal logic, as most people learn it, is deductive rather than inductive. Some philosophers claim to have created systems of inductive logic, but it is controversial whether a logic of induction is even possible. In contrast to deductive reasoning, conclusions arrived at by inductive reasoning do not necessarily have the same degree of certainty as the initial premises. Por ejemplo, a conclusion that all swans are white is false, but may have been thought true in Europe until the settlement of Australia, when Black Swans were discovered. Inductive arguments are never binding but they may be cogent. Inductive reasoning is deductively invalid. (An argument in formal logic is valid if and only if it is not possible for the premises of the argument to be true whilst the conclusion is false.) In induction there are always many conclusions that can reasonably be related to certain premises. Inductions are open; deductions are closed. It is however possible to derive a true statement using inductive reasoning if you know the conclusion. The only way to have an efficient argument by induction is for the known conclusion to be able to be true only if an unstated external conclusion is true, from which the initial conclusion was built and has certain criteria to be met in order to be true (separate from the stated conclusion). By substitution of one conclusion for the other, you can inductively find out what evidence you need in order for your induction to be true. Por ejemplo, you have a window that opens only one way, but not the other. Assuming that you know that the only way for that to happen is that the hinges are faulty, inductively you can postulate that the only way for that window to be fixed would be to apply oil (whatever will fix the unstated conclusion). From there on you can successfully build your case. Sin embargo, if your unstated conclusion is false, which can only be proven by deductive reasoning, then your whole argument by induction collapses. Thus ultimately, pure inductive reasoning does not exist. The classic philosophical treatment of the problem of induction, meaning the search for a justification for inductive reasoning, was by the Scottish philosopher David Hume. Hume highlighted the fact that our everyday reasoning depends on patterns of repeated experience rather than deductively valid arguments. Por ejemplo, we believe that bread will nourish us because it has done so in the past, but this is not a guarantee that it will always do so. As Hume said, someone who insisted on sound deductive justifications for everything would starve to death. Instead of approaching everything with unproductive skepticism, Hume advocated a practical skepticism based on common sense, where the inevitability of induction is accepted. Induction is sometimes framed as reasoning about the future from the past, but in its broadest sense it involves reaching conclusions about unobserved things on the basis of what has been observed. Inferences about the past from present evidence – for instance, as in archaeology, count as induction. Induction could also be across space rather than time, for instance as in physical cosmology where conclusions about the whole universe are drawn from the limited perspective we are able to observe (see cosmic variance); or in economics, where national economic policy is derived from local economic performance. Twentieth-century philosophy has approached induction very differently. Rather than a choice about what predictions to make about the future, induction can be seen as a choice of what concepts to fit to observations or of how to graph or represent a set of observed data. Nelson Goodman posed a "new riddle of induction" by inventing the property "grue" to which induction does not apply. Types of inductive reasoning Sources for the examples that follow are: (1), (2), (3). Generalization A generalization (more accurately, an inductive generalization) proceeds from a premise about a sample to a conclusion about the population. The proportion Q of the sample has attribute A. Por lo tanto: The proportion Q of the population has attribute A. How great the support which the premises provide for the conclusion is dependent on (un) the number of individuals in the sample group compared to the number in the population; y (b) the randomness of the sample. The hasty generalization and biased sample are fallacies related to generalization. Statistical syllogism A statistical syllogism proceeds from a generalization to a conclusion about an individual. A proportion Q of population P has attribute A. An individual I is a member of P. Por lo tanto: There is a probability which corresponds to Q that I has A. The proportion in the first premise would be something like "3/5ths of", "all", "few", etc. Two dicto simpliciter fallacies can occur in statistical syllogisms: "accident" y "converse accident". Simple induction Simple induction proceeds from a premise about a sample group to a conclusion about another individual. Proportion Q of the known instances of population P has attribute A. Individual I is another member of P. Por lo tanto: There is a probability corresponding to Q that I has A. This is a combination of a generalization and a statistical syllogism, where the conclusion of the generalization is also the first premise of the statistical syllogism. Argument from analogy An (inductive) analogy proceeds from known similarities between two things to a conclusion about an additional attribute common to both things. P is similar to Q. P has attribute A. Por lo tanto: Q has attribute A. An analogy relies on the inference that the properties known to be shared (the similarities) imply that A is also a shared property. The support which the premises provide for the conclusion is dependent upon the relevance and number of the similarities between P and Q. The fallacy related to this process is false analogy. Causal inference A causal inference draws a conclusion about a causal connection based on the conditions of the occurrence of an effect. Premises about the correlation of two things can indicate a causal relationship between them, but additional factors must be confirmed to establish the exact form of the causal relationship. Prediction A prediction draws a conclusion about a future individual from a past sample. Proportion Q of observed members of group G have had attribute A. Por lo tanto: There is a probability corresponding to Q that other members of group G will have attribute A when next observed. Argument from authority An argument from authority draws a conclusion about the truth of a statement based on the proportion of true propositions provided by an authoritative source. It has the same form as a prediction. Proportion Q of the claims of authority A have been true. Por lo tanto: There is a probability corresponding to Q that this claim of A is true. Por ejemplo: All observed claims from websites about logic are true. Information X came from a website about logic. Por lo tanto: Information X is likely to be true. Bayesian inference Of the candidate systems for an inductive logic, the most influential is Bayesianism. This uses probability theory as the framework for induction. Given new evidence, Bayes' theorem is used to evaluate how much the strength of a belief in a hypothesis should change. There is debate around what informs the original degree of belief. Objective Bayesians seek an objective value for the degree of probability of a hypothesis being correct and so do not avoid the philosophical criticisms of objectivism. Subjective Bayesians hold that prior probabilities represent subjective degrees of belief, but that the repeated application of Bayes' theorem leads to a high degree of agreement on the posterior probability. They therefore fail to provide an objective standard for choosing between conflicting hypotheses. The theorem can be used to produce a rational justification for a belief in some hypothesis, but at the expense of rejecting objectivism. Such a scheme cannot be used, por ejemplo, to decide objectively between conflicting scientific paradigms. Edwin Jaynes, an outspoken physicist and Bayesian, argumentó que "subjective" elements are present in all inference, for instance in choosing axioms for deductive inference; in choosing initial degrees of belief or prior probabilities; or in choosing likelihoods. He thus sought principles for assigning probabilities from qualitative knowledge. Maximum entropy – a generalization of the principle of indifference – and transformation groups are the two tools he produced. Both attempt to alleviate the subjectivity of probability assignment in specific situations by converting knowledge of features such as a situation's symmetry into unambiguous choices for probability distributions. Cox's theorem, which derives probability from a set of logical constraints on a system of inductive reasoning, prompts Bayesians to call their system an inductive logic. Other information Aristotle appears first to establish the mental behaviour of induction as a category of reasoning. This classification has only recently been challenged. Reasoning is used in determining the validity of inductive concepts, but it is not necessarily involved in generalization. Bibliography John H. Holland, Keith J. Holyoak, Richard E. Nisbett, and Paul R. Thagard (1989): Inducción: Processes of Inference, Aprendizaje, and Discovery. Cambridge, MAMÁ: La prensa del MIT, ISBN-10: 0262580969 Sources Karl R. Corchete, David W. Molinero: A proof of the impossibility of inductive probability. Naturaleza 302 (1983), 687–688. Karl Popper: Logic of Scientific Discovery, new appendix *XIX. R. C. jeffrey: Letter concerning Popper and Miller. Yo. Leví: The impossibility of inductive probability. Yo. J. Good: The impossibility of inductive probability. carlos r. Corchete, David W. Molinero: The impossibility of inductive probability. Naturaleza 310 (1984), 433–434. G. Blandino: Critical Remarks on an Argumentation by K. Popper and D. Molinero. Discussion about Induction. Epistemologia 7 (1984), 183–206. Yo. Leví: Probabilistic Pettifoggery. Erkenntnis 25 (1986), 133–140. J. Sabio, P. T. Landsberg: Has inductive probability been proved impossible? carlos r. Corchete, David W. Molinero: Has inductive probability been proved impossible? Naturaleza 315 (1985), 461. J. Sabio, P. T. Landsberg: On the possibility of inductive probability. Naturaleza 316 (1985), 22. M. L. G. Redhead: On the Impossibility of Inductive Probability. The British Journal for the Philosophy of Science 36 (1985), 185–191. Yo. J. Good: Probabilistic Induction Is Inevitable. Journal of Statistical Computation and Simulation 20 (1985), 323–324, C216. H. Gaifman: On Inductive Support and Some Recent Tricks. Erkenntnis 22 (1985), 5–21. D. Gillies: In Defense of the Popper-Miller Argument. Philosophy of Science 53 (1986), 110–113. J. M. Dunn, G. Hellman: Dualling: A Critique of an Argument of Popper and Miller. The British Journal for the Philosophy of Science 37 (1986), 220–223. carlos r. Corchete, David W. Molinero: Why probabilistic support is not inductive. Philosophical Transactions of the Royal Society 321A (1987), 569–591. Un. Rivadulla: On Popper-Miller's Proof of the Impossibility of Inductive Probability. Erkenntnis 27 (1987), 353–357. Yo. J. Good: A Restatement, in Response to Gillies, of Redhead's Argument in Support of Induction. Philosophy of Science 54 (1987), 470–472. E. Eells: On the alleged impossibility of inductive probability. Revista británica de filosofía de la ciencia 39 (1988), 111–116. N. C. Un. da Costa, S. Francés: Pragmatic Probability, Logical Omniscience and the Popper-Miller Argument. Fundamenta Scientiae 9 (1988), 43–53. C. S. Chihara, D. Un. Gillies: An Interchange on the Popper-Miller Argument. Philosophical Studies 54 (1988), 1–8. C. Howson: On a Recent Objection to Popper and Miller’s 'Disproof' of Probabilistic Induction. Philosophy of Science 56 (1989), 675-680.*D. Zwirn, H. Zwirn: L'argument de Popper et Miller contre la justification probabiliste de l'induction, L'âge de la science 2 (París: Éditions Odile Jacob, 1989), 59–81. C. Howson: Some Further Relections on the Popper-Miller Disproof of Probabilistic Induction. Australasian Journal of Philosophy 68 (1990), 221-28. Yo. J. Good: Discusión: A Suspicious Feature of the Popper/Miller Argument. Philosophy of Science 57 (1990): 535–536. David W. Molinero: Reply to Zwirn & Zwirn. Cahiers du CREA 14 (1990), 149–153. Un. Mura: When Probabilistic Support is Inductive. Philosophy of Science 57 (1990), 278–289. Un. Boyer: Une logique inductive probabiliste est-elle seulement possible? Cahiers du CREA 14 (1990): 123-145. G. Dorn: Popper's Laws of the Excess of the Probability of the Conditional over the Conditional Probability. Conceptus 26 (1992/1993): 3-61. Andrew Elby: Contentious contents: For inductive probablitiy. Brit. J. Phil. Sci 45 (1994), 193–200. G. Dorn: Inductive Countersupport. Journal for General Philosophy of Science 26 (1995), 187–189. J. Cussens: Deduction, Induction and Probalistic Support. Synthese 108 (1996): 1–10. E. Eells: Popper and Miller, and Induction and Deduction. Proceedings of the Seventh Asian Logic Conference (1999). External links Four Varieties of Inductive Argument from the Department of Philosophy, University of North Carolina at Greensboro. Inductive Logic from the Stanford Encyclopedia of Philosophy. Properties of Inductive ReasoningPDF (166 KiB), a psychological review by Evan Heit of the University of California, Merced. Category-Based Induction See also Abductive reasoning Deductive reasoning Divergent thinking Explanation Falsifiability Inductive reasoning aptitude Raven paradox Inferential statistics Inquiry Logic Mathematical induction Retroductive reasoning v·d·e Logic [. v]·[. d]·[. e] Visión general [. v]·[. d]·[. e] Academic areas Argumentation theory Axiology Critical thinking Computability theory Formal semantics History of logic Informal logic Logic in computer science Mathematical logic Mathematics Metalogic Metamathematics Model theory Philosophical logic Philosophy Philosophy of logic Philosophy of mathematics Proof theory Set theory Foundational concepts Abduction Analytic truth Antinomy A priori Deduction Definition Description Entailment Induction Inference Logical consequence Logical form Logical implication Logical truth Name Necessity Meaning Paradox Possible world Presupposition Probability Reason Reasoning Reference Semantics Statement Strict implication Substitution Syntax Truth Truth value Validity [. v]·[. d]·[. e] Philosophical logic [. v]·[. d]·[. e] Critical thinking and Informal logic Analysis Ambiguity Argument Belief Bias Credibility Evidence Explanation Explanatory power Fact Fallacy Inquiry Opinion Parsimony Premise Propaganda Prudence Reasoning Relevance Rhetoric Rigor Vagueness Theories of deduction Constructivism Dialetheism Fictionalism Finitism Formalism Intuitionism Logical atomism Logicism Nominalism Platonic realism Pragmatism Realism [. v]·[. d]·[. e] Metalogic and metamathematics Cantor's theorem Church's theorem Church's thesis Consistency Effective method Foundations of mathematics Gödel's completeness theorem Gödel's incompleteness theorems Soundness Completeness Decidability Interpretation Löwenheim–Skolem theorem Metatheorem Satisfiability Independence Type–token distinction Use–mention distinction [. v]·[. d]·[. e] Mathematical logic [. v]·[. d]·[. e] General Formal language Formation rule Formal system Deductive system Formal proof Formal semantics Well-formed formula Set Element Class Classical logic Axiom Natural deduction Rule of inference Relation Theorem Logical consequence Axiomatic system Type theory Symbol Syntax Theory Traditional logic Proposition Inference Argument Validity Cogency Syllogism Square of opposition Venn diagram Propositional calculus and Boolean logic Boolean functions Propositional calculus Propositional formula Logical connectives Truth tables Predicate First-order Quantifiers Predicate Second-order Monadic predicate calculus Set theory Set Empty set Enumeration Extensionality Finite set Function Subset Power set Countable set Recursive set Domain Range Ordered pair Uncountable set Model theory Model Interpretation Non-standard model Finite model theory Truth value Validity Proof theory Formal proof Deductive system Formal system Theorem Logical consequence Rule of inference Syntax Computability theory Recursion Recursive set Recursively enumerable set Decision problem Church–Turing thesis Computable function Primitive recursive function [. v]·[. d]·[. e] Non-classical logic [. v]·[. d]·[. e] Modal logic Alethic Axiologic Deontic Doxastic Epistemic Temporal Intuitionism Intuitionistic logic Constructive analysis Heyting arithmetic Intuitionistic type theory Constructive set theory Fuzzy logic Degree of truth Fuzzy rule Fuzzy set Fuzzy finite element Fuzzy set operations Substructural logic Structural rule Relevance logic Linear logic Paraconsistent logic Dialetheism Description logic Ontology Ontology language [. v]·[. d]·[. e] Logicians Anderson Aristotle Averroes Avicenna Bain Barwise Bernays Boole Boolos Cantor Carnap Church Chrysippus Curry De Morgan Frege Geach Gentzen Gödel Hilbert Kleene Kripke Leibniz Löwenheim Peano Peirce Putnam Quine Russell Schröder Scotus Skolem Smullyan Tarski Turing Whitehead William of Ockham Wittgenstein Zermelo [. v]·[. d]·[. e] Lists [. v]·[. d]·[. e] Topics Outline of logic Index of logic articles Mathematical logic Boolean algebra Set theory Other Logicians Rules of inference Paradoxes Fallacies Logic symbols * Portal Category Outline WikiProject Talk changes Philosophy Quick Topic Guide General: Filosofía: Oriental - occidental | historia de la filosofia: Antiguo - Medieval - Moderno | Listas de portales: Temas básicos | lista de temas | filósofos | filosofías | glosario de filosofia "ismos" | movimientos filosóficos | Publicaciones | Listados de categorías ...más listas Sucursales: Estética | Ética | Epistemología | Lógica | Metafísica | Filosofía de: Educación, Historia, Idioma, Ley, Matemáticas, Mente, Filosofía, Política, Psicología, Religión, Ciencia, filosofía social, Facultades de Ciencias Sociales: Agnosticismo | Filosofía analítica | Ateísmo | La teoría crítica | Determinismo | Dialéctica | Empirismo | Existencialismo | Humanismo | Idealismo | positivismo lógico | Materialismo | Nihilismo | Posmodernismo | Racionalismo | Relativismo | Escepticismo | Referencias del teísmo: cartilla de filosofia | Enciclo de Internet. de filosofia | Diccionario filosófico | Enciclo de Stanford. de filosofia | Guía de filosofía de Internet Esta página utiliza contenido con licencia Creative Commons de Wikipedia (ver autores).

Si quieres conocer otros artículos parecidos a **Inductive reasoning** puedes visitar la categoría **Pages using duplicate arguments in template calls**.

Deja una respuesta