Pesquisa
John Rawls Refutou o Intuicionismo?
Em Uma Teoria da Justiça, John Rawls explicou o intuicionismo como a doutrina que professa o pluralismo irredutível de princípios morais, princípios estes cujos conflitos não poderiam ser resolvidos de maneira principiológica. Segundo Rawls, não se…
ABORDAGENS DA CONSTRUTIVIDADE MATEMÁTICA
O CONCEITO DE CONSTRUTIVIDADE É MUITO DISCUTIDO NO CAMPO DA FUNDAMENTAÇÃO E DA FILOSOFIADA MATEMÁTICA. ENTRETANTO, NÃO HÁ CONSENSO SOBRE SUA DEFINIÇÃO. ESTE TRABALHO SE PROPÕE ADEFINIR E ANALISAR ABORDAGENS DESSE CONCEITO NO CONTEXTO DA MATEMÁTICA C…
DA INTERPRETAÇÃO BHK À TEORIA INTUICIONISTA DOS TIPOS: A CONSTRUÇÃO MENTAL COMO CONCEITO PRIMITIVO FUNDAMENTAL
EM MEIO A UMA DISPUTA DE FUNDAMENTOS FILOSÓFICOS QUE DURA MAIS DE UMA CENTENA DE ANOS, A FUNDAMENTAÇÃO INTUICIONISTA DA MATEMÁTICA PARECE CADA VEZ MAIS PRÓXIMA DE SER UMA ALTERNATIVA À FUNDAMENTAÇÃO CLÁSSICA. INTERPRETAÇÃO DE NOÇÕES FUNDAMENTAIS E P…
O CONCEITO DE “BOM” EM G. E. MOORE: UMA ANÁLISE CRÍTICA À LUZ DE J. L. MACKIE
O OBJETIVO DESTA DISSERTAÇÃO É APRESENTAR UMA LEITURA CRÍTICA DA TESE DEFENDIDA POR MOORE NO QUINTO PARÁGRAFO DO SEU PRINCIPIA ETHICA. NESTE PARÁGRAFO, MOORE DEFENDE QUE O CONCEITO DE """"BOM"""" É O MAIS PECULIAR DE TODO ÂMBITO DA ÉTICA. O QUE MOOR…
DA INTERPRETAÇÃO INTUICIONISTA DE PROVA À REJEIÇÃO DO PRINCÍPIO DO TERCEIRO EXCLUÍDO
O presente artigo trata do argumento intuicionista para a rejeição do princípio do terceiro excluído. A intenção é apresentar de forma clara as motivações que sustentam uma posição, por um lado, polêmica, por outro lado, natural, quando vista como u…
CONSIDERAÇÕES DE BROUWER SOBRE ESPAÇO E INFINITUDE: O IDEALISMO DE BROUWER DIANTE DO PROBLEMA APRESENTADO POR DUMMETT QUANTO À POSSIBILIDADE TEÓRICA DE UMA INFINITUDE ESPACIAL
Neste artigo, será discutida a noção de “infinitude cardinal” – a qual seria predicada de um “conjunto” – e a noção de “infinitude ordinal” – a qual seria predicada de um “processo”. A partir dessa distinção conceitual, será abordado o principal pro…
EM TORNO DA TESE DE CHURCH E DO INTUICIONISMO LÓGICO
A TESE DE CHURCH PROPÕE QUE TANTO A NOÇÃO DE COMPUTÁVEL QUANTO A DE FUNÇÃO RECURSIVA (OU EQUIVALENTES: MÁQUINA DE TURING, CÁLCULO LAMBDA) POSSUEM A MESMA EXTENSÃO. SUA PECULIARIDADE, DE ACORDO COM AS INTERPRETAÇÕES MAIS CONSOLIDADAS, DEVE-SE AO FATO…
SIMBOLISMO E INTUICIONISMO NA PRIMEIRA FILOSOFIA DE HUSSERL
A PESQUISA INVESTIGA OS DESENVOLVIMENTOS INICIAIS DA FILOSOFIA DE HUSSERL, TENDO POR FOCO A ANÁLISE DA EVOLUÇÃO DE SUA TEORIA DO SIMBOLISMO E A EXPLICITAÇÃO DOS DIVERSOS SENTIDOS QUE ASSUME A PROBLEMÁTICA INTUICIONISTA QUE LHE É ESSENCIAL. O PERÍODO…
Filtros Avançados
Os campos preenchidos abaixo se combinam entre si (E): quanto mais campos, mais restrito o resultado.
