A Simple Decision Method for Syllogistic

Autor:	Frank Thomas Sautter, Gisele Dalva Secco
Rok vydání:	2018
Předmět:	Computer science Simple (abstract algebra) Calculus Syllogism Digraph Representation (arts) Propositional calculus Iconicity Decision model Existentialism
Zdroj:	Diagrammatic Representation and Inference ISBN: 9783319913759 Diagrams
DOI:	10.1007/978-3-319-91376-6_64
Popis:	We present a method of digraphs for Syllogistic that uses only two rules for testing the validity of syllogisms without existential import and a third rule for cases in which the existential import of terms is used. This method derives from Martin Gardner’s network method for Classical Propositional Logic, preserving the iconicity features that Gardner attributes to the propositional case also in the case of Syllogistic. We will first present the graphical representations and the rules for manipulating these representations in the case of syllogisms in which the existential import of terms are not admitted. Then, we will extend the method with a graphical representation for the existential import and with a new rule for the manipulation of this representation. Finally, we will show some applications of the method. It was first presented in Portuguese in Cognitio 14(2013): 221–234.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::9b8b338149f7204635c0934e0b588ff0 https://doi.org/10.1007/978-3-319-91376-6_64 Zobrazit plný text záznamu