What is a model of axiomatic set theory?
Autore:  Luca Bellotti

Collana:  Analitica (5)

This is a work in the philosophy of mathematics, about some philosophical issues connected with set theory, especially the conceptual question of the semantics of set theory. Specifically, some aspects of the classical philosophical question concerning the notion of model of axiomatic set ...

La guerra dei Trent'Anni (1900-1930)
Da Hilbert a Gödel
Autore:  Gabriele Lolli

Collana:  Analitica (4)

Nelle lezioni contenute in questo volume si descrive e si analizza la formazione della logica del primo ordine nel periodo 1900-1930. Si seguono due temi, che emergono dai problemi della assiomatizzazione delle teorie matematiche, e in particolare della teoria degli insiemi, all'inizio del ...

First Pisa Colloquium in Logic, Language and Epistemology
Autore:  aa.vv.
A cura di  Carlo Marletti

Collana:  Analitica (3)

This volume is a collection of papers on different topics in various branches of philosophy in the analytical tradition. They tackle, with analytical style, widely different problems in logic (both mathematical and philosophical), epistemology, philosophy of science, philosophy of language, ...

Strutture dell'argomentare
Autore:  Enrico Moriconi

Collana:  Analitica (2)

I saggi che costituiscono i capitoli di questo volume sono dedicati alla ricostruzione di alcuni momenti centrali nella storia dei fondamenti della matematica. Il punto di vista unificante dei vari capitoli è l'intento di mostrare come nell'indagine sui problemi fondazionali siano via via ...

Teorie della verità
Autore:  Luca Bellotti

Collana:  Analitica (1)

In questo volume si trattano le principali teorie formali della verità sviluppate nell'ambito della logica del Novecento, con particolare attenzione alla cosiddetta 'concezione semantica' della verità, elaborata da Alfred Tarski, e ad alcuni sviluppi successivi, in particolare ...