Abstract
Excluded middle is one of the fundamental laws of the thought according to Aristotle and Boolean algebra. The valued interpretation of this law in the classical (two-valued) case is: an object has or does not have the analyzed property (for example, in the propositional logic: a proposition is either truth or untruth). It is known that the excluded middle is not valid in the frame of the conventional fuzzy logic in a wider sense (fuzzy sets theory, fuzzy logic in narrow sense, fuzzy relations) and, as a consequence, the conventional approaches are not in the Boolean frame (They are not Boolean consistent generalization of the classical case). In this paper, the algebraic explanation of the excluded middle is presented. To each property uniquely corresponds its complementary property (For example: in logic the complement of truth is untruth). Complementary property is determined by (a) excluded middle: it contains everything which analyzed property doesn’t contain (there is nothing between); and by (b) non-contradiction: there is nothing common with the analyzed property. Excluded middle and non-contradiction are the fundamental algebraic principles (value indifferent: valid in all valued realizations)!
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Zadeh, L.: Fuzzy Sets. Information And Control 8, 338–353 (1965)
Radojević, D.: [0,1]-Valued logic: A natural generalization of Boolean logic. YUJOR 10(2), 185–216 (2000)
Radojević, D.: Interpolative Realization of Boolean algebra as a Consistent Frame for Gradation and/or Fuzziness. In: Nikravesh, M., Kacprzyk, J., Zadeh, L.A. (eds.) Forging New Frontiers: Fuzzy Pioneers II. STUDFUZZ, pp. 295–318. Springer, Heidelberg (2007)
Radojević, D.: Real sets as consistent Boolean generalization of classical sets. In: Zadeh, L.A., Tufis, D., Filip, F.G., Dzitac, I. (eds.) From Natural Language to Soft Computing: New Paradigms in Artificial Intelligence, pp. 150–171. House of Romanian Academy (2009) ISBN 978-973-27-1678-6
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Radojević, D.G. (2013). Excluded Middle and Graduation. In: Balas, V., Fodor, J., Várkonyi-Kóczy, A., Dombi, J., Jain, L. (eds) Soft Computing Applications. Advances in Intelligent Systems and Computing, vol 195. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33941-7_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-33941-7_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33940-0
Online ISBN: 978-3-642-33941-7
eBook Packages: EngineeringEngineering (R0)