Recent metamathematical wonders and the question of arithmetical realism
Apr 18, 2019 - 01:02:16
Radio and PodcastLive Radio & PodcastsStewart Shapiro (Ohio) gives a talk at the MCMP Colloquium (18 December, 2014) titled "An Aristotelian continuum". Abstract: Geoffrey Hellman and I are working on a point-free account of the continuum. The current versio...
An Aristotelian continuum is an episode from MCMP – Philosophy of Mathematics by Ludwig-Maximilians-Universität München. Stewart Shapiro (Ohio) gives a talk at the MCMP Colloquium (18 December, 2014) titled "An Aristotelian continuum". Abst...
This episode belongs to MCMP – Philosophy of Mathematics.
Use the player on this page to stream the episode online.
Published Dec 31, 2014, 00:46:56 long, audio available.
Stewart Shapiro (Ohio) gives a talk at the MCMP Colloquium (18 December, 2014) titled "An Aristotelian continuum". Abstract: Geoffrey Hellman and I are working on a point-free account of the continuum. The current version is “gunky” in that it does not recognize points, as part of regions, but it does make essential use of actual infinity. The purpose of this paper is to produce a more Aristotelian theory, eschewing both the actual existence of points and infinite sets, pluralities, or properties. There are three parts to the talk. The first is to show how to modify the original gunky theory to avoid the use of (actual) infinity. It is interesting that there are a number of theorems in the original theory (such as the existence of bisections and differences, and the Archimedean property) that have to be added, as axioms. The second part of the talk is to take the “potential” nature of the usual operations seriously, by using a modal language. The idea is that each “world” is finite; the usual operations are understood as possibilities. This part builds on some recent work on set theory by Øystein Linnebo. The third part is an attempt to recapture points, but taking the notion of a potentially infinite sequence seriously.
You can listen to An Aristotelian continuum online on Radio and Podcast. Open the player on this page to stream the available audio.
An Aristotelian continuum is an episode from MCMP – Philosophy of Mathematics by Ludwig-Maximilians-Universität München.
This episode is 00:46:56 long.
This episode was published on Dec 31, 2014.
Yes. Use the heart button on the episode page to add it to your favorite episodes list.
Yes. This page shows related episodes from MCMP – Philosophy of Mathematics when more episodes are available from the podcast feed.
You can listen to An Aristotelian continuum on this page when the episode audio is available from the podcast feed.
An Aristotelian continuum is from MCMP – Philosophy of Mathematics by Ludwig-Maximilians-Universität München.
Published Dec 31, 2014 and 00:46:56 long