Pablo Rafael Rolim dos Santos

Pesquisador no nível de doutorado na Universidade Federal de Campinas (UNICAMP) investigando Teoria da Decisão, Epistemologia Social, Desacordo Racional entre Pares, Fundamentos da Computabilidade e Lógicas da Inconsistência Formal. Mestre em Filosofia pela Universidade Federal de Santa Maria (UFSM) com a dissertação intitulada "Estudos Sobre a Teoria Computacional da Mente: O argumento Gödeliano e o Argumento Anti-Semântico". Bacharel em Filosofia pela Universidade Federal de Santa Maria (UFSM) com tese de monografia sobre o realismo estrutural de Bertrand Russell e a objeção de Newman.Áreas de interesse: Teoria da Decisão; Epistemologia Social; Filosofia da Computação; Lógicas da Inconsistência Formal; Filosofia da Inteligência artificial; Filosofia das Ciências Formais; Filosofia da Ciência; Consequencialismo; Riscos Existenciais.Possuo experiências especialmente para o ensino das disciplinas de:Introdução à lógica; Filosofia da Mente; Epistemologia; Metafísica (incluindo a contemporânea); Ética (incluindo os conceitos formais de teorias consequencialistas e teoria dos jogos) e Filosofia da Ciência.

Phd.D student at Campinas University of Campinas researching the basis of computability ; logics of formal inconsistency and dynamic logics. Master in Philosophy (Federal University of Santa Maria) with a dissertation thesis about the Gödelian argument and the anti-semantical argument against the computational theory of mind.Former: Bachelor of Philosophy (Federal University of Santa Maria) with thesis about Russell's structuralism. Interests: Philosophy of Computability; Logics of Formal Inconsistency; Philosophy of Artificial Intelligence; Philosophy of Formal Sciences; Existential Risks,