Colloquium Logicae @CLE-Unicamp : Alfredo Roque Freire on August 12th 2020 (2:00 PM, GMT -3 )
10 views
Skip to first unread message
Walter Carnielli
Aug 3, 2020, 11:12:03 PM8/3/20
to Marco Ruffino, Shay Logan, Marco Panza, Lista dos Logicos Brasileiros, philmath...@gmail.com, Luiz Arthur Pagani, Nara M. Figueiredo, rafael albiero, Gustavo Azevedo, Filipe Martone, Leandro Camargo, Giorgio Venturi, Edson Bezerra, Vincenzo Ciccarelli, João Vitor Schmidt, Daniel Coimbra, Laura Nascimento, Ciro Watanabe, Mahan Vaz, Vinícius Carvalho, Gilson, Gustavo Bertolino, Thainá Coltro Demartini, francesco maria ferrari, Leonardo Soutello, Daniel Coimbra, Iago Batistela, Bruno Machado, Gabriela, dmgue...@hotmail.com, Pedro Merlussi, Mariana Fernandes, Gabriel de Andrade Maruchi, Ariston Sócrates Guimarães Soares Cruz, Ariston Sócrates, Carlos Mario Márquez Sosa, Paulo Ruffino, Marcelo Esteban Coniglio, Pedro Santos, Sérgio Cunha, Josie Siman, Julio De Rizzo, María Inés Corbalán, Jeferson José dos Santos, Emiliano Boccardi, Matheus Valente, Tamires Dal Magro, Decio Krause, André Pontes, Ludovic Soutif, Martin Motloch, Ítala Maria Loffredo D'Ottaviano, Eros Corazza, Chris Genovesi, Vinicius Santana
Dear enthusiastic logicians and partisans of Logic:
As part of the Logic Supergroup
(https://sites.google.com/view/logicsupergroup/the-logic-supergroup),
Colloquium Logicar is happy to announce its next meeting on
Wednesday August 12th 2020 ( 2:00 PM, GMT -3 hours) by Alfredo Roque
Freire, who will be talking about a chapter of his PhD thesis (which
I had the privilege to supervise) related to an important topic of
philosophy mathematics:
Title: Unreducible features of set theories
Alfredo Roque Freire
Unicamp/CLE and USP
Abstract: The universalist position in set theory maintains that there
is only a single, maximal universe of sets and, as a result, all
sentences about these objects are ideally verifiable. Often, those who
subscribe to this view are committed to offering a sensible account to
alternative universes familiar to many mathematicians. In this
article, we will analyze the reduction strategies offered by
universalists. Recently, Enayat in [1] proved that no two models of ZF
are bi-interpretable, while Hamkins and I in [2] proved that no two
well-founded models of
ZF are mutually interpretable. In view of these results, we will argue
that the range of the construction for alternative universes in a
single universe is limited. Thus, the adherents of an alternative
universe have sufficient grounds to reject the alleged copy offered by
the universalist as a faithful copy. Finally, we will argue that the
reasons for adding new elements to the multiverse should be specific
instead of being the result of an emulation in a previously known
universe.
[1] Enayat, A. (2017). Variations on a Visserian theme. arXiv preprint
arXiv:1702.07093.
[2] Freire, A. R., & Hamkins, J. D. (2020). Bi-interpretation in weak
set theories. arXiv preprint arXiv:2001.05262.
To participate. please access.
https://conferenciaweb.rnp.br/spaces/unicamp-cle-colloquium-logicae
**Please enter as “anonymous” unless you have an RNP account
Everyone welcome!
===================================================
Walter Carnielli
https://waltercarnielli.com/
Centre for Logic, Epistemology and the History of Science and
Department of Philosophy
University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil
As part of the Logic Supergroup
(https://sites.google.com/view/logicsupergroup/the-logic-supergroup),
Colloquium Logicar is happy to announce its next meeting on
Wednesday August 12th 2020 ( 2:00 PM, GMT -3 hours) by Alfredo Roque
Freire, who will be talking about a chapter of his PhD thesis (which
I had the privilege to supervise) related to an important topic of
philosophy mathematics:
Title: Unreducible features of set theories
Alfredo Roque Freire
Unicamp/CLE and USP
Abstract: The universalist position in set theory maintains that there
is only a single, maximal universe of sets and, as a result, all
sentences about these objects are ideally verifiable. Often, those who
subscribe to this view are committed to offering a sensible account to
alternative universes familiar to many mathematicians. In this
article, we will analyze the reduction strategies offered by
universalists. Recently, Enayat in [1] proved that no two models of ZF
are bi-interpretable, while Hamkins and I in [2] proved that no two
well-founded models of
ZF are mutually interpretable. In view of these results, we will argue
that the range of the construction for alternative universes in a
single universe is limited. Thus, the adherents of an alternative
universe have sufficient grounds to reject the alleged copy offered by
the universalist as a faithful copy. Finally, we will argue that the
reasons for adding new elements to the multiverse should be specific
instead of being the result of an emulation in a previously known
universe.
[1] Enayat, A. (2017). Variations on a Visserian theme. arXiv preprint
arXiv:1702.07093.
[2] Freire, A. R., & Hamkins, J. D. (2020). Bi-interpretation in weak
set theories. arXiv preprint arXiv:2001.05262.
To participate. please access.
https://conferenciaweb.rnp.br/spaces/unicamp-cle-colloquium-logicae
**Please enter as “anonymous” unless you have an RNP account
Everyone welcome!
===================================================
Walter Carnielli
https://waltercarnielli.com/
Centre for Logic, Epistemology and the History of Science and
Department of Philosophy
University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil
Reply all
Reply to author
Forward
0 new messages