---------- Forwarded message --------- De: Marco Panza <[email protected]> Date: sáb, 29 de ago de 2020 19:34 Subject: OCIE Seminar, September 8th Reminder To: Mihaela Vajiac <[email protected]>, Dressel, Justin < [email protected]>, Schmid College of Science Faculty < [email protected]>, Dashiell, Frederick <[email protected]>, Dacier, Dana <[email protected]>, Robin Pendergraft <[email protected]>, Ehwerhemuepha, Louis <[email protected]>, G. Pace <[email protected]>, Herbert W. Hamber <[email protected]>, Suceava, Bogdan < [email protected]>, [email protected] < [email protected]>, [email protected] <[email protected]>, Tu, Kai-Wen <[email protected]>, [email protected] <[email protected]>, Jeremy Heis <[email protected]>, Gabriel Uzquiano <[email protected]>, Stella Moon < [email protected]>, <[email protected]>, <[email protected]>, Coliva Annalisa < [email protected]>, <[email protected]>, Virginia Warren <[email protected]>, Charles Hughes <[email protected]>, Bas Van der Vossen < [email protected]>, Kelvin McQueen <[email protected]>, Michael Robinson <[email protected]>, John Thrasher IV < [email protected]>, Brennan McDavid <[email protected]>, Fabian Wendt <[email protected]>, Lucia Rafanelli <[email protected]>, Keith Hankins <[email protected]>, M. Andrew Moshier <[email protected]>, John Mumma <[email protected]>, Jemma Lorenat <[email protected]>, Erich Reck <[email protected]>, SCOTT RANDAL TIDWELL <[email protected]>, Joanne Walters-Wayland <[email protected]>, James Francese < [email protected]>, Daniel Briseno <[email protected]>, < [email protected]>, <[email protected]>, Alexander Kurz < [email protected]>, szczeciniarz < [email protected]>, Daniele Struppa < [email protected]>, Richard T. W. Arthur <[email protected]>, Ivan Magrin-Chagnolleau <[email protected]>, <[email protected]>, Benedict Eastaugh <[email protected]>, Marianna Antonutti < [email protected]>, Gerhard Heinzmann < [email protected]>, <[email protected]>, Walter Carnielli <[email protected]>, Will Stafford <[email protected]>, < [email protected]>, Bruno Bentzen <[email protected]>, < [email protected]>, Alfredo Roque Freire <[email protected]>
Dear all, The next (online) section of the OCIE Seminar in the History and Philosophy of Mathematics and Logic. It will be held on *Tuesday September 8th, 4-6pm, * via Zoom: Zoom Meeting ID: 958 5957 5948 *Alfredo Roque Freire (Unicamp, Campinas, CLE / Univ. of San Paulo)* will present a talk on “Intentional Theory Dichotomy and Twisted models of set theory” 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 talk, I 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, I 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, I 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. *The section is co-organised with CLE (Unicamp), and is included in the Logic Supergroup program.* Next Section: *Tuesday 22th September, 4pm-6pm, Bruno Bentzen *(Carnegie Mellon Univ., Pittsburgh), “Frege's anticipation of simple type theory” Abstract: In this talk, I argue that Frege's sharp distinction between terms denoting objects and terms denoting functions on the basis of their saturation anticipate a version of simple type theory, although Frege vacillates between regarding functions as closed terms of a function type and open terms formed under a hypothetical judgment. In the end, Frege fails to express his logical views consistently due to his logicist ambitions, which require him to endorse the view that value-ranges are objects. You are all invited to join us on Zoom. Zoom link: https://uci.zoom.us/j/95859575948 You can also download and import the following iCalendar (.ics) files to your calendar system. Weekly: https://uci.zoom.us/meeting/tJElcuCtqT4jHtxM_qY1EiO0RJ5-BIY_CzwI/ics?icsToken=98tyKuCtpj4jH9OQuR2PRowMGo_4Xe_wtiVEgrdFsSD0OnF2ayymBMgXf5BWKefz All the best, Marco Panza -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58Miidnecw0NjAsdD1igFoT_fy24dEe%2Bx8jM2iJE188jbg%40mail.gmail.com.
