De los conceptos formales a las funciones de verdad Expositor: Juan Carlos Quintero Velsquez Octubre 26 de 2005 El presente trabajo

aborda los aforismos comprendidos entre los numerales 4.126 y 4.45 del T.L.P. Para su desarrollo me he servido de la divisin que propone Valds Villanueva en la introduccin de su traduccin del Tractatus, a saber: 1.) Conceptos formales, 2.) Proposiciones elementales y nombres, y 3.) Funciones de verdad. Conceptos formales Propiedades y relaciones internas abren el camino para la comprensin de los conceptos formales. As como es posible hablar de aquellas como propiedades formales, como propiedades que no se dicen en la proposicin, sino que se muestran en ella, as, es posible pensar en conceptos formales, entendidos como aquellos que cobijan varias situaciones posibles sobre la base de una relacin interna entre ellas, es decir, sobre la base de compartir una propiedad formal. De esta manera, los conceptos formales no son concepto de algo, al estilo de los conceptos propiamente dichos, sino que simplemente expresan una relacin entre propiedades formales. En por esto que los conceptos formales no se dicen en la proposicin. Se muestran en ella. (Vale la pena recordar aqu 4.1212: lo que puede mostrarse no puede decirse). As como los rostros tienen rasgos que los distinguen de otros, ciertos smbolos poseen tambin rasgos, que vienen a ser su propiedad formal. Es justamente este tipo de propiedad la que se constituye en la marca de los conceptos formales. Esa marca caracterstica es mostrada en un signo de tal forma que el signo mismo se convierte en el rasgo caracterstico de todos los smbolos que son cobijados bajo el concepto formal. As, el signo variable proposicional est en la proposicin, no solo por la posible relacin con un posible estado de cosas, sino tambin como marca de un concepto formal (4.127). Pero aun ms, tal concepto formal se convierte en lo nico constante de las variables proposicionales, pues es lo comn y lo, en tanto tal, que permanece en ellas. Miremos el ejemplo de nos trae Wittgenstein. Si tomamos las variables x, y, z, etc., ellas estn en la proposicin como posibilidades de que ciertos valores distintos se cumplan en ellas, pero hay entre ellas algo que es necesariamente comn: el hecho de que todas se refieren a objetos, lo que las hace marca del concepto formal objeto, constante entre las variables. En el momento en que las variables dejan de referirse a objetos se convierten en componentes, ya no de proposiciones, sino de pseudoproposiciones, esto es, de proposiciones sin sentido. No es lo mismo decir hay objetos (referencia a concepto formal objeto), que hay libros (referencia a concepto libro). Hablar de el nmero de todos los objetos es hablar de un concepto formal, esto es, de algo que no tiene objeto, o sea de algo sin sentido (pues no se refiere a ningn posible estado de cosas). Sucede del mismo modo con expresiones como complejo, hecho, funcin, nmero. Un concepto formal se muestra en la variable que es cobijada por l, la que

opera como objeto de tal concepto. Es en este sentido que Wittgenstein afirma que no se pueden juntar objetos de un concepto formal y el mismo concepto formal como conceptos primitivos, tal como lo hace Russell al juntar el concepto de nmero (concepto formal) con nmeros determinados ( 1 es un nmero). Concepto formal y concepto propiamente dicho sealan referentes de naturaleza distinta. El primero seala referentes lgicos, el segundo, referentes que son cosas. No es posible explicar el uno por el otro (4.1272, 4.12721 y 4.1273). Para terminar la exposicin sobre el concepto formal, Wittgenstein seala la imposibilidad de responder a la pregunta por la existencia de los conceptos formales, imposibilidad que est fundada en que al carecer del referente de un posible estado de cosas, lo que hace de la pregunta un cuestionamiento sobre un posible estado de cosas de algo que por su naturaleza no hace referencia a ningn estado de cosas. De donde la pregunta misma constituye un sinsentido. De esta manera Wittgenstein parece despachar de manera definitiva el fantasma de las situaciones paradjicas Russell denuncia en sus investigaciones sobre lgica, a la vez que aclara la naturaleza de los objetos lgicos. Proposiciones elementales y nombres El camino analtico conduce a Wittgenstein a las proposiciones elementales. Se trata, por decirlo de alguna manera, de una unidad mnima de las proposiciones, esto es, de aquellas proposiciones con sentido cuyos componentes son nombres relacionados entre s de una determinada manera. Dicho con otras palabras, las proposiciones elementales son aquellas que se refieren a posibles estados de cosas mediante la relacin de nombres, y que, adicionalmente, no pueden estar en contradiccin con otras proposiciones elementales, esto en virtud de la independencia mutua de los estados de cosas (2.061 y 2.062)1. Por ms complejidad que exista en el mundo, esto es, por ms infinitos estados de cosas y de objetos que constituyan esos estados de cosas, siempre ser indudable que hay dos unidades elementales que son los estados de cosas y los objetos que los constituyen, unidades que, adems, poseen sentido. Pero los nombres (representantes de los objetos), solo se dan en la proposicin. Un nombre por fuera de la proposicin, es slo la representacin de un objeto, pero no nos dice nada de l. As, una proposicin elemental puede entenderse como una funcin de nombres. As como los nombres no nos dicen nada de los objetos, solo los representan, una relacin entre dos nombres del tipo a = b no dice nada de lo que esos signos significan, solo afirma que el signo a puede ser reemplazado por el signo b. Wittgenstein nos va a decir que este tipo de expresiones son slo recursos auxiliares de la representacin (4.242). Esta aclaracin da pie para que nuestro autor introduzca en este punto una avance en su explicacin sobre las tautologas, las que en notacin lgica pueden ser descritas del modo a = a. En efecto, este tipo de expresiones tautolgicas afirman que un nombre puede ser reemplazo por s mismo,
1

2.061: Los estados de cosas son independientes unos de otros y 2.062: De la existencia o no existencia de un estado de cosas no se puede inferir la existencia o no existencia de otro estado de cosas

lo que, evidentemente no dice absolutamente nada de lo que ese nombre significa, esto es, no hace referencia a ningn posible estado de cosas, o sea, se trata de expresiones carentes de sentido. Es por este motivo que Wittgenstein se refiere a ellas indicando que no constituyen proposiciones elementales, ni signos con sentido. (4.243) Sin embargo el desarrollo de este punto aun debe esperar hasta 4.46. Valga decir, por lo pronto, que la exposicin sobre las proposiciones elementales y la naturaleza de los nombres es necesaria para la comprensin de las funciones de verdad, toda vez que stas se desarrollan sobre la base de la formulacin de proposiciones elementales, compuestas por relaciones entre nombres, relaciones sobre las que ha de ser posible verificar la existencia o no existencia del estado de cosas que anuncian. Funciones de verdad La existencia o no existencia del estado de cosas descrito por una proposicin elemental constituye su verdad o falsedad, o su posibilidad de verdad (4.25). De aqu que, de la totalidad de las proposiciones que constituyan posibles estados de cosas que en efecto se dan, se pueda tener la totalidad del mundo. El mundo en Wittgenstein est constituido entonces por los posibles estados de cosas que en efecto se dan (recurdese 1: el mundo es todo lo que viene al caso). Tambin podramos decir que, desde el punto de vista tractariano, al mundo se llega a travs de la verificacin o no verificacin del estado de cosas que enuncian las proposiciones elementales. Cada una de las posibilidades existencia de estados de cosas puede relacionarse con otras mediante combinaciones. A cada uno de esas combinaciones le corresponde tantas posibilidades de verdad como proposiciones elementales que compongan la relacin, es decir, la proposicin (4.28). De esta manera, la verdad o falsedad de una proposicin est dada por las condiciones de verdad o falsedad de las proposiciones elementales. De aqu la importancia central que Wittgenstein asigna a las proposiciones elementales para la comprensin de las proposiciones (4.411). Cada proposicin elemental puede ser expresada en trminos de acuerdo o desacuerdo con una posibilidad de verdad. Es justamente ese acuerdo o desacuerdo lo que expresa la condicin de verdad de la proposicin. Por esta razn es posible ver la proposicin como la expresin de sus condiciones de verdad, las que estn sustentadas en el acuerdo o desacuerdo con una posibilidad de verdad por parte de las proposiciones elementales. Es sobre esta base que Wittgenstein fundamenta lo que podramos llamar el funcionamiento de las tablas de verdad. Igualmente, el anlisis de las funciones de verdad da el paso a la explicacin de las tautologas y de las contradicciones.