P.S. Só o *Acesso alternativo ao manuscrito *é atualizado. tirsdag 2. april 2024 kl. 09:48:20 UTC-3 skrev Frode Alfson Bjørdal:
Bom dia, Esta 5ª-feira administrarei uma palestra pelo Departamento de Matemática na Universidade de Oslo. Ocorrerá já 05:00 AM pelo zoom, no tempo de Brasilia. Porém, a palestra estará gravada, e posso compartilhar com aqueles que tenha interesse. *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: https://www.dropbox.com/scl/fi/lq6cyf9ekxqjtaqvtic6n/Screen-Shot-2024-04-02-at-09.39.39.png?rlkey=ivia9apbwiapssta14norb2m5&dl=0 Abraços! Frode Alfson -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/600f311d-dabd-46b2-96d1-a0e04fc376fcn%40dimap.ufrn.br.
