Profilo
Didattica
Attività didattica
Incarichi di responsabilità didattica di moduli/insegnamenti
- Logica ii (cod. 580MM) per Laurea in Filosofia
Insegnamenti condivisi/mutuati:- Logica (cod. 104MM) - Laurea Magistrale in Informatica umanistica
- Logica ii (s) (cod. 0003M) per Laurea Magistrale in Filosofia e forme del sapere
Ricevimento
Luogo:
Orario: Su appuntamento
Ricerca
Pubblicazioni
- ZF and its interpretations (Jockwich Martinez, S.; Tarafder, S.; Venturi, G. - 2024 - 1.1 Articolo in rivista)
- Modelling Afthairetic Modality (Venturi, Giorgio; Yago, Pedro - 2024 - 1.1 Articolo in rivista)
- How to make [mathematical] assertions with directives (Caponetto, L.; San Mauro, L.; Venturi, G. - 2023 - 1.1 Articolo in rivista)
- Axioms and Postulates as Speech Acts (Schmidt, Jv; Venturi, G - 2023 - 1.1 Articolo in rivista)
- What model companionship can say about the continuum problem (Venturi, Giorgio; Viale, Matteo - 2023 - 1.1 Articolo in rivista)
- Formal Ontology and Mathematics. A Case Study on the Identity of Proofs (Bianchetti, M.; Venturi, G. - 2023 - 1.1 Articolo in rivista)
- Second order arithmetic as the model companion of set theory (Venturi, G; Viale, M - 2023 - 1.1 Articolo in rivista)
- Ideal objects for set theory (Jockwich, S; Tarafder, S; Venturi, G - 2022 - 1.1 Articolo in rivista)
- Fine's Postulationism, objectivity, and mathematical creation (Schmidt, J; Venturi, G - 2022 - 1.1 Articolo in rivista)
- ZF between classicality and non-classicality (Tarafder, S; Venturi, G - 2022 - 1.1 Articolo in rivista)