Читать книгу Lógica básica - Alfonso Cabanzo - Страница 4
Introducción
ОглавлениеEn la actualidad, existen muchos textos de lógica. En el medio académico actual se encuentran los siguientes: Xavier Caicedo, Elementos de lógica y calculabilidad; Alberto Campos, Lógica y geometría griegas anteriores a Euclides; Irving Copi, Introducción a la lógica; Deaño, Introducción a la lógica formal; Gamut, Logic, Language and Meaning; Quine, W. V.; Los métodos de la lógica; Suppes, y Hill, Introducción a la lógica; Páez, Introducción a la lógica moderna; Andrade et ál., Lógica y pensamiento formal. Sobre teoría de conjuntos están: Muñoz, Introducción a la teoría de conjuntos; Badesa et ál., Elementos de lógica formal. Sobre argumentación, Toulmin, Los usos de la argumentación; Fisher, The Logic of rea¡ Arguments; Weston, Las claves de la argumentación; Perelman, El imperio retórico y el Tratado de la argumentación. Muchos de ellos son insuperables. Por ejemplo, no hay un texto que abarque más temas y de manera más clara que el de Copi: argumentación, lógica deductiva e inductiva y probabilidad; su mayor ventaja es la cantidad de ejemplos y ejercicios que trae. Sus mayores desventajas el precio y el hecho de que no explica cómo hacer la mayoría de ejercicios sobre argumentación.
Este libro es una compilación de muchos temas tratados de manera dispersa en todos los texto anteriores, esperando poder aportar un elemento nuevo. Las explicaciones de los ejercicios de lógica se hacen basadas en los problemas que han tenido mis estudiantes en ocho años de enseñanza de la lógica formal. He dictado cursos de lógica, argumentación, semiótica y análisis de textos en la Escuela Colombiana de Ingeniería, la Universidad del Rosario y la Universidad de La Salle. Asimismo, he tenido estudiantes de Ingeniería, Economía, Administración, Psicología, Antropología, Sociología, Historia, Lenguas y, por supuesto, Filosofía.
Este libro, específicamente, está pensado para los alumnos de nuestro medio, pensado para abordar los problemas de lectura y razonamiento que se presentan efectivamente en nuestras aulas de clase. En el contexto colombiano, tan dado al seguimiento de reglas absurdas y burocráticas, así como a saltarse normas básicas de convivencia; estas lecciones se han centrado en el desarrollo de la capacidad de seguir reglas, buscar reglas válidas, en la búsqueda de métodos que nos permitan razonar sobre nuestros actos y sus consecuencias y, obviamente, en el desarrollo de la capacidad de criticar los argumentos presentados en un texto. Muchas de las explicaciones que he dado aquí son el producto de respuestas a las preguntas de estos estudiantes; los consejos, las definiciones dadas, la metodología misma y las explicaciones de algunas deducciones las diseñé específicamente para presentarlas en mis clases, a fin de solucionar dudas sobre los procedimientos.
El apartado sobre lo que los lingüistas llaman pragmática, que es tratado en otros países de manera formal, es un resumen de las herramientas teóricas que uso yo mismo para guiar a mis estudiantes en el análisis de los argumentos que deben formalizar en los cursos de lógica. Los textos reales están llenos de premisas implícitas, cuando no se están presuponiendo indebidamente. Hay innumerables preguntas retóricas, indirectas, análisis, elipsis, ironías, metáforas y, en general, estructuras gramaticales que dificultan la comprensión y el análisis del lenguaje hablado y escrito, sobre todo, si se es un estudiante que apenas entra a la universidad. Por ello, me he dado cuenta de lo invaluable que es saber las bases de la teoría de Actos de habla, no al estilo de Habermas, como fundamento de una posición filosófica abstracta sobre el diálogo, sino al mejor estilo de los lingüistas, como una herramienta que nos suministra métodos prácticos, para entender y producir expresiones del lenguaje aquí y ahora. Es aquí y ahora que se debe entender un argumento como una petición: la petición racional de que se acepte la conclusión en virtud de las premisas que ofrece quien argumenta. Pero, esta fuerza directiva, esta petición, es indirecta muchas veces y los estudiantes no la detectan, haciendo que se confunda muchas veces lo justificado con la justificación. Por ello la introducción de este tema.
En lo posible, he tratado de usar no solo ejemplos y ejercicios inventados, sino también reales, ya sea tomados de textos de lógica misma o bien de textos de filosofía, literatura y artículos de opinión. La lógica es una herramienta para usar en la vida diaria y, a veces, lo olvidamos en los cursos.
Por otra parte, el apartado sobre lógicas no clásicas obedece a una necesidad específica: hay muchas lógicas, pero no en el sentido trivial, ramplón y relativista que se ha adquirido ahora en la academia colombiana, sino en el siguiente: los sistemas formales son innumerables, pues se pueden construir muchos y muy variados, y hay diversas maneras de hacer esto. Pero esta diversidad también es producto de una rigurosidad de pensamiento que no poseen muchos de quienes afirman “metafóricamente” que hay “muchas lógicas”, como la de la “disyunción, excluyente y reduccionista” y la de la “conjunción, abarcadora y holista”.
He diseñado unos árboles de forzamiento semántico para estas lógicas no clásicas, con los cuales se pueden hacer análisis de argumentos sencillos y demostrar su validez. Esta era una herramienta que hacía falta y que no he visto, salvo en el de Páez, con algunas diferencias que los hacen más complejos de manejar, en ninguno de los trabajos mencionados, ni siquiera en el Gamut. La idea es que con estos sistemas formales alternativos se puede iniciar un estudio de contextos en el cual las posibilidades, las creencias, las expresiones jurídicas, como deber y obligación, se pueden estudiar rigurosamente. Esto de manera análoga a como los físicos crean modelos que contrastan continuamente con la realidad que nos circunda. Por supuesto, aquellos sistemas ya estaban creados, pero su enseñanza era oscura y reservada para algunos especialistas en las escuelas de filosofía. Sin embargo, los trabajos de Andrade et ál. (2008) y de Páez (2007) cambiaron esto, pues incorporaron en un sencillo texto los elementos básicos de la lógica intensional. Espero que mi presentación de los árboles también ayude a esta función: aspirantes a críticos literarios, administradores, psicólogos y economistas podrán hacer modelos muy sencillos del funcionamiento de enunciados como “creo que p”, “es posible que p”, “prefiero p” y similares, sin tener que esperar a un posgrado en alguna universidad extranjera. Lo hice pensando en que, así como algunos se entretienen formalizando con sistemas clásicos, puedan hacerlo con sistemas no clásicos sin tanto problema.
El apartado sobre teoría de conjuntos era necesario: primero, para aclarar los conceptos básicos usados en la semántica de la lógica de proposiciones, de la de predicados y de la modal, pero también porque es una herramienta muy útil para el análisis de los fenómenos sociales. Por ello, el énfasis en las definiciones usando conceptos como el de complemento, conjunto referencial y otros. Esta metodología se usa con más o menos rigor en los cursos de semiótica, por ejemplo, pero los estudiantes carecen de los elementos lógicos básicos para entender su funcionamiento y, por ende, para aprovechar al máximo los recursos que el análisis estructura- lista del significado le aportó al estudio de la interpretación de los fenómenos lingüísticos.
Con respecto a la distribución de la obra, soy consciente de que no es la mejor. Habría sido conveniente dar unas pequeñas bases de teoría de conjuntos antes de iniciar el estudio de la semántica formal. Pero, aquella presupone una capacidad de inferencia desarrollada, capacidad que no se obtiene fácilmente a menos que se haya hecho un estudio previo sobre deducción. Por tanto, el estudiante debe saltar de un capítulo a otro para aclarar algunos conceptos; siempre es mejor esto que saltar de un libro a otro cuando el acceso a estos es difícil o costoso. Por ello, se anexa un índice analítico y, asimismo, he numerado y he indicado en el contenido cada regla introducida, cada consejo, cada proposición requerida para entender las demostraciones más complejas. Traté al máximo de no llenar el libro con cadenas extremadamente largas de pruebas, al mejor estilo de los textos de matemáticas, pues finalmente mi público objetivo esperado no sabe más de las tres cosas que vio en su educación secundaria y no está acostumbrado a manejar cadenas largas de teoremas. Espero que el estudiante se interese por profundizar en estas materias cuando aparezcan dudas con respecto a temas eminentemente meta- lógicos y filosóficos, como el de la completitud, o sobre la manera adecuada de formalizar un argumento del lenguaje común. Por esta razón, las referencias, la bibliografía y las posturas críticas en un manual. Veamos pues la distribución del texto.
En el primer capítulo expongo brevemente una distinción entre el pensamiento concreto y el abstracto; con ello, espero ilustrar la importancia de desarrollar este último y el papel que en ello desempeña la práctica de la lógica. Asimismo, explico tres conceptos omnipresentes en toda discusión sobre los razonamientos, pero que casi siempre se dejan de lado: la deducción, la inducción y la abducción.
En el segundo capítulo inicio directamente el estudio de la lógica clásica de proposiciones, esto es, la lógica que se centra en el estudio de los conectores lógicos clásicos: negación, conjunción, etc. El estudio es directo, sin preámbulos, esperando que el lector se familiarice primero con las técnicas sintácticas de manipulación de signos y luego con su interpretación formal. Para suplir este defecto, que hace ver la lógica como un juego, presento una herramienta de análisis del lenguaje en el capítulo tres: la teoría de actos de habla. Con ella brindo herramientas para que el estudiante aprenda a identificar los diferentes usos que se hace de la lengua en el contexto cotidiano y brindo un algoritmo que le ayude a diferenciar textos argumentativos de otros tipos de textos. El capítulo, aunque breve, es el eje central de este libro. Ello debido a que muchos estudiantes pueden dominar muy bien la deducción, pero rara vez pueden aplicar estos conocimientos en sus análisis de argumentos reales. Como dije, muchos de los razonamientos allí expuestos como ejercicios están tomados de libros reales, manuales como el de Copi y Pérez, pero también textos que no buscan ser manuales de argumentación, pensados para justificar una tesis de manera informal y no para hacer ejercicios. Esto hace que su análisis sea enriquecedor.
En el cuarto capítulo presento la lógica de predicados de primer orden, que se centra en el estudio de la estructura interna de las proposiciones, la estructura individuo-predicado lógico. Hay un acápite dedicado a los silogismos categóricos aristotélicos, pero analizados con las herramientas de la lógica de predicados, no como sistema mismo. Ello porque algunos de sus esquemas, si no todos, siguen siendo muy utilizados hoy en día en la práctica académica cotidiana y, por esto, son útiles para aprender a formalizar argumentos reales.
El quinto capítulo es una breve introducción a la teoría de conjuntos y allí muestro algunas ideas sobre cómo aplicar las técnicas conjuntistas a las Ciencias Humanas. Aunque la teoría de grupos ha sido más utilizada para esta labor, su estudio requeriría todo un libro completo, razón por la cual no he podido profundizar más aquí. Brevemente, en el sexto capítulo expongo dos sistemas no clásicos: la lógica modal de proposiciones y la lógica modal de predicados. Si los anteriores capítulos han quedado bien hechos y comprendidos, el entendimiento de esta sesión, muy técnica, será fácil de lograr. Repito muchos de los conceptos antes estudiados, pero mostrando su aplicación en el desarrollo de un sistema más amplio que los expuestos anteriormente.
De acuerdo con la teoría de la información, en ciertos contextos la redundancia garantiza que el mensaje sea captado más fácilmente, salvando así las distorsiones del medio. Espero que la repetición de información sea perdonada por esta razón y ello garantice una comprensión mayor de este trabajo.
Finalmente agradezco, en primer lugar, a mis estudiantes, quienes han tenido que padecer, corrigiendo, los errores de los borradores del libro. Han sido muchos a lo largo del año de elaboración de este, más el año de prueba, de manera que si olvido a alguno pido de antemano disculpas: Isabella Díaz Rengifo, Paula Vanessa Camacho, Daniela Santafé Beltrán y Juan Raúl Loaiza. En segundo lugar, agradezco a mi familia, a mi hermana, que leyó, por supuesto, los borradores, y a todas aquellas personas que colaboraron con la elaboración de esta publicación.
En tercer lugar, agradezco a la Universidad de La Salle por el apoyo al publicar el libro; al vicerrector académico, Hno. Fabio Humberto Coronado Padilla, Fsc; a la Facultad de Ciencias de la Educación, especialmente al Hno. Alberto Prada San Miguel, decano de esta.