Abstract
Inductive reasoning, initially identified with enumerative induction (inferring a universal claim from an incomplete list of particular cases) is nowadays commonly understood more widely as any reasoning based on only partial support that the premises give to the conclusion. This is a tad too sweeping, for this includes any inconclusive reasoning. A more moderate and perhaps more adequate characterization requires that inductive reasoning not only includes generalizations, but also any (ideally, rational) predictions or explanations obtained in absence of suitable deductive premises. Inductive logic is meant to provide guidance in choosing the most supported from a given assembly of conjectures. (Some authors think that this has to be done by capturing the notion of partial support, but this conviction is by no means universally accepted.)
The authors would like to express gratitude to Mathieu Beirlaen and Frederik Van De Putte for reading and commenting on an earlier draft of this paper. Work on this paper was supported by the Special Research Fund of Ghent University through project [BOF07/GOA/019] and by Polish National Science Centre grant 2016/22/E/HS1/00304.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
In case no evidence is available, hypothesis H is evaluated against any logical theorem ⊤, so that c(H, ∅) = c(H, ⊤) = m(H).
- 3.
This holds as long as the evidence does not contain any constant occurring in the hypothesis.
- 4.
Most notably, regularity (every state description has non-zero probability) and symmetry (complete permutations of individual constants and predicates of the same type do not change the value of the function).
- 5.
See [79] for historical remarks.
- 6.
- 7.
- 8.
- 9.
The paradox is slightly better known in the version from 1953, where Goodman speaks of ‘blue’ and ‘grue’ [27].
- 10.
Reichenbach developed a slightly unorthodox probability calculus, see [17] for details.
- 11.
- 12.
As almost always in philosophy, the devil is in the details, and various worries arise when one really wants to measure degrees of belief in terms of bets, but those issues lie beyond the scope of our survey.
- 13.
- 14.
For a discussion, see [1].
- 15.
That is, the assumption that they know all logical consequences of what they know.
- 16.
A twist to this problem is that once classical logic becomes the underlying logic, Bayesianism is unable to account for the possibility of the underlying logic being revised and to explain how evidence might motivate a change of underlying logic [72].
- 17.
It is also worth mentioning that one of the strength of Bayesianism lies in various applications of the framework to classical philosophical problems. For instance, the framework is used to describe and assess more precisely various arguments in the philosophy of religion (see e.g., [29]).
- 18.
Compare this to the fact that if the number of constants is infinite, then every measure function m from Carnap’s λ-continuum gives m(h) = 0 whenever h is a universally quantified formula, and gives c(h, e) = 0 whenever h is a universally quantified formula and e is the conjunction of finitely many singular formulas.
- 19.
In the appendix of (1979) Popper moreover rejects the common sense ‘bucket theory’ of knowledge.
- 20.
Compare this to Quine’s arguments in “Two dogmas of empiricism” [63], which led Quine to a holistic position.
- 21.
Many of Popper’s ideas stem from (what since Kuhn is called) revolutionary science and this requires conceptual change. Yet Popper’s formal criteria (like all approaches discussed in the previous sections) presuppose a given language.
- 22.
But Popper hastens to relativize this ‘demarcation criterion’. ‘Metaphysical’ ideas play a central role in generating scientific theories.
- 23.
Compare also “all heavenly bodies move in circles” to “all planets of the sun move in ellipses”, remembering that all circles are ellipses.
- 24.
Note this entails they’re contingent.
- 25.
Popper introduced also two quantitative notions of verisimilitude, which employed the notion of probability. Tichý [74] argues that both attempts have highly counterintuitive consequences. This is not to say that the project of defining truthlikeness is doomed. There are various interesting attempts to define the concept after Popper’s initial failure (see e.g., [54, 58]). Even though no particular account is currently agreed on by everyone, certain progress has been made, and the issue is a lively topic (for a survey, see [55, 56]).
- 26.
To complete the picture, we would need adaptive logics that enable one to derive hypotheses of the form Pr(A∣B) = r, in which Pr is an objective probability, and we would need adaptive logics that enable one to derive predictions that do not follow from derived general hypotheses.
- 27.
There is a mechanical procedure which for any particular inconsistent premise set will show that it is inconsistent. But there is no mechanical procedure which for any particular premise set will decide whether it is inconsistent. So, technically speaking, the set of inconsistent sets of formulas is semi-recursive (or semi-decidable) but not recursive (not decidable).
- 28.
We do not say “on the condition that the generalization is not falsified by the premises”. Soon, the reason will become clear.
- 29.
This is the so-called Reliability strategy. The Minimal Abnormality strategy is slightly different from Reliability and offers a few more consequences than Reliability (and never less consequences). We shall not introduce it here.
References
Armendt, B. (1980). Is there a Dutch Book argument for probability kinematics? Philosophy of Science, 47, 583–589.
Ayer, A. (1972). Probability and evidence. London: Macmillan.
Batens, D. (1975). Studies in the logic of induction and in the logic of explanation containing a new theory of meaning relations. Brugge: De Tempel.
Batens, D. (2005). On a logic of induction. In R. Festa, A. Aliseda, & J. Peijnenburg (Eds.), Confirmation, empirical progress, and truth approximation (Essays in debate with Theo Kuipers, Vol. 1, pp. 221–242). Amsterdam/New York: Rodopi.
Batens, D. (2006). On a logic of induction. L&PS – Logic & Philosophy of Science, IV(1), 3–32.
Batens, D. (2011). Logics for qualitative inductive generalization. Studia Logica, 97(1), 61–80.
Batens, D. (2018). Adaptive logics and dynamic proofs. Mastering the dynamics of reasoning. [Manuscript in progress, available online at http://logica.ugent.be/adlog/book.html].
Batens, D., & Haesaert, L. (2001). On classical adaptive logics of induction. Logique et Analyse, 173–175, 255–290. Appeared 2003.
Batens, D., & Haesaert, L. (2003). On classical adaptive logics of induction. Logique et Analyse, 46, 225–290.
Bird, A. (1998). Philosophy of science. New York: Routledge.
Carnap, R. (1950). Logical foundations of probability. London: Routledge.
Carnap, R. (1952). The continuum of inductive methods. Chicago: University of Chicago Press.
Carnap, R. (1959). Induktive Logik und Wahrscheinlichkeit. Wolfgang Stegmüller.
Christensen, D. (2004). Putting logic in its place: Formal constraints on rational belief. Oxford: Clarendon Press.
Constantini, D. (1983). Analogy by similarity. Erkenntnis, 20, 103–114.
De Finetti, B. (1937). La prévision: Ses lois logiques, ses sources subjectives. Annales de l’Institut Henri Poincaré, 7, 1–68. (Translated as “Foresight: Its Logical Laws, Its Subjective Sources” in Kyburg & Smokler (1964)).
Eberhardt, F., & Glymour, C. (2009). Hans Reichenbach’s probability logic. In J. W. Stephan Hartmann & D. Gabbay (Eds.), Handbook of the history of logic. Volume 10: Inductive logic (pp. 357–389). Amsterdam/Boston: Elsevier.
Eells, E. (2005). Confirmation theory. In J. Pfeifer & S. Sarkar (Eds.), Philosophy of science: An encyclopedia (pp. 144–150). New York: Routledge.
Fitelson, B. (2001). Studies in Bayesian confirmation theory. Ph.D. thesis, University of Wisconsin-Madison.
Fitelson, B. (2005). Inductive logic. In J. Pfeifer & S. Sarkar (Eds.), Philosophy of science: An encyclopedia (pp. 384–394). New York: Routledge.
Garber, D. (1983). Old evidence and logical omniscience in Bayesian confirmation theory. In J. Earman (Ed.), Testing scientific theories. Midwest studies in the philosophy of science (Vol. X, pp. 99–131). Minneapolis: University of Minnesota Press.
Glaister, S. (2002). Inductive logic. In D. Jacquette (Ed.), A companion to philosophical logic (pp. 565–581). Malden: Blackwell.
Glymour, C. (1980). Theory and evidence. Princeton: Princeton University Press.
Good, I. (1968). Corroboration, explanation, evolving probability, simplicity, and a sharpened razor. British Journal of Philosophy of Science, 19, 123–143.
Good, I. (1985). A historical comment concerning novel confirmation. British Journal of Philosophy of Science, 36, 184–186.
Goodman, N. (1946). A query on confirmation. Journal of Philosophy, 43, 383–385.
Goodman, N. (1978). Fact, fiction and forecast. New Yor: The Bobbs-Merrill Company, Inc.
Hájek, A. (2010). Interpretations of probability. In E. N. Zalta (Ed.), The Stanford encyclopedia of philosophy. Spring 2010 edition. Stanford: The Metaphysics Research Lab, Stanford University.
Harrison, V., & Chandler, J. (Eds.). (2012). Probability in the philosophy of religion. Oxford: Oxford University Press.
Hintikka, J. (1966). A two-dimensional continuum of inductive methods. In J. Hick (Ed.), Aspects of inductive logic (pp. 113–132). Amsterdam: North Holland Publishing Company.
Hintikka, J., & Niiniluoto, I. (1980). An axiomatic foundation for the logic of inductive generalization. In R. Jeffrey (Ed.), Studies in inductive logic and probability (pp. 157–181). Berkeley: University of California Press.
Huber, F. (2007). Confirmation and induction. In J. Fieser & B. Dowden (Eds.), Internet encyclopedia of philosophy.
Hume, D. (1739). A treatise of human nature (2nd ed.). Clarendon Press; 1985 edition, edited by L.A. Selby-Bigge.
Jaynes, E. (2003). Probability theory: The logic of science. Cambridge: Cambridge University Press.
Jeffrey, R. (1965). The logic of decision. Chicago: University of Chicago.
Johnson, W. E. (1924). Logic, part III. The logical foundations of science. Cambridge: Cambridge University Press.
Johnson, W. E. (1932). Probability: The deductive and inductive problems. Mind, 41, 409–423.
Juhl, C. (1994). The speed-optimality of Reichenbach’s straight rule of induction. British Journal of Philosophy of Science, 45, 857–863.
Kemeny, J. (1953). A logical measure function. Journal of Symbolic Logic, 18, 289–308.
Kemeny, J. G. (1953). Review of Carnap (1952). Journal of Symbolic Logic, 18, 168–169.
Kemeny, J. (1955). Fair bets and inductive probabilities. Journal of Symbolic Logic, 20, 263–273.
Kemeny, J., & Oppenheim, P. (1952). Degrees of factual support. Philosophy of Science, 19, 307–324.
Keynes, J. (1921). Treatise on probability. London: Macmillan. (Reprinted in 1962).
Kolmogorov, A. N. (1956). Foundations of the theory of probability. New York: Chelsea Publishing Company. (Translated by Nathan Morrison; first edition published in 1950; the original published in 1933 in the Ergebnisse Der Mathematik).
Kuipers, T. (1984). Two types of analogy by similarity. Erkenntnis, 21, 63–87.
Kyburg, H. E. (1970). Probability and inductive logic. London: Macmillan.
Kyburg, H., & Smokler, H. (Eds.). (1964). Studies in subjective probability. New York: Wiley.
Lange, M. (1996). Calibration and the epistemological role of Bayesian conditionalization. Journal of Philosophy, 96, 294–324.
Lehman, R. S. (1955). On confirmation and rational betting. Journal of Symbolic Logic, 20(3), 251–262.
Maher, P. (2000). Probabilities for two properties. Erkenntnis, 52, 63–91.
Maher, P. (2001). Probabilities for multiple properties: The models of Hesse and Carnap and Kemeny. Erkenntnis, 55, 183–216.
Miller, D. (1974). Popper’s qualitative theory of verisimilitude. British Journal for the Philosophy of Science, 25(2), 166–177.
Niiniluoto, I. (1981). Analogy and inductive logic. Erkenntnis, 16, 1–34.
Niiniluoto, I. (1987). Truthlikeness. Dordrecht: Reidel.
Niiniluoto, I. (1998). Verisimilitude: The third period. British Journal for the Philosophy of Science, 49(1), 1–29.
Niiniluoto, I. (2005). Verisimilitude. In J. Pfeifer & S. Sarkar (Eds.), Philosophy of science: An encyclopedia (pp. 854–857). New York: Routledge.
Niiniluoto, I. (2009). The development of the Hintikka program. In Dov M. Gabbay, Stephan Hartmann, & John Woods (Eds.), Handbook of the history and philosophy of logic (Inductive logic, Vol. 10 pp. 265–309). Elsevier: Amsterdam.
Oddie, G. (1986). Likeness to truth. Dordrecht: Reidel.
Popper, K. (1962). Some comments on truth and the growth of knowledge. In E. Nagel, P. Suppes, & A. Tarski (Eds.), Logic, Methodology and Philosophy of Science. Proceedings of the 1960 International Congress (pp. 285–292). Stanford: Stanford University Press.
Popper, K. (1963). Conjectures and refutations. London: Routledge.
Popper, K. R. (1935). Logik der Forschung. Wien: Verlag von Julius Springer.
Popper, K. R. (1979). Objective knowledge: An evolutionary approach. Oxford: Oxford University Press.
Quine, W. V. O. (1953). From a logical point of view. Cambridge, MA: Harvard University Press.
Ramsey, F. (1978). Truth and probability. In D. H. Mellor (Ed.), Foundations: Essays in philosophy, logic, mathematics and economics (pp. 58–100). London: Routledge. [Originally published in 1926].
Reichenbach, H. (1938). Experience and prediction. Chicago: University of Chicago Press.
Rosenkrantz, R. (1981). Foundations and applications of inductive probability. Atascadero: Ridgeview Publishing.
Salmon, W. (1966). The foundations of scientific inference. Pittsburgh: University of Pittsburgh Press.
Savage, L. (1954). The foundations of statistics. New York: Wiley.
Shimony, A. (1955). Coherence and the axioms of confirmation. Journal of Symbolic Logic, 20(1), 1–28.
Skyrms, B. (1984). Pragmatics and empiricism. New Haven: Yale University Press.
Skyrms, B. (1993). Analogy by similarity in hyperCarnapian inductive logic. In J. Earman, A. I. Janis, G. J. Massey, & N. Rescher (Eds.), Philosophical problems of the internal and external worlds (pp. 273–282). Pittsburgh: University of Pittsburgh Press.
Talbott, W. (2008). Bayesian epistemology. In E. N. Zalta (Ed.), The Stanford encyclopedia of philosophy. Fall 2008 edition. Stanford: The Metaphysics Research Lab, Stanford University.
Teller, P. (1976). Conditionalization, observation, and change of preference. In Foundations of probability theory, statistical inference, and statistical theories of science. Dordrecht: Reidel.
Tichý, P. (1974). On Popper’s definitions of verisimilitude. British Journal for the Philosophy of Science, 25(2), 155–160.
Vickers, J. (2010). The problem of induction. In E. N. Zalta (Ed.), The Stanford encyclopedia of philosophy. Fall 2010 edition. Stanford: The Metaphysics Research Lab, Stanford University.
Williamson, J. (2010). In defence of objective Bayesianism. Oxford: Oxford University Press.
Zabell, S. (1996). Confirming universal generalizations. Erkenntnis, 45, 267–283.
Zabell, S. (1997). The continuum of inductive methods revisited. In J. Earman & J. D. Norton (Eds.), The cosmos of science (pp. 351–385). Pittsburgh: University of Pittsburgh Press.
Zabell, S. L. (2009). Carnap and the logic of inductive inference. In J. W. Stephan Hartmann & D. Gabbay (Eds.), Handbook of the history and philosophy of logic (Inductive logic, Vol. 10, pp. 265–309). Elsevier: Amsterdam.
Recommended Readings
Earman, J. (1992). Bayes or bust? A critical examination of Bayesian confirmation theory. Cambridge, MA: MIT Press.
Hacking, I. (2001). An introduction to probability and inductive logic. Cambridge: Cambridge University Press.
Hájek, A., & Hall, N. (2002). Induction and probability. In P. K. Machamer & M. Silberstein (Eds.), The Blackwell guide to the philosophy of science (pp. 149–172). Malden: Blackwell.
Kuipers, T. (1978). Studies in inductive probability and rational experimentation. Dordrecht: Reidel.
Pettigrew, R. (2016). Epistemic utility arguments for probabilism. In E. N. Zalta (Ed.), The Stanford encyclopedia of philosophy, Spring 2016 edition. Stanford: Metaphysics Research Lab, Stanford University.
Reichenbach, H. (1949). The theory of probability. Berkeley: University of California Press.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this chapter
Cite this chapter
Urbaniak, R., Batens, D. (2018). Induction. In: Hansson, S., Hendricks, V. (eds) Introduction to Formal Philosophy. Springer Undergraduate Texts in Philosophy. Springer, Cham. https://doi.org/10.1007/978-3-319-77434-3_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-77434-3_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-77433-6
Online ISBN: 978-3-319-77434-3
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)