HERBRAND E A SILOGÍSTICA AMPLIADA

Auteurs-es

  • Frank Thomas Sautter Universidade Federal de Santa Maria

DOI :

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

Mots-clés :

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

Résumé

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.

Téléchargements

Les données relatives au téléchargement ne sont pas encore disponibles.

Biographie de l'auteur-e

Frank Thomas Sautter, Universidade Federal de Santa Maria

Professor Associado Departamento de Filosofia

Téléchargements

Publié-e

2015-08-31

Comment citer

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: 17 juill. 2024.

Numéro

Rubrique

Artigos Originais