Abstract
In spite of his unusually broad knowledge of the history of science, Peirce did not pay attention to the most significant key idea in the history of heuristic reasoning and problem-solving, viz. the method of analysis and synthesis in Greek geometry. As described by Pappus (c. 300 AD), analysis is inverse inference from a theorem to axioms, or from a problem to its solutions, and synthesis then gives the desired direct proof or construction (Sect. 2.2). This inference resembles the regressive method of Renaissance Aristotelians, consisting of a “resolution” from facts to their causes and a “composition” from causes to effects. These methods influenced also such great figures of modern science as Galileo Galilei, Isaac Newton, and Karl Marx (Sect. 2.1). It is argued in this chapter that Peirce’s description of hypothesis, as a retroductive inference of a cause from its effect, is an instance of what Jaakko Hintikka calls the upward propositional interpretation of theoretical analysis. Further, the backward solution of a crime case by a detective is an instance of problematic analysis. This thesis is vindicated by Edgar Allan Poe’s stories of ratiocination written in the 1840s (Sect. 2.4). Another illustration of the same idea is given in Poe’s essay “Philosophy of Composition” where he describes the analytical construction of his poem The Raven (1845) (Sect. 2.5).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
This chapter is largely (except Sect. 2.3) based on a paper presented in the conference on Model-Based Reasoning in Scientific Discovery, Pavia, December 17–19, 1998 (see Niiniluoto 1999c). The prehistory of this paper goes back to the year 1975 when I acted as one of the opponents of Unto Remes’s (1942–1975) doctoral dissertation on the geometrical method of analysis and synthesis (see Hintikka and Remes 1974) . During the disputation, I suggested that Edgar Allan Poe’s detective stories follow the method of analysis which has also a close resemblance to Peirce’s account of abductive inference. Two years later I found by accident a short article, published by my father Yrjö Niiniluoto (1900–1961) as a young man in 1925, which referred to Poe’s fascinating essay on the “philosophy of composition ”. My paper was published in Finnish in 1978, and later with some revisions in 1990. In the meantime, Thomas A. Sebeok had published in 1980 his article on Peirce and Sherlock Holmes, followed by a collection of essays on abduction and detective stories (see Eco and Sebeok 1983) . Therefore, I did not hurry to write an English version of my paper, but waited for a suitable occasion for its presentation until 1998.
- 2.
As far as I know, Peirce never treated the regressive method , but in 1898 he remarked that Aristotle “was driven to his strange distinction between what is better known to Nature and what is better known to us” (EP 2:43).
- 3.
The distinction between Aristotle’s substantial invariances and Galileo’s dynamical invariances was made by Eino Kaila in 1939 (see Kaila 2014).
- 4.
Hilpinen (2007) argues that practical reasoning , following Aristotelean practical syllogisms, is a form of abduction in Peirce’s sense.
- 5.
See Pappus (1986), 82.
- 6.
See the essay by A. Szabó in Hintikka and Remes (1974) , 118–130.
- 7.
It is ironic that the custos (chairman) of the doctoral disputation of Unto Remes (see note 1) was Oiva Ketonen , who in his 1944 doctoral thesis had improved Gentzen’s sequent calculus into a system with invertible rules: if the conclusion of a rule follows from the premises, the premises are derivable from the conclusion. This system was generalized from propositional logic to predicate logic by S. C. Kleene in 1952. In an invertible system the distinction between downward and upward analysis disappears. Ketonen never mentioned this conclusion in our discussions, but a sophisticated treatment of his system with applications to automated deduction is given by Sara Negri and Jan von Plato (2001).
- 8.
- 9.
Petri Mäenpää’s (1997) elegant formalization of this method uses, instead of predicate logic, Per Martin-Löf’s type theory to account for constructions and their results.
- 10.
McMullin (1992) also points out that Peirce’s abduction is not demonstrative in the same strong sense as resolution was often described in the regressive method .
- 11.
Minnameier (2017), 188, also proposes a model of “inverse abduction” which seeks concrete instances of abstract theories or concepts.
- 12.
For some remarks about “manipulative abduction ” as a form of practical reasoning , see Sect. 5.3.
- 13.
Rubén Sampieri Cábal has suggested that Poe’s ”prose poem” Eureka (in 1848) anticipates the ideas of Peirce’s abduction .
- 14.
- 15.
This example is discussed in Hintikka and Bachman (1991) . Hintikka relates the “logic of Sherlock Holmes” to his interrogative model of inquiry , when all inferential steps are deductive while abduction has a role in information-seeking through questioning (see Hintikka and Hintikka 1983; Hintikka 1998) . This model of inquiry is discussed in Sect. 3.5.
- 16.
Similar analytic or abductive methods of reasoning (like fingerprints and DNA sequences) are used in contemporary forensic science, familiar from the tv-series C.S.I.
- 17.
Bibliography
Aliseda, A. (1997). Seeking explanations: Abduction in logic, philosophy of science and artificial intelligence (ILLC dissertation series). Amsterdam: University of Amsterdam.
Beaulieu, Y. (2008). Peirce’s contribution to American cryptography. Transactions of the Charles S. Peirce Society, 44, 263–287.
Burtt, E. A. (1952). The metaphysical foundations of modern science. New York: The Humanities Press.
Crombie, A. (1953). Robert Grosseteste and the origins of experimental science (1100–1700). Oxford: Oxford University Press.
Descartes, R. (1954). Geometry. New York: Dover.
Eco, U., & Sebeok, T. A. (Eds.). (1983). The sign of three: Dupin, Holmes, Peirce. Bloomington: Indiana University Press.
Harrowitz, N. (1983). The body of the detective model: Charles S. Peirce and Edgar Allan Poe. In Eco & Sebeok (Eds.), The sign of three: Dupin, Holmes, Peirce (pp. 179–197). Bloomington: Indiana University Press.
Heath, T. L. (1956). The thirteen books of Euclid’s elements (Vol. 1–3). New York: Dover.
Hilpinen, R. (2007). On practical abduction. Theoria: The Swedish Journal of Philosophy, 73, 207–220.
Hintikka, J. (1973). Logic, language-games, and information: Kantian themes in the philosophy of logic. Oxford: Oxford University Press.
Hintikka, J. (1975). Concept as vision: On the problem of representation in modern art and in modern philosophy. In The intentions of intentionality and other new models for modalities (pp. 223–251). Dordrecht: D. Reidel.
Hintikka, J. (1980). C. S. Peirce’s ‘first real discovery’ and its contemporary relevance. The Monist, 63, 304–315.
Hintikka, J. (1998). What is abduction? The fundamental problem of contemporary epistemology. Transactions of the Charles S. Peirce Society, 34, 503–533 (Reprinted in Hintikka, 2007, Ch. 2, with additions).
Hintikka, J., & Bachman, J. (1991). What if…? Toward excellence in reasoning. Mayfield: Mountain View.
Hintikka, J., & Hintikka, M. B. (1983). Sherlock Holmes confronts modern logic. In Eco & Sebeok (Eds.), The sign of three (pp. 154–169). Bloomington: Indiana University Press.
Hintikka, J., & Remes, U. (1974). The method of analysis: Its geometrical origin and its general significance. Dordrecht: D. Reidel.
Hoffmann, M. H. G. (2010). “Theoric transformations” and a new classification of abductive inferences. Transactions of the Charles S. Peirce Society, 46, 570–590.
Kaila, E. (2014). Human knowledge: A classic statement of logical empiricism. La Salle: Open Court.
Ketner, K. (1985). How Hintikka misunderstood Peirce’s account of theorematic reasoning. Transactions of the Charles S. Peirce Society, 21, 407–418.
Mäenpää, P. (1997). From backward reduction to configurational analysis. In M. Otte & M. Panza (Eds.), Analysis and synthesis in mathematics (pp. 201–226). Dordrecht: Kluwer.
Magnani, L. (2009). Abductive cognition: The epistemological and eco-cognitive dimensions of hypothetical reasoning. Heidelberg: Springer.
McMullin, E. (1992). The inference that makes science. Milwaykee: Marquette University Press.
Minnameier, G. (2017). Forms of abduction and an inferential taxonomy. In Magnani & Bertolotti (Eds.), pp. 175–195.
Negri, S., & von Plato, J. (2001). Structural proof theory. Cambridge: Cambridge University Press.
Niiniluoto, I. (1978). Notes on Popper as follower of Whewell and Peirce. Ajatus, 37, 272–327 (Reprinted in Niiniluoto (1984), Ch. 3).
Niiniluoto, I. (1995). Hintikka and Whewell on Aristotelian induction. Grazer Philosophische Studien, 49, 49–61.
Niiniluoto, I. (1999c). Abduction and geometrical analysis. In L. Magnani, N. Nersessian, & P. Thagard (Eds.), Model-based reasoning in scientific discovery (pp. 239–254). New York: Kluwer and Plenum.
Pappus. (1986). Synagoge VII (English transl. by A. Jones). New York: Springer-Verlag.
Park, W. (2017a). Magnani’s manipulative abduction. In Magnani & Bertolotti (Eds.), pp. 197–213.
Park, W. (2017b). Abduction in context: The conjectural dynamics of scientific reasoning. Cham: Springer International Publishing.
Peirce, C. S. (1976). In C. Eisele (Ed.), The new elements of mathematics (Vol. I–IV). The Hague: Mouton.
Psillos, S. (2011). An explorer upon untrodden ground: Peirce on abduction. In D. Gabbay, S. Hartmann, and J. Woods (eds.), Handbook of the history of logic vol. 10: Inductive logic (pp. 117-151). Amsterdam: North-Holland.
Poe, E. A. (1927). Poems and essay. London: Everyman’s Library, Dent. (Reprinted, 1977).
Poe, E. A. (1976). In H. Beaver (Ed.), The science fiction of Edgar Allan Poe. Harmondsworth: Penguin Books.
Poe, E. A. (1977). In P. van Doren Stern (Ed.), The portable Poe. Harmondsworth: Penguin Books.
Polya, G. (1957). How to solve it (2nd ed.). Princeton: Princeton University Press.
Randall, J. H. (1961). The school of Padua and the emergence of modern science. Padova.
Sebeok, T. A. and Umiker-Sebeok, J. (1980). “You know my method”: A juxtaposition of Charles S. Peirce and Sherlock Holmes. Gaslight Publications, Bloomington, Indiana. (Reprinted in Eco and Sebeok, 1983, pp. 11–54).
Smith, L. D. (1955). Cryptography: The science of secret writing. New York: Dover.
Truzzi, M. (1983). Sherlock Holmes: Applied social psychologist. In Eco & Sebeok (Eds.), The sign of three: Dupin, Holmes, Peirce (pp. 55–80). Bloomington: Indiana University Press.
Webb, J. C. (2006). Hintikka on Aristotelean constructions, Kantian Intuitions, and Peircean Theorems. In R. E. Auxier & L. E. Hahn (Eds.), The philosophy of Jaakko Hintikka (pp. 195–301). Chicago and La Salle: Open Court.
Whewell, W. (1860). The philosophy of discovery. London. (New Edition: 1971, Lenox Hill, Burt Franklin, New York).
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Niiniluoto, I. (2018). Analysis and Synthesis. In: Truth-Seeking by Abduction. Synthese Library, vol 400. Springer, Cham. https://doi.org/10.1007/978-3-319-99157-3_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-99157-3_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-99156-6
Online ISBN: 978-3-319-99157-3
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)