Seminário do Programa III CLE/Unicamp- - atualização de 05/10/2020

[Walter Alexandre Carnielli]

Car@s colegas e estudantes:

Segue a programação atualizada (05/10/2020) do Seminário do Programa
III -CLE/Unicamp, sempre às (mas não todas) quartas-feiras, 16:00.
==================================
Link para participar via Google Meet:
meet.google.com/rzo-zyxu-opy
==================================
Programa detalhado e resumos em:
https://seminarioscle.wordpress.com/
===================================

30/09 - Rafael Testa
Título: Representação do Conhecimento e Raciocínio: aplicações e
motivações às lógicas paraconsistentes

14/10- Guilherme Grudtner
Título: A Medida do Círculo: Uma tradução do texto ΚΥΚΛΟΥ ΜΕΤΡΗΣΙΣ
(Kyklou Metresis) de Arquimedes

21/10 Pedro Carrasqueira
Título: a ser anunciado

28/10- "Colloquium Logicae" - Edward Zalta & Uri Nodelman, Stanford
TItle : Number Theory Without Mathematics
(*link específico:
https://conferenciaweb.rnp.br/spaces/unicamp-cle-colloquium-logicae )

04/11 - Bruno Mendonça
Título: "Game-theoretic semantics, quantifiers and logical omniscience"

11/11 - Gesiel Borges da Silva
"Logic and the problem of evil: an axiomatic
approach to theodicy via modal applied systems"

18/11 - Juliana Bueno-Soler
"Pluralismo Probabilístico"

25/11 Guilherme Vicentin Toledo
" Lógicas de Incompatibilidade associadas a LFI's:
definição, semânticas, não-caracterizabilidade e história"

02/12 - Pablo Rolim
"A hipótese da mente paraconsistente: alguns
critérios a serem cumpridos"

09/12 - Edson Vinicius Bezerra
"Formal systems and their informal notions: the case of
(some) paraconsistent logics"

16/12 - Rodolfo Ertola-Biraben
Título: a ser anunciado

=======================

Att
Walter Carnielli
-----------------------------------------------
Walter Carnielli
https://waltercarnielli.com/

Centre for Logic, Epistemology and the History of Science and
University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil

CV Lattes : http://lattes.cnpq.br/1055555496835379