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à.
Non contraddizione e terzo escluso. Le regole della negazione della logica classica intuizionistica e minimale
| Titolo | Non contraddizione e terzo escluso. Le regole della negazione della logica classica intuizionistica e minimale |
| Autore | Sergio Galvan |
| Argomento | Scienze umane Filosofia |
| Collana | Epistemologia, 61 |
| Editore | Franco Angeli |
| Formato |
Libro |
| Pagine | 160 |
| Pubblicazione | 03/2008 |
| ISBN | 9788846405128 |
Libri dello stesso autore
novità
Dalla logica subminimale alla logica classica. Elenchos e autocontraddizione
Sergio Galvan
EDUCatt Università Cattolica
Chi ha cercato questo ha cercato anche...
sconto
5%
Prendila con filosofia. Manuale di fioritura personale
Maura Gancitano, Andrea Colamedici
HarperCollins Italia
sconto
5%
Minuti contati. Crisi climatica e Green New Deal globale
Noam Chomsky, Robert Pollin
Ponte alle Grazie
sconto
5%
Il contagio del desiderio. Statistiche e filosofia per capire il nuovo disordine mondiale
Massimiliano Valerii
Ponte alle Grazie