Proof-Theoretical Solutions to the Paradoxes of Naive Set Theory
vr 22 apr
|Amsterdam
In this Friday's talk, our speaker will present a cool solution to the set-theoretical paradoxes, shedding new light on how and why these paradoxes arise
Time & Location
22 apr 2022, 17:00
Amsterdam, Science Park 904, 1098 XH Amsterdam, Netherlands
About the event
Speaker: Valentin Müller, Master of Logic student
Location: D1.111, SP 904
Abstract: Among the variety of possible solutions to the paradoxes of naive set theory, suggestions made by the mathematician Heinrich Behmann (1891--1970) appear to be particularly remarkable (even though they are commonly unknown today). From Behmann’s point of view, the paradoxes do not represent proper contradictions, but rather “meaningless” expressions that can be avoided by a simple and purely syntactical criterion. The main goal of my talk is to provide a partial confirmation of Behmann’s view. To this end, I will present a new system of natural deduction strongly inspired by Behmann’s analysis of the set-theoretical paradoxes. It will be demonstrated that a certain subclass of the proofs in our system has the normalization property: every deduction in this class may be transformed into a “cut-free” proof. As a corollary, it then follows that the propositional fragment of our system is in fact consistent. In the last part of the talk, I will discuss some open problems and closely related approaches such as the system of “Fitch-Prawitz Set Theory”.
Zoom link: https://uva-live.zoom.us/j/85257749337