Pontificia Universidad Javeriana

Facultad de Filosofa
Seminario Wittgenstein: Tractatus logico-philosophicus
Profesor: Lus Eduardo Sure!
E"positor: Juan #arlos $uintero %els&ue!
'ctu(re )* de )++,
-e los conceptos formales a las funciones de verdad
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 !ue propone "ald#s
"illanueva en la introduccin de su traduccin del Tractatus$ a saber% 1.& 'onceptos
formales$ 2.& Proposiciones elementales y nombres$ y (.& )unciones de verdad.
#onceptos formales
Propiedades y relaciones internas abren el camino para la comprensin de los
conceptos formales. *s+ como es posible hablar de a!uellas como propiedades
formales$ como propiedades !ue no se dicen en la proposicin$ sino !ue se muestran
en ella$ as+$ es posible pensar en conceptos formales$ entendidos como a!uellos !ue
,cobijan- varias situaciones posibles sobre la base de una relacin interna entre ellas$
es decir$ sobre la base de compartir una propiedad formal.
.e esta manera$ los conceptos formales no son concepto de al/o$ al estilo de los
conceptos propiamente dichos$ sino !ue simplemente e0presan una relacin entre
propiedades formales. En por esto !ue los conceptos formales no se dicen en la
proposicin. 1e muestran en ella. 2"ale la pena recordar a!u+ 4.1212% ,lo !ue puede
mostrarse no puede decirse-&.
*s+ como los rostros tienen ras/os !ue los distin/uen de otros$ ciertos s+mbolos
poseen tambi#n ras/os$ !ue vienen a ser su propiedad formal. Es justamente este tipo
de propiedad la !ue se constituye en la marca de los conceptos formales. Esa marca
caracter+stica es mostrada en un si/no de tal forma !ue el si/no mismo se convierte
en el ras/o caracter+stico de todos los s+mbolos !ue son cobijados bajo el concepto
formal. *s+$ el si/no variable proposicional est3 en la proposicin$ no solo por la
posible relacin con un posible estado de cosas$ sino tambi#n como marca de un
concepto formal 24.124&. Pero aun m3s$ tal concepto formal se convierte en lo 5nico
constante de las variables proposicionales$ pues es lo com5n y lo$ en tanto tal$ !ue
permanece en ellas. 6iremos el ejemplo de nos trae 7itt/enstein. 1i tomamos las
variables 0$ y$ 8$ etc.$ ellas est3n en la proposicin como posibilidades de !ue ciertos
valores distintos se cumplan en ellas$ pero hay entre ellas al/o !ue es
necesariamente com5n% el hecho de !ue todas se refieren a objetos$ lo !ue las hace
marca del concepto formal ,objeto-$ constante entre las variables.
En el momento en !ue las variables dejan de referirse a objetos se convierten en
componentes$ ya no de proposiciones$ sino de pseudoproposiciones$ esto es$ de
proposiciones sin sentido. 9o es lo mismo decir ,hay objetos- 2referencia a concepto
formal ,objeto-&$ !ue ,hay libros- 2referencia a concepto ,libro-&. :ablar de ,el n5mero
de todos los objetos- es hablar de un concepto formal$ esto es$ de al/o !ue no tiene
objeto$ o sea de al/o sin sentido 2pues no se refiere a nin/5n posible estado de
cosas&. 1ucede del mismo modo con e0presiones como ,complejo-$ ,hecho-$ ,funcin-$
,n5mero-. ;n concepto formal se muestra en la variable !ue es cobijada por #l$ la !ue
opera como objeto de tal concepto. Es en este sentido !ue 7itt/enstein afirma !ue no
se pueden juntar objetos de un concepto formal y el mismo concepto formal como
conceptos primitivos$ tal como lo hace <ussell al juntar el concepto de n5mero
2concepto formal& con n5meros determinados 2 ,1 es un n5mero-&. 'oncepto formal y
concepto propiamente dicho se=alan referentes de naturale8a distinta. El primero
se=ala referentes l/icos$ el se/undo$ referentes !ue son cosas. 9o es posible
e0plicar el uno por el otro 24.1242$ 4.12421 y 4.124(&.
Para terminar la e0posicin sobre el concepto formal$ 7itt/enstein se=ala la
imposibilidad de responder a la pre/unta por la e0istencia de los conceptos formales$
imposibilidad !ue est3 fundada en !ue al carecer del referente de un posible estado
de cosas$ lo !ue hace de la pre/unta un cuestionamiento sobre un posible estado de
cosas de al/o !ue por su naturale8a no hace referencia a nin/5n estado de cosas. .e
donde la pre/unta misma constituye un sinsentido.
.e esta manera 7itt/enstein parece despachar de manera definitiva el fantasma de
las situaciones paradjicas <ussell denuncia en sus investi/aciones sobre l/ica$ a la
ve8 !ue aclara la naturale8a de los ,objetos- l/icos.
Proposiciones elementales . nom(res
El camino anal+tico conduce a 7itt/enstein a las proposiciones elementales. 1e trata$
por decirlo de al/una manera$ de una unidad m+nima de las proposiciones$ esto es$ de
a!uellas proposiciones con sentido cuyos componentes son nombres relacionados
entre s+ de una determinada manera. .icho con otras palabras$ las proposiciones
elementales son a!uellas !ue se refieren a posibles estados de cosas mediante la
relacin de nombres$ y !ue$ adicionalmente$ no pueden estar en contradiccin con
otras proposiciones elementales$ esto en virtud de la independencia mutua de los
estados de cosas 22.>61 y 2.>62&
1
.
Por m3s complejidad !ue e0ista en el mundo$ esto es$ por m3s infinitos estados de
cosas y de objetos !ue constituyan esos estados de cosas$ siempre ser3 indudable
!ue hay dos unidades elementales !ue son los estados de cosas y los objetos !ue los
constituyen$ unidades !ue$ adem3s$ poseen sentido. Pero los nombres
2,representantes- de los objetos&$ solo se dan en la proposicin. ;n nombre por fuera
de la proposicin$ es slo la representacin de un objeto$ pero no nos dice nada de #l.
*s+$ una proposicin elemental puede entenderse como una funcin de nombres.
*s+ 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 !ue esos si/nos
si/nifican$ solo afirma !ue el si/no ,a- puede ser reempla8ado por el si/no ,b-.
7itt/enstein nos va a decir !ue este tipo de e0presiones son slo ,recursos au0iliares
de la representacin- 24.242&. Esta aclaracin da pie para !ue nuestro autor
introdu8ca en este punto una avance en su e0plicacin sobre las tautolo/+as$ las !ue
en notacin l/ica pueden ser descritas del modo ,a ? a-. En efecto$ este tipo de
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
2
e0presiones tautol/icas afirman !ue un nombre puede ser reempla8o por s+ mismo$
lo !ue$ evidentemente no dice absolutamente nada de lo !ue ese nombre si/nifica$
esto es$ no hace referencia a nin/5n posible estado de cosas$ o sea$ se trata de
e0presiones carentes de sentido. Es por este motivo !ue 7itt/enstein se refiere a
ellas indicando !ue no constituyen proposiciones elementales$ ni si/nos con sentido.
24.24(& 1in embar/o el desarrollo de este punto aun debe esperar hasta 4.46.
"al/a decir$ por lo pronto$ !ue la e0posicin sobre las proposiciones elementales y la
naturale8a de los nombres es necesaria para la comprensin de las funciones de
verdad$ toda ve8 !ue #stas se desarrollan sobre la base de la formulacin de
proposiciones elementales$ compuestas por relaciones entre nombres$ relaciones
sobre las !ue ha de ser posible verificar la e0istencia o no e0istencia del estado de
cosas !ue anuncian.
Funciones de verdad
La e0istencia o no e0istencia del estado de cosas descrito por una proposicin
elemental constituye su verdad o falsedad$ o su posibilidad de verdad 24.25&. .e a!u+
!ue$ de la totalidad de las proposiciones !ue constituyan posibles estados de cosas
!ue en efecto se dan$ se pueda tener la totalidad del mundo. El mundo en
7itt/enstein est3 constituido entonces por los posibles estados de cosas !ue en
efecto se dan 2recu#rdese 1% ,el mundo es todo lo !ue viene al caso-&. Tambi#n
podr+amos decir !ue$ desde el punto de vista tractariano$ al mundo se lle/a a trav#s
de la verificacin o no verificacin del estado de cosas !ue enuncian las proposiciones
elementales.
'ada una de las posibilidades e0istencia de estados de cosas puede relacionarse con
otras mediante combinaciones. * cada uno de esas combinaciones le corresponde
tantas posibilidades de verdad como proposiciones elementales !ue compon/an la
relacin$ es decir$ la proposicin 24.2@&. .e esta manera$ la verdad o falsedad de una
proposicin est3 dada por las condiciones de verdad o falsedad de las proposiciones
elementales. .e a!u+ la importancia central !ue 7itt/enstein asi/na a las
proposiciones elementales para la comprensin de las proposiciones 24.411&.
'ada proposicin elemental puede ser e0presada en t#rminos de acuerdo o
desacuerdo con una posibilidad de verdad. Es justamente ese acuerdo o desacuerdo
lo !ue e0presa la condicin de verdad de la proposicin. Por esta ra8n es posible ver
la proposicin como la e0presin de sus condiciones de verdad$ las !ue est3n
sustentadas en el acuerdo o desacuerdo con una posibilidad de verdad por parte de
las proposiciones elementales. Es sobre esta base !ue 7itt/enstein fundamenta lo
!ue podr+amos llamar el funcionamiento de las tablas de verdad. A/ualmente$ el
an3lisis de las funciones de verdad da el paso a la e0plicacin de las tautolo/+as y de
las contradicciones$ temas !ue ser3n desarrollados por la si/uiente e0posicin.
3