This paper arose out of a study of the notes that Joseph Agassi and Czeslaw Lejewski took at Karl Popper's seminar on Logic and Scientific Method (1954–1955).1 It ponders on a basic logical distinction Popper had made: between sound inference (valid inference with sound premises) and proof (a collection of inferences that show that a given sentence follows from any premise). The difference between sound inference and proof seems crucial to Popper's epistemology, especially to his emphasis on the distinctness of epistemology and methodology. In this paper, (1) The distinction is explained; (2) The difference is presented as the basis for Popper's view of the history of logic; (3) Some modern hesitations about all this are discussed.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Bibliography
Agassi, Joseph. 2006. On Proof Theory. In Is There Certain Knowledge? ed. Michael Rahnfeld, pp. 264–282. Leipzig: Leipziguniversitätverlag.
Bar-Am, Nimrod. 2003. A Framework for a Critical History of Logic. Sudhoffs Archiv 87, Heft 1: 80–89.
Bar-Am, Nimrod. 2004. Extensionalism and Induction in Boole. Physis XLI: 97–123.
Bar-Am, Nimrod. 2008. Extensionalism: The Revolution in Logic. Berlin: Springer.
Corcoran, John. 1994. The Founding of Logic. Ancient Philosophy 14: 9–24.
Jarvie, Ian, Milford, Karl, and Miller, David. 2006. Karl Popper: A Centenary Assessment, Vol. III. Burlington, VT: Ashgate.
Lejewski, Czeslaw. 1974. Popper's Theory of Formal or Deductive Inference. In The Philosophy of Karl Popper, ed. Paul Arthur Schilpp, pp. 630–670. La Salle, IL: Open Court.
Popper, Karl Raimund. 1947a. New Foundations for Logic. Mind 56: 193–235. (Corrections in Mind 1948. 57: 69–70).
Popper, Karl Raimund. 1947b. Logic Without Assumptions. Proceedings of the Aristotelian Society 47: 251–292.
Popper, Karl Raimund. 1947c. Functional Logic Without Axioms or Primitive Rules of Inference. Proceedings of the Koninklijke Nederlandsche Akadmie van Wetenschappen 50: 1214–1224.
Popper, Karl Raimund. 1948a. On the Theory of Deduction, Part I. Derivation and Its Generalizations. Proceedings of the Koninklijke Nederlandsche Akadmie van Wetenschappen 51: 173–183.
Popper, Karl Raimund. 1948b. On the Theory of Deduction, Part II. The Definition of Classical and Intuitionist Negation. Proceedings of the Koninklijke Nederlandsche Akadmie van Wetenschappen 51: 322–331.
Popper, Karl Raimund. 1948c. The T rivialization of Mathematical Logic. Proceedings of the 10th International Congress of Philosophy, I, 722–727.
Popper, Karl Raimund. 1954–1955. Lecture Notes of Karl Popper's Course on Logic and Scientific Method Taken by Czeslaw Lejewski and Joseph Agassi. Unpublished.
Rahnfeld, Michael. 2006. Is There Certain Knowledge? Leipzig: Leipziguniversitätverlag.
Schilpp, Paul Arthur. 1974. The Philosophy of Karl Popper. La Salle, IL: Open Court.
Schroeder-Heister, Peter. 2006. Popper's Structuralist Theory of Logic. In Karl Popper: A Centenary Assessment, eds. Ian Jarvie, Karl Milford and David Miller, Vol. III, pp. 17–36. Burlington, VT: Ashgate.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer Science + Business Media B.V.
About this paper
Cite this paper
Bar-Am, N. (2009). Proof Versus Sound Inference. In: Parusniková, Z., Cohen, R.S. (eds) Rethinking Popper. Boston Studies in The Philosophy of Science, vol 272. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-9338-8_5
Download citation
DOI: https://doi.org/10.1007/978-1-4020-9338-8_5
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-9337-1
Online ISBN: 978-1-4020-9338-8
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)