Automation of aristotelian syllogistic. Logical and phenomenological foundations of the automaton “Syllogismos”

Authors

  • Germán Vargas Guillén Universidad Pedagógica Nacional

DOI:

https://doi.org/10.17533/udea.ef.14983

Keywords:

Syllogismos, automation, Aristotle, phenomenology, axioms, Artificial Intelligence

Abstract

The objective of this article is to show the foundations of the research in which the device Syllogismos have been developed, an automaton (hat: performs inference, identifies the figure and the mode of syllogisms, recognizes and differentiates enthymeme and sophisms; this was developed in Prolog -a platform of Artificial Intelligence (Al)- as pari of a research project tending to represent computationally the mind just as Aristotle conceived it for the case of logic in Organon, for the case of persuasion in Rhetoric, etc. In § 1. the research context is presented: in § 2. the contribution of syllogistics to Al is characterized as well as to the philosophy of the mind: in § 3. the limitations of Aristotelian logic are established for its automation: in f 4. it studies the perspective of research opened with automation projects

|Abstract
= 348 veces | PDF (ESPAÑOL (ESPAÑA))
= 382 veces|

Downloads

Download data is not yet available.

References

ERICSSON, Anders K. & SIMON, Herbert A. (1993). Protocol Analysis. Verbal reports as data. Massachusetts: The MIT Press, 443 p. DOI: https://doi.org/10.7551/mitpress/5657.001.0001

Da COSTA, Newton C. & LEWIN, Renato A. (1995). Lógica para consistente. En: Lógica. Enciclopedia Iberoamericana de Filosofía. No. 7. Madrid: Ed. Trotta, p. 185-204.

DREYEUS, Hubert, (with Stuart Dreyfus). (1985). From Socrates to Expert Systems: The Limits of Calculative Rationality, en: MITCHAM, Carl & HUNINGLAlois. Philosophy and Technology II: Information Technology and Computers in Theory and Practice. Boston Studies in the Philosophy o f Science Series. Reidel. DOI: https://doi.org/10.1007/978-94-009-4512-8_9

FALGUERA LÓPEZ, José L. & MARTÍNEZ VIDAL, Concepción. (1999). La lógica clásica de primer orden. Estrategias de deducción, formalización y evaluación semántica. Madrid: Ed. Trotta, 482 p.

MALDONADO GRANADOS, Luis Facundo. (2001). Análisis de protocolos: posibilidad metodológica para el estudio de procesos cognitivos. Bogotá: Universidad Pedagógica Nacional, 42 p.

MÜNCH, D. (Hrsg.). (1992). Kognitionswissenschaft. Grundlagen, Probleme, Perspektiven (stw 989). Frankfurt: Suhrkamp.

MÜNCH, Dieter. (1993). Intention und Zeichen. Frankfurt: Editorial Suhrkamp, 323 p.

MÜNCH, Dieter. (1990). The Early Work of Husserl and Artificial Intelligence, en: Journal of the British Society for Phenomenology 21,107-120. DOI: https://doi.org/10.1080/00071773.1990.11006889

ROBLES GARCÍA, José A. (1995). Historia de la lógica, en: Lógica. Enciclopedia Iberoamericana de Filosofía, No. 7. Madrid: Ed. Trotta, p. 49-69.

SEARLE, Jhon R. (1990). Mentes, cerebros y máquinas, en: BODEN, Margaret (comp). Filosofía de la Inteligencia Artificial. México: F.C.E., 1994, p. 82-104.

SEARLE, Jhon R. (1992). Intencionalidad. Madrid: Ed. Técnos, 281 p.

SEARLE, Jhon R. (1996). El redescubrimiento de la mente. Barcelona: Ed. Crítica; 269 p.

SEARLE, Jhon. (1984). Mentes, cerebros y ciencias. Barcelona: Ed. Cátedra, 1994,111 p.

SOKOLOWSKI, Robert. (1977). The ideal existence of the judgments, en: Phänomenologische Forschungen, (4)77;p. 86-102.

SOKOLOWSKI, Robert. (1993). Inteligencia natural e inteligencia artificial, en: GRAUBARD Stephen (comp). El nuevo debate sobre la inteligencia artificial. Barcelona: Ed. Gedisa, 59- 80.

VARGAS GUILLEN, Germán. (1999a). Fenomenología e Inteligencia Artificial, en: Estudios de Filosofía, No. 19-20, p. 91-130. DOI: https://doi.org/10.17533/udea.ef.335781

VARGAS GUILLÉN, Germán. (1999b). La noción husserliana del “eidos” platónico, en: Praxis Filosófica. Nueva Serie Nos. 10/11,1999.

VARGAS GUILLÉN, Germán. (2001). Aristóteles y la automatización de la lógica. Una lectura desde la Inteligencia Artificial, en: Estudios de Filosofía, No. 23-24.

VARGAS GUILLÉN, Germán. (2001). Awale. Juego de Discernimiento Moral. (Software realizado en Prolog). Bogotá: Universidad Pedagógica Nacional.

VARGAS GUILLÉN, Germán. (2002). La representación computacional de dilemas morales. Bogotá: Universidad Pedagógica Nacional, Tesis Doctoral (bajo la dirección del Prof. Dr. Luis Facundo Maldonado G Ph. Dr.), 398 p.

Published

2002-07-26

How to Cite

Vargas Guillén, G. (2002). Automation of aristotelian syllogistic. Logical and phenomenological foundations of the automaton “Syllogismos”. Estudios De Filosofía, (26), 323–337. https://doi.org/10.17533/udea.ef.14983

Issue

Section

Original or Research articles

Categories