HERBRAND AND THE EXTENDED SYLLOGISTIC

Authors

  • Frank Thomas Sautter Universidade Federal de Santa Maria

DOI:

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

Keywords:

Symbolic knowledge, Monadic Predicate Logic, Extended syllogistic, Herbrand.

Abstract

I provide a proof method for First Order Monadic Predicate Logic. This method uses the Normal Form of Herbrand and the Disjunctive and Conjunctive Normal Forms for Propositional Logic. The validity is determined by mere inspection of the presence and arrangement of formulas that act as informational atoms. The exact  relationship between First Order Monadic Predicate Logic and the extended syllogistic developed during the nineteenth century is established by the Normal Form of Herbrand.

Downloads

Download data is not yet available.

Author Biography

Frank Thomas Sautter, Universidade Federal de Santa Maria

Professor Associado Departamento de Filosofia

Downloads

Published

2015-08-31

How to Cite

SAUTTER, F. T. HERBRAND AND THE EXTENDED SYLLOGISTIC. Philósophos a journal of philosophy, 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.

Issue

Vol. 20 No. 1 (2015): Steady Flow

Section

Artigos Originais

License

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