![]() |
Da Pitagora a Turing
Collana: analitica (11)
Oltre due millenni separano la scoperta dei numeri irrazionali, ad opera dei Pitagorici, dalla rigorosa definizione del concetto di numero reale computabile da parte di Alan Turing. Questo volume riformula idee che hanno segnato lo sviluppo del pensiero matematico da Pitagora a Turing, ... |
|
![]() |
La logica stoica
Collana: analitica (10)
Lo Stoicismo è stato uno dei più importanti movimenti filosofici fioriti nell’età ellenista, in Grecia e poi a Roma, i cui protagonisti sono stati Zenone di Cizio, colui che lo fondò all’inizio del III secolo, e poi Cleante, Crisippo, il vero fondatore ... |
|
![]() |
Second Pisa Colloquium in Logic, Language and Epistemology
Collana: analitica (9) The origins of this collection of essays trace back to the “Pisa Summer Workshop in Proof Theory”, held in June 2012 at the Department of Philosophy of the University of Pisa, where several people urged the importance of devoting a volume to reflections concerning features of contemporary logic ... |
|
![]() |
L'immagine scientifica e l'immagine manifesta
Collana: Analitica (8) Wilfrid Sellars è stato certamente uno dei più importanti filosofi, non solo di provenienza angloamericana, della seconda metà del secolo scorso. I suoi contributi alla filosofia contemporanea spaziano dall'epistemologia alla teoria dell'intenzionalità, dal trattamento dei controfattuali alla ... |
|
![]() |
Proof and Truth
Collana: Analitica (7) Semantic anti-realism aims at developing a theory of meaning in which bivalence - the thesis that every sentence is either true or false - fails. According to Michael Dummett, the prototype of such a theory is the intuitionistic explanation of the meaning of logical constants. For Dummett, ... |
|