Adolfo Lpez Vila. Filosofa de la Lgica. Grupo 81.

1. Cul es el problema?
Nos preguntamos cul es la justificacin de la siguiente afirmacin: la matemtica es
real. Para argumentar nuestra creencia, recurriremos a la postura pragmatista de la
lgica y la matemtica.
2. Cul es la tesis?
(T) La matemtica y la lgica son verdaderas en virtud de nuestro propio hacer
cultural.
3. Cules son los argumentos (o razones) a favor de la tesis?
La justificacin de la lgica y la matemtica se razona por medio de la descripcin del
juego de lenguaje (constituido de reglas gramaticales). En el lenguaje cotidiano,
utilizamos enunciados declarativos para referirnos a estados de cosas. Por ejemplo:
hay una manzana en la mesa, hay una cscara de mandarina debajo del bolso o
llevo en el coche una hora; es decir, enunciados declarativos que refieren a un estado
de cosas posible que podr representar empleando las tablas de verdad 1. Pero en el
lenguaje cotidiano, tambin usamos una serie de enunciados que parecen declarativos,
pero no lo son. Son reglas: una regla es una decisin guiada de antemano, que hemos
aprendido por adiestramiento en la infancia (y en nuestra praxis lingstica cotidiana).
Esta diferencia se muestra por lo que Wittgenstein llam gramtica superficial y
gramtica profunda. Un enunciado del tipo me levanto todos los das a las siete de la
maana para ir a trabajar o cierra la puerta, superficialmente parece describir un
estado de cosas posible, algo a lo que yo puedo hacer pasar un test durante un tiempo
determinado para justificar si se ha cumplido el horario en mayor o en menor medida,
como si se tratara de confirmar una teora emprica, como en los ejemplos anteriores.

Use las lgicas que use: ya sea un lgico clsico o intucionista, etc. o la geometra
eucldea o riemanniana, o el juego que sea. Aplquese a cada ejemplo el principio (o
axioma) de la diferencia de grado (parecidos de familia). Como ejemplo paradigmtico
de esto, sirva el uso que hacen de la regla y y o tanto el lgico divergente como el
lgico clsico en la proposicin (pvq) --> (p-->q). Siendo verdadera para C lo que
niega D, se descubre que son igualmente verdaderas porque donde el primero usa o y
el segundo y es intercambiable, y viceversa (cuando el lgico clsico usa y el lgico
divergente o). Esto muestra que estn utilizando la misma regla pero con un signo
diferente (y con diferente significado). Otro caso sera el lgico clsico la afirmacin de
la equivalencia de p y p, y la negacin de esa equivalencia por parte del lgico
intuicionista.
1

Adolfo Lpez Vila. Filosofa de la Lgica. Grupo 81.

Pero este no es el propsito del enunciado 2. El enunciado se usa como una regla
(gramtica profunda): una traduccin podra ser si no me levanto todos los das a las
siete de la maana para ir a trabajar, entonces perder mi empleo. Las reglas pueden
ser de dos tipos: reglas convencionales y reglas no-convencionales. Aqu utilizamos los
trminos convencional y no-convencional aplicndolo a reglas (y de un modo
secundario y derivado, a enunciados o proposiciones). La reglas no-convencionales son
aquellas que justifican su uso por medio de un test de confirmacin: como las reglas de
la cocina, la consideracin de lo que un buen plato sea no depende de las reglas que
constituyen las pautas para elaborarlo. Por otro lado, las reglas convencionales son
aquellas que no se justifican en virtud de un test (confirmatorio o disconfirmatorio,
como el gusto), sino que su criterio de justificacin es otra cosa: su pertenencia o no a
un juego determinado.
Que en la gramtica profunda del lenguaje cotidiano se encubre la descripcin
(prescripcin) de una regla, se muestra analizando los juegos, como por ejemplo el
ajedrez. Tomemos como oracin declarativa prescriptiva el alfil mueve en diagonal
como caso paradigmtico. Si en una partida de ajedrez se usa el trmino referido a la
pieza (alfil) como una abreviatura para expresar una regla (mueve en diagonal)
entonces el trmino (alfil) agota las instancias de esa regla. Formulndolo en el
metalenguaje del ajedrez, un ejemplo sera:
1. El trmino alfil es una abreviatura de pieza que mueve slo en diagonal.
Es decir, si intentamos introducir un enunciado que contemple la prescripcin de una
regla que no pertenece al juego del ajedrez, entonces el juego mismo cambiar y ser
otro juego distinto por el efecto de esa misma regla. Una regla que no pertenece a un
juego de lenguaje cambia el juego. Por ejemplo:
2. El trmino alfil es la abreviatura de pieza que mueve slo cuatro casillas hacia
delante.
De esta forma, se justifica que las reglas de un juego no refieren a estados de cosas
posibles, sino que las reglas o bien se aplican al juego que constituyen, o bien se juega a

Tomarlo as servira para ensear a alguien su uso.

Adolfo Lpez Vila. Filosofa de la Lgica. Grupo 81.

otro juego. Las reglas, pues, son necesarias respecto a la constitucin del propio juego:
sin ellas no habra juego, son su realidad.
La matemtica y la lgica siguen la misma mecnica. El metalenguaje de la matemtica
y la lgica es el lenguaje ordinario. En las proposiciones lgicas 3 y matemticas
establecemos sus prescripciones de la siguiente manera:
1. 2+2=4
2. La expresin 2+2 puede ser intercambiada por la expresin 4.
Con las formulaciones de las reglas en el metalenguaje logramos mostrar que estas
expresiones son equivalentes en su uso en el siguiente sentido: si la reglas expresadas
en (2) y (2) son reglas (principios (o axiomas)) del juego (sistema), entonces lo
expresado por (1) y (1) tiene sentido (o es verdadero) en el juego (sistema). Aquellos
hablantes (jugadores) que conocen las reglas del juego reconocen los sinsentidos
automticamente4.
Las expresiones no tienen sentido si no siguen las reglas del juego (sistema). Por
ejemplo: est sen aba tado, =2+24 o vpp. Ms refinadamente, son: o bien
expresiones carentes de sentido, o bien sinsentidos. Las expresiones carentes de sentido
son aquellas que si bien aplican las reglas del juego 5, no refieren a un estado de cosas
posible6: o bien son tautologas y por lo tanto no pueden7 ser falsas, o bien son
contradicciones y no pueden ser verdaderas (por ejemplo, 1 es un nmero, 2-2=3

3. p <-> p.
3. La expresin p puede ser intercambiada con la expresin p.

Una vez que los hayan aprendido, y dependiendo de su habilidad y de la dificultad del
juego a la hora de aplicar las reglas (jugarlo).
5
En este sentido, reglas del razonamiento lgico-matemtico del lenguaje ordinario de
nuestra cultura: las conectivas lgicas, cuyas reglas son las tablas de verdad.
6
Dado que sera jugar a otro juego: las reglas lo constituyen y agotan.
7
Es una estipulacin de lo ya establecido? S, pero depende del propsito: es la
descripcin de algo establecido, pero el hombre en sus razonamientos puede guiarse por
las reglas que sea: un ejemplo es el principio de incertidumbre. Pero la nica manera de
justificar una pluralidad de lgicas y matemticas sin caer en contradiccin es
estableciendo este lmite, segn el cual las reglas gramaticales determinan el juego de
lenguaje (lo preescrito por las tablas de verdad: las conectivas lgicas). Igual que en el
ajedrez. Si esto no fuera estipulado as (lo que es una tautologa, y lo que es una
contradiccin) no habra manera de justificar casos en que las cosas fueran y no fueran
(salvo con una conceptualizacin ms refinada y en un contexto completamente
distinto).
4

Adolfo Lpez Vila. Filosofa de la Lgica. Grupo 81.

2+2, p v p, cuando una cosa tapa otra, esta desaparece del mundo o si no voy a
trabajar ganar ms dinero). Por otro lado, los sinsentidos son aquellas expresiones
que s aplican las reglas del juego, pero lo que logran comunicar tiene los siguientes
matices. Segn el propsito: si son consideradas como reglas no-convencionales es para
ensear el uso equivalente de su significado en una cultura, pero si son consideraras
como reglas convencionales entonces dejan de funcionar como regla no-convencional
de aprendizaje y pasan a ser justificadas por su pertenencia al juego; es decir, un
sinsentido es una expresin del juego de lenguaje ya consolidada, por lo tanto las
relaciones que guarda con otras reglas que constituyen el mismo juego la justifican
(parecidos de familia: la coherencia, consistencia, validez del conjunto de reglas y sus
enunciados (o proposiciones) (piezas)). Caso paradigmtico es los solteros son no
casados: un nuevo hablante de un juego de lenguaje de nuestra cultura (el castellano)
necesita aprender mediante el uso de las expresiones la equivalencia entre los
solteros y no casados. Formulado el enunciado prescriptivo en el metalenguaje del
lenguaje cotidiano enseamos que es una regla semntica del castellano:
(M) los solteros son no casados es una regla semntica del castellano.
Liarse con el lenguaje para definir solteros son no casados carecera de sentido, sera
mostrar las relaciones semnticas en la derivacin de la regla didica entre no casado
y

solteros (es decir, el verbo ser); si esto no tiene una finalidad didctico-

comunicativa, no se estara comunicando nada (sera un sinsentido), por ejemplo:

(m) soltero es aquel que todava no ha pasado por el altar o no ha dejado mujer (e
hijos).
(m) casado es tener mujer, haber pasado por el altar o por el ayuntamiento; o no ser
viudo.
O empleando el esquema Tarski (para ensearlo): un soltero es un no casado es
verdadero si y slo si un soltero es un no casado.
Expresiones que no podramos jugar si no seguimos usando el resto de conectivas para
derivar un rbol semntico con no se qu propsito (*paso de unas conectivas a otras*).
Las conectivas lgicas (regladas por las tablas de verdad) son necesarias para nuestros
razonamientos vlidos y consistentes, y sera muestra de poca coherencia afanarse en
extraer hasta la ltima gota de tinta (o saliva) de cada palabra. Es la consistencia y

Adolfo Lpez Vila. Filosofa de la Lgica. Grupo 81.

validez del propio castellano lo que nos permite leer y escribir aqu con sentido, lo cual
viene donado (digamos), por cinco reglas: no, sientonces, y, o, si y
slo si . La justificacin de las conectivas lgicas es doble: como reglas noconvencionales (test8) o convencionales (criterio9). Ejemplos de sinsentidos son: el
perro es el mejor amigo del hombre, un perro es un animal de cuatro patas, una
actitud intencional es una experiencia consciente, la consciencia es percatarse
constantemente de uno mismo. (La metafsica es un sinsentido). Los sinsentidos son
parte de las combinaciones que se pueden hacer con las reglas gramaticales del juego
de lenguaje, pero en realidad no se refieren a nada existente; en su mayor parte, son
generalizaciones y prejuicios culturales que funcionan como prescripciones 10: las
rubias son tontas, los animales no sienten dolor, que los seres humanos sean
diferentes vlida un razonamiento racista. La filosofa trata de quitar la razn a los
sinsentidos11 (incluso dentro de la propia filosofa).
La matemtica funciona igual. Las reglas de clculo son las reglas que la cultura ha ido
acumulando para un mejor trato con las cosas (mayor dominio). Las tablas 12 de verdad
representan de igual forma las reglas del juego tanto para un matemtico como para un
lgico.
Con todo lo dicho, y si uno es convencionalista, no le quedan razones para creer que la
matemtica no est justificada en el quehacer cultural de la humanidad y su continuo
aprendizaje (ya sea desde cero o en avanzada edad); y entonces, tener justificada su
posicin frente a la realidad de la matemtica. A la matemtica y la lgica las hacen
verdaderas la cultura: es la nica manera de justificar consistentemente la pluralidad de
lgicas y matemticas conviviendo con sus prescripciones lingsticas, sin caer por ello

Pues no tienen otra referencia salvo los hablantes: es algo cultural.

El criterio de justificacin: la consistencia del juego (de las propias reglas).
10
Distincin de categora: ser (ontologa), y deber (deontologa).
11
Como lo son las proposiciones del Tractatus para el propio lenguaje ordinario para
aquel que ha entendido: no representan ningn estado de cosas posible, simplemente
describen ciertas reglas del ejercicio de razonar. Y por tanto, decir de ellas que
representaban algo careca de sentido en el juego del lenguaje ordinario: en los
enunciados declarativos que refieren a estados de cosas. Una vez claras las normas del
juego, se poda hablar con sentido de lo que fuera. La metafsica es vital para una
cultura en el sentido de: pertenece a su quehacer cultural el indagar y crear el mapa
conceptual con el que va a trabajar sobre la realidad.
12
Cierta analoga con las tablas de Moiss, que tambin daban las reglas del juego
cristiano. Por ello la derivacin de: 2+2=4, bueno es ser cristiano y ser es ser
percibido.
8
9

Adolfo Lpez Vila. Filosofa de la Lgica. Grupo 81.

en contradiccin (confirmando o disconfirmando unas y otras,) o relegando su realidad
a otro plano (la intuicin intelectual o sensible).
4. Cules son los argumentos (o razones) en contra de la tesis?
Las posiciones enfrentadas al convencionalismo son: platonismo y realismo.
El platonismo justifica la matemtica por las siguientes razones: el ser humano intuye
los objetos lgico-matemticos que, independientemente de nuestras intuiciones,
constituyen parte de un Mundo Ideal en el cual residen en su perfeccin con el resto de
Ideas; adems, esto no es incompatible con que slo exista una Mathesis Universalis,
sino que una pluralidad de lgicas y matemticas enriquecera la concepcin del plano
abstracto. Por lo tanto, los objetos lgico-matemticos no son empricos ni sus
propiedades tampoco: no estn sujetos a relaciones causales espacio-temporales, son
eternos. Es el intelecto, y no la sensibilidad, la que percibe los objetos matemticos,
dado que la perfeccin de sus formas no la encontramos entre los objetos empricos (un
crculo de este mundo no puede tener todos los puntos de su circunferencia a la misma
distancia de su centro, o los nmeros irracionales no son contrastables (elementos
claros de un conjunto) como los nmeros naturales.
El realismo, sin embargo, contradice la postura platnica, y justifica la matemtica por
el siguiente argumento13: es indispensable para el xito de nuestras teoras empricas
(del grado que sean), que la matemtica sea verdadera; y el xito de las primeras
confirma a las segundas. Este argumento podra reformularse de manera que tratara 14 de
ser una implicacin: si las teoras empricas confirman o disconfirman una lgica o
matemtica concreta en los objetos empricos, entonces esa lgica o matemtica es
verdadera. Adems, es preciso al realizar predicciones tener un compromiso ontolgico
con las entidades que se postulan. Tambin cabe decir que percibimos las propiedades
de los objetos empricos: especialmente, su armona (o no) en conjuntos15. Si una teora

13

Como veremos: (Te1 & Te2 matemtica o lgica ML) es una falacia. A igual que el
argumento platnico.
15
Junto con el resto de categoras que asignamos a lo que percibimos.
14

Adolfo Lpez Vila. Filosofa de la Lgica. Grupo 81.

emprica confirmara o disconfirmara alguna sensacin16 lgico-matemtica, entonces
esa lgica o matemtica quedara confirmada o disconfirmada.
El platnico y el realista tienen sus diferencias esenciales, pero ambos dos comparten
cosas muy importantes: 1. Ambos dos consideran que la matemtica se justifica en
virtud de algo externo a ella, que no es la cultura, y por lo tanto independiente de
nuestras construcciones o de nuestro aparato cognoscitivo. 2. Ambos dos consideran
tener acceso a ello, ya sea por medio de una experiencia intelectual o sensible. 3.
Aquello a lo que tienen acceso hace vlido su razonamiento tras desarrollar una
posicin: consistente en el caso del platnico; y ms o menos coherente en el caso del
realista.
5. Cul es el balance entre tres y cuatro?
Tanto el platnico, el realista y el convencionalista tienen el mismo acceso a la
matemtica y a la lgica: los tres la encuentran en su cultura, la aprendieron ya fuera en
la academia, en la universidad o en la calle. Los tres tienen las mismas experiencias
acerca de si intuyen, sienten o hacen la lgica y la matemtica (experiencia lgicomatemtica), con lo cual sus razones con respecto a los motivos de su experiencia (de
donde proviene esto) se contradicen. Eso s, el nico que deriva por un razonamiento
completamente vlido su posicin, es el convencionalista partiendo de la comunicacin
entre hablantes en una cultura hasta arribar a juegos de lenguaje, justificando la
matemtica como una serie de reglas gramaticales de nuestra cultura. Por otro lado, el
platnico y el realista parten desde conceptos distintos, pero inseparables, para describir
la realidad, prescribindola: intelecto y sensibilidad. Son dos peticiones de principio
respecto a la realidad de la matemtica: la primera, que exista en un plano abstracto
independiente de nosotros, intelectivo, al cual accedemos con nuestro intelecto; la
segunda, que existan las propiedades lgico-matemticas en los objetos empricos, las
cuales percibimos con la sensibilidad. El convencionalista, sencillamente, se queda
hasta donde ha llegado y de donde ha salido: la experiencia en su cultura.
Vista, odo, olfato, gusto o tacto: simplemente mediante los contrastes. Como dira
Platn: entre lo duro y lo blando, un color u otro, diferentes sonidos y olores. As
sostena este gran filsofo que se llegaba a la idea de la unidad (para poder llevar a cabo
un clculo geomtrico o aritmtico) por medio de la relacin didica entre una cosa y
otra diferente dentro de un mismo sentido: en su caso el tacto, sentido originario de la
distincin de equivalencia y no equivalencia.
16

Adolfo Lpez Vila. Filosofa de la Lgica. Grupo 81.

El platnico estipula lo siguiente: la realidad es el Mundo de las Ideas, y el intelecto
tiene acceso a los objetos lgico-matemticos en ella. El realista estipula lo siguiente: la
realidad es el mundo que percibimos, y tenemos acceso a las propiedades lgicomatemticas de los objetos empricos. El convencionalista describe: la realidad es la
cultura, tenemos acceso a la matemtica y la lgica porque es algo que hacemos
culturalmente. La matemtica y la lgica no pueden pertenecer al mundo de las Ideas,
debido a que esa pertenencia es algo propio a las reglas que constituyen el uso de la
lgica y la matemtica: su consistencia y su validez, ms su prctica (existenciaterico-dependiente). Est injustificado el paso que va ms all de considerar a la
matemtica real por ser evidente esto 19+12=? para un nio de diez aos. La
definicin metafsica platnica que justifica a la matemtica no incurre en
inconsistencia ni es incoherente consigo misma, pero es un sinsentido para el
convencionalista (que no para la Cultura Helena). El platnico podra continuar con
sus clculos intuyendo algn tipo de Mathesis Universalis, dado que su estipulacin
(descripcin del juego de lenguaje) de lo establecido le permite concebir tal
posibilidad; pero la existencia independientemente de nosotros de tal matemtica o
lgica es una peticin de principio.
Respecto al realista, el convencionalista le acusa de aplicar una regla del juego del
razonamiento que no entra dentro de los parmetros de nuestra cultura, y es la
contradiccin (est y no est es su casa, p & p, 2=-2, ser bueno es ser malo),
elaborando un argumento sin sentido: la disconfirmaicn por parte de una teora
emprica respecto a sus predicciones sobre un estado de cosas, confirma o disconfirma
las propiedades lgico-matemticas (de una teora matemtica concreta) en los objetos
empricos. Pero: y si una matemtica concreta que se usara para calcular cantidades o
distancias en dos teoras empricas diferentes resultara ser confirmada por una teora y
disconfirmada por otra? Entonces una misma matemtica sera confirmada y
disconfirmada al mismo tiempo. Esto depende en parte de la teora emprica. Pero que
de la pretendida descripcin de un estado de cosas pueda validarse algo que no describe
un estado de cosas, sino que prescribe la forma de tratar con ciertas relaciones que
observamos en las objetos empricos, se sigue una peticin de principio (por mucho que
sirva de gua para las investigaciones el compromiso ontolgico con las entidades
postulas17). Tambin es una peticin de principio que observemos las propiedades
lgico-matemticas en los objetos empricos, dado que no podemos decir que,
17

A igual que el platnico.

Adolfo Lpez Vila. Filosofa de la Lgica. Grupo 81.

sencillamente: observamos las propiedades lgico-matemticas de los objetos
empricos es verdadero si y slo si observamos las propiedades lgico-matemticas de
los objetos empricos. Es un sinsentido. El esquema Tarski de la verdad falla a la hora
de describir con el metalenguaje del lenguaje ordinario un hecho: sencillamente, est
mostrando la equivalencia evidente entre los enunciados, tal vez con el propsito de
indicar cmo es el esquema Tarski, pero nada ms (carece de sentido). El esquema
Tarski es para el lenguaje ordinario lo mismo que p v p en lgica clsica: una
tautologa. La matemtica no describe un estado de cosas posible, sino que es una regla
(prescribe) que o bien se aplica segn lo que has aprendido, o bien inventas nuevas
reglas. Si tengo que contar cuadritos de una hoja de papel cuadrada, los puedo contar
uno a uno (y confirmar mi humilde teora emprica, que era lo que quera); pero,
tambin puedo, si veo que estn ordenados geomtricamente, contar los cuadros de los
bordes que forman uno de los ngulos rectos y calcular. Tambin puedo tener siete aos
y que mi abuela me d mil pesetas, y entonces querer saber a cuanto tocamos entre los
tres hermanos: la nica manera es aplicar las reglas de la divisin (equivalente) de
nuestra cultura, y no por medio de intuir de alguna manera el resultado del cambio.
Tambin puede ser el caso de que uno quiera confirmar sus hiptesis sobre los
movimientos celestes: un cientfico viene con la teora emprica T-1, otro o el mismo
cientfico tambin suscribe el mismo hecho con la teora emprica T-2; uno obtiene
xito en sus predicciones, el otro no: acaso esto disconfirma y confirma a la
matemtica que emplearon para sus clculos, que fue la misma? Podramos imaginar un
caso diferente: un ser humano pretende confirmar que el Sol gira alrededor de la Tierra,
y otro que no; realizan sus investigaciones con la misma (o distinta) matemtica; el
primero obtiene xito, el segundo no. Esto tampoco confirmara ni disconfimara a la
matemtica o lgica empleada en los clculos observacionales, simplemente muestra
que sus herramientas lgico-matemticas no eran las ms adecuadas para abordar el
asunto -igual que si con siete aos, al dividir entre tres las mil pesetas, hubiese dicho
trescientas treinta y cinco pesetas para cada uno sin ni siquiera ver que cuando uno
divide algo y le falta, no surge de la nada. Por lo tanto, es un paso injustificado
justificar a la matemtica y a la lgica por el xito (o no) de una teora emprica
apoyada en sta, intentando que esto cuele como prueba de la existencia en las cosas
de propiedades lgico-matemticas. La matemtica no refiere a ningn estado de cosas
posible, hablar de que as lo hace carece de sentido para el convencionalista: el paso
que da el realista, que sita a la matemtica y la lgica en los objetos empricos est

Adolfo Lpez Vila. Filosofa de la Lgica. Grupo 81.

injustificado. No se entiende como, por aprendizaje, por mucho que se vean los
conjuntos en las cosas, los objetos logren poseer propiedades lgico-matemticas 18. Se
sigue una direccin errnea en el camino del razonamiento al justificar la matemtica,
porque una vez que justifican lo que se ve, pretenden que esto les llegue de vuelta como
un boomerang (Platn desde la sensibilidad del recin nacido hasta sus ideas de
senectud, y volver; y el realista, de los conceptos de la experiencia de las cosas,
pretende que posean lo que ya ve l). La verdad es ms parecida a una cosa que ya
estaba ah, nunca se ha ido y slo esperaba a que o bien fuera estipulada (descrita) o
bien

descubierta

(probada)

(DESCRIFRADA):

platonismo,

realismo

convencionalismo pertenecen a la descripcin de lo que la civilizacin ha descubierto

de s mismos durante miles de aos. La Filosofa trata de describirlo: sus estipulaciones
son la Historia de la Filosofa: aquellos intentos del ser humano por conocer la realidad:
la Filosofa ensea la manera de razonar sobre ellos.
De todas formas, dado que la diferencia de grado sirve vilmente a cualquier postura
filosfica que se sepa moderar en sus aspiraciones, el platnico y el realista forman
extraa coalicin. La Liga platnico-realista sostiene el siguiente argumento: no
importa que la matemtica y la lgica sean para nosotros, como yo soy para mi mismo,
exclusivamente un producto de la cultura humana y unas herramientas para el
pensamiento (ya sea en Ciencias, en Artes o en Religin, en la calle o en otro lugar); lo
que importa, es que si sentimos fuertemente y creemos en ello lograremos encontrar la
Mathesis Universalis. Como hemos visto, es una creencia injustificada, y como tal se
sale del discurso razonado. Ahora bien, que esto sea un sinsentido por no representar un
estado de cosas posible, ni le da la razn ni se la quita al convencionalista.
Simplemente, no podemos seguir hablando ms con las herramientas que tenemos en
18

Se ven dos cosas al mismo tiempo (si bien esto es decir poco): los elementos del conjunto y el conjunto
mismo, siendo contradictorio un enunciado declarativo como veo el conjunto de las teclas del teclado y
el teclado mismo, que es ver a la vez y no la misma cosa (si bien de diferente modo). El realista no
parece pasar de una mera prescripcin: aquel sinsentido que dice cuando tengo experiencia visual con
sentido de algo, puedo describir categricamente los elementos que lo forman, por ejemplo el teclado
esta formado de teclas, por lo tanto si no hay teclas, el teclado no sirve, o si slo hay teclas esparcidas no
es un teclado, etc; y una tecla es una pieza de un teclado, que tiene tales y tales funciones, etc. y los
teclados son materiales: se ven con cierto tamao y pueden ser rojos, amarillos, verdes suelen pesar
poco y ser duros ni se comen ni hay costumbre de olerlos no se oyen. O virtuales, etc.. Esto sera
muy parecido a decir yo ahora: 1. Vaco es la posibilidad de existencia de la que todo surge; 2. Realidad
es lo que surge de una condicin de posibilidad de ese vaco; 3. Mundo es lo que nosotros hacemos de
esa realidad. Aqu vemos que hay un punto de partida errneo. Ese vaco es una estipulacin, que si se
deriva conceptualmente se ver que es una peticin de principio: que se haba cometido un error en el
razonamiento al justificar la realidad empezando por el caso presupuesto (vaco) de la injustificada
(razones) creencia en la Realidad, partiendo de la no-experiencia (vaco) para justificar la experiencia
(mundo).

Adolfo Lpez Vila. Filosofa de la Lgica. Grupo 81.

nuestro juego de lenguaje. Convencionalismo es cultura ni le da ni le quita la razn
al convencionalismo, sencillamente muestra que para s mismo es su propia regla: lo
que es (el proceso cultural). Para un convencionalista el platonismo es falso, mientras
que para un platnico el platonismo es su convencin. ((Sera uqe para un
convencionalista en platonismo en una convencion, y para el platnico el
convencionalismo es falso)). Las reglas lgicas del razonamiento cambiarn, depende
en qu mbitos, como cambian los propsitos de las aspiraciones de la lgica clsica,
no-clsica y modal en su prescripcin de las reglas de los lenguajes que practicamos en
la cultura. Si an as se exige otra justificacin aparte de un criterio de consistencia y
validez en el razonamiento, entonces slo queda referir a la Liga platnico-realista a la
neurofisiologa del ser humano: su test de confirmacin ser el cerebro humano.
Encontrarn tal vez alguna calma en el estudio de la neurociencia. 19

6. Referencias bibliogrficas:
-Anastasio Alemn Pardo. Lgica, matemticas y realidad. Tecnos 2011.
Realismo en matemtica: Pginas: 76-79. 85-90.
El argumento de indispensabilidad: 103-115.
Platonismo en matemticas: 120-124, 126-145.
Pragmatismo en matemticas (Wittgenstein): 151-158, 162-163, 166-169, 173-182,
191, 196-201, 286-304, 307-320.

19

Le agradecemos estas clases. Usted nos ensea a razonar.