Human Being and Mathematics Logical and Mathematical Thinking | SpringerLink
Skip to main content
Springer Nature Link
Log in

Human Being and Mathematics Logical and Mathematical Thinking

  • Conference paper
Conceptual Structures: Leveraging Semantic Technologies (ICCS 2009)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5662))

Included in the following conference series:

  • 701 Accesses

Summary

Logical thinking as an expression of human reason grasps the actual reality by the basic forms of thinking: concept, judgment, and conclusion. Mathematical thinking abstracts from logical thinking to disclose a cosmos of forms of potential realities hypothetically. Mathematics as a form of mathematical thinking can therefore support humans within their logical thinking about realities which, in particular, promotes sensible actions. This train of thought has been convincingly differentiated by Peirce’s philosophical pragmatism and concretized by a “contextual logic” invented by members of the mathematics department at the TU Darmstadt.

This article is an English version of the German publication [Wi01b].

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Apel, K.-O.: Der Denkweg von Charles Sanders Peirce. Suhrkamp-Taschenbuch Wissenschaft 141, Frankfurt (1975)

    Google Scholar 

  2. Arnauld, A., Nicole, P.: La Logique ou l’Art de penser. Sixième Édition revue et de nouveau augmentée. A Amsterdam, Chez Abraham Wolfgang (1685)

    Google Scholar 

  3. Biedermann, K.: A foundation of a theory of trilattices. Dissertation, TU Darmstadt 1998. Shaker Verlag, Aachen (1998)

    Google Scholar 

  4. Boole, G.: An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities. Macmillan, Basingstoke (1954); Reprented by Dover Publ., New York (1958)

    MATH  Google Scholar 

  5. Bourbaki, N.: Die Architektur der Mathematik. In: Otte, M. (Hrsg.) Mathematiker über Mathematik, pp. 140–159. Springer, Heidelberg (1974)

    Chapter  Google Scholar 

  6. Burch, R.W.: A Peircean reduction thesis. Texas Tech University Press

    Google Scholar 

  7. Dau, F., Wille, R.: On the modal understanding of triadic contexts. In: Decker, R., Gaul, W. (eds.) Classification and information processing at the turn of the millennium, pp. 83–94. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  8. Duden - Das große Wörterbuch der deutschen Sprache in 8 Bänden. 2. Aufl. Dudenverlag, Mannheim 1993–1995, S(2145) (1993–1995)

    Google Scholar 

  9. Eklund, P., Groh, B., Stumme, G., Wille, R.: A contextual-logic extension of TOSCANA. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS (LNAI), vol. 1867, pp. 453–467. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  10. Eschenfelder, D., Kollewe, W., Skorsky, M., Wille, R.: Ein Erkundungssystem zum Baurecht: Methoden der Entwicklung eines TOSCANA-Systems. In: Stumme, G., Wille, R. (Hrsg.) Begriffliche Wissensverarbeitung: Methoden und Anwendungen, pp. 254–272. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  11. Fahrenbach, H.: Mensch. In: Krings, H., Baumgartner, H.M., Wild, C. (Hrsg.) Handbuch philosophischer Grundbegriffe, pp. 888–913. Kösel-Verlag, München (1973)

    Google Scholar 

  12. Ganter, B., Wille, R.: Formale concept analysis: mathematical foundation. Springer, Heidelberg (1999)

    Book  MATH  Google Scholar 

  13. Hartung, G.: Topological representation of lattices: an approach via formal concept analysis. Dissertation, TU Darmstadt 1992 (1992)

    Google Scholar 

  14. Heidegger, M.: Die Frage nach dem Ding. Niemeyer, Tübingen (1962)

    Google Scholar 

  15. Hegel, G.W.F.: Phänomenologie des Geistes. Suhrkamp Taschenbuch Wissenschaft 603, Frankfurt (1986)

    Google Scholar 

  16. Hereth Correia, J.: Towards mathematical foundations of concept-oriented databases: relation graphs and contextual logic. Dissertation, TU Dresden 2008 (2008)

    Google Scholar 

  17. Hersh, R.: What is mathematics, really? Oxford University Press, New York (1997)

    MATH  Google Scholar 

  18. Kant, I.: Werke. Bd. 2: Vorkritische Schriften bis 1768. Wissenschaftliche Buchgesellschaft, Darmstadt (1983)

    Google Scholar 

  19. Kant, I.: Werke. Bd. 5: Schriften zur Metaphysik und Logik. Wissenschaftliche Buchgesellschaft, Darmstadt (1983)

    Google Scholar 

  20. Karcher, G.L.: Konstrastive Untersuchung von Wortfeldern im Deutschen und Englischen. Peter Lang, Frankfurt (1979)

    Google Scholar 

  21. Kipke, U., Wille, R.: Formale Begriffsanalyse erläutert an einem Wortfeld. LDV-Forum 5, 31–36 (1987)

    Google Scholar 

  22. Kitcher, P.: The nature of mathematical knowledge. Oxford University Press, Oxford (1984)

    MATH  Google Scholar 

  23. Lehmann, F., Wille, R.: A triadic approach to formal concept analysis. In: Ellis, G., Rich, W., Levinson, R., Sowa, J.F. (eds.) ICCS 1995. LNCS (LNAI), vol. 954, pp. 32–43. Springer, Heidelberg (1995)

    Chapter  Google Scholar 

  24. Lengnink, K., Prediger, S.: Mathematisches Denken in der Linearen Algebra. Zentralblatt für Didaktik 32, 111–122 (2000)

    Article  Google Scholar 

  25. Mineau, G., Stumme, G., Wille, R.: Conceptual structures represented by conceptual graphs and formal concept analysis. In: Tepfenhart, W., Cyre, W. (eds.) ICCS 1999. LNCS (LNAI), vol. 1640, pp. 423–441. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  26. Peirce, C.S.: Schriften zum Pragmatismus und Pragmatizismus. Herausgegeben von K.-O. Apel. Suhrkamp-Taschenbuch Wissenschaft 945, Frankfurt (1991)

    Google Scholar 

  27. Peirce, C.S.: Reasoning and the logic of things. In: Ketner, K.L., Putnam, H. (eds.), Havard University Press, Cambridge (1992)

    Google Scholar 

  28. Peirce, C.S.: The Essential Peirce (1893-1913). Edited by the Peirce Edition Project, vol. 2. Indiana University Press, Bloomington (1998)

    MATH  Google Scholar 

  29. Piaget, J.: Einführung in die genetische Erkenntnistheorie. Suhrkamp-Taschenbuch Wissenschaft 6, Frankfurt (1973)

    Google Scholar 

  30. Prediger, S.: Kontextuelle Urteilslogik mit Begriffsgraphen. Ein Beitrag zur Restrukturierung der mathematischen Logik. Dissertation, TU Darmstadt 1998. Shaker Verlag, Aachen (1998)

    Google Scholar 

  31. Prediger, S.: Mathematische Logik in der Wissensverarbeitung: Historisch-philosophische Gründe für eine Kontextuelle Logik. Mathematische Semesterberichte 47, 165–191 (2000)

    Article  MathSciNet  Google Scholar 

  32. Prediger, S., Wille, R.: The lattice of concept graphs of a relationally scaled context. In: Tepfenhart, W.M. (ed.) ICCS 1999. LNCS (LNAI), vol. 1640, pp. 401–414. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  33. Priss, U.: Relational concept analysis: semantic structures in dictionaries and lexical databases. Dissertation, TU Darmstadt 1996. Shaker Verlag, Aachen (1998)

    Google Scholar 

  34. Sacarea, C.: Towards a theory of contextual topology. Dissertation, TU Darmstadt 2000. Verlag Shaker, Aachen (2001)

    Google Scholar 

  35. Seiler, T.B.: Begreifen und Verstehen. Ein Buch über Begriffe und Bedeutungen. Verlag Allgemeine Wissenschaft, Mühltal (2001)

    Google Scholar 

  36. Sowa, J.F.: Conceptual structures: information processing in mind and machine. Addison-Wesley, Reading (1984)

    MATH  Google Scholar 

  37. Sowa, J.F.: Conceptual graph summary. In: Nagle, T.E., Nagle, J.A., Gerholz, L.L., Eklund, P.W. (eds.) Conceptual structures: current research and practice, pp. 3–51. Ellis Horwood (1992)

    Google Scholar 

  38. Stumme, G., Wille, R. (Hrsg.): Begriffliche Wissensverarbeitung: Methoden und Anwendungen. Springer, Heidelberg (2000)

    Google Scholar 

  39. Vogt, F.: Bialgebraic contexts. Dissertation, TU Darmstadt 1994. Verlag Shaker, Aachen (1994)

    Google Scholar 

  40. Wagner, H.: Begriff. In: Krings, H., Baumgartner, H.M., Wild, C. (Hrsg.) Handbuch philosophischer Grundbegriffe, 1st edn., pp. 191–209. Kösel-Verlag, München (1973)

    Google Scholar 

  41. Wille, R.: Bedeutungen von Begriffsverbänden. In: Ganter, B., Wille, R., Wolff, K.E. (Hrsg.) Beiträge zur Begriffsanalyse. B.I.-Wissenschaftsverlag, Mannheim (1987)

    Google Scholar 

  42. Wille, R.: Begriffsdenken: Von der griechischen Philosophie bis zur Künstlichen Intelligenz heute. Diltheykastanie, Ludwig-Georgs-Gymnasium, Darmstadt, 77–109 (1995)

    Google Scholar 

  43. Wille, R.: Restructuring mathematical logic: an approach based an Peirce’s pragmatism. In: Ursini, A., Agliano, P. (eds.) Logic and Algebra, vol. 196, pp. 267–281. Marcel Dekker, New York

    Google Scholar 

  44. Wille, R.: Conceptual graphs and formal concept analysis. In: Delugach, H.S., Keeler, M.A., Searle, L., Lukose, D., Sowa, J.F. (eds.) ICCS 1997. LNCS (LNAI), vol. 1257, pp. 290–303. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  45. Wille, R.: Triadic concept graphs. In: Mugnier, M.-L., Chein, M. (eds.) ICCS 1998. LNCS (LNAI), vol. 1453, pp. 194–208. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  46. Wille, R.: Bildung und Mathematik. Mathematische Semesterberichte 47, 11–25 (2000)

    Article  MathSciNet  Google Scholar 

  47. Wille, R.: Contextual logic summary. In: Stumme, G. (ed.) Working with conceptual structures: Contributions to ICCS 2000, pp. 265–276. Shaker-Verlag, Aachen (2000)

    Google Scholar 

  48. Wille, R.: Begriffliche Wissensverarbeitung: Theorie und Praxis. Informatik Spektrum 23, 357–369 (2000)

    Article  Google Scholar 

  49. Wille, R.: Lecture notes on conceptual logic of relations. FB4 Preprint, TU Darmstadt (2000)

    Google Scholar 

  50. Wille, R.: Lebenswelt und Mathematik. In: Hauskeller, C., Liebert, W., Ludwig, H. (Hrsg.) Wissenschaft verantworten: soziale und ethische Orientierung in der Technischen Zivilisation, pp. 51–68. Agenda-Verlag, Münster (2001)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Mathematik, Technische Universität Darmstadt, Schloßgartenstr. 7, D–64289, Darmstadt

    Rudolf Wille

Authors
  1. Rudolf Wille
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut AIFB, Universität Karlsruhe (TH), 76128, Karlsruhe, Germany

    Sebastian Rudolph

  2. SAP Research Center CEC Dresden, Chemnitzer Strasse 48, 01187, Dresden, Germany

    Frithjof Dau

  3. Higher School of Economics, Department of Applied Mathematics and Information Science, State University, Kirpichnaya 33/5, 105679, Moscow, Russia

    Sergei O. Kuznetsov

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wille, R. (2009). Human Being and Mathematics Logical and Mathematical Thinking. In: Rudolph, S., Dau, F., Kuznetsov, S.O. (eds) Conceptual Structures: Leveraging Semantic Technologies. ICCS 2009. Lecture Notes in Computer Science(), vol 5662. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03079-6_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-03079-6_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-03078-9

  • Online ISBN: 978-3-642-03079-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics