WikiJool

Resumen. La concepción de una Logica Unica y Universal se explora a traves de la pregunta: >Es la Logica Universal?; lo cual conlleva tambien a preguntarse si tiene algun sentido tal cuestionamiento. Esto motivado por la actual concepcion moderna de la misma y la enorme in uencia que ha tenido en otras areas del conocimiento, tradicionales o de reciente creacion. La naturaleza de la Logica como estudio del razonamiento correcto y sus diversicadas formas actuales de razonar correctamente, ha dado lugar a concebir Logicas y no Logica unica. Esta concepcion se estudia desde una perspectiva losoca y sistemas formales, sean estos semanticos u axiomaticos como instrumentos que dotan de signifcado a la Logica. Abstract. The conceptual analysis of Logic being Universal is explored through the question: Is Logic Universal? which also raised the question of What sense does it have such enquiry? This has been motivated by the modern conceptual status of Logic and its enormous in uence that it currently has in other areas, traditional or of recent creation, of knowledge. The nature of Logic as the study of correct reasoning and all its ramied ways of correct reasoning has led to conceive Logic as not being unique; that is the only one of its kind. This conception of Logic is studied from a philosophical and formal systems perspective; being the formal systems semantically or axiomatically interpreted to give meaning to Logic.

Introducción

El presente artculo esta motivado por el numero especial de la revista logica Universalis, publicado en el 2010, en donde Beziau (2010a) hace un llamado a la comunidad cientca a publicar sobre la pregunta: “Is Logic Universal?” En Beziau (2010a), se sugieren preguntas especifcas con la intenci on de elucidar el contexto de la ambigua y general pregunta. Las preguntas versan de la siguiente forma:

Todos los seres humanos tienen la misma capacidad de razonamiento?
El razonamiento evoluciona? >Las computadoras estan cambiando la mane-

ra de razonar? >Es una demostracion formal en matematicas independiente del tiempo y cultura? >Se razona de manera diferente dependiendo de la si- tuacion y contexto?, >Se utiliza la misma logica en contextos diferentes, sea este cientco o cotidiano? y >Existe una absoluta y verdadera manera de ra- zonar? A continuacion se reproducen las preguntas tal y como Beziau (2010a) las ha planteado. (a) Do all human beings have the same capacity of reasoning? Do men, women, children, Papuans, yuppies, reason in the same way? (b) Does reasoning evolve? Did human beings reason in the same way two cen- turies ago? In the future will human beings reason in the same way? Are computers changing our way of reasoning? Is a mathematical proof indepen- dent of time and culture? © Do we reason in dierent ways depending on the situation? Do we use the same logic for everyday life, in physics, and in questions to do with the economy? (d) Do the dierent systems of logic re ect the diversity of reasoning? (e) Is there any absolute true way of reasoning? Estas preguntas dan una idea de que rumbo tomar, y sin lugar a dudas siguen siendo ambiguas tal cual la pregunta original. El entendimiento que se tiene hasta ahora de lo que es y no es la Logica, y d onde esta ubicada como ciencia del razonamiento correcto, ha generado confusiones en la concepcion de lo que es la Logica y en que contexto se debera contestar sobre la universalidad de la logica. En un esfuerzo por entender tales cuestionamientos, y dar respuesta a todos y cada uno de ellos, varios autores publicaron sus opiniones desde perspectivas diversas, que en opinion del autor del presente ensayo, generaron mas preguntas que respuestas sin una clara lnea de investigacion a seguir (Kayser 2010, Peregrin 2010, McColm 2010, Gaines 2010), por ejemplo. Estos autores se comentaran mas adelante pues dan una idea general de lo que es logica, en donde esta ubicada dentro del razonamiento humano, porque es y no es universal dependiendo del contexto psicologico, formal, informal y del lenguaje natural. De los escritos de Beziau en lo referente a la universalidad de la logica se intuye que la pregunta de la universalidad de la logica va en el sentido de la universalidad de los sistemas l ogicos como objetos matematicos, dicho de otra forma, la universalidad de la logica es en el sentido general Bourbakiano en el que se ha desarrollado el algebra universal de los diversos sistemas algebraicos existentes en Matematicas. Lo anterior no excluye por supuesto contestar que es la logica o que es una logica y de que caractersticas se compone. En este contexto, existen varias propuestas en el sentido Bourbakiano, de construir una logica universal desde una perspectiva moderna, partiendo de G. Fregue, que fue iniciada en la escuela polaca de logica con Alfred Tarski1.