HERBRAND E A SILOGÍSTICA AMPLIADA
DOI:
https://doi.org/10.5216/phi.v20i1.34776Palavras-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.
Downloads
Publicado
31-08-2015
Como Citar
SAUTTER, Frank Thomas. 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: 5 dez. 2025.
Edição
Seção
Artigos Originais
Licença
Autores que publicam nesta revista concordam com os seguintes termos:
- Autores mantêm os direitos autorais e concedem à revista o direito de primeira publicação, sendo o trabalho simultaneamente licenciado sob a Creative Commons Attribution License o que permite o compartilhamento do trabalho com reconhecimento da autoria do trabalho e publicação inicial nesta revista.
- Autores têm autorização para assumir contratos adicionais separadamente, para distribuição não-exclusiva da versão do trabalho publicada nesta revista (ex.: publicar em repositório institucional ou como capítulo de livro), com reconhecimento de autoria e publicação inicial nesta revista.
