Pesquisa
DA METAMATEMÁTICA AOS MODELOS: UMA ANÁLISE DA NOÇÃO TARSKIANA DE CONSEQUÊNCIA
O PRINCIPAL OBJETIVO DESTA DISSERTAÇÃO É ABORDAR QUESTÕES HISTÓRICAS E FILOSÓFICAS EM TORNO DA NOÇÃO DE CONSEQUÊNCIA, INTRODUZIDA EM DUAS ETAPAS POR ALFRED TARSKI EM 1930 E 1936. POR MEIO DE ESCRITOS DO PRÓPRIO AUTOR SOBRE OS FUNDAMENTOS DA MATEMÁTI…
ACERCA DA CONCEPÇÃO SEMÂNTICA DE VERDADE: : NOTAS SOBRE A CONCEPÇÃO TARSKIANA DE VERDADE
O presente artigo tem como objetivo inicial apresentar e discutir os pontos centrais da concepção semântica de verdade apresentada pelo lógico-matemático polonês Alfred Tarski. Para concretizar este fim e estendê-lo, vou dividir a exposição desse tr…
Concepção semântica da verdade segundo Alfred Tarski
Esta dissertação tem por finalidade analisar o problema da verdade no trabalho.apresentado por Alfred Tarski, chamado de “Concepção Semântica da Verdade”. Mas esta.discussão não será apresentada isolada das pesquisas sobre as diferentes concepções d…
Alfredo Tarski e o Conceito de Verdade em Linguagens Formalizadas
Nesta dissertação, oferecemos uma apresentação geral das investigações semânticas de Alfred Tarski, focalizando, em particular, sua contribuição à formalização matemática do conceito de verdade. A presentação inclui, especialmente, um estudo sobre a…
Filtros Avançados
Os campos preenchidos abaixo se combinam entre si (E): quanto mais campos, mais restrito o resultado.