La Scuola Sei Libri

Logica Galvan Sergio   -  La Scuola Sei, 2012  -  Saggi

Il volume si articola in cinque capitoli. Il primo contiene una introduzione al linguaggio formale, che può essere oggetto a sé stante di un corso di avviamento alla logica. Nel capitolo si presenta una panoramica generale dei linguaggi formali, comprensiva anche dei linguaggi intensionali (modale deontico, epistemico e intenzionale) che non sono tema specifico di approfondimento tecnico nei capitoli successivi. Questo capitolo è principalmente rivolto agli studenti interessati all'utilizzo della logica nell'ambito filosofico. Il secondo e il terzo capitolo presentano la sintassi e la semantica del calcolo dei predicati del primo ordine. Nel terzo capitolo, dedicato alla semantica della logica dei predicati, sono dimostrati in dettaglio i teoremi di correttezza e di completezza secondo lo stile di Henkin. Il quarto capitolo introduce l'idea di teoria del primo ordine. Infine l'ultimo capitolo è dedicato ad un esame delle principali proprietà metateoriche delle teorie.

Come rendere chiare le nostre idee Peirce Charles S.  Antiseri D. (Cur.)   -  La Scuola Sei, 2012  -  Classici Del Pensiero

In questo saggio del 1878, uno dei pochi che vide pubblicati in vita, Peirce presenta la sua celebre massima pragmatica: "Consideriamo quali effetti, che possono avere concepibilmente conseguenze pratiche, noi pensiamo che l'oggetto della nostra concezione abbia. Allora, la concezione di questi effetti è l'intera nostra concezione dell'oggetto". Quello di Peirce è un pragmatismo che insiste sul possibile uso futuro delle nostre conoscenze, le quali non sono proposizioni assolute e incontrovertibili, ma idee sottoposte a un controllo mai definitivo sulla base delle loro concepibili conseguenze pratiche. La traduzione e l'approfondito commento di Antiseri ci guidano alla scoperta del pensiero del padre del pragmatismo e ci indicano la via da seguire per aiutarci a rendere chiare le nostre idee...