Lecciones Preliminares de Lógica
Lógica para el estudio de Metafísica
Por Ālyssa Nova (Ἀλύσσα Καινούργια)
ADEPTVRIS DOCTRINAM ***
ARS QVAERENDĪ ***
Las presentes lecciones fueron publicadas originalmente en inglés como preliminares al manual del curso «Introducción a la Metafísica» de la prof. Ālyssa Nova. Se ofrece aquí una versión castellana ampliada y enriquecida por Ātrium philosophicum con fines educativos.
El curso se propone alcanzar los siguientes objetivos:
- Presentación del concepto de argumento y las herramientas para evaluar argumentos como válidos o no válidos, sólidos o no sólidos.
- Adquisición de herramientas para reconocer argumentos incompletos (entimemas) y aplicación del principio de caridad.
- Presentación de la notación básica y las formas de inferencia válidas en la lógica proposicional y en la lógica predicativa (o de primer orden).
Tabla de contenidos [ocultar]
Argumentos
Argumentos: Rudīmenta Artis Quaerendī I
Ejercicio 1: Pēnsum I
Validez
Validez: Rudīmenta Artis Quaerendī II
Tabla 1. Ejemplos de argumentos válidos e inválidos: Exempla valida et nōn valida argūmenta
Ejercicio 2: Pēnsum II
Solidez
Solidez: Rudīmenta Artis Quaerendī III
Ejercicio 3: Pēnsum III
Crítica de argumentos
Crítica de argumentos: Rudīmenta Artis Quaerendī IV
Ejercicio 4: Pēnsum IV
El principio de caridad y los entimemas
El principio de caridad y los entimemas: Rudīmenta Artis Quaerendī V
Ejercicio 5: Pēnsum V
Lógica proposicional
Lógica proposicional: Rudīmenta Artis Quaerendī VI
Tabla 2. Algunos conectores lógicos: Index praecipuōrum logicōrum symbolōrum
Ejercicio 6: Pēnsum VI
Algunas formas lógicas: Lēgēs logicae prōpositiōnālis
- Modus ponens
- Simplificación
- Modus tollens
- Silogismo disyuntivo
Ejercicio 7: Pēnsum VII
Lógica predicativa de primer orden
Lógica predicativa de primer orden: Rudīmenta Artis Quaerendī VII
- Primera Parte: Pars I
- Segunda Parte: Pars II
Ejercicio 8: Pēnsum VIII
Tabla 3. Cuatro Reglas de la lógica predicativa: Dē rēgulīs quattuor ad logicam quantitātis
Ejercicio 9: Pēnsum IX
Para quedar en papel
Para quedar en papel: Librī de Rudīmentīs Artis Quaerendī