Journal of Interdisciplinary Undergraduate Research


Renderings of the ancient Sorites paradox in classical first-order logic, Lukasiewicz’s three-valued first-order logic, and a Pavelka-style derivation system for Lukasiewicz’s fuzzy first-order logic are derived. It can be seen that only in the last logic mentioned is the conclusion of the Sorites paradox false while the premises are true thus resolving the paradox.