Librationist cum classical theories of sets
The lecture will be based on the manuscript Librationist cum classical theories of sets, which develops a new way to deal with paradoxical phenomena in set theory and truth theory, and such that the paradoxes in the mentioned set and truth theories are treated in the same manner. The new way has a long history of development. The librationist manner is condensed in the reflective theory of comprehension, for sets and truth, which compares interestingly with the inconsistency producing naive reasoning untutored minds are prone to employ when encountering the paradoxes. Librationism extends classical logic, and never contradicts classical logic, and yet it has theses A and not-A; this may happen because librationism has deviant inference rules, and the philosophical justification for allowing the phenomenon is contained in the reflective theory of comprehension. A central result in the manuscript is that librationist set theories account for Tarski-Grothendiek set theory if Tarski-Grothendiek set theory is consistent, and similarly for Quine’s set theory New Foundations, if New Foundations is consistent. The result on Tarski-Grothendiek suggests that a librationist category theory may be developed.
Acesso alternativo ao manuscrito:
https://www.scribd.com/document/718428822/Main
Anúncio:
Abraços!
Frode Alfson