En el prefacio de su libro sobre lógica, Dirk van Dalen habla de la dualidad entre la lógica "profana" y la "sagrada", refiriéndose a la lógica relajada y a la lógica extremadamente formalizada. A continuación explica que su libro será más del tipo relajado.
He leído la introducción de un puñado de libros de lógica y este es un tema común, todos dicen "esto se puede hacer muy muy formalmente, pero no lo haremos aquí". Sin embargo, siento que debido a mi interés por la filosofía matemática (relacionado con el hecho de que estoy empezando a estudiar las pruebas de independencia) estoy necesitando uno de estos libros demasiado formales sobre lógica que tantos autores quieren evitar escribir.
¿Puede alguien darme una recomendación?
