Personal information

Other IDs

ResearcherID: M-9892-2013
Scopus Author ID: 56800229400
Ciência ID: C01A-8A76-A9EB

Activities

Collapse all

Employment (1)

Università di Pisa: Pisa, IT

2023-03-01 to present (Civiltà e Forme del Sapere)
Employment
Source: Self-asserted source
Giorgio Venturi

Funding (7)

Slurs Semantics and Illocutionary Acts

2020 to 2021 | Contract
Fundação de Amparo à Pesquisa do Estado de São Paulo (Sao Paulo, BR)
GRANT_NUMBER:

2018/17011-9
Source: check_circle
CIÊNCIAVITAE

Essence and Arbitrariness

2019 to 2020 | Grant
Fundação de Amparo à Pesquisa do Estado de São Paulo (Sao Paulo, BR)
GRANT_NUMBER:

2019/17407-2

Source: check_circle
CIÊNCIAVITAE

Origins of Generic Point in Algebraic Geometry and Mathematical Practice

2019 to 2020 | Grant
Fundação de Amparo à Pesquisa do Estado de São Paulo (Sao Paulo, BR)
GRANT_NUMBER:

2019/01580-7
Source: check_circle
CIÊNCIAVITAE

Frege’s Act-Based Logical System: a Pragmatic Reading for the Concept-Script Language

2018 to 2021 | Grant
Conselho Nacional de Desenvolvimento Científico e Tecnológico (Brasilia, BR)
GRANT_NUMBER:

170390/2017-9
Source: check_circle
CIÊNCIAVITAE

Models of Non-Classical Set Theory

2018 to 2021 | Grant
Fundação de Amparo à Pesquisa do Estado de São Paulo (Sao Paulo, BR)
GRANT_NUMBER:

2017/23853-0

Source: check_circle
CIÊNCIAVITAE

Um caso de estudo sobre logica modal não-normal

2018 to 2020 | Contract
Conselho Nacional de Desenvolvimento Científico e Tecnológico (Brasilia, BR)
GRANT_NUMBER:

403272/2019-0
Source: check_circle
CIÊNCIAVITAE

Genericity and arbitrariness. Or how to speak of the unspeakable

2017 to 2021 | Contract
Fundação de Amparo à Pesquisa do Estado de São Paulo (Sao Paulo, BR)
GRANT_NUMBER: 2016/25891-3
Source: check_circle
CIÊNCIAVITAE

Works (36)

Axioms and Postulates as Speech Acts

Erkenntnis
2024-12 | Journal article
DOI: 10.1007/s10670-023-00673-8
Contributors: João Vitor Schmidt; Giorgio Venturi
Source: check_circle
Crossref

Modelling Afthairetic Modality

Journal of Philosophical Logic
2024-08 | Journal article
DOI: 10.1007/s10992-024-09757-4
Contributors: Giorgio Venturi; Pedro Yago
Source: check_circle
Crossref

WHAT MODEL COMPANIONSHIP CAN SAY ABOUT THE CONTINUUM PROBLEM

The Review of Symbolic Logic
2024-06 | Journal article
DOI: 10.1017/S1755020323000102
Contributors: GIORGIO VENTURI; MATTEO VIALE
Source: check_circle
Crossref

ZF and its interpretations

Annals of Pure and Applied Logic
2024-06 | Journal article
DOI: 10.1016/j.apal.2024.103427
Contributors: S. Jockwich Martinez; S. Tarafder; G. Venturi
Source: check_circle
Crossref

How to make (mathematical) assertions with directives

Synthese
2023-10-17 | Journal article
DOI: 10.1007/s11229-023-04360-7
Contributors: Laura Caponetto; Luca San Mauro; Giorgio Venturi
Source: check_circle
Crossref

Formal Ontology and Mathematics. A Case Study on the Identity of Proofs

Topoi
2023-02 | Journal article
DOI: 10.1007/s11245-022-09864-4
Contributors: Matteo Bianchetti; Giorgio Venturi
Source: check_circle
Crossref

Second order arithmetic as the model companion of set theory

Archive for Mathematical Logic
2023-02 | Journal article
DOI: 10.1007/s00153-022-00831-9
Contributors: Giorgio Venturi; Matteo Viale
Source: check_circle
Crossref

Independence proofs in non-classical set theory.

Review of Symbolic Logic
2022 | Journal article
SOURCE-WORK-ID:

cv-prod-id-2259848
Contributors: Venturi, Giorgio; Sourav Tarafder
Source: check_circle
CIÊNCIAVITAE

Ideal Objects for Set Theory

Journal of Philosophical Logic
2022-06 | Journal article
DOI: 10.1007/s10992-021-09642-4
Contributors: Santiago Jockwich; Sourav Tarafder; Giorgio Venturi
Source: check_circle
Crossref

Many-Valued Logics and Bivalent Modalities

Logic and Logical Philosophy
2022-04-11 | Journal article
DOI: 10.12775/LLP.2022.013
Contributors: Edson Bezerra; Giorgio Venturi
Source: check_circle
Crossref

$$\mathrm {ZF}$$ Between Classicality and Non-classicality

Studia Logica
2022-02 | Journal article
DOI: 10.1007/s11225-021-09959-w
Contributors: Sourav Tarafder; Giorgio Venturi
Source: check_circle
Crossref

Reflexive-insensitive logics, the box-dot translation, and the modal logic of generic absoluteness.

Notre Dame Journal of Formal Logic
2021 | Journal article
SOURCE-WORK-ID:

cv-prod-id-2259838
Contributors: Venturi, Giorgio
Source: check_circle
CIÊNCIAVITAE

Non-classical Models of ZF

Studia Logica
2021-06-09 | Journal article
DOI: 10.1007/s11225-020-09915-0
Contributors: S. Jockwich Martinez; G. Venturi
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

From Plato to Weil and beyond: Genericity through the history of mathematics

Khronos
2020-12-30 | Journal article
DOI: 10.11606/issn.2447-2158.i10p140-158
Part of ISSN: 2447-2158
Source: Self-asserted source
Giorgio Venturi

On Negation for Non-classical Set Theories

Journal of Philosophical Logic
2020-10-22 | Journal article
DOI: 10.1007/s10992-020-09576-3
Part of ISSN: 0022-3611
Part of ISSN: 1573-0433
Source: Self-asserted source
Giorgio Venturi
grade
Preferred source (of 3)‎

A Non-Standard Kripke Semantics for the Minimal Deontic Logic

Logic and Logical Philosophy
2020-10-08 | Journal article
DOI: 10.12775/llp.2020.016
Part of ISSN: 2300-9802
Part of ISSN: 1425-3305
Source: Self-asserted source
Giorgio Venturi
grade
Preferred source (of 2)‎

A note on logics of essence and accident

Logic Journal of the IGPL
2020-09-25 | Journal article
DOI: 10.1093/jigpal/jzy065
Part of ISSN: 1367-0751
Part of ISSN: 1368-9894
Source: Self-asserted source
Giorgio Venturi
grade
Preferred source (of 2)‎

On Forms of Justification in Set Theory

The Australasian Journal of Logic
2020-09-22 | Journal article
DOI: 10.26686/ajl.v17i4.6579
Part of ISSN: 1448-5052
Source: Self-asserted source
Giorgio Venturi
grade
Preferred source (of 2)‎

Speech acts in mathematics

Synthese
2020-07-22 | Journal article
DOI: 10.1007/s11229-020-02702-3
Part of ISSN: 0039-7857
Part of ISSN: 1573-0964
Source: Self-asserted source
Giorgio Venturi
grade
Preferred source (of 2)‎

Tableaux for essence and contingency

Logic Journal of the IGPL
2020-05-13 | Journal article
DOI: 10.1093/jigpal/jzaa016
Part of ISSN: 1367-0751
Part of ISSN: 1368-9894
Source: Self-asserted source
Giorgio Venturi
grade
Preferred source (of 2)‎

At least one black sheep: Pragmatics and mathematical language

Journal of Pragmatics
2020-04 | Journal article
DOI: 10.1016/j.pragma.2020.01.011
Part of ISSN: 0378-2166
Source: Self-asserted source
Giorgio Venturi
grade
Preferred source (of 2)‎

Rejoinder

Journal of Pragmatics
2020-04 | Journal article
DOI: 10.1016/j.pragma.2020.02.002
Part of ISSN: 0378-2166
Source: Self-asserted source
Giorgio Venturi
grade
Preferred source (of 2)‎

Infinite Forcing and the Generic Multiverse

Studia Logica
2020-04-12 | Journal article
DOI: 10.1007/s11225-019-09851-8
Contributors: Giorgio Venturi
Source: check_circle
Crossref
grade
Preferred source (of 3)‎

Genericity and Arbitrariness

Logique et Analyse
2019 | Journal article
DOI: 10.2143/LEA.248.0.3287324
Source: Self-asserted source
Giorgio Venturi
grade
Preferred source (of 2)‎

BOOK REVIEW: LINNEBO, Ø., Philosophy of Mathematics (Princeton Universisty Press, 2017, 216, pages)

Manuscrito
2019-04 | Journal article
DOI: 10.1590/0100-6045.2019.v42n2.gf
Contributors: GIORGIO VENTURI; FELIPE ALBARELLI
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

New axioms in set theory

Matematica, Cultura e Societa
2018 | Journal article
EID:

2-s2.0-85069219496
Contributors: Venturi, G.; Viale, M.
Source: Self-asserted source
Giorgio Venturi via Scopus - Elsevier
grade
Preferred source (of 2)‎

On the naturalness of new axioms in set theoryLogic and its Philosophy: contempo- rary trends in Latin America and Spain

Logic and its Philosophy: contempo- rary trends in Latin America and Spain
2018 | Book chapter
SOURCE-WORK-ID:

cv-prod-id-2260061
Contributors: Venturi, Giorgio
Source: check_circle
CIÊNCIAVITAE

A note on the introduction of Hilbert’s Grundlagen der Geometrie

Manuscrito
2017 | Journal article
DOI: 10.1590/0100-6045.2017.v40n2.gv
EID:

2-s2.0-85041808305
Contributors: Venturi, G.
Source: Self-asserted source
Giorgio Venturi via Scopus - Elsevier
grade
Preferred source (of 2)‎

A direct proof of the five element basis theorem

Mathematical Logic Quarterly
2017-11 | Journal article
DOI: 10.1002/malq.201600015
Part of ISSN: 0942-5616
Source: Self-asserted source
Giorgio Venturi
grade
Preferred source (of 3)‎

Neighborhood Semantics for Logics of Unknown Truths and False Beliefs

The Australasian Journal of Logic
2017-04-11 | Journal article
DOI: 10.26686/ajl.v14i1.4033
Part of ISSN: 1448-5052
Source: Self-asserted source
Giorgio Venturi
grade
Preferred source (of 2)‎

Preservation of suslin trees and side conditions

Journal of Symbolic Logic
2016 | Journal article
DOI: 10.1017/jsl.2015.14
EID:

2-s2.0-84977080528
Contributors: Venturi, G.
Source: Self-asserted source
Giorgio Venturi via Scopus - Elsevier
grade
Preferred source (of 2)‎

REFLEXIVE-INSENSITIVE MODAL LOGICS

Review of Symbolic Logic
2016 | Journal article
DOI: 10.1017/S175502031500026X
EID:

2-s2.0-84940099572
Contributors: Gilbert, D.R.; Venturi, G.
Source: Self-asserted source
Giorgio Venturi via Scopus - Elsevier
grade
Preferred source (of 2)‎

HILBERT BETWEEN THE FORMAL AND THE INFORMAL SIDE OF MATHEMATICS

Manuscrito
2015-08 | Journal article
DOI: 10.1590/0100-6045.2015.v38n2.gv
Part of ISSN: 0100-6045
Source: Self-asserted source
Giorgio Venturi
grade
Preferred source (of 2)‎

Foundation of mathematics between theory and practice

Philosophia Scientiae
2014 | Book
DOI: 10.4000/philosophiascientiae.912
EID:

2-s2.0-84924160319
Contributors: Venturi, G.
Source: Self-asserted source
Giorgio Venturi via Scopus - Elsevier
grade
Preferred source (of 2)‎

Proper forcing remastered

Appalachian Set Theory 2006–2012
2013 | Book chapter
DOI: 10.1017/cbo9781139208574.012
SOURCE-WORK-ID:

cv-prod-id-2260054

ISBN: 9781139208574
Contributors: Velicckovic, Boban; Venturi, Giorgio
Source: check_circle
CIÊNCIAVITAE

Hilbert, completeness and geometry

Rivista Italiana di Filosofia Analitica Junior
2011-11-19 | Journal article
DOI: 10.13130/2037-4445/1497
Source: Self-asserted source
Giorgio Venturi
grade
Preferred source (of 2)‎

Peer review (4 reviews for 2 publications/grants)

Review activity for Journal of philosophical logic. (2)
Review activity for Studia logica. (2)
How many people are using ORCID?