Abstract
We present Popper’s theory of deductive logic as exhibited in his articles published between 1947 and 1949. After an introduction to Popper’s inferentialist approach and his idea of “inferential definitions” of logical constants, we discuss in more formal detail Popper’s general theory of the deducibility relation (which, using Gentzen’s terminology, might be called his “structural” theory), as well as his special theory of logical constants. We put special emphasis on his inferential notion of duality, which includes his analysis of the “anti-conditional” (today called “co-implication”), his systematic study of various forms of negation including classical, intuitionistic and weaker negations, his system of bi-intuitionistic logic, and his theory of quantification and identity. We also touch on his treatment of modal operators, which is based on Carnap’s Meaning and Necessity.
Chapter PDF
Similar content being viewed by others
Keywords
References
Abadi, M., L. Cardelli, P.-L. Curien, and J.-J. Levy (1991). Explicit Substitutions. In: Journal of Functional Programming 1, pp. 375–416.
Ackermann, W. (1948). Review of Functional Logic without Axioms or Primitive Rules of Inference. In: Zentralblatt fur Mathematik und ihre Grenzgebiete 29, p. 196. Reprinted as § 13.1 of this volume.
Ackermann, W. (1949a). Review of On the Theory of Deduction, Part I. In: Zentralblatt für Mathematik und ihre Grenzgebiete 30, p. 3. Reprinted as § 13.2 of this volume.
Ackermann, W. (1949b). Review of On the Theory of Deduction, Part II. In: Zentralblatt für Mathematik und ihre Grenzgebiete 30, p. 101. Reprinted as § 13.3 of this volume.
Bar-Am, N. (2009). Proof versus Sound Inference. In: Rethinking Popper. Ed. by Z. Parusnikova and R. S. Cohen. Vol. 272. Boston Studies in the Philosophy and History of Science. Dordrecht: Springer, pp. 63–70.
Belnap Jr., N. D., H. Leblanc, and R. H. Thomason (1963). On Not Strengthening Intuitionistic Logic. In: Notre Dame Journal of Formal Logic 4 (4), pp. 313–320.
Belnap, N. D. (1962). Tonk, Plonk and Plink. In: Analysis 22, pp. 130–134.
Beth, E. W. (1948). Review of New Foundations for Logic. In: Mathematical Reviews 9, p. 130. Reprinted as § 13.4 of this volume.
Binder, D. and T. Piecha (2017). Popper’s Notion of Duality and His Theory of Negations. In: History and Philosophy of Logic 38 (2), pp. 154–189.
Binder, D. and T. Piecha (2021). Popper on Quantification and Identity. In: Karl Popper’s Science and Philosophy. Ed. by Z. Parusnikova and D. Merritt. Springer, pp. 149–169.
Brandom, R. B. (1994). Making It Explicit: Reasoning, Representing, and Discursive Commitment. Cambridge Mass.: Harvard University Press.
Brandom, R. B. (2000). Articulating Reasons: An Introduction to Inferentialism. Cambridge Mass.: Harvard University Press.
Brooke-Wavell, B. (1958). A Generalization of the Truth-Table Method: An Extension of its Scope of Application within the Field of Two-Valued Logic. PhD thesis. University of London (LSE).
Carnap, R. (1947). Meaning and Necessity. A Study in Semantics and Modal Logic. University of Chicago Press.
Carnielli, W. and M. E. Coniglio (2020). Combining Logics. In: The Stanford Encyclopedia of Philosophy. Ed. by E. N. Zalta. Fall 2020. Metaphysics Research Lab, Stanford University. url: https://plato.stanford.edu/archives/fall2020/entries/logic-combining/.
Cohen, K. J. (1953b). Alternative Systems of Logic. B.Litt. thesis. Faculty of Literae Humaniores, University of Oxford.
Curry, H. B. (1948a). Review of Functional Logic without Axioms or Primitive Rules of Inference. In: Mathematical Reviews 9, p. 321. Reprinted as § 13.5 of this volume.
Curry, H. B. (1948b). Review of Logic without Assumptions. In: Mathematical Reviews 9, p. 486. Reprinted as § 13.6 of this volume.
Curry, H. B. (1948c). Review of On the Theory of Deduction, Part I. In: Mathematical Reviews 9, pp. 486–487. Reprinted as § 13.7 of this volume.
Curry, H. B. (1948d). Review of On the Theory of Deduction, Part II. In: Mathematical Reviews 9, p. 487. Reprinted as § 13.8 of this volume.
Curry, H. B. (1949). Review of The Trivialization of Mathematical Logic. In: Mathematical Reviews 10, p. 422. Reprinted as § 13.9 of this volume.
de Campos Sanz, W. and T. Piecha (2009). Inversion by Definitional Reflection and the Admissibility of Logical Rules. In: Review of Symbolic Logic 2 (3), pp. 550–569.
de Campos Sanz, W., T. Piecha, and P. Schroeder-Heister (2014). Constructive Semantics, Admissibility of Rules and the Validity of Peirce’s Law. In: Logic Journal of the IGPL 22, pp. 297–308. doi: https://doi.org/10.1093/jigpal/jzt029.
Del Santo, F. (2020). An Unpublished Debate Brought to Light: Karl Popper’s Enterprise against the Logic of Quantum Mechanics. In: Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 70, pp. 65–78.
Došen, K. (1989). Logical Constants as Punctuation Marks. In: Notre Dame Journal of Formal Logic 30, pp. 362���381.
Dummett, M. (1975). The Justification of Deduction. In: Proceedings of the British Academy. Separately published by the British Academy (1973). Reprinted in M. Dummett, Truth and Other Enigmas, London: Duckworth (1978)., pp. 201–232.
Dummett, M. (1991). The Logical Basis of Metaphysics. London: Duckworth.
Dunn, J. M. (1963). Inferential Behaviorism and the Nature of Logic. Honors thesis. Ohio: Oberlin College.
Dunn, J. M. (1999). A Comparative Study of Various Model-Theoretic Treatments of Negation: A History of Formal Negation. In: What is negation? Ed. by D. M. Gabbay and H. Wansing. Dordrecht: Springer, pp. 23–51.
Francez, N. (2015). Proof-Theoretic Semantics. London: College Publications.
Frege, G. (1879). Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle: Louis Nebert.
Gentzen, G. (1932). Uber die Existenz unäbhangiger Axiomensysteme zu unendlichen Satzsystemen. In: Mathematische Annalen 107 (2),pp. 329–350. English translation in Gentzen (1969).
Gentzen, G. (1935a). Untersuchungen über das logische Schlieẞen, I. In: Mathematische Zeitschrift 39 (1), pp. 176–210. doi: https://doi.org/10.1007/BF01201353. English translation in Gentzen (1969).
Gentzen, G. (1935b). Untersuchungen über das logische Schlieẞen, II. In: Mathematische Zeitschrift 39 (1), pp. 405–431. doi: https://doi.org/10.1007/BF01201363. English translation in Gentzen (1969).
Gentzen, G. (1969). Collected Papers of Gerhard Gentzen. Ed. by M. E. Szabo. Amsterdam: North-Holland.
Hacking, I. (1979). What Is Logic? In: Journal of Philosophy 76 (6), pp. 285–319.
Hasenjaeger, G. (1949). Review of The Trivialization of Mathematical Logic. In: Zentralblatt für Mathematik und ihre Grenzgebiete 31, p. 193. Reprinted as § 13.10 of this volume.
Hertz, P. (1923). Über Axiomensysteme für beliebige Sätzsysteme. Teil II. Satze höheren Grades. In: Mathematische Annalen 89, pp. 76–102.
Hertz, P. (1929a). Über Axiomensysteme beliebiger Satzsysteme. In: Annalen der Philosophie 8, pp. 178–204.
Hertz, P. (1929b). Über Axiomensysteme fur beliebige Satzsysteme. In: Mathematische Annalen 101, pp. 457–514.
Hertz, P. (1931). Vom Wesen des Logischen, insbesondere der Bedeutung des modus barbara. In: Erkenntnis 2, pp. 369–392.
Heyting, A. (1930). Die formalen Regeln der intuitionistischen Logik. In: Sitzungsberichte der preuβischen Akademie der Wissenschaften. Phys.-math. Klasse, pp. 42–65, 57–71, 158–169.
Hilbert, D. and W. Ackermann (1928). Gründzuge der theoretischen Logik. Berlin: Springer.
Hilbert, D. and P. Bernays (1934). Grundlagen der Mathematik. Vol. 1. Berlin: Springer.
Hilbert, D. and P. Bernays (1939). Grundlagen der Mathematik. Vol. 2. Berlin: Springer.
Hilbert, D. and P. Bernays (1968). Grundlagen der Mathematik. Vol. 1. Berlin: Springer.
Humberstone, L. (2011). The Connectives. Cambridge, MA: The MIT Press.
Jaskowski, S. (1934). On the Rules of Suppositions in Formal Logic. In: Studia Logica 1, pp. 5–32.
Johansson, I. (1937). Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus. In: Compositio Mathematica 4, pp. 119–136.
Kapsner, A. (2014). Logics and Falsifications. A New Perspective on Constructivist Semantics. Vol. 40. Trends in Logic. Cham: Springer.
Kapsner, A., D. Miller, and R. Dyckhoff (2014). Report on Kalman Cohen’s 1954 Oxford Thesis on Alternative Systems of Logic. In: Handbook of the 5th World Congress on Paraconsistent Logic. Ed. by J.-Y. Béziau, M. Chakraborty, and S. Dutta, pp. 61–62. url: http://www.paraconsistency.org/book/Handbook-WCP5.pdf.
Kemeny, J. G. (1957). Review of A Note on Tarski’s Definition of Truth. In: Journal of Symbolic Logic 22 (4), p. 365. url: http://www.jstor.org/stable/2963928. Reprinted as § 13.11 of this volume.
Ketonen, O. (1945). Untersuchungen zum Prädikatenkalkül. In: Journal of Symbolic Logic 10 (4), pp. 127–130. doi: https://doi.org/10.2307/2269018.
Kleene, S. C. (1952). Introduction to Metamathematics. Amsterdam: North Holland.
Kleene, S. C. (1948). Review of Functional Logic without Axioms or Primitive Rules of Inference. In: Journal of Symbolic Logic 13 (3), pp. 173–174. Reprinted as § 13.12 of this volume.
Kleene, S. C. (1949). Review of On the Theory of Deduction, Part I and II, and The Trivialization of Mathematical Logic. In: Journal of Symbolic Logic 14 (1), pp. 62–63. Reprinted as § 13.13 of this volume.
Kneale, W. (1956). The Province of Logic. In: Contemporary British Philosophy, Third series. Ed. by H. D. Lewis. London: Allen & Unwin and New York: Humanities Press, pp. 235–261.
Kneale, W. and M. Kneale (1962). The Development of Logic. Clarendon Press: Oxford University Press.
Koslow, A. (1992). A Structuralist Theory of Logic. Cambridge University Press.
Kreisel, G. (1971). A Survey of Proof Theory II. In: Proceedings of the Second Scandinavian Logic Symposium. Ed. by J. E. Fenstad. Amsterdam: North-Holland, pp. 109–170.
Lambek, J. and P. Scott (1986). Introduction to Higher Order Categorical Logic. Cambridge: Cambridge University Press.
Lejewski, C. (1974). Popper’s Theory of Formal or Deductive Inference. In: The Philosophy of Karl Popper. Ed. by P. A. Schilpp. The Library of Living Philosophers. La Salle, Illinois: Open Court, pp. 632–670.
Lorenzen, P. (1955). Einführung in die operative Logik und Mathematik. 2nd edition 1969. Berlin: Springer.
Mancosu, P. (2021). Logic and Biology: The Correspondence Between Alfred Tarski and Joseph H. Woodger. In: Journal of Humanistic Mathematics 11 (2), pp. 18–105. url: https://scholarship.claremont.edu/jhm/vol11/iss2/4.
McKinsey, J. C. C. (1948). Review of Logic without Assumptions and New Foundations for Logic. In: Journal of Symbolic Logic 13 (2), pp. 114–115. Reprinted as § 13.14 of this volume.
Mendelson, E. (1997). Introduction to Mathematical Logic. 4th ed. Boca Raton (FL): CRC Press.
Merrill, D. D. (1962). On Popper’s Definition of Validity. In: Analysis 22, pp. 97–100.
Miller, D. (2016). Popper’s Contributions to the Theory of Probability and Its Interpretation. In: The Cambridge Companion to Popper. Ed. by J. Shearmur and G. Stokes. Cambridge University Press, pp. 230–268.
Mints, G. E. (1976). Derivability of Admissible Rules. In: Journal of Mathematical Sciences 6, pp. 417–421.
Moisil, G. C. (1942). Logique modale. In: Disquisitiones Mathematicae et Physicae 2, pp. 3–98.
Moriconi, E. (2019). On Popper’s Decomposition of Logical Notions. In: Third Pisa Colloquium in Logic, Language and Epistemology. Essays in Honour of Mauro Mariani and Carlo Marletti. Ed. by L. Bellotti, L. Gili, E. Moriconi, and G. Turbanti. Vol. 15. Pisa: Edizioni ETS, pp. 275–302.
Nagel, E. (1943). Review of Are Contradictions Embracing? In: Journal of Symbolic Logic 8 (1), pp. 48–49. Reprinted as § 13.15 of this volume.
Piecha, T., W. de Campos Sanz, and P. Schroeder-Heister (2015). Failure of Completeness in Proof-Theoretic Semantics. In: Journal of Philosophical Logic 44, pp. 321–335. doi: https://doi.org/10.1007/s10992-014-9322-x.
Piecha, T. and P. Schroeder-Heister, eds. (2016). Advances in Proof-Theoretic Semantics. Vol. 43. Trends in Logic. Springer. url: https://link.springer.com/content/pdf/10.1007%2F978-3-319-22686-6.pdf.
Popper, K. R. (1935). Logik der Forschung. Zur Erkenntnistheorie der modernen Naturwissenschaft. Wien: Julius Springer.
Popper, K. R. (1943). Are Contradictions Embracing? In: Mind 52 (205), pp. 47–50. Reprinted as Chapter 8 of this volume.
Popper, K. R. (1944a). The Poverty of Historicism, I. In: Economica 11 (42), pp. 86–103. Cf. Popper (1957).
Popper, K. R. 1944b). The Poverty of Historicism, II. In: Economica 11 (43), pp. 119–137. Cf. Popper (1957).
Popper, K. R. (1945b). The Poverty of Historicism, III. In: Economica 12 (46), pp. 69–89. Cf. Popper (1957).
Popper, K. R. (1946b). Letter to John C. Eccles of 10 November 1946. In: John C. Eccles Archive, Library for History, Theory and Ethics of Medicine, Heinrich Heine University Dusseldorf; sig. 2NZ-1105.
Popper, K. R. (1947b). Logic without Assumptions. In: Proceedings of the Aristotelian Society 47, pp. 251–292. Reprinted as Chapter 2 of this volume.
Popper, K. R. (1947c). New Foundations for Logic. In: Mind 56 (223), pp. 193–235. Reprinted as Chapter 3 of this volume.
Popper, K. R. (1947d). Functional Logic without Axioms or Primitive Rules of Inference. In: Koninklijke Nederlandse Akademie vanWetenschappen, Proceedings of the Section of Sciences 50, pp. 1214–1224. Reprinted as Chapter 4 of this volume.
Popper, K. R. (1948a). On the Theory of Deduction, Part I. Derivation and its Generalizations. In: Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings of the Section of Sciences 51, pp. 173–183. Reprinted as Chapter 5 of this volume.
Popper, K. R. (1948b). On the Theory of Deduction, Part I. Derivation and its Generalizations. In: Indagationes Mathematicae 10, pp. 44–54.
Popper, K. R. (1948c). On the Theory of Deduction, Part II. The Definitions of Classical and Intuitionist Negation. In: Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings of the Section of Sciences 51, pp. 322–331. Reprinted as Chapter 6 of this volume.
Popper, K. R. (1948d). On the Theory of Deduction, Part II. The Definitions of Classical and Intuitionist Negation. In: Indagationes Mathematicae 10, pp. 111–121.
Popper, K. R. (1948e). Corrections and Additions to “New Foundations for Logic”. In: Mind 57(225), pp. 69–70.
Popper, K. R. (1949a). The Trivialization of Mathematical Logic. In: Proceedings of the Tenth International Congress of Philosophy. Ed. by E. W. Beth, H. J. Pos, and J. H. A. Hollak. Vol. 1. North-Holland, pp. 722–727. Reprinted as Chapter 7 of this volume.
Popper, K. R. (1949d). Prediction and Prophecy and their Significance for Social Theory. In: Proceedings of the Tenth International Congress of Philosophy. Ed. by E.W. Beth, H. J. Pos, and J. H. A. Hollak. Vol. 1. North-Holland, pp. 82–91. Reprinted in Popper (2004).
Popper, K. R. (1955a). A Note on Tarski’s Definition of Truth. In: Mind 64 (255), pp. 388–391. Reprinted as Chapter 9 of this volume.
Popper, K. R. (1957). The Poverty of Historicism. London: Routledge & Kegan Paul.
Popper, K. R. (1959b). The Logic of Scientific Discovery. London: Hutchinson & Co.
Popper, K. R. (1974b). Lejewski’s Axiomatization of My Theory of Deducibility. In: The Philosophy of Karl Popper. Ed. by P. A. Schilpp. The Library of Living Philosophers. La Salle, Illinois: Open Court, pp. 1095–1096. Reprinted as Chapter 12 of this volume.
Popper, K. R. (1974c). Part One: Autobiography of Karl Popper. In: The Philosophy of Karl Popper. Ed. by P. A. Schilpp. The Library of Living Philosophers. La Salle, Illinois: Open Court, pp. 1–181.
Popper, K. R. (2004). Conjectures and Refutations: The Growth of Scientific Knowledge. London: Routledge.
Popper, K. R. (n.d.[a]). Alternative Denial and Joint Denial. Karl Popper Collection Klagenfurt, Box 14, Folder 8.
Popper, K. R. (n.d.[b]). Natural Deduction with Sheffer Strokes / Natural Deduction. Karl Popper Collection Klagenfurt, Box 13, Folder 6.
Prawitz, D. (1965). Natural Deduction: A Proof-Theoretical Study. Stockholm: Almqvist & Wiksell. Reprinted Mineola (NY): Dover Publications (2006).
Prawitz, D. (1971). Ideas and Results in Proof Theory. In: Proceedings of the Second Scandinavian Logic Symposium (Oslo 1970). Ed. by J. E. Fenstad. Amsterdam: North-Holland, pp. 235–308.
Prawitz, D. (2006). Meaning Approached via Proofs. In: Synthese 148. Special issue Proof-Theoretic Semantics, edited by R. Kahle and P. Schroeder-Heister., pp. 507–524.
Prior, A. N. (1960). The Runabout Inference-Ticket. In: Analysis 21, pp. 38–39.
Quine, W. V. O. (1940). Mathematical Logic. 1st ed. New York: W. W. Norton & Company.
Rauszer, C. (1974). Semi-Boolean Algebras and Their Applications to Intuitionistic Logic with Dual Operations. In: Fundamenta Mathematicae 83 (3), pp. 219–249.
Sambin, G., G. Battilotti, and C. Faggian (2000). Basic Logic: Reflection, Symmetry, Visibility. In: Journal of Symbolic Logic 65, pp. 979–1013.
Schilpp, P. A., ed. (1974). The Philosophy of Karl Popper. The Library of Living Philosophers. La Salle, Illinois: Open Court.
Schroeder-Heister, P. (1984). Popper’s Theory of Deductive Inference and the Concept of a Logical Constant. In: History and Philosophy of Logic 5, pp. 79–110.
Schroeder-Heister, P. (2002). Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen. In: Bulletin of Symbolic Logic 8, pp. 246–265.
Schroeder-Heister, P. (2006). Popper’s Structuralist Theory of Logic. In: Karl Popper: A Centenary Assessment. Vol III: Science. Ed. by I. Jarvie, K. Milford, and D. Miller. Aldershot: Ashgate, pp. 17–36.
Schroeder-Heister, P. (2007). Generalized Definitional Reflection and the Inversion Principle. In: Logica Universalis 1, pp. 355–376.
Schroeder-Heister, P. (2013). Definitional Reflection and Basic Logic. In: Annals of Pure and Applied Logic (Special issue, Festschrift 60th Birthday Giovanni Sambin) 164, pp. 491–501.
Schroeder-Heister, P. (2015). Harmony in Proof-Theoretic Semantics: A Reductive Analysis. In: Dag Prawitz on Proofs and Meaning. Ed. by H.Wansing. Heidelberg: Springer, pp. 329–358.
Schroeder-Heister, P. (2016). Open Problems in Proof-Theoretic Semantics. In: Advances in Proof-Theoretic Semantics. Ed. by T. Piecha and P. Schroeder-Heister. Springer, pp. 253–283.
Schroeder-Heister, P. (2018). Proof-Theoretic Semantics. In: The Stanford Encyclopedia of Philosophy. Ed. by E. N. Zalta. Spring 2018. Metaphysics Research Lab, Stanford University. url: https://plato.stanford.edu/archives/spr2018/entries/proof-theoretic-semantics/.
Seldin, J. P. (2008). Curry’s Attitude Towards Popper. In: Proceedings of the Annual Meeting of the Canadian Society for History and Philosophy of Mathematics, vol. 21, University of British Columbia, Vancouver, BC, 1–3 June 2008, pp. 142–149.
Stevenson, J. T. (1961). Roundabout the Runabout Inference-Ticket. In: Analysis 21, pp. 124–128.
Tarski, A. (1930a). Fundamentale Begriffe der Metholodogie der deduktiven Wissenschaften. I. In: Monatshefte fur Mathematik und Physik 37, pp. 361–404. English translation in Tarski (1956).
Tarski, A. (1930b). Über einige fundamentale Begriffe der Metamathematik. In: Comptes rendus des Séances de la Société des Sciences et des Lettes de Varsovie, Classe III. Vol. 23, pp. 22–29. English translation in Tarski (1956).
Tarski, A. (1935b). Grundzüge des Systemenkalküls. Erster Teil. In: Fundamenta Mathematicae 25, pp. 503–526.
Tarski, A. (1936a). Grundzüge des Systemenkalküls. Zweiter Teil. In: Fundamenta Mathematicae 26, pp. 283–301.
Tarski, A. (1936b). Über den Begriff der logischen Folgerung. In: Actes du Congrès international de philosophie scientifique, Sorbonne, Paris 1935. Fasc. VII, Logique. Paris: Hermann, pp. 1–11. English translation in Tarski (1956).
Tarski, A. (1956). Logic, Semantics, Metamathematics: Papers from 1923 to 1938. Translated by J. H. Woodger. Oxford: Clarendon Press.
Tennant, N. (1978). Natural Logic. Edinburgh: Edinburgh University Press.
Tranchini, L. (2021). Proof-Theoretic Harmony: Towards an Intensional Account. In: Synthese 198, pp. 1145–1176.
Troelstra, A. (1990). On the Early History of Intuitionistic Logic. In: Mathematical Logic. Ed. by P. P. Petkov. New York: Plenum Press, pp. 3–17.
Wansing, H. (2000). The Idea of a Proof-theoretic Semantics. In: Studia Logica 64, pp. 3–20.
Wansing, H. (2008). Constructive Negation, Implication, and Co-implication. In: Journal of Applied Non-Classical Logics 18 (2–3), pp. 341–364.
Whitehead, A. N. and B. Russell (1925–1927). Principia Mathematica. 2nd ed. Cambridge University Press.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License (http://creativecommons.org/licenses/by-nc-nd/4.0/), which permits any noncommercial use, sharing, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if you modified the licensed material. You do not have permission under this license to share adapted material derived from this chapter or parts of it.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Copyright information
© 2022 The Author(s)
About this chapter
Cite this chapter
Binder, D., Piecha, T., Schroeder-Heister, P. (2022). Popper’s Theory of Deductive Logic. In: Binder, D., Piecha, T., Schroeder-Heister, P. (eds) The Logical Writings of Karl Popper. Trends in Logic, vol 58. Springer, Cham. https://doi.org/10.1007/978-3-030-94926-6_1
Download citation
DOI: https://doi.org/10.1007/978-3-030-94926-6_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-94925-9
Online ISBN: 978-3-030-94926-6
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)