CUARTO INFORME

Julio Garca Saue

En el presente informe detallaremos los argumentos expuestos en el pargrafo cinco del
Tractatus lgico philosophicus. En este pargrafo se presentan temas tales como
inferencia, la operacin formal, la lgica y el mundo, pero tratemos de explicar uno por
uno. Inferencia, nexo causal y libre albedro
Wittgenstein deja muy en claro que la verdad de una proposicin se sigue de otra si
todos los fundamentos veritativos estn contenidos en ella, esto es, el sentido de ambas
consiste en las relaciones internas que mantienen y, por tanto, si tenemos una
proposicin verdadera todas las que se derivan de ella son correctas y todos sus
elementos existen. Ello se debe a la estructura de las proposiciones, que es a priori, a
diferencia de las proposiciones elementales, ya que una proposicin elemental no se
deduce otra igual. En ese sentido, en relacin con estas proposiciones, de ningn estado
de cosas o !ec!o se sigue un !ec!o diferente, pues no existe un nexo causal justificado.
"e a! que nuestro autor se#ale que, tal como lo dijo pargrafos atrs, la necesidad es
in!erente a la lgica y no de las cosas.
$or otro lado, la probabilidad es una relacin entre proposiciones en tanto que
comparten todos o varios de sus fundamentos veritativos, por ello si dos proposiciones
no comparten dic!os fundamentos, son independientes entre s.% adems la probabilidad
se da en una proposicin derivada, esto significa que la probabilidad envuelve una
descripcin general de una forma proposicional, por lo que una expresin de
probabilidades es una parcial descripcin del conocimiento de un !ec!o.
&!ora bien, la operacin entre proposiciones expresa la relacin entre sus estructuras,
ya que estas estructuras tienen relaciones internas entre s y se opera entre ellas para
encontrar otra proposicin. Esta operacin se muestra en una variable y no caracteri'a
forma alguna sino slo la diferencia entre formas, es decir, el que se d( una operacin
no caracteri'a el sentido de una proposicin, sino una operacin puede anular el efecto
de otra y cancelarse entre s y, a la ve', puede desaparecer como en el caso de la doble
negacin. &dems, la operacin veritativa es el modo cmo de proposiciones
elementales surge la funcin veritativa. En consecuencia, toda proposicin es el
resultado de operaciones veritativas, pero esta construccin de nuevas proposiciones es
finita aunque la posibilidad sea que con nuevos pasos logremos ms proposiciones.
&l incorporar un nuevo concepto fundamental en lgica debe reflejar su necesidad, pues
en lgica no existen relaciones jerrquicas. )odo lo que es posible en lgica est
permitido ya que su carcter a priori consiste en que nada ilgico puede ser pensado, tal
como en el pargrafo tres. *lo debera cuidarse de que no se introdu'can unidades
sgnicas innecesarias. )oda proposicin que tenga sentido !a dado significado a alguna
de sus partes, y en el caso de la tautologa y contradiccin tienen significado sus partes
pero carecen de sentido. En ese sentido, los problemas de la lgica no se resuelven
mediante la experiencia, sino que la lgica, en su estructura, es a priori. En otras
palabras, la lgica est antes del cmo y la realidad emprica est limitada por la
cantidad de objetos que se muestran en la totalidad de proposiciones elementales. +as
proposiciones elementales que tomaremos como significativas las determinamos a
priori, ya que las proposiciones de nuestro lenguaje estn ya ordenadas desde un punto
de vista lgico. $or tanto, la lgica y el mundo tienen la misma extensin, pues los
lmites de mi lenguaje son los lmites de mi mundo y la lgica llena el mundo.