Abstract
The question of naturalness in logic is widely discussed in today’s research literature. On the one hand, naturalness in the systems of natural deduction is intensively discussed on the basis of Aristotelian syllogistics. On the other hand, research on “natural logic” is concerned with the implicitly existing logical laws of natural language, and is therefore also interested in the naturalness of syllogistics. In both research areas, the question arises what naturalness exactly means, in logic as well as in language. We show, however, that this question is not entirely new: In his Berlin Lectures of the 1820s, Arthur Schopenhauer already discussed in depths what is natural and unnatural in logic. In particular, he anticipates two criteria for the naturalness of deduction that meet current trends in research: (1) Naturalness is what corresponds to the actual practice of argumentation in everyday language or scientific proof; (2) Naturalness of deduction is particularly evident in the form of Euler-type diagrams.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Andreasen, T. Styltsvig, H.B., Jensen, P.A., Nilsson, J.F.: A Natural Logic for Natural-Language Knowledge Bases. In Christiansen, H., López, M.D.J., Loukanova, R., Moss, L. (Eds.) Partiality and Underspecification in Information, Languages, and Knowledge. Cambridge Scholars Publishing, Newcastle upon Tyne, 1–26 (2017)
Benthem, J.v.: A Brief History of Natural Logic. In Chakraborty, M., Löwe, B., Mitra, M.N., Sarukkai, S. (ed.) Logic, Navya-Nyāya & Applications: Homage to Bimal Krishna Matilal. College Publications, London, 21–42 (2008)
Benthem, J.v.: Essays in Logical Semantics. Reidel, Dordrecht, Boston, Lancaster, Tokyo, (1986)
Bernhard, P. Euler-Diagramme: Zur Morphologie einer Repräsentationsform in der Logik. mentis, Paderborn (2001)
Bowman, S.R., Potts, C., Manning, C.D.: Learning Distributed Word Representations for Natural Logic Reasoning. Proceedings of the AAAI Spring Symposium on Knowledge Representation and Reasoning, 10–13 (2015)
Corcoran, J.: Aristotle’s Natural Deduction System. In Corcoran, J. (ed.): Ancient Logic and Its Modern Interpretations. Reidel, Dordrecht-Holland, 85–131 (1974)
Ebert, T.: Warum fehlt bei Aristoteles die 4. Figur?, Archiv für Geschichte der Philosophie 62(1), 13–31 (2009)
Euler, L.: Letters of Euler on Different Subjects in Physics and Philosophy Addressed to a German Princess. Transl. by H. Hunter. 2nd ed. Vol. I. Murray and Highley, London (1802)
Gentzen, G.: Investigations into Logical Deduction. In Szabo, M.E. (ed.) The Collected Papers of Gerhard Gentzen. North-Holland Publishing Co., North Holland, Amsterdam, 68–131 (1969)
Hammer, E., Shin, S.-J.: Euler’s Visual Logic. History and Philosophy of Logic 19(1), 1–29 (1998)
Jaśkowski, S.: The Rules of Suppositions in Formal Logic. Studia Logica 1, 5–32 (1934)
Klima, G.: Natural Logic, Medieval Logic and Formal Semantics. Magyar Filozófiai Szemle 54(4), 58–75 (2010)
Lakoff, G.: Linguistics and Natural Logic. Synthese 22, 151–271 (1970–71)
Lemanski, J.: Concept diagrams and the Context Principle. In J. Lemanski (ed.): Mathematics, Logic and Language in Schopenhauer, 47–72 (2019).
Lemanski, J.: Means or end? On the Valuation of Logic Diagrams. Logic-Philosophical Studies 14, 98–122 (2016)
Linker, S.: Sequent Calculus for Euler Diagrams. In Bellucci F., Perez-Kriz S., Moktefi A., Stapleton G., Chapman P. (ed.), Diagrammatic Representation and Inference. Diagrams 2018. Lecture Notes in Computer Science 10871, 399–407 (2018)
Łukasiewicz, J.: Aristotle’s Syllogistic: From the Standpoint of Modern Formal Logic. 2nd ed. Clarendon Press, Oxford (1957)
Lumpe, A.: Das geheimnisvolle Auftauchen der sogenannten Galenischen Schlußfigur im Mittelalter. In Bäumer, R., Chrysos, E., Grohe, J., Meuthen, E., Schnith, K. (ed.) Synodus: Beiträge zur Konzilien- und allgemeinen Kirchengeschichte. FS für Walter Brandmüller. Schöningh, Paderborn, München, Wien, Zürich, 166–177 (1997)
Macbeth, D.: Realizing Reason: A Narrative of Truth and Knowing. Oxford University Press, Oxford (2014)
Martin, J. M.: Aristotle’s Natural Deduction Reconsidered. History and Philosophy of Logic 18(1), 1–15 (1997)
Masoud, S.H.: The Epistemology of Natural Deduction. PhD thesis, University of Alberta (2015)
Mineshima, K., Okada, M., Takemura, R.: A Diagrammatic Inference System with Euler Circles. Journal of Logic, Language and Information 21(3), 365–391 (2012)
Moktefi, A., Shin, S.-J.: A History of Logic Diagrams. In Gabbay, D.M., Pelletier, F.J., Woods, J. (ed.) Logic: A History of its Central Concepts. Burlington, 611–683 (2012)
Nilsson, J.F.: In Pursuit of Natural Logics for Ontology-Structured Knowledge Bases. In Makris, N. (ed.) The Seventh International Conference on Advanced Cognitive Technologies and Applications, COGNITIVE 2015, Nice, France, March 22–27. Curran, Red Hook/NY, 42–46 (2015)
Patzig, G.: Aristotle’s Theory of the Syllogism. Reidel, Dordrecht, Holland (1968)
Schopenhauer, A.: Philosophische Vorlesungen, Vol. I. Ed by F. Mockrauer. (= Sämtliche Werke. Vol. 9. Ed. by P. Deussen). Piper, München (1913)
Taddelius, S. (& Faust, J.): Quarta figura, quam Galenus medicus et logicus doctissimus invenit. Staedelius, Argentoratum (1659)
Tennant, N.: Aristotle’s Syllogistic and Core Logic. History and Philosophy of Logic 35(2), 120–147 (2014)
Acknowledgements
We would like to thank Jason Costanzo and Jørgen Fischer Nilsson for helpful comments.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Schüler, H.M., Lemanski, J. (2020). Arthur Schopenhauer on Naturalness in Logic. In: Lemanski, J. (eds) Language, Logic, and Mathematics in Schopenhauer. Studies in Universal Logic. Birkhäuser, Cham. https://doi.org/10.1007/978-3-030-33090-3_10
Download citation
DOI: https://doi.org/10.1007/978-3-030-33090-3_10
Published:
Publisher Name: Birkhäuser, Cham
Print ISBN: 978-3-030-33089-7
Online ISBN: 978-3-030-33090-3
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)