Abstract
In the classical calculus with precise concepts, some schemes of deductive inference are used such as the modus ponens (MP), and the modus tollens (MT), but also the so-called disjunctive mode, among others. They are instances of what is often known as the Aristotelian logical forms, and are of some interest for the mechanizing of formal deduction.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
E. Trillas, C. Alsina, E. Renedo, On some schemes of reasoning in fuzzy logic. New Math. Nat. Comput 7(3), 433–451 (2011)
F. Bex, Ch. Reed, Schemes of inference, conflict, and preference in a computational model of argument. Stud. Logic Grammar Rhetoric 27(36), 39–53 (2011)
Sister Miriam Joseph, The Trivium: The Liberal Arts of Logic, Grammar, and Rhetoric (Paul Dry Books, Philadelphia, 2002)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Trillas, E. (2017). Questions on the Classical Schemes of Inference. In: On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic. Studies in Fuzziness and Soft Computing, vol 354. Springer, Cham. https://doi.org/10.1007/978-3-319-56053-3_16
Download citation
DOI: https://doi.org/10.1007/978-3-319-56053-3_16
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-56052-6
Online ISBN: 978-3-319-56053-3
eBook Packages: EngineeringEngineering (R0)