OCIE Seminar, September 8th Reminder

[Walter Carnielli]

---------- Forwarded message ---------
De: Marco Panza <panz...@gmail.com>
Date: sáb, 29 de ago de 2020 19:34
Subject: OCIE Seminar, September 8th Reminder
To: Mihaela Vajiac <mbva...@chapman.edu>, Dressel, Justin <dre...@chapman.edu>, Schmid College of Science Faculty <SCSFa...@chapman.edu>, Dashiell, Frederick <fd...@chapman.edu>, Dacier, Dana <dac...@chapman.edu>, Robin Pendergraft <pend...@chapman.edu>, Ehwerhemuepha, Louis <ehwe...@chapman.edu>, G. Pace <pa...@chapman.edu>, Herbert W. Hamber <HHa...@uci.edu>, Suceava, Bogdan <bsuc...@exchange.fullerton.edu>, dash...@math.ucla.edu <dash...@math.ucla.edu>, klvn...@gmail.com <klvn...@gmail.com>, Tu, Kai-Wen <k...@chapman.edu>, jo...@jppeach.com <jo...@jppeach.com>, Jeremy Heis <jerem...@gmail.com>, Gabriel Uzquiano <uzqu...@usc.edu>, Stella Moon <moo...@uci.edu>, <gs...@ucsd.edu>, <cto...@ucsd.edu>, Coliva Annalisa <cann...@uci.edu>, <ba...@math.ucr.edu>, Virginia Warren <vwa...@chapman.edu>, Charles Hughes <chu...@chapman.edu>, Bas Van der Vossen <bvan...@chapman.edu>, Kelvin McQueen <mcq...@chapman.edu>, Michael Robinson <michael...@chapman.edu>, John Thrasher IV <thras...@chapman.edu>, Brennan McDavid <mcd...@chapman.edu>, Fabian Wendt <we...@chapman.edu>, Lucia Rafanelli <rafa...@chapman.edu>, Keith Hankins <han...@chapman.edu>, M. Andrew Moshier <mos...@chapman.edu>, John Mumma <john....@gmail.com>, Jemma Lorenat <jemma_...@pitzer.edu>, Erich Reck <re...@ucr.edu>, SCOTT RANDAL TIDWELL <srti...@ucla.edu>, Joanne Walters-Wayland <walters...@chapman.edu>, James Francese <fran...@chapman.edu>, Daniel Briseno <BRIS...@mail.chapman.edu>, <grant....@cgu.edu>, <joshei...@gmail.com>, Alexander Kurz <ak...@chapman.edu>, szczeciniarz <jean-jacques...@univ-paris-diderot.fr>, Daniele Struppa <str...@chapman.edu>, Richard T. W. Arthur <rtwa...@gmail.com>, Ivan Magrin-Chagnolleau <ivan.magrin...@cnrs.fr>, <Vincent...@ru.nl>, Benedict Eastaugh <bene...@eastaugh.net>, Marianna Antonutti <marianna....@gmail.com>, Gerhard Heinzmann <gerhard....@univ-lorraine.fr>, <Cme...@students.pitzer.edu>, Walter Carnielli <walter.c...@gmail.com>, Will Stafford <staf...@uci.edu>, <ainsl...@gmail.com>, Bruno Bentzen <b.be...@hotmail.com>, <cle...@uci.edu>, Alfredo Roque Freire <alfrf...@gmail.com>

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