Pesquisa
CONSTRUTIVIDADE, RELEVÂNCIA E NORMATIVIDADE NA FORMALIZAÇÃO DA LÓGICA INTUICIONISTA
DE UMA PERSPECTIVA TANTO HISTÓRICA QUANTO FILOSÓFICA, O DESENVOLVIMENTO DA LÓGICA INTUICIONISTA FOI MOTIVADO PELO PENSAMENTO DE L.E.J. BROUWER, QUE COMPREENDIA A MATEMÁTICA COMO UMA ATIVIDADE MENTAL DE CONSTRUÇÃO DOS OBJETOS MATEMÁTICOS, SUAS PROPRI…
Anselmo e Descartes, dois Argumentos Lógico-teológicos
Este texto é uma versão profundamente revisada de uma conferência realizada sobre esse assunto em fevereiro de 2018, durante a jornada de estudo em Nancy, nos Arquivos Vuillemin, e em maio de 2018, na Universidade de Brasília. Ao contrário do que af…
ECUMENISMO LÓGICO
""""A HISTÓRIA RECENTE DA LÓGICA MATEMÁTICA FOI MARCADA POR ALGUNS CONFLITOS ENTRE DIFERENTES CORRENTES FILOSÓFICAS, CADA UMA BUSCANDO CONTEXTUALIZAR A ATIVIDADE MATEMÁTICA A PARTIR DE SEU PRÓPRIO PRISMA ANALÍTICO E, POR MEIO DISSO, TENTANDO CONQUIS…
Filtros Avançados
Os campos preenchidos abaixo se combinam entre si (E): quanto mais campos, mais restrito o resultado.