Excluded Middle and Graduation
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)!
KeywordsExcluded middle Classical logic Conventional fuzzy logic Consistent real-valued realization of Boolean algebra
Unable to display preview. Download preview PDF.
- 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)Google Scholar
- 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-6Google Scholar