Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Gardner, M.: Network diagram for the propositional calculus. In: Logic Machines and Diagrams, pp. 60–79. McGraw Hill, New York (1958)
Gardner, M.: The propositional calculus with directed graphs. In: A Gardner’s Workout: Training the Mind and Entertaining the Spirit, pp. 25–33. A. K. Peters, Natick (2001)
Sautter, F.T.: Gardner’s method for syllogistic. Cognitio 14, 221–234 (2013). (in Portuguese)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Sautter, F.T., Secco, G.D. (2018). A Simple Decision Method for Syllogistic. In: Chapman, P., Stapleton, G., Moktefi, A., Perez-Kriz, S., Bellucci, F. (eds) Diagrammatic Representation and Inference. Diagrams 2018. Lecture Notes in Computer Science(), vol 10871. Springer, Cham. https://doi.org/10.1007/978-3-319-91376-6_64
Download citation
DOI: https://doi.org/10.1007/978-3-319-91376-6_64
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-91375-9
Online ISBN: 978-3-319-91376-6
eBook Packages: Computer ScienceComputer Science (R0)