5.

HAY PROPOSICIONES
Hemos caracterizado las nociones de proposicin, de igualdad proporcional y de
sinonimia con ciertas teoras del sentido, de la referencia y de la verdad. Tenemos, pues
derecho a concluir que HAY PROPOSICIONES, as como la aritmtica nos autoriza a
afirmar la existencia de los numero enteros y la gentica la existencia de genes.
El admitir la existencia de objetos conceptuales, tales como proposiciones, no nos
obliga a aceptar formas algunas de idealismo. En efecto, la tesis no implica admitir que
las proposiciones gocen de existencia autnoma, del mismo modo que la afirmacin de
que siento un malestar no implica, que pueda haber malestares independientes del
organismo. La hipostasis idealista de que hay proposiciones en s.
Lo que existe fsicamente, realmente son ciertos organismos capaces de pensar o formar
juicios. No existen dos juicios idnticos, pero si hay juicios similares.
Ntese bien que se est afirmando la posibilidad de definir las proposiciones como
clases de juicio equivalentes en cierto respecto neurofisiolgico. Antes bien, por ahora
solo estamos en condiciones de cumplir el proceso inverso, a saber, el de definir la
similitud de juicios en trminos de la igualdad de las proposiciones correspondientes.
En efecto, podemos proponer esta definicin: si y son procesos mentales
consistentes en pensar las proposiciones p y p respectivamente, entonces:
~ = p =p
Pero esta definicin de similitud de procesos neuronales ser adecuada si as lo
dictamina la neuropsicologa.
Las proposiciones carecen pues de existencia autnoma; existen conceptual o
formalmente. Lo mismo vale para toda clase de proposiciones, por ejemplo, las que
constituyen una teora cualquiera. Este concepto de conjuntos de proposiciones se
presenta, desde ya, en la lgica, la semntica y la matemtica. En estas disciplinas
interesan no solo las proposiciones individuales sino tambin el conjunto de todas las
proposiciones que se siguen lgicamente de una o ms proposiciones dadas.
En resumida cuenta, hay disciplinas integradas que presuponen no solamente la
existencia de proposiciones individuales sino tambin de conjunto infinitos (y aun no
numerables) de proposiciones, tal como las proposiciones infinitamente numerosas
generadas por una funcin definida sobre la recta real.
La filosofa de la lgica y la matemtica sugerida por las observaciones precedentes no
es nominalista ni idealista. No es lo primero porque, lejos de asignar un valor absoluto
al signo, lo declara significativo en la medida en que digna un constructor. Ni es lo
segundo porque no afirma la existencia independiente de las ideas a la manera de
Platon, Hegel, Bolzano, Frege, Husserl o Popper.
En resumen: no hay duda de que hay proposiciones, pero tan solo como objetos
conceptuales, esto es, ficciones pensables por algn cerebro racional.