HERBRAND E A SILOGÍSTICA AMPLIADA

vol. 20, n. 1 (2015) • Philósophos: Revista de Filosofia - Revista UFG

Autor: Frank Thomas Sautter

Resumo:

Forneço um método de prova para a Lógica de Predicados Monádicos de Primeira Ordem. Esse método utiliza a Forma Normal de Herbrand e as Formas Normais Disjuntiva e Conjuntiva da Lógica Proposicional. A validade é determinada por mera inspeção da presença e disposição de fórmulas que atuam como átomos de informação. Mediante a Forma Normal de Herbrand se estabelece a relação exata entre a Lógica de Predicados Monádicos de Primeira Ordem e a silogística ampliada desenvolvida ao longo do século XIX.

 

ISSN: 1982-2928

DOI: https://doi.org/10.5216/phi.v20i1.34776

Texto Completo: https://www.revistas.ufg.br/philosophos/article/view/34776/18932

Palavras-Chave: Conhecimento simbólico; Lógica de Predicados

Philósophos: Revista de Filosofia - Revista UFG

A Revista Philósophos publicou seu primeiro exemplar em 1996. Desde então temos tido como objetivo publicar material bibliográfico inédito e argumentativo na área de filosofia e promover o debate filosófico. Os trabalhos publicados pela Philósophos são sempre de autores dedicados a Pesquisa em Filosofia e que sejam doutores nessa área no Brasil e no exterior. A publicação é semestral, sob a responsabilidade da Faculdade de Filosofia (FAFIL) e do Programa de Pós-Graduação em Filosofia da Universidade Federal de Goiás. A submissão dos artigos deve ser feita em resposta a chamadas temáticas divulgadas pela revista.