HERBRAND E A SILOGÍSTICA AMPLIADA

Autores

  • Frank Thomas Sautter Universidade Federal de Santa Maria

DOI:

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

Palavras-chave:

Conhecimento simbólico, Lógica de Predicados Monádicos, Silogística ampliada, Herbrand.

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.

Downloads

Não há dados estatísticos.

Biografia do Autor

Frank Thomas Sautter, Universidade Federal de Santa Maria

Professor Associado Departamento de Filosofia

Downloads

Publicado

31-08-2015

Como Citar

SAUTTER, F. T. HERBRAND E A SILOGÍSTICA AMPLIADA. Philósophos - Revista de Filosofia, Goiânia, v. 20, n. 1, p. 125–144, 2015. DOI: 10.5216/phi.v20i1.34776. Disponível em: https://revistas.ufg.br/philosophos/article/view/34776. Acesso em: 19 jul. 2024.

Edição

Seção

Artigos Originais