TRIBUNAPÚBLICA

Por Rubén Céspedes Morales. Estudiante de Filosofía U. de Santiago de Chile

Comúnmente, en Melipilla y en todo el mundo, se considera que una oración o es verdadera o es falsa, como por ejemplo las oraciones, ‘Juan es amarillo' o ‘En Melipilla hay muchos Centros Culturales'. Si usted observa a Juan comprobará mediante sus sentidos si él es amarillo o de cualquier otro color y si se da una vuelta por Melipilla, comprobará si la segunda oración ‘En Melipilla hay muchos Centros Culturales' es verdadera o falsa (esto último de manera muy fácil ya que en Melipilla no hay ningún Centro Cultural). Ahora, analicemos otra oración común y corriente de nuestro lenguaje natural, como por ejemplo ‘Deportes Melipilla ganará la Copa Libertadores', algunos dirán que esta oración es verdadera, otros que falsa, pero, ¿existe la posibilidad efectiva de decidir si esta proposición es verdadera o falsa como las oraciones anteriores? Usted dirá que sí, ya que, si Deportes Melipilla gana la Copa Libertadores entonces comprobaremos que la oración es verdadera, pero si resulta el caso que la oración es falsa, entonces, ¿cómo podríamos comprobar de manera efectiva que lo es? Esto último simplemente no se puede, porque aunque Deportes Melipilla no ganara la Copa Libertadores siempre estará la posibilidad de que obtenga el título y sea el campeón de América, ya que la oración se sitúa en un rango de tiempo futuro de extensión infinita y de esto, la posibilidad de ganar la Copa también es infinita, vale decir, ilimitada (afortunadamente para los melipillanos).

    Este último tipo de proposiciones (sin un dominio definido) no cae bajo el común principio que analizamos al comienzo, de que toda oración o es verdadera o es falsa, por lo tanto esta proposición es de carácter ‘indecidible' (1). Quienes sostienen esta refutación a que toda proposición o es verdadera o es falsa -la escuela intuicionista (2)- señalan que, para que se dé este principio en una oración, ésta en primer lugar debe ser decidible y en segundo lugar, debe existir una demostración de que es o verdadera o falsa. Este punto de vista es totalmente de carácter  epistemológico (3), sin embargo, existe otra escuela en Filosofía que defiende este principio, para todos, al parecer tan evidente, estos son los denominados realistas.

    Los realistas dan un carácter ontológico (4) a la verdad o falsedad de una proposición, vale decir, la proposición es verdadera o falsa aunque nadie lo demuestre, desde un punto de vista realista esto se da cuando la verdad trasciende la evidencia, por ejemplo, la proposición ‘en un millón de años más el hombre descubrirá vida extraterrestre' si esta proposición resulta ser verdadera, lo será no en base a la evidencia de la cual se dispone al momento de emitir la proposición, que de hecho no se tiene, por lo que en este caso la verdad de la proposición ‘en un millón de años más el hombre descubrirá vida extraterrestre' trasciende la evidencia, este ejemplo demuestra que las proposiciones serán o verdaderas o falsas independiente de la evidencia de la que se disponga.

    La discusión entre realistas e intuicionistas respecto a si el Principio de Tercero Excluido es válido, es algo que no está zanjado, como se ve, un principio tan obvio para nosotros es ampliamente discutido y criticado no sólo por la comunidad de filósofos, sino también por la de lógicos y matemáticos. En el presente artículo se mostró sólo una pequeña parte de la discusión que se lleva a cabo respecto a este principio tan fundamental para la filosofía y la ciencia. Como se ve, esta es la labor y la actitud de la Filosofía, una constante revisión crítica a los principios que rigen al ser humano, actitud que sin duda debiera adoptarse en todo orden de cosas. Ahora, ¿está tan seguro de que una oración o es verdadera o es falsa?

1. En matemáticas las conjeturas son un claro ejemplo de proposiciones indecidibles como es el caso de la Conjetura de Goldbach que señala que cualquier número par más grande que dos es suma de dos números primos, hasta ahora con todos los número estudiados se da esta conjetura, sin embargo, como el dominio del Conjunto de los número naturales es infinito, la posibilidad de encontrar una excepción también lo es.

2. La escuela intuicionista tiene sus orígenes en los cuestionamientos del matemático holandés J. Brouwer a principios clásicos como el Tercero Excluido (principio analizado en el artículo, verdadero o falso, ‘p v ¬p') en el caso de las proposiciones sin un dominio definido, esto basado en una visión epistemológica rigurosa que deriva en una matemática constructivista, a diferencia de los realistas para los cuales la matemática existe naturalmente. Por ejemplo, para la escuela intuicionista el infinito es potencial, vale decir, está en constante construcción, en cambio para los realistas es actual, existe ya.

3. Epistemología: Estudio del Conocimiento

4. Ontología: Estudio del Ser