Pesquisa
A MODAL APPROACH TO LOGICAL CONSISTENCY
NESTA TESE, INVESTIGAMOS O CONCEITO DE CONSISTÊNCIA POR MEIO DE SUAS FORMALIZAÇÕES SEMÂNTICAS E SINTÁTICAS. EM ESPECIAL, MOSTRAMOS QUE TAIS FORMALIZAÇÕES NÃO CAPTURAM INTEIRAMENTE O CONCEITO PRÉ-TEÓRICO, INTUITIVO, DE CONSISTÊNCIA. NOSSA ANÁLISE DO…
CONSEQUÊNCIA LÓGICA E MODELOS: UMA INVESTIGAÇÃO LÓGICO-FILOSÓFICA
O OBJETIVO DESTE TRABALHO É REALIZAR UMA INVESTIGAÇÃO LÓGICO-FILOSÓFICA ACERCA DA CONSEQUÊNCIA LÓGICA. MAIS ESPECIFICAMENTE, ANALISAREMOS A CONSEQUÊNCIA LÓGICA A PARTIR DO RECORTE DA TEORIA DE MODELOS, I.E., A CONSEQUÊNCIA LÓGICA MODELO-TEORÉTICA. E…
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…
Lógica e Informação: uma análise da consequência lógica a partir de uma perspectiva quantitativa da informação
Apresentamos uma definição de consequência lógica com base na noção de informação definida pela Teoria Matemática da Comunicação, especialmente por Shannon (1949). Dizemos que uma fórmula é consequência lógica informacional de um dado conjunto de fó…
Filtros Avançados
Os campos preenchidos abaixo se combinam entre si (E): quanto mais campos, mais restrito o resultado.