Soy un estudiante en el Reino Unido, así que imagino que la estructuración de mi curso es ligeramente diferente a la tuya. Si bien no puedo hacer una recomendación de clase específica, espero que el siguiente esquema de mis estudios en lógica sea de ayuda.
Tomé un curso en mi primer año en la universidad en lógica. Esto cubrió la mayoría de los conceptos básicos: los fundamentos de los conjuntos y las relaciones, la formalización en lógicas proposicionales, de predicados y de identidad y las pruebas en la deducción natural.
Si este es un punto similar en su viaje a través de la lógica, hay dos puntos de partida:
- Filosofía de la lógica
- Lógica adicional
Si descubrió que estaba encantado de completar pruebas, ejecutar formalizaciones y obtener resultados interesantes dentro del curso de lógica simbólica que tomó, le recomendaría un estudio adicional dentro de la lógica en sí. Por ejemplo, podría expandirse hacia lógicas modales más complejas y muchos de los otros lenguajes artificiales complejos que existen. Creo que encontrarás esto más gratificante si eres más un pensador analítico que un pensador crítico .
- ¿Es verdad que los Iluminati dirigen secretamente el mundo?
- ¿Por qué necesitamos enviar misiones a Marte cuando las personas aún mueren de hambre?
- ¿Es posible decir siempre la verdad y ser feliz?
- ¿Cuáles son tus ideas para tener un mundo mejor sin guerra y sin pobreza?
- ¿Qué encuentras difícil de creer?
Alternativamente (y esta es la raíz que saqué) puedes tomar un artículo en Filosofía de la lógica si esto es algo que ofrece tu escuela. En cursos como este verás preguntas como:
- ¿Cuál es la forma correcta de formalizar condicionales indicativos? ¿El principio de explosión proporciona un contraejemplo a la formalización estándar?
- ¿Cuáles son algunas soluciones posibles a la paradoja de Sorites?
Creo que encontrarás esto más gratificante si eres más un pensador crítico que un pensador analítico .
¡Déjame saber qué decides hacer y espero que esto dibuje un poco el territorio!