Formalizing The Sorites Paradox In Mathematical Fuzzy Logic

0508237 - ÚI 2020 CZ eng A - Abstrakt
Cintula, Petr - Noguera, Carles - Smith, N.
Formalizing The Sorites Paradox In Mathematical Fuzzy Logic.
CLMPST 2019. Book of Abstracts. Prague: DLMPST/IUHPST, 2019. s. 113-113.
[CLMPST 2019: The International Congress of Logic, Methodology and Philosophy of Science and Technology /16./. 05.10.2019-10.10.2019, Prague]
Institucionální podpora: RVO:67985807
http://clmpst2019.flu.cas.cz/wp-content/uploads/2019/08/BoA_CLMPST2019_web.pdf

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).
Trvalý link: http://hdl.handle.net/11104/0299204