Principio del tercero excluido

Principio del tercero excluido

El principio del tercero excluido o nefasto, propuesto y formalizado por Aristóteles, también llamado principio del tercero excluso o en latín principium tertium exclusum (también conocido como tertium non datur o una tercera (cosa) no se da), es un principio clásico de la filosofía y de la lógica según el cual la disyunción de una proposición y su negación es siempre verdadera.[1] [2] Por ejemplo, es verdad que "es de día o no es de día", y que "el Sol está ardiendo o no está ardiendo". El principio del tercero excluido frecuentemente se confunde con el principio de bivalencia, según el cual toda proposición o bien es verdadera o bien es falsa.[1] [2] El principio del tercero excluido es, junto con el principio de no contradicción y el principio de identidad, una de las leyes clásicas del pensamiento.[3]

En la lógica proposicional, el principio del tercero excluido se expresa:

(A \or \neg A)

donde A no es una fórmula del lenguaje, sino una metavariable que representa a cualquier fórmula del lenguaje.

En la lógica aristotélica, se distingue entre juicios contradictorios y juicios contrarios. Dados dos juicios contradictorios, no puede darse un juicio intermedio, pero sí en cambio entre dos juicios contrarios. Por ejemplo, si se afirma "Juan es bueno" y "esta proposición es verdadera", entonces los juicios contradictorios son "Juan no es bueno" y "esta proposición no es verdadera", y no hay posibilidad de un juicio intermedio. Pero en cambio, los juicios contrarios son Juan es malo y esta proposición es falsa, y entonces sí cabe la posibilidad de otros juicios intermedios, como "Juan es más o menos bueno" y "esta proposición es probablemente falsa".[cita requerida]

Según Stuart Mill, la frase "abracadabra es una segunda intención" no es ni verdadera ni falsa, sino que carece de sentido.[4]

La negación del principio del tercero excluido de un sistema lógico da lugar a las llamadas lógicas polivalentes.

Véase también

Notas y referencias

  1. a b Robert Audi, ed., «principle of excluded middle» (en inglés), The Cambridge Dictionary of Philosophy (2nd Edition edición), Cambridge University Press 
  2. a b Ted Honderich, ed., «law of excluded middle» (en inglés), The Oxford Companion to Philosophy, Oxford University Press 
  3. Robert Audi, ed., «laws of thought» (en inglés), The Cambridge Dictionary of Philosophy (2nd edition edición), Cambridge University Press 
  4. Vaz Ferreira, Carlos (1983). Lógica viva. Montevideo, Uruguay: Técnica. p. 92. 

Wikimedia foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Mira otros diccionarios:

  • Principio de no contradicción — Saltar a navegación, búsqueda El principio de no contradicción, o a veces llamado principio de contradicción, es un principio clásico de la lógica y la filosofía, según el cual una proposición y su negación no pueden ser ambas verdaderas al mismo …   Wikipedia Español

  • Principio — Saltar a navegación, búsqueda Del latín principium comienzo, primera parte a su vez derivado de prim primero, en primer lugar y cap(i) tomar, coger, agarrar , por lo que literalmente principium es lo que se toma en primer lugar . Se le puede… …   Wikipedia Español

  • Principio de identidad — Saltar a navegación, búsqueda Para la igualdad entre expresiones algebraicas, véase Identidad (álgebra). El principio de identidad es un principio clásico de la lógica y la filosofía, según el cual toda entidad es idéntica a sí misma. Por ejemplo …   Wikipedia Español

  • Paradoja del mentiroso — Saltar a navegación, búsqueda Escuche este artículo (info) …   Wikipedia Español

  • pensamiento, leyes del — Tradicionalmente, las tres leyes fundamentales de la lógica: (1) la ley de no contradicción, (2) la ley del tercero excluido, y (3) el principio de identidad. Esto es, (1) para toda proposición p, es imposible que p y no p sean verdaderas… …   Enciclopedia Universal

  • Historia del Partido Nacionalista Vasco — Artículo principal: Partido Nacionalista Vasco El Partido Nacionalista Vasco, fundado por Sabino Arana, fue constituido oficialmente el 31 de julio de 1895. Desde la instauración de la democracia hasta mayo de 2009 formó parte del Gobierno Vasco …   Wikipedia Español

  • Constructivismo (matemáticas) — En la filosofía de las matemáticas, la escuela constructivista o el constructivismo requiere para la prueba de la existencia de un objeto matemático, que él mismo pueda ser encontrado o construído . Para esta escuela no es suficiente la prueba… …   Wikipedia Español

  • Lógica — La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico,… …   Wikipedia Español

  • Razón (filosofía) — Saltar a navegación, búsqueda Para otros usos de este término, véase Razón. El sueño de la razón , de Francisco de Goya y Lucientes La razón es la facultad en virtud de la cual el ser humano es capaz de identificar co …   Wikipedia Español

  • Lógica plurivalente — Una lógica plurivalente o lógica polivalente es un sistema lógico que rechaza el principio del tercero excluido de las lógicas bivalentes y admite más valores de verdad que los tradicionales verdadero y falso.[1] Distintas lógicas plurivalentes… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”