Skip to main content
SpringerLink
Log in

Usage of “Formal Rules” in Human Intelligence Investigations

  • Chapter
Beyond Artificial Intelligence

Part of the book series: Topics in Intelligent Engineering and Informatics ((TIEI,volume 4))

  • 1509 Accesses

Abstract

In this paper, we challenge the anti-mechanism in the philosophy of mind and artificial intelligence by explaining that human intelligence, expertise, and skills acquaintance, relying mainly on the unconscious instinct could have been taken in formal rules. I do so, showing thereby the usage of the formal rules in unconscious processes for the study of human intelligence was raised in the second half of the 20th century by psychoanalyst Matte Blanco. In this way, by exploring the bi-logic frameworkwith the general rules of unconscious processes, some positions that antimechanism has already taken should be re-examined in an interdisciplinary manner.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Béziau, J.-Y.: Classical Negation Can Be Expressed by One of Its Halves. Logic Journal of the Interest Group in Pure and Applied Logics 7, 145–151 (1999)

    Article  MATH  Google Scholar 

  2. Béziau, J.-Y.: Logica Universalis, 2nd edn. Birkhäuser, Basel (2007)

    Book  MATH  Google Scholar 

  3. Béziau, J.-Y.: Paraconsistent Logic! Sorites 17, 17–26 (2006)

    Google Scholar 

  4. Béziau, J.-Y.: S5 is a Paraconsistent Logic and so is First-Order Classical Logic. Logical Investigations 9, 301–309 (2002)

    Google Scholar 

  5. Béziau, J.-Y.: What is Paraconsistent Logic? In: Batens, D. (ed.) Frontiers of Paraconsistent Logic, pp. 95–111. Research Studies Press, Baldock (2000)

    Google Scholar 

  6. Blanco, M.: Thinking, Feeling, and Being. Routledge, London (1988)

    Google Scholar 

  7. Blanco, M.: The Unconscious as Infinite Sets: An Essay in Bi-Logic. Duckworth, London (1975)

    Google Scholar 

  8. Bomford, R.: The Symmetry of God. Free Association Books (1999)

    Google Scholar 

  9. Clarke, C.J.S.: A New Quantum Theoretical Framework for Parapsychology. European Journal of Parapsychology 23(1), 3–30 (2008)

    Google Scholar 

  10. Clarke, C.J.S.: On the nature of bilogic: the work of Ignacio Matte Blanco (2006), http://www.scispirit.com/matteblanco5web.html

  11. Clarke, C.J.S.: Both/And Thinking: Physics and Reality. In: Clarke, C.J.S. (ed.) Ways of Knowing: Science and Mysticism Today, pp. 143–158. Imprint Academic Publisher (2005)

    Google Scholar 

  12. Dreyfus, H.: What Computers Still Can’t Do: A Critique of Artificial Reason. MIT Press, Cambridge (1992)

    Google Scholar 

  13. Dreyfus, H., Dreyfus, S.: Mind Over Machine: The Power of Human Intuition and Expertise in the Era of the Computer. Free Press, New York (1986)

    Google Scholar 

  14. Dreyfus, H.: What Computers Can’t Do: The Limits of Artificial Intelligence (revised) (1979)

    Google Scholar 

  15. Dreyfus, H.: What Computers Can’t Do: The Limits of Artificial Intelligence (1972)

    Google Scholar 

  16. Freud, S.: The Essentials of Psycho-Analysis (Vintage Classics), Vintage Classics, New edition (2005)

    Google Scholar 

  17. Freud, S.: The Unconscious (Penguin Modern Classics Translated Texts), Penguin Classics (2005)

    Google Scholar 

  18. Fu, T.-K., Kutz, O.: The Analysis and Synthesis of Logic Translation. In: Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference: AI, Cognitive Semantics, Computational Linguistics and Logics (AICogSem), pp. 289–294. AAAI Press (2012)

    Google Scholar 

  19. Fu, T.-K.: A Formal Framework for the Unconscious Processes in Human Intelligence. In: Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference: AI, Cognition and AI: Comparing Human Capability and Experience with Today’s Computer Models, pp. 359–362. AAAI Press (2012)

    Google Scholar 

  20. Fu, T.-K.: A Study on Bi-logic (A Reflection on Wittgenstein). In: Munz, V.A., Puhl, K., Wang, J. (eds.) Language and World. Papers of the 32nd International Wittgenstein Symposium, Kirchberg am Wechsel/Lower Austria., vol. XVII, pp. 142–144. The Wittgenstein Archives at the University of Bergen (WAB)

    Google Scholar 

  21. Gabbay, D.: What is a Logical System? Oxford University Press (1994)

    Google Scholar 

  22. Hameroff, S.: Consciousness, Neurobiology and Quantum Mechanics: The Case for a Connection. In: Tuszynski, J. (ed.) The Emerging Physics of Consciousness, pp. 193–253. Springer (2007)

    Google Scholar 

  23. Jech, T.: Set Theory: The Third Millennium Edition, Revised and Expanded. Springer (2003)

    Google Scholar 

  24. Kutz, O., Mossakowski, T., Dominik, L.: Carnap, Goguen, and the Hyperontologies, Logica Universalis. Special Issue on “Is Logic Universal?” 4(2), 255–333 (2010)

    Google Scholar 

  25. Ma, Y., Hitzler, P.: Distance-based Measures of Inconsistency and Incoherency for Description Logics. In: Haarslev, V., Toman, D., Weddell, G. (eds.) Proceedings of the 23rd International Workshop on Description Logics (DL 2010), CEUR Workshop Proceedings, Waterloo, Canada, vol. 573, pp. 475–485 (2010)

    Google Scholar 

  26. Ma, Y., Hitzler, P., Lin, Z.: Algorithms for Paraconsistent Reasoning with OWL. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol. 4519, pp. 399–413. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  27. Mossakowski, T., Goguen, J., Diaconescu, R., Tarlecki, A.: What is a Logic Translation? Logica Universeralis 3(1), 95–124 (2009)

    Article  Google Scholar 

  28. Mossakowski, T., Goguen, J., Diaconescu, R., Tarlecki, A.: What is a Logic (revised version). In: Béziau, J.-Y. (ed.) Logica Universalis, pp. 111–133. Birkhäuser Verlag, Basel (2007)

    Chapter  Google Scholar 

  29. Odintsov, S.P., Wansing, H.: Inconsistency-tolerant Description Logic. Part II: A tableau algorithm for CALCC. Journal of Applied Logic 6(3), 343–360 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  30. Odintsov, S.P., Wansing, H.: Inconsistency-tolerant Description Logic. Motivation and Basic Systems. In: Hendricks, V., Malinowski, J. (eds.) Trends in Logic. 50 Years of Studia Logica, no. 21 in Trends in Logic, pp. 301–335. Kluwer Academic Publishers (2003)

    Google Scholar 

  31. Priest, G., Koji, T.: Paraconsistent Logic. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy (Summer 2009 edition), http://plato.stanford.edu/archives/sum2009/entries/logic-paraconsistent/

  32. Priest, G.: An Introduction to Non-Classical Logic. Cambridge University Press (2001)

    Google Scholar 

  33. Priest, G.: Paraconsistency and Dialetheism. In: Gabbay, D., Woods, J. (eds.) Handbook of the History and Philosophy of Logic (2000)

    Google Scholar 

  34. Rayner, E.: Unconscious Logic: An Introduction to Matte Blanco’s Bi-Logic and its Uses. Harvard University Press (1995)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Bremen, Bremen, Germany

    Tzu-Keng Fu

Authors
  1. Tzu-Keng Fu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Tzu-Keng Fu .

Editor information

Editors and Affiliations

  1. Institute of Computer Science, Silesian University, Bezruc Sq. 13, Opava, 746 01, Czech Republic

    Jozef Kelemen

  2. , New Technologies Research Centre, University of West Bohemia, Univerzitni 8, Plzen, 306 14, Czech Republic

    Jan Romportl

  3. , New Technologies Research Centre, University of West Bohemia, Univerzitni 8, Plzen, 306 14, Czech Republic

    Eva Zackova

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Fu, TK. (2013). Usage of “Formal Rules” in Human Intelligence Investigations. In: Kelemen, J., Romportl, J., Zackova, E. (eds) Beyond Artificial Intelligence. Topics in Intelligent Engineering and Informatics, vol 4. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34422-0_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-34422-0_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-34421-3

  • Online ISBN: 978-3-642-34422-0

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation