Non contraddizione e terzo escluso

Trama

Il volume è dedicato alla presentazione del sistema proposizionale classico, di quello intuizionistico e di quello minimale, vale a dire dei tre sistemi che si propongono di caratterizzare in modo diverso e, per certi aspetti in termini di contrasto, la nozione di negazione.

Libri simili

• Logica di Sergio Galvan
• Introduzione ai teoremi di incompletezza di Sergio Galvan (1992)
• Logiche intensionali di Sergio Galvan (1991)
• Gödel, Escher, Bach di Douglas R. Hofstadter (1979)
• Logica matematica di Vincenzo Manca
• La teoria delle relazioni nell'algebra della logica schroederiana di Davide Bondoni (2007)
• Saggio sulla negazione di Paolo Virno
• Sulla negazione di Massimo Donà (2004)
• Linguaggio, storia e didattica della matematica di Giorgio Tomaso Bagni
• Note al Tractatus logico-philosophicus di Wittgenstein di Sandro Soleri
• Epistemologia della matematica di Nicola Grana (2001)
• Logica e impegno ontologico di Michele Marsonet (1981)

Altri libri di Sergio Galvan

• Introduzione ai teoremi di incompletezza di Sergio Galvan (1992)
• Logiche intensionali di Sergio Galvan (1991)
• Logica di Sergio Galvan
• Forme di razionalità pratica di Sergio Galvan