¿Cuáles son los mejores archivos PDF gratuitos para alguien que quiere aprender lógica, y en qué orden se deben leer?

Answer 1

En parte, depende de lo que quieras aprender sobre lógica y por qué. Al menos tres disciplinas, a saber, filosofía, matemáticas y ciencias de la computación, hacen un uso extensivo de la lógica. Cada disciplina aborda el tema de una manera algo diferente, de acuerdo con sus propias necesidades e intereses.

• Los filósofos se preocupan por la lógica porque dedican mucho tiempo al razonamiento. Así que se espera que la mayoría de los filósofos (en la tradición analítica) aprendan suficiente lógica para poder analizar y evaluar con confianza varios tipos de argumentos. Lo que cuenta como “suficiente” es algo controvertido, pero a menudo incluye un poco de lógica “formal” e “informal”. (‘Lógica formal’ implica traducir declaraciones y argumentos a notación simbólica y manipularlos de acuerdo con un conjunto fijo de reglas de inferencia. ‘Lógica informal’ es un término general para las formas de estudiar el razonamiento que no hace un uso intensivo de los símbolos y la maquinaria matemática, incluido el estudio de las falacias, la retórica, el análisis de argumentos informales, etc.) La lógica también está estrechamente relacionada con varias ramas y problemas dentro de la filosofía, por ejemplo, la filosofía de las matemáticas, la semántica y la filosofía del lenguaje, el estudio de las paradojas. La epistemología formal, y la teoría de la modalidad. Los especialistas en estas áreas a menudo aprenden bastante sobre las partes particulares de la lógica que son relevantes para sus problemas.

• Los matemáticos también se preocupan por la lógica por un par de razones. Primero, porque las matemáticas son una ciencia de la prueba y la argumentación, y es importante que haya un conjunto claro y riguroso de reglas que especifiquen lo que cuenta como una inferencia matemática legítima. Lógica formal (generalmente lógica de primer orden, en particular) sirve para ese propósito. Lógica matematica también está profundamente interconectado con “áreas de contenido” como la teoría de conjuntos, la teoría de modelos, la metalógica, la teoría de la computabilidad y la teoría de categorías. Los matemáticos a veces usan el término “lógico” para referirse a cualquier persona que trabaje en una de estas áreas casi fundamentales.

• Tengo mucho menos conocimiento sobre ciencias de la computación que sobre filosofía y matemáticas, pero creo que la gente de CS usa la lógica tanto en el diseño de hardware (para construir cosas como ‘puertas lógicas’) como en la programación (al escribir código, diseñar algoritmos y esa clase de cosas). También hay una cierta superposición entre la informática teórica y la matemática pura; las personas en ambas disciplinas se preocupan profundamente por cuestiones de lógica como la complejidad computacional, la aleatoriedad, las máquinas de Turing, etc.

En cualquier caso, debe quedar claro que las fuentes de diferentes disciplinas le darán diferentes imágenes de qué es la lógica y para qué sirve. Si solo quiere aprender a analizar argumentos y razonar más cuidadosamente en situaciones cotidianas, probablemente debería aprender la lógica de un filósofo. Si desea aprender a codificar o construir computadoras, debe aprender de una persona de CS. Si (por alguna razón) sientes curiosidad por el papel de la lógica en los fundamentos de las matemáticas, deberías aprender de un matemático.

Si tuviera que recomendar un solo libro, probablemente sugeriría la Introducción a la lógica de Gensler (disponible libremente, pero probablemente de manera ilegal, aquí: Página en f3.tiera.ru.) Lo he usado para enseñar lógica a estudiantes de pregrado con éxito. veces, y cubre bastante material (incluidos los aspectos formales, informales e históricos de la lógica) de una manera bastante accesible.