Non contraddizione e terzo escluso. Le regole della negazione della logica classica intuizionistica e minimale
Franco Angeli
Milano, 2008; paperback, pp. 160, cm 22x14.
(Epistemologia. 61).
(Epistemologia. 61 - diretta da Evandro Agazzi).
series: Epistemologia
ISBN: 88-464-0512-9
- EAN13: 9788846405128
Languages:
Weight: 0.242 kg
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. Data la centralità dei principi di non contraddizione e del terzo escluso nella trattazione di tutti e tre i sistemi, il volume contiene un esame logico dettagliato di tali principi, del loro significato, dei loro rapporti e delle rispettive proprietà.