Ricerca avanzata
Home Le Collane Analitica


  • 1
  • 2
  • 3
  • 4
  • Recensione  Video/Booktrailer

    Proof and Truth
    An anti-realist perspective

    Autore:  Luca Tranchini

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

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

  • 1
  • 2
  • 3
  • 4