Proof Versus Sound Inference

  • Nimrod Bar-Am
Conference paper
Part of the Boston Studies in The Philosophy of Science book series (BSPS, volume 272)

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.


Euclidian Geometry Deductive System Logical System Natural Deduction Valid Inference 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Agassi, Joseph. 2006. On Proof Theory. In Is There Certain Knowledge? ed. Michael Rahnfeld, pp. 264–282. Leipzig: Leipziguniversitätverlag.Google Scholar
  2. Bar-Am, Nimrod. 2003. A Framework for a Critical History of Logic. Sudhoffs Archiv 87, Heft 1: 80–89.Google Scholar
  3. Bar-Am, Nimrod. 2004. Extensionalism and Induction in Boole. Physis XLI: 97–123.Google Scholar
  4. Bar-Am, Nimrod. 2008. Extensionalism: The Revolution in Logic. Berlin: Springer.Google Scholar
  5. Corcoran, John. 1994. The Founding of Logic. Ancient Philosophy 14: 9–24.Google Scholar
  6. Jarvie, Ian, Milford, Karl, and Miller, David. 2006. Karl Popper: A Centenary Assessment, Vol. III. Burlington, VT: Ashgate.Google Scholar
  7. 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.Google Scholar
  8. Popper, Karl Raimund. 1947a. New Foundations for Logic. Mind 56: 193–235. (Corrections in Mind 1948. 57: 69–70).CrossRefGoogle Scholar
  9. Popper, Karl Raimund. 1947b. Logic Without Assumptions. Proceedings of the Aristotelian Society 47: 251–292.Google Scholar
  10. Popper, Karl Raimund. 1947c. Functional Logic Without Axioms or Primitive Rules of Inference. Proceedings of the Koninklijke Nederlandsche Akadmie van Wetenschappen 50: 1214–1224.Google Scholar
  11. 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.Google Scholar
  12. 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.Google Scholar
  13. Popper, Karl Raimund. 1948c. The T rivialization of Mathematical Logic. Proceedings of the 10th International Congress of Philosophy, I, 722–727.Google Scholar
  14. 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.Google Scholar
  15. Rahnfeld, Michael. 2006. Is There Certain Knowledge? Leipzig: Leipziguniversitätverlag.Google Scholar
  16. Schilpp, Paul Arthur. 1974. The Philosophy of Karl Popper. La Salle, IL: Open Court.Google Scholar
  17. 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.Google Scholar

Copyright information

© Springer Science + Business Media B.V. 2009

Authors and Affiliations

  • Nimrod Bar-Am
    • 1
  1. 1.Head, Rhetoric and Philosophy of Communication Unit, Communication DepartmentSapir CollegeHof AshkelonIsrael

Personalised recommendations