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, Frank Thomas. 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: 5 dec. 2025.

Issue

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

Section

Artigos Originais

License

Authors who publish in this journal agree to the following terms:

- Authors retain copyright and grant the journal right of first publication, with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.

- Authors are authorized to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., publishing in an institutional repository or as a book chapter), with an acknowledgement of its authorship and initial publication in this journal.