A  B  C  D  E  F  G  H  I  J  L  M  N O  P  R  S  T  V

paradoja

Una paradoja era, originalmente, cualquier afirmación sorprendente, problemática, o contraintuitiva, especialmente una verdad contraintuitiva.

Para la lógica moderna, una paradoja es un concepto o proposición que crea problemas lógicos o semánticos derivados del hecho de que se niega a sí misma después de haberse afirmado a sí misma.

(v. paradojas de la implicación material)

paradojas de la implicación material

Dos consecuencias de la definición de la implicación material que violan las intuiciones informales acerca de la implicación son:

  1. que la implicación material es verdadera siempre que el antecedente es falso, y
  2. que una implicación material es verdadera siempre que el consecuente es verdadero.

Estas llamadas paradojas son problemáticas sólo desde el punto de vista intuitivo, pero son perfectamente lógicas (no presentan contradicciones).

(v. implicación, paradoja)

principio del tercio excluso

También se conoce como "tertium non datur". Clásicamente se considera que es uno de los principios o leyes fundamentales del pensamiento (junto con el principio de identidad, de no contradicción y de razón suficiente).

Según el principio de tercio excluso, toda proposición es verdadera o falsa, y entre estos dos valores de verdad no se admite nada intermedio o “tercero”; en términos semánticos, si dos proposiciones son contradictorias, al menos una de ellas es falsa.

Su representación simbólica corresponde a la tautología: A∨¬A

(v. valor de verdad, verdad, falso)

proposición atómica

Una proposición atómica es una proposición simple, como opuesta a una proposición compuesta o molecular.

Una proposición simple es una proposición cuya estructura interna no nos interesa; por ello, es una proposición cuya estructura interna no es captada por nuestro sistema de notación.

Es una fbf sin conectivas; se representa por las letras enunciativas p, q, r, etc.

(v. proposición, proposición molecular)

proposición molecular

Una proposición molecular es una proposición compuesta, como opuesta a una proposición atómica. Es una fbf con al menos una conectiva binaria, por lo que contiene dos o más proposiciones simples (componentes) unidos por una conectiva. Una proposición compuesta sólo tiene un valor de verdad para una determinada interpretación.

(v. proposición, proposición atómica)

prueba

Una prueba es una forma de mostrar cómo un enunciado llamado ‘conclusión’ se sigue necesariamente de un conjunto de enunciados llamados ‘premisas’.

Dicho de otra manera, las pruebas muestran cómo la verdad de un conjunto de enunciados llamados ‘premisas’ es incompatible con la falsedad de otro enunciado llamado ‘conclusión’.

(v. derivación)

Referencias al texto: