¿Cuál es una buena fuente para refrescar mis habilidades de lógica formal antes de la escuela de posgrado?

Necesito flexionar mis músculos de la lógica formal antes de graduarme de la escuela de posgrado: tuve un período de sequía en mis prácticas de lógica mientras terminaba mi licenciatura en matemáticas, particularmente porque la lógica utilizada en análisis, álgebra y topología es una pálida sombra de mi lógica formal. estudios de lógica.

Busco practicar mi lógica predicada, modal y axiomática. Le preguntaría a mi mentor de lógica, pero es un emérito jubilado y no está disponible.

Sería útil si indicara cuáles son sus intereses de investigación. También existen diferentes enfoques (puramente teóricos, aplicados) y puntos de vista (filosofía, matemáticas, ciencias naturales, informática, etc.)
Tenía la esperanza de que la escuela de posgrado ayudaría a responder esa pregunta. Mi universidad tiene pocas opciones cuando se trata de cursos de lógica formal y no ofrece clases de lógica matemática. Tengo experiencia en lógica filosófica: he tomado ambos sistemas básicos de deducción natural (oraciones y predicados) y una encuesta de lógicas que cubrieron modal, aristotélica, axiomática, lógica de relevancia, semántica y algunos otros temas. Nunca he estudiado lógica matemática formalmente.

Respuestas (2)

Peter Smith, que es o ha sido usuario de este foro, tiene publicado un artículo de discusión llamado Teach Yourself Logic 2015: A Study Guide (PDF, iv + 94 págs. Última actualización el 1 de enero de 2015). Está en su sitio web . Presenta sus opiniones informadas sobre los méritos relativos de los diversos libros y recursos para el autoaprendizaje, incluidos los buenos libros mencionados por Mauro Allegranza en su respuesta.

Puedes probar con:

y :

Secundo el respaldo de Sider, particularmente si sus estudios de posgrado serán en Filosofía. El libro de Sider contiene una buena presentación de las partes importantes del principal aparato teórico que necesitará para hacer un trabajo serio en el campo. Hay otros tratamientos más avanzados de cada uno de los temas que aborda, pero abordan cuestiones que rara vez surgen para los filósofos practicantes fuera de la lógica/filosofía de las matemáticas.
También me gusta el libro de Sider, aunque el estilo de prueba no es el que yo elegiría. (Él usa pruebas axiomáticas en lugar de deducción natural.) Smith es curiosamente más frío al respecto, más crítico.
¿Cuál es una buena fuente para refrescar mis habilidades de lógica formal antes de la escuela de posgrado?
RespuestasAquíPolítica de privacidad1y, 0v