F -2324

Seminario sobre Wittgenstein

Guía de las proposiciones 5.11-5.54

5.11 Inferencia. Recordar que los fundamentos veritativos de una proposición son aquellas de sus posibilidades de verdad
que hacen verdadera a la proposición.

p q a b
|
1 V V V V Aquí tenemos dos columnas a la derecha; cada una de ellas representa
2 V F V las condiciones veritativas de una proposición (las he designado con las
3 F V letras a y b). Recuérdese que los fundamentos veritativos de una proposi-
4 F F ción son aquellas posibilidades de verdad que hacen verdadera a la proposi-
ción.
Puede observarse que todos los fundamentos veritativos de la proposición
a son a la vez fundamentos veritativos de la proposición b; es decir, siempre que a es
verdadera, b es verdadera (aunque lo inverso no es cierto, como puede verse). Por esto decimos que b se sigue de a, o que b
se infiere de a (pero no que a se infiere de b: no todos los fundamentos veritativos de b son fundamentos veritativos de a; 2
es fundamento veritativo de b pero no de a.

La proposición a puede expresarse también como la conjunción de p y q; la proposición b, como puede verse, no es otra que
la misma proposición p, expresada como función de verdad de sí misma y de q. Por esta razón podemos decir que p se
infiere de p y q.

Veamos ahora este caso:

pq a b c Aquí tenemos tres proposiciones (a, b, c), expresadas como funciones

1 V V V V veritativas de p y q. Puede observarse que todos los fundamentos veritati-
2 V F V vos comunes a a y b (en este caso sólo la fila 3 es común) son también
3 F V V V V fundamentos veritativos de c. Por eso decimos que c se infiere de a y b
4 F F V tomadas conjuntamente, es decir, de la conjunción de a y b.

“Si todos los fundamentos veritativos que son comunes a un número de proposiciones son, al mismo tiempo,
fundamentos veritativos de una determinada proposición, entonces decimos que la verdad de esta se sigue de la verdad
de aquellas” (5.11).

Veamos ahora este otro caso:

p q a b Las proposiciones a y b no tienen fundamentos veritativos comu-
1 V V V nes: no hay un fundamento veritativo de a que sea a la vez funda-
2 V F V mento veritativo de b; a y b son opuestas entre sí, se contradicen
3 F V V recíprocamente, a niega b y b niega a.
4 F F V

“Dos proposiciones se oponen entre sí si no hay una proposición con sentido que afirme ambas,
Cualquier proposición que contradiga a otra la niega” (5.1241).

5.13-5.131 Las relaciones de inferencia y de exclusión recíproca como relaciones internas entre proposiciones.
“Que la verdad de una proposición se sigue de la verdad de otras es cosa que percibimos a partir de la estructura de las
proposiciones”(5.13); es decir, es algo que se muestra en la estructura de las proposiciones, una relación formal entre las
mismas, y no algo que pueda ser dicho mediante una proposición. No hay “leyes deductivas” (5.132) ni “leyes o principios
de la lógica”. Lo que las leyes de la lógica intentan decir (las relaciones de inferencia entre proposiciones) es algo que se
muestra en la estructura misma de las proposiciones; algo que estas exhiben).

5.1311 La función barra (  ) como sustituto de las constantes lógicas. En este apartado se introduce una “conectiva lógica”
que pretende sustituir a las tradicionales: pq (léase “ni p ni q”). Sobre esto hablaremos en clase.
5.1362. “La creencia en el nexo causal es la superstición” El juego de palabras presente en el original alemán se pierde en la
traducción: Glaube (creencia) Aberglaube (superstición). Aquí se introduce un primer ataque a la noción de leyes naturales:
las leyes naturales no poseen necesidad alguna: son proposiciónes con sentido, por lo tanto son contingentes (su negación es
pensable). No describen cómo tienen que suceder las cosas, sino solamente cómo suceden. Del hecho de que el sol haya
salido todos los días hasta hoy no se sigue que tenga que salir mañana. Del hecho de que el fuego haya quemado hasta hoy
no se sigue que tenga que quemar mañana. No hay fundamento para ninguna ley de la naturaleza. No hay necesidad natural
Todas las leyes naturales son, por decirlo así, absolutamente gratuitas (en la medida en que puede pensarse un universo con
otras leyes).

5.1363. Evidencia y verdad. Ha sido frecuente a lo largo de la historia del pensamiento hablar de ciertas proposiciones
como evidentes por sí mismas (los axiomas de la geometría, por ejemplo, los juicios sintéticos a priori en Kant, y en general
los “primeros principios”). En este carácter de autoevidencia estaría, según esta concepción, el fundamento de su verdad.
Wittgenstein rechaza este enfoque: del hecho de que una proposición nos resulte evidente no se sigue que sea verdadera. Las
proposiciones autoevidentes de la lógica (como los axiomas lógicos de Russell o Frege, o los clásicos principios de no
contradicción y tercio excluso) no serían auténticas proposiciones: serían intentos de decir aquello que las proposiciones
mismas muestran: que una proposición y su negación no pueden ser verdaderas a la vez es un rasgo interno (una propiedad
interna) del signo proposicional; algo que los mismos signos exhiben:

p q a b La proposición b es la negación de la proposición a. Que a y su negación no

V V V pueden ser verdaderas al mismo tiempo es algo que se muestra en los respecti-
V F V vos signos proposicionales: los signos muestran que las proposiciones a y b no
F V V tienen fundamentos veritativos comunes: que siempre que a es verdadera, b es
F F V falsa. Eso es algo que vemos en los signos mismos, algo que ellos exhiben.

5.14. Si una proposición se sigue de otra, esta dice más que aquella.
p q a b La proposición b se sigue de la proposición a (todos los fundamentos
1 V V V V veritativos de a son fundamentos veritativos de b); a dice más que b por-
2 V F V que a determina más la realidad que b (la circunscribe más que b, le de-
3 F V ja menos libertad de movimiento a la realidad que b; cf. 4.463) o, lo que
4 F F es lo mismo, a excluye más posibilidades que b: a excluye 2,3,4, mien-
tras que b sólo excluye 3 y 4.

5.2 y siguientes: Operación. Una proposición puede obtenerse a partir de otras mediante una operación que expresa una
relación entre la estructura de ambas proposiciones (es decir, de sus propiedades estructurales, formales). AQUÍ SE
INTRODUCE UN TEMA QUE DESEMBOCARÁ FINALMENTE EN EL DE LA FORMA GENERAL DE LA
PROPOSICIÓN.
5.234. Las funciones veritativas de las proposiciones elementales son resultados de operaciones que tienen como bases las
proposiciones elementales

La negación puede considerarse una operación de estas:

p q a no a no no a La negación consiste en la operación por la cual invierto los valores
V V V V de verdad expresados en las condiciones veritativas de las proposicio
V F V´ nes:
F V V Si aplicamos la operación negación a a una vez, obtenemos no a; si la
F F V aplicamos dos veces, obtenemos no, no a.

El simbolismo expresado en 5.2521 para la aplicación sucesiva de una operación:

O’a sería la aplicación de la operación negación una vez a a. (es decir, no a)
O’O’a sería la aplicación de la operación negación dos veces a a (es decir, no no a, que equivale a a)
O’O’O’a sería la aplicación de la operación negación tres veces a a (es decir, no no no a, que equivale nuevamente a no a).
O’ (con una rayita sobre la letra griega) es el signo general de una operación. La letra griega con rayita encima designa la
totalidad de las bases de la operación, es decir las proposiciones de partida.

5.2522 Miembro general de una serie de formas (las sucesivas aplicaciones de una operación definen una serie formal). (a,
x, Ox). a es el punto de partida de la operación, x, un miembro cualquiera de la serie, Ox, la forma en como se obtiene el
sucesor de x. (esto será explicado en clase).

NO HAY CONSTANTES LÓGICAS:

5.3 (hacia el final) TODA PROPOSICIÓN ES EL RESULTADO DE OPERACIONES VERITATIVAS CON
PROPOSICIONES ELEMENTALES.
5.32: TODAS LAS FUNCIONES VERITATIVAS SON RESULTADO DE LA APLICACIÓN DE UN NÚMERO FINITO
DE OPERACIONES VERITATIVAS A LAS PROPOSICIONES ELEMENTALES.
POR ESTA RAZÓN NO HAY OBJETOS LÓGICOS (CONSTANTES LÓGICAS) (5.4. y siguientes)
La afirmación de que las constantes lógicas no designan elementos de la realidad (ni complejos de elementos de la
realidad) es uno de los puntos centrales del Tractatus; en última instancia las constantes lógicas expresarían, de manera
obscura, una operación realizada sobre las proposiciones elementales, y no elementos irreductibles de lo real.

5.441 Tampoco los cuantificadores (existencial y universal) -constantes lógicas- designan nada real. De alguna manera
deben ser explicados en términos de operaciones realizadas sobre las proposiciones elementales.

5.5 y siguientes La operación fundamental en términos de la cual Wittgenstein pretende obtener todas las proposiciones a
partir de las elementales es la operación de negación simultánea.

En 5.52 y siguientes se intenta explicar los cuantificadores universal y existencial en términos de la operación fundamental,
a fin de expresar lo que ellos expresan como función de verdad de las proposiciones elementales (esto será explicado en
clase).