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: 22 nov. 2024.

Edição

v. 20 n. 1 (2015): Fluxo contínuo

Seção

Artigos Originais

Licença

1. Proposta de Política para Periódicos de Acesso Livre


Autores que publicam nesta revista concordam com os seguintes termos:

    1. 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.

    1. 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.

    1. Autores têm permissão e são estimulados a publicar e distribuir seu trabalho online (ex.: em repositórios institucionais ou na sua página pessoal) a qualquer ponto antes ou durante o processo editorial, já que isso pode gerar alterações produtivas, bem como aumentar o impacto e a citação do trabalho publicado (Veja O Efeito do Acesso Livre).