Ricerca avanzata
Home Le Collane Analitica

Analitica

  • 1
  • 2
  • 3
  • Recensione  Video/Booktrailer

    Essays in Structural Proof Theory
    Autore:  Laura Tesconi

    Collana:  Analitica (6)

    The three chapters that constitute this book bear a common denominator in being focused on the relationship between structural properties of two prominent formalizations of logical deduction: sequent calculus and natural deduction. This relation imposed itself as one of the key topics of ...


    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 ...


  • 1
  • 2
  • 3