Formalizing The Sorites Paradox In Mathematical Fuzzy Logic

Autoři: doc. Ing. Petr Cintula, Ph.D. DSc.
Rok vydání: 2019
Typ publikace: Abstrakt
Periodikum: CLMPST 2019. Book of Abstracts
Bibliografická citace: CINTULA, Petr, NOGUERA, Carles, SMITH, N. Formalizing The Sorites Paradox In Mathematical Fuzzy Logic. In: CLMPST 2019. Book of Abstracts. Prague: DLMPST/IUHPST, 2019, S. 113-113. Dostupné z: http://clmpst2019.flu.cas.cz/wp-content/uploads/2019/08/BoA_CLMPST2019_web.pdf
ID: 508237

Abstrakt

The sorites paradox has been intensively discussed in the literature and several competing theories of vagueness have emerged. Given a vague predicate F and a sequence of objects 1, 2, ..., n, such that: F(1) is true, F(n) is false, and for each i, the objects i and i+1 are extremely similar in all respects relevant to the application of F; the sorites paradox is an argument which, based on two apparently true premises F(1) and “for each i: F(i) implies F(i+1)”, after n applications of modus ponens reaches the clearly false conclusion F(n).