Lógica formal y lógica matemática. Texto guía

El presente libro es principalmente un texto guía para iniciarse en el estudio de la lógica formal y la lógica matemática. Está concebido de manera especial para estudiantes y profesores universitarios de ciencias sociales y humanas, por el tipo de ejemplos y ejercicios que evocan regularmente los lenguajes propios de estas disciplinas. El autor innova en algunas de las formas tradicionales de la enseñanza y el aprendizaje de la lógica conceptual, simbólica y diagramática, de tal manera que los contenidos temáticos puedan ser más asequibles al aprendiz en aquellos asuntos que presentan regularmente mayor dificultad. Este texto, sin embargo, tiene otra particularidad. No solo avanza en el manejo técnico de la lógica clásica sino que indaga desde la filosofía de la lógica y desde algunas de las lógicas no-ortodoxas sobre la importancia y la necesidad de continuar descubriendo, creando y desarrollando otras formas de pensar que se aproximen más al trabajo de los científicos sociales. Particularmente, de otras maneras de razonar que le apuesten a formalizar en menor medida los lenguajes naturales del humano y de 10 humano, al tiempo que, en justa reciprocidad, \'informalicen\' en alguna importante proporción las formas más acartonadas de la lógica hegemónica inculcada en \'Occidente\'. La lógica tradicional, según el autor, se presenta en muchos ámbitos como una impostura frente a la riqueza, variabilidad y complejidad de la racionalidad humana, de cara a los mundos posibles. Considera que la concepción clásica de la lógica adopta un monismo, a veces disfrazado de neutralidad ontológica, epistemológica y axiológica, a partir del cual se ha asumido que hay una única forma de razonar correctamente. Ese monismo lógico estaría afincado, a su vez, en alguna cosmovisión monocular, en la creencia de que \'el mundo\' es real de una sola manera. Estas y otras ideas, por supuesto controvertibles, son sugeridas al lector en algunos de los apartados de este escrito.