HERBRAND E A SILOGÍSTICA AMPLIADA
DOI:
https://doi.org/10.5216/phi.v20i1.34776Palabras clave:
Conhecimento simbólico, Lógica de Predicados Monádicos, Silogística ampliada, Herbrand.Resumen
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.Descargas
Los datos de descargas todavía no están disponibles.
Descargas
Publicado
2015-08-31
Cómo 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: 17 jul. 2024.
Número
Sección
Artigos Originais
Licencia
1. Proposta de Política para Periódicos de Acesso Livre
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.
- 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).
