Rudimentos de lógica matemáticaEs un tratado sistemático de lógica matemática, principalmente con un tratamiento axiomático. El sistema desarrollado pertenece a la familia de las lógicas paraconsistentes, pero también de las fuzzy o gradualistas. Dada su fuerte motivación filosófica en la tradición de Heráclito, Platón, Nicolás de Cusa y Hegel, el sistema va más allá de la pura paraconsistencia, al afirmar la existencia de contradicciones verdaderas. A pesar de lo ambicioso del plan desarrollado, el libro puede leerse sin conocimientos previos, prácticamente a partir de cero, pues el acceso está perfectamente allanado, lo cual justifica su título de "rudimentos". |
