Lógicas no clásicas de la vaguedad

Abstract

En el presente artículo presentaremos un panorama sencillo de las principales lógicas no clásicas que se han propuesto para lidiar con la paradoja de Sorites, esto es, las lógicas débilmente paracompletas, las débilmente paraconsistentes y las difusas de tipo 1. Notaremos algunas ventajas y problemas de estos sistemas, y finalmente propondremos una cuarta solución -basada en una lógica difusa de tipo 2- que permite superar algunas de las dificultades planteadas.

In this paper, we present a simple overview of the main non classical logics proposed for dealing with the Sorites paradox, that is, weakly paracomplete logics, weakly paraconsistent, and type 1 fuzzy logics. We note some of their advantages and problems and we suggest that the problems can be at least partially overcome by adopting a solution which relies on interval based type 2 fuzzy logics.