Introducción a la lógica matemática que se diferencia de los textos estándar que presuponen la verdad o la validez incuestionables de la lógica clásica o aristotélica (la que no admite grados de verdad ni contradicciones). Con este libro el estudiante se adentra en la lógica sin tener que presuponer nada en ese sentido; va descubriendo paulatinamente un abanico de lógicas, de las cuales la clásica es una de ellas, la más simple. El lector va así vislumbrando una inagotable pluralidad de lógicas …
Read moreIntroducción a la lógica matemática que se diferencia de los textos estándar que presuponen la verdad o la validez incuestionables de la lógica clásica o aristotélica (la que no admite grados de verdad ni contradicciones). Con este libro el estudiante se adentra en la lógica sin tener que presuponer nada en ese sentido; va descubriendo paulatinamente un abanico de lógicas, de las cuales la clásica es una de ellas, la más simple. El lector va así vislumbrando una inagotable pluralidad de lógicas posibles, algunas de las cuales vienen desarrolladas sintáctica y semánticamente.