Jump to ContentJump to Main Navigation
Show Summary Details
More options …

Journal of Artificial General Intelligence

The Journal of the Artificial General Intelligence Society

3 Issues per year

Open Access
See all formats and pricing
More options …

Is Logic in the Mind or in the World? Why a Philosophical Question can Affect the Understanding of Intelligence

Hanns Sommer / Lothar Schreiber
Published Online: 2012-05-17 | DOI: https://doi.org/10.2478/v10229-011-0014-4


Dreyfus' call ‘to make artificial intelligence (AI) more Heideggerian‘ echoes Heidegger's affirmation that pure calculations produce no ‘intelligence’ (Dreyfus, 2007). But what exactly is it that AI needs more than mathematics? The question in the title gives rise to a reexamination of the basic principles of cognition in Husserl's Phenomenology. Using Husserl's Phenomenological Method, a formalization of these principles is presented that provides the principal idea of cognition, and as a consequence, a ‘natural logic’. Only in a second step, mathematics is obtained from this natural logic by abstraction.

The limitations of pure reasoning are demonstrated for fundamental considerations (Hilbert's ‘finite Einstellung’) as well as for the task of solving practical problems. Principles will be presented for the design of general intelligent systems, which make use of a natural logic.

Keywords: Cognition; Natural logic; Intelligence; Husserl; Hilbert

  • Ayer, A. J. 1956. The problem of knowlegde. Penguin Books, London.Google Scholar

  • Barber, M. 2009. Holism and Horizon: Husserl and McDowell on Non-conceptual Content. Husserl Stud. 25:1-14. doi: 10.1007/s10743-008-9035-5.CrossrefGoogle Scholar

  • Batterman, R. 2009. On the Explanatory Role of Mathematics in Empirical Science. British J. Philosophy of Science 1-25. doi: 10.1093/bjps/axp018.CrossrefGoogle Scholar

  • Benferhat, S. 2010. Interventions and belief cange in possibilistic graphical models. Artificial Intelligence 174(2):177-189.Google Scholar

  • Broonen, J.-P. 2010. Volition and the Theora of Planned Behaviour: How to Fill the Gap Between Intention and Performance? In Dubois, D., ed., Computing Anticipatory Systems, volume 1303, 315-323. CASYS'09 Ninth International Conference.Google Scholar

  • Canestri, J. 2012. Sprache, Neurowissenschaft und Psychoanalyse. Forum Psychoanalyse. DOI:10.1007/s00451-011-0092-6.CrossrefGoogle Scholar

  • Chandrasekharan, S. 2009. Building to Discover: A Common Coding Model. Cognitive Science 33:1059-1086.Google Scholar

  • Chater, N. 2008. Rational and Mechanistic Perspectives on Reinforcement Learning. Cognition. doi: 10.1016/j.cognition.2008.06.014.CrossrefPubMedGoogle Scholar

  • Dreyfus, H. L. 2007. Why Heideggerian AI Failed and how Fixing it would Require making it more Heideggerian. Artificial Intelligenc 171(18):1137-1160.Google Scholar

  • Dürrbaum, A.; Scherm, W.; and Sommer, H. 2008. Systemidentifikation mittels Glaubenskalkül. Automatisierungstechnik 7:350-356.Google Scholar

  • Erdinast-Vulcan, D. 2007. That Which ‘Has No Name in Philosophy’: Merleau-Ponty and the Language of Literature. Hum. Stud. 30:395-409. doi: 10.1007/s10746-007-9069-2.CrossrefGoogle Scholar

  • Froese, T., and Ziemke, T. 2009. Enactive Artificial Intelligence: Investigating the Systematic Organization of Life and Mind. Artificial Intelligence 173(3-4):466-500.Google Scholar

  • Goertzel, B., and Pennachin, C. 2007. Artificial general intelligence. New York: Springer.Google Scholar

  • Hajicek, P., and Tolar, J. 2009. Intrinsic Properties of Quantum Systems. Found. Phys. doi: 10.1007/s10701-009-9296-7.CrossrefGoogle Scholar

  • Hartimo, M. 2011. Husserl's Pluralistic Phenomenology of Mathematics. Philosophia Mathematica. DOI:10.1093phimat/nkr032.Google Scholar

  • Hernandez-Grallo, J., and Dowe, D. 2010. Measuring Universal Intelligence: Towards an Anytime Intelligence Test. Artificial Intelligence. doi: 10.1016/j.artint.2010.09.006.CrossrefGoogle Scholar

  • Herzenberg, C. 2008. Grete Hermann: An early contributor to Quantum Theory. arXiv: 0812.3986[quant-ph].Google Scholar

  • Hilbert, D. 1964. Hilbertiana, fünf Aufsätze. Darmstadt: Wissenschaftl. Buchgesellschaft.Google Scholar

  • Hopp, W. 2009. Phenomenology and Fallibility. Husserl Stud. 25:1-14.CrossrefGoogle Scholar

  • Hornberger, K. 2009. Introduction to Decoherence Theory. Lect. Notes Phys. 768:223-278.Google Scholar

  • Husserl, E. 1913. Ideen zu einer reinen Phänomenologie und einer phänomenologischen Philosophie. Hamburg: Meiner.Google Scholar

  • Hutter, M. 2009a. Open Problems in Universal Induction and Intelligence. arXiv: 0907.0746v1[cs.AI]4July2009.Google Scholar

  • Hutter, M. 2009b. Feature Reinforcement Learning: Part I. Unstructured MDPs. J. Artificial General Intelligence 1:3-24.Google Scholar

  • Kosowski, L. 2012. The structure of noema in the process of objectivation. Husserl Stud. doi: 10.1007/s10743-012-9102-9.CrossrefGoogle Scholar

  • Kuusela, M.; Vatanen, T.; Malmi, E.; Raiko, T.; Aaltonen, T.; and Nagai, Y. 2011. Semi-supervised anomaly detection - towards model independent searches of new physics. arXiv: 1102.3329v1[physics.data-an] 14 Dec 2011.Google Scholar

  • Legg, S., and Hutter, M. 2007. Universal Intelligence: A Definition of Machine Intelligence. Minds and Machines 17(4):391-444.Google Scholar

  • Leitgeb, H., and Ladyman, J. 2008. Criteria of Identity and Structuralist Ontology. Philosophia Mathematica III(16):388-396.Google Scholar

  • Macbeth, D. 2011. Seeing how it goes: Paper-and-pencil reasoning in mathematical practice. Philosophia Mathematica. DOI:10.1093phimat/nkr006.Google Scholar

  • Maddy, P. 2007. Second Philosophy: A Naturalistic Method. Oxford: Oxford University Press.Google Scholar

  • Mittelstaedt, P. 2011. The problem of interpretation of modern physics. Foundation of Physics. DOI:10.1007/10701-011-9571-2.CrossrefGoogle Scholar

  • Moran, D. 2008. Husserl's Transcendental Philosophy and the Critique of Naturalism. Cont. Philos. Rev. doi: 10.1007/s11007-008-9088-3.CrossrefGoogle Scholar

  • Pollock, J. L. 2006. Against Optimality: Logical Foundations for Decision-Task Planning in Autonomous Agents. Computational Intelligence 20(1):1-25.CrossrefGoogle Scholar

  • Schlosshauer, M. 2008. Classicality, the Ensemble Interpretation, and Decoherence: Resolving the Hyperion Dispute. Found. Phys. doi: 10.1007/s10701-008-9237-x.CrossrefGoogle Scholar

  • Schmid, U., and Kitzelmann, E. 2011. Inductive rule learning on the knowledge level.Google Scholar

  • Schreiber, L., and Sommer, H. 2010. Can Mathematics be Justified by Natural Logic? In Dubois, D., ed., Computing Anticipatory Systems, volume 1303, 189-198. CASYS'09 Ninth International Conference.Google Scholar

  • Sher, G. 2010. Is logic in the mind or in the world? Synthese. doi: 10.1007/S11229-010-9796-1.CrossrefGoogle Scholar

  • Sommer, H. 2009. Emergence of Classical Reality From a Quantum Mechanical Background. Chaos, Solitons and Fractals 39:1027-1036.Google Scholar

  • Srivastava, S.; Immerman, N.; and Zilberstein, S. 2010. A New Representation and Associated Algorithms for Generalized Planning. Artificial Intelligence. doi: 10.1016/j.artint.2010.10.006.CrossrefGoogle Scholar

  • Stenlund, S. 2010. Different senses of finitude: An inquiry into Hilbert's finitism. Synthese. doi: 10.1007/S11229-010-9823-2.CrossrefGoogle Scholar

  • Stuckey, W.; Silberstein, M.; and Cifone, M. 2009. Reconciling Spacetime and the Quantum: Relational Blockworld and the Quantum Liar Paradox. Found. Phys. 38:348-383. doi: 10.1007/s10701-008-9206-4.CrossrefGoogle Scholar

  • Symons, J. 2008. Computational Models of Emergent Properties. Minds and Machines. doi: 10.1007/s11023-008-9120-8.CrossrefGoogle Scholar

  • Tarrazo, M. 2004. Schopenhauer's prolegomenon to fuzziness. Fuzzy Optimization and Decision Making 3:227-254.Google Scholar

  • Tversky, A., and Kahnemann, D. 1983. Extension versus intuitive reasoning: the conjunction fallacy in probabiliy judgment. Psychological Review 90(4):293-315.Google Scholar

  • Veness, J.; Ng, K.; Hutter, M.; and Silver, D. 2009. A Monte Carlo AIXI Approximation. arXiv: 0909.0801v1[cs.AI]4Sep, 2009.Google Scholar

  • Wang, P. 1994. From inheritance relations to nonaxiomatic logic. Int. J. of approximate Reasoning 11:281-319.Google Scholar

  • Wang, P. 2007. Three Fundamental Misconceptions of Artificial Intelligence. J. Experimental and Theoretical Artificial Intelligence 19(3):249-268.Google Scholar

  • Wang, P. 2009. Formalization of Evidence: Comparative Study. J. Artificial General Intelligence 1:25-53.Google Scholar

  • Wang, P. 2011. From NARS to a thinking machine. http://www.cis.temple.edu/~pwang/

  • Weyl, H. 1968. Gesammelte Werke, volume 3. Berlin, Heidelberg, New York: Springer. chapter The Gost of Modality, 684-709.Google Scholar

  • Yager, R. 1994. Aggregation operators and fuzzy systems modeling. Fuzzy Sets and Systems 67(2):129-145.Google Scholar

  • Zeh, H. 1999. The Meaning of Decoherence. arXiv: quant-ph/9905004v2 29.6.1999.Google Scholar

  • Zuh, D. 2011. Wogegen wandte sich Husserl 1891? Husserl Stud. doi: 10.1007/s10743-11-9100-3.CrossrefGoogle Scholar

  • Zurek, W. 1998. Relative States and the Environment: Einselection, and the Existential Interpretation. Philos. Trans. R. Soc. Lond. Ser. A 356:1793-1821. arXiv: [quant-ph]9805065.Google Scholar

  • Zurek, W. 2007. Relative States and the Environment: Einselection, Envariance, Quantum Darwinismus, and the Existential Interpretation. arXiv: 0707.2832v1[quant-ph]19.7.2007.Google Scholar

About the article

Published Online: 2012-05-17

Citation Information: Journal of Artificial General Intelligence, Volume 3, Issue 1, Pages 25–47, ISSN (Online) 1946-0163, DOI: https://doi.org/10.2478/v10229-011-0014-4.

Export Citation

This content is open access.

Citing Articles

Here you can find all Crossref-listed publications in which this article is cited. If you would like to receive automatic email messages as soon as this article is cited in other publications, simply activate the “Citation Alert” on the top of this page.

Axel Dürrbaum, Andreas Kroll, and Hanns-Jakob Sommer
at - Automatisierungstechnik, 2012, Volume 60, Number 10, Page 600

Comments (0)

Please log in or register to comment.
Log in