Search

Home > MCMP – Logic > Models of Paraconsistent Set Theory
Podcast: MCMP – Logic
Episode:

Models of Paraconsistent Set Theory
Category: Society & Culture
Duration:
Publish Date: 2014-06-30 08:52:30
Description: Conference on Paraconsistent Reasoning in Science and Mathematics , Graham Priest (CUNY and St Andrews) gives a talk at the Conference on Paraconsistent Reasoning in Science and Mathematics (11-13 June, 2014) titled "Models of Paraconsistent Set Theory". Abstract: Any adequate paraconsistent set theory must be able to validate at least a major part of the standard results of orthodox set theory. One way to achieve this is to take the universe or universes of sets to be such as to validate not only the naïve principles, but also all the theorems of Zermelo Fraenkel set theory. In this talk I will discuss various constructions of models of set theory which do just this.
Total Play: 0

Some more Podcasts by iTunes U Podcast Owner

10+ Episodes
Critical Rea .. 80+     30+
20+ Episodes
First World .. 100+     30+
40+ Episodes
Early Modern .. 100+     40+
20+ Episodes
John Locke L .. 70+     30+
30+ Episodes
MCMP – Met .. 20+     7
10+ Episodes
A Romp Throu .. 20+     3
1 Episodes
The Fall of .. 20+     8
30+ Episodes
A Romp Throu .. 6     1