Está en la página 1de 17

El problema de las entidades de la lgica

Universidad Simn Bolvar


Profesor Numa Tortolero
Curso: Filosofa de la Lgica
Trimestre 2015-2

Resumen
La presente gua rene y comenta una serie de textos sobre el problema de la naturaleza de las entidades que constituyen el dominio de
estudio de la lgica. Se trata de una cuestin que recibi una atencin
especial despus de intentos realizados desde el siglo XIX de ofrecer una
fundamentacin apropiada de partes de las matemticas, en especial la
aritmtica. En el marco de estos trabajos, especcamente, en los Fundamentos de la Aritmtica de Frege, se descubri una paradoja que tena su
origen en un axioma (axioma de comprensin) que supone la existencia
irrestricta de conjuntos: para cualquier propiedad propuesta P, siempre
existe un conjunto A. Algunos lgicos consideraron que la aparicin de
algunas paradojas era provocada, quiz en parte, por asumir la existencia
de entidades abstractas con independencia del sujeto lgico, pensante. A
esta manera de pensar se le llama platonismo o realismo. Frente a esta situacin, se hicieron planteamientos diversos respecto a la fundamentacin
de las matemticas que requirieron cambios importantes en la lgica, de
manera que sta pudiera reejar con precisin nuevas posiciones acerca de
la existencia o no de las entidades abstractas, como las clases.
Primero presentaremos las deniciones de tres paradojas que sern
mencionadas y consideradas durante el curso: la paradoja de Russell, la
paradoja de Greling, y la paradoja del mentiroso. Indicaremos cmo se
han clasicado y mencionaremos la relacin de las paradojas con las deniciones predicativas. En segundo lugar, presentaremos los tres programas
de fundamentacin de las matemticas, los cuales, segn Quine, son la
continuacin de las posiciones loscas que surgieron en la Edad Media
respecto al problema de los universales.
Comentaremos el criterio propuesto por Quine para diferenciar entre
las distintas posiciones respecto a la naturaleza de las entidades lgicas
o matemticas. Finalmente referiremos a las crticas de Putnam hacia el
intento de una fundamentacin nominalista de la lgica.

1.

Paradojas
Entenderemos por

paradoja

o antinomia una contradiccin que encontramos

se produce en la formalizacin o axiomatizacin de alguna teora. Tal inconsistencia es de tal naturaleza que parece admitir su supresin o superacin a
travs de la introduccin de alguna modicacin. Kleene (1974), por ejemplo,
no diferencia entre paradoja y antinomia.

1.1. Paradoja de Russell

Kamareddine et al (2004) presenta una derivacin de esta paradoja empleando un lenguaje formal que incluye cuanticadores, lo cual permite ver con
precisin cmo parte del motivo de la paradoja radica en asumir la existencia
de clases o conjuntos para cualquier condicin que permita establecer cuando
un objeto pertenece a una clase.
La aparicin de esta paradoja est relacionada con el axioma de comprensin:
Para cada frmula abierta bien-formada
donde

no aparece libre en

, yx[(x y) (x)]

(x)

Como puede observarse, planteado de esa manera, el axioma arma

tencia de una clase y para cualquier objeto x

que cumpla la condicin

la exis-

propues-

ta. Es decir, siempre podremos dar con algn conjunto a travs de la especica-

. Si esto es as, tomemos entonces como


(x) la frmula (x x), la cual interpretamos como el conjunto que

cin arbitraria o no de una condicin


condicin

no se contiene a s mismo:

yx[(x y) (x x)]
2

Tenemos ahora la frmula que expresa que hay un conjunto

que contiene

todos los conjuntos que se contienen a s mismos.


Si tomamos ahora por

el propio conjunto

y, por eliminacin del universal,

tendremos:

y[(y y) (y y)]
Lo que hemos hecho equivale a revisar si el conjunto

se contiene a s miso.

Como podemos ver, al hacer esto obtenemos una contradiccin: el axioma de


comprensin implica una contradiccin maniesta:

yx[(x y) (x x)] y[(y y) (y y)]

1.2. Paradoja del mentiroso


Kleene (1974) expone de la siguiente manera la paradoja del mentiroso:

1.3. Paradoja de Grelling

Seg Kleene, la paradoja de Grelling, junto a la paradoja del barbero, es en


realidad una versin lgica de la paradoja de Russell. Kleene la presenta como
la paradoja de las propiedades predicables:

1.4. Paradojas o Antinomias


Quine (1965), a diferencia de Kleene, distingue entre dos tipos de paradojas:

verdicas

falsdicas.

Las

paradojas verdicas

son en realidad argumentos

vlidos que dan cuenta de un absurdo. Tal sera el caso de la paradoja del
barbero, donde al suponer la situacin hipottica de un barbero que se afeita a
s mismo, deducimos una situacin contradictoria en la que ese barbero se afeita
a s mismo si, y slo si, no se afeita a si mismo, as que, por reduccin al absurdo,
concluimos que no es el caso de que haya un barbero que se afeite a s mismo;
Quine observa que esta es una argumentacin vlida por reduccin al absurdo,
que no supone falacia alguna. Una

paradoja falsdica

s supone invalidez,

falacia, como en el caso de la paradoja de Grelling o la paradoja del mentiroso;


en en el caso de la paradoja de Grelling partimos de la denicin de heterolgico
como signicando 'no verdad de s' y, al preguntar si este predicado es verdad
de s mismo, llegamos a que lo es si, y slo si, no lo es; la paradoja de Grelling
es falsdica porque se trata de una proposicin compuesta autocontradictoria
para los efectos de que el adjetivo 'heterolgico' es verdad y no es verdad de s
mismo; se trata de un caso de un principio que usamos constantemente, segn
el cual podemos decir que los adjetivos son verdad de las cosas, un principio que
aceptamos sin restriccin; encontramos nalmente que el principio no funciona
para el caso del adjetivo 'no verdad de s', por este motivo debemos abandonar
el principio o restringirlo de alguna manera.
Quine llama

antinomias

a las paradojas falsdicas.

1.5. Denicin impredicativa

De esta manera explica Kleene (1974) cmo la paradoja de Russell y la


paradoja del mentiroso suponen deniciones impredicativas
Las propuestas para resolver las paradojas mencionadas no son simples ya
que pueden tener implicaciones muy serias. Supongamos que, para suprimir la
paradoja de Russell optemos por evitar que los conjuntos sean considerados
miembros de s mismos:

Algunos lgicos y matemticos pensaron que el motivo de las paradojas eran


las deniciones impredicativas:

1.6. Teora axiomtica de conjuntos


Otra propuesta para superar las paradojas ha sido la formulacin de sistemas

de

teora axiomtica de conjuntos :

1.7. Teora ramicada de tipos


Otra solucin alternativa a la paradoja de Russell ha sido la propuesta por
el propio Russell:

la teora ramicada de tipos.

Esta propuesta se corresponde

con el programa logicista de fundamentacin de las matemticas sobre la base


de principios estrictamente lgicos.

1.8. Clasicacin de paradojas y las deniciones impredicativas


Ramsey propuso una teora simple de tipos que, segn l, podra evitar las
antinomias, las cuales clasic en dos clases, semnticas y lgicas. Las paradojas
lgicas, como la paradoja de Russell, podran ser detenidas mediante tal teora
simple de tipos. Pero, observa Kleene, Ramsey supone la existencia de la totalidad de los predicados impredicativos independientemente de que puedan ser
construidos o denidos:

2.

Programas de fundamentacin de las matemticas


El problema de eliminar paradojas tiende a diluirse en el de la fundamen-

tacin de la matemtica y la lgica. Respecto a esto, han surgido tres escuelas


sobre la fundamentacin de la matemtica. Kleene (1974) explica en qu consiste
cada escuela:
(i) Logicismo: La tesis logicista es que la matemtica es una rama de la lgica.
Las nociones matemticas han de ser denidas en trminos de las nociones
lgicas. Los teoremas de la matemtica han de ser demostrados como
teoremas de la lgica. Dedekind y Frege se comprometieron en la tarea de
denir nociones matemticas en trminos de nociones lgicas, y Peano, en
la de expresar teoremas matemticos en un simbolismo lgico.

[...]
La deduccin de la matemtica como provincia de la lgica fue llevada a
cabo empleando un simbolismo lgico en la obra

Principia Mathematica

de Whitehead y Russell (1910-1913), obra que ha tenido gran inuencia


en el subsiguiente desarrollo de la lgica simblica.
(ii) Intuicionismo: En la dcada de 1880 Kronecker sostuvo que los mtodos
de Dedekind y Cantor eran slo palabras ya que no permitan decidir si
algn objeto los satisface. Un mtodo aceptable para el intuicionista sera,
por ejemplo, la induccin matemtica como instrumento del razonamiento
matemtico inductivo, mtodo nitista, propuesto por Poincar.
Ladriere (1969) explica que, para los intuicionistas, la realidad matemtica es independiente del lenguaje matemtico y de la lgica, considerando
a sta como un mero instrumento de comunicacin. La existencia numrica la reduce a la constructibilidad: el ente matemtico no posee realidad
autnoma, existiendo solamente en el acto por el cual es engendrado.
(iii) Formalismo: representado por Hilbert, propone formular la matemtica
clsica como una teora axiomtica formal, la cual deber demnostrarse
que es consistente, es decir, libre de contradicciones.
Stegmller (1978) explica que, en trminos lgicos, los platonistas conciben
como

nombres

las expresiones generales de predicado, a travs de las que cons-

truimos enunciados de relacin o de propiedad en algn lenguaje formalizado,


para las cuales empleamos generalmente letras maysculas de la mistad del alfabeto (

P, Q, R, ...).

Con esta interpretacin, dado que frente a un nombre

podemos preguntar con razn

qu

es lo que este nombre nombra, inevitable-

mente hemos de recibir la respuesta de que lo nombrado por los predicados


rojo u hombre no puede ser un objeto concreto, sino un objeto abstracto,
ideal. En cambio, el nominalista rechaza esta conclusin y el supuesto de que los
pedicados son nombres: Interpreta los predicados como expresiones sintcticosemnticas (sincategoremticas) que tienen sentido dentro de un contexto, sin
nombrar nada. En trminos tcnicos, el nominalista construira un predicado
como una oracin abierta, como en la expresin 
riable

es un hombre, con la va-

libre, no ligada. Esta sera una expresin que no signica nada hasta

que sustituimos la variable por un individuo concreto (Quine es un hombre),

x
x ), mediante los cuales construimos enunciados particulares o universales: (x ) (x  es un hombre), que traducimos por todo es un
hombre; o (Ex ) (x  es un hombre), que entendemos como hay hombres.
o cuando ligamos la variable a travs de algn cuanticador: ( ) (para toda

x ) o (Ex )

(hay objetos

Para los nominalistas el error de los platonistas es que suponen que los
predicados son nombres de propiedades abstractas. Para los nominalistas no es
necesario que una expresin sea un nombre para que tenga sentido.
Los nominalistas slo aceptan objetos concretos como valores de cada variable que emplean en un lenguaje formal. Trabajan slo con variables individuales.
Si adems de objetos concretos individuales admitiramos objetos abstractos

como valores de las variables, y tuviramos variables de clases, propiedades, relaciones, nmeros, funciones y proposiciones, entonces estaramos asumiendo un
punto de vista platonista.

2.1. El problema del innito


Kleene (1974) observa que el logicismo trata la existencia de la serie de
los nmeros naturales como una hiptesis sobre el mundo actual ('axioma del
innito' de Russell, en

Principia ).

Quine (2002) observa que la concepcin logicista del innito no es una mera
frivolidad:
Esta oposicin no es mero bizantinismo; da lugar, en efecto, a una
esencial diferencia en canto a la parte del acervo de la matemtica
clsica que uno est dispuesto a suscribir. Los logicistas, o realistas, pueden obtener, partiendo de sus presupuestos, los rdenes de
innitud ascendentes de Cantor;
El mtodo logicista, cuestionado por los intuicionistas, permite demostrar
partes de las matemticas que quedan excluidas por las exigencias constructivistas del intuicionismo.
los intuicionistas [...] se ven obligados a detenerse en el orden inferior de innitud y, como consecuencia indirecta, a abandonar incluso algunas de las leyes clsicas de los nmeros reales. La moderna
controversia entre logicismo e intuicionismo surge precisamente de
discrepancias a propsito del innito.
Quine (2002)
El formalismo se presenta como una alternativa en la cual se intenta hacer
valer el empleo de mtodos constructivos nitistas, como los intuicionistas, pero
sin la necesidad de mutilar las matemticas
[El formalismo] se hace eco del intuicionismo al deplorar el desenfrenado recurso de los logicistas a los universales. Pero el formalismo
considera insatisfactorio tambin el intuicionismo. Y ello por una de
dos razones opuestas. Al igual que el logicista, el formalista puede
oponerse a la mutilacin de la matemtica clsica; o bien, al igual que
el antiguo nominalista, puede negarse en redondo a admitir entidades
abstractas, incluso en el sentido restringido de entidades producidas
por la mente.
Quine (2002)

2.2. El intuicionismo y su rechazo del principio del tercero


excluido
Al exigir que las demostraciones en la lgica y la matemtica sean constructivas y nitistas, los intuicionistas terminan rechazando una ley lgica, aceptada

10

desde tiempos antiguos como una verdad necesaria: el principio de tercero excluido.
Podramos decir que las principales leyes lgicas son tres:
1. Principio de identidad: x es idntico a x (

2. Principio de no contradiccin: es inconsistente sostener p y no-p ((

))
3. Principio de Tercero Excluido (PTE): siempre es el caso que p o no-p
(

Palau (2002) explica el rechazo intuicionista del tercero excluido:

11

2.3. Los universales en el medioevo, fundamentacin de


las matemticas y de la lgica en la edad moderna
Quine (2002) asocia cada una de estas escuelas con posiciones loscas
respecto al problema de los universales, tal como se discuti durante la Edad
Media.
Los tres puntos de vista principales en la Edad Media a propsito
de los universales han recibido de los historiadores los nombres de

realismo, conceptualismo

nominalismo. Las mismas tres doctrinas

vuelven esencialmente a aparecer en los resmenes de la losofa de

logicismo, intuicionismo y formalismo. Realismo, cuando la palabra se usa


la matemtica en el siglo xx, bajo los nuevos nombres de

en el contexto de la controversia medieval sobre los universales, es


la doctrina platnica de que los universales, o entidades abstractas,
tienen un ser independientemente de la mente; sta puede descubrirlos, pero no crearlos. El

logicismo,

representado por Frege, Russell,

Whitehead, Church y Carnap, permite usar las variables ligadas para referirse indiscriminadamente a entidades abstractas conocidas y
desconocidas, especicadas e inespecicadas.
El

conceptualismo

sostiene que hay universales, pero que son produ-

cidos por la mente. El intuicionismo, asumido en los tiempos modernos, de un modo u otro, por Poincar, Brouwer, Weyl, etc., deende
el uso de las variables ligadas para referirse a entidades abstractas

12

slo en el caso de que tales entidades puedan ser elaboradas a partir


de ingredientes previamente especicados. Como ha dicho Fraenkel,
el logicismo sostiene que las ideas se descubren, mientras que el intuicionismo arma que se inventan correcta formulacin, en realidad,
de la vieja oposicin entre el realismo y el conceptualismo-.
[...]
El

formalismo, asociado con el nombre de Hilbert [...], al igual que el

antiguo nominalista, puede negarse en redondo a admitir entidades


abstractas, incluso en el sentido restringido de entidades producidas
por la mente [...] concibe la matemtica clsica como un juego de
notaciones signicantes.

3.

Criterio de compromiso ontolgico


El problema del compromiso ontolgico en las proposiciones particulares es

evidente en el tratamiento moderno de la silogstica clsica.


En lgica moderna no puede aceptarse el cuadrado de oposiciones por el cual
durante siglos se estudiaba la validez de los argumentos silogsticos. En especial,
ya no puede aceptarse la validez de la inferencia de enunciados particulares a
partir de enunciados generales. La razn de esto es que los enunciados generales
no implican compromiso existencial, en el sentido de que el trmino sujeto de
una proposicin categrica universal (Todo S es P), no necesariamente debe ser
el caso, es decir puede ser una clase vaca, sin elementos. No as el caso de las
proposiciones existenciales (Algn S es P), donde es necesario que

exista

al me-

nos un elemento en la clase nombrada por S. No puede derivarse la proposicin


particular, que implica existencia, de una general, que no supone existencia,
porque estaramos derivando existencia de no existencia.
Cuando formalizamos una teora empleando el lenguaje de la lgica de predicados para formular los axiomas, empleamos cuanticacin, lo cual requiere el
uso de variables y, por tanto la nocin de funcin. De los enunciados de la teora
diremos que los objetos que satisfacen las variables ligadas en las frmulas de
los axiomas y teoremas, son los objetos y el tipo de objetos que se admite en la
teora. Esta es la idea que introduce Quine (2002).
No se trata en esta propuesta de que sea el lenguaje una manera de crear
las entidades de una teora, sino de que el lenguaje establece la condicin de lo
que admitimos como existente, que su uso conlleva compromiso existencial.
Vimos, cuando comentbamos la posicin nominalista en contraposicin con
la platonista, que al adhesin a una u otra tendencia dependa del tipo de objetos
que admitiramos como formando parte del rango de valores del lenguaje formal
empleado.
Quine parece haber sido el primero en poner de maniesto este hecho al
acuar una frase que se ha hecho famosa como criterio ontolgico de alguna
teora formalizada: 

to be es to be the value of a bound variable 

13

(ser es ser el

valor de una variable ligada)

1 . Con esta frase, Quine expresa que aquello que

cada uno considera como existente depende de las variables ligadas que use.

4.

Crticas de Putnam al nominalismo


Quine y Goodman (1947) intentaron construir un sistema lgico nominalis-

ta. Eran varias las motivaciones de su empresa. Una de ellas era que asumir
la existencia de entidades abstractas incrementa el peligro de la aparicin de
paradojas.
Por qu rehusamos admitir los objetos abstractos de que necesita
la matemtica? Esta negativa se basa fundamentalmente en una intuicin losca que no puede justicarse por recurso a algo ms
fundamental. Sin embargo, resulta reforzada por algunas consideraciones

a posteriori.

Lo que parece ser el principio ms natural para

obtener por abstraccin clases o propiedades conduce a paradojas.


La nica salida posible para escapar a tales paradojas pareciera ser
el recurso a reglas alternativas cuya articiosidad y arbitrariedad
mueven a sospechar que nos hemos perdido en un mundo de cciones.
De acuerdo a estos autores, es imposible una solucin para las paradojas si
no realizamos una supresin total de las entidades abstractas.
Putnam (2010), comentando primero las divergencias en las maneras de interpretar el signicado de las leyes lgicas, y explicando que ninguno de los
desacuerdos pone en cuestin las leyes en cuanto tal sino cmo deben entenderse, revisa especcamente las implicaciones problemticas que conlleva el programa nominalista, como el de Goodman y Quine, donde se intenta una lgica
en la que son inadmisibles las entidades abstractas, como las clases, la nocin
de verdad y otras.
Putnam arma que, aunque existe un cuerpo de doctrina aceptado e inmutable en la lgica, que se ha mantenido a pesar de los cambios que ha experimentado esta ciencia histricamente, en lo que respecta a deniciones universalmente
aceptadas de las leyes ms fundamentales, es difcil, por no decir imposible,
llegar a un acuerdo.
hay un cuerpo de 'doctrina permanente' en la lgica; pero cuando
toca tener un enunciado exacto y universalmente aceptable de los
principios generales, uno no llega muy lejos.
Por ejemplo, la denicin del silogismo categrico:
'Para todas las clases S, M, P: si todo S es M y todo M es P, entonces
todo S es P'.

1 Recuerdese

que una variable ligada es una variable que est bajo el contexto de un cuanticador. Por ejemplo, en la frmula x(P x Qxy), x esta ligada al cuanticador existencial,
pero y no lo est, ocurre libre en esta frmula, ya que no aparece cuanticada
14

un nominalista no la formulara de esa forma, ya que el nominalista no acepta


la existencia de clases. Un nominalista seguro preferira
'Lo siguiente logra una oracin verdadera no importa por qu palabras o frases del tipo apropiado uno pueda sustituir las letras S, M,
P: si todo S es M y todo M es P, entonces todo S es P '.
ya que, en contraste a las clases, las 'oraciones' y las 'palabras' parecen
relativamente 'concretas'. En este sentido el desacuerdo acerca de la formulacin
'correcta' de la mayora de los principios generales de la lgica simplemente es
un reejo del desacuerdo losco acerca de la existencia o no-existencia de
'entidades matemticas' tales como las clases.
Putnam sostiene que el enunciado nominalista no puede ser una mejor opcin
que el platonista: qu puede signicar una 'palabra o frase del tipo apropiado'
en (B)? Incluso si renunciamos al problema de lo que constituye el 'tipo apropiado' de palabra o frase, debemos enfrentar el hecho de que lo que es signicado
es todas las palabras y frases posibles de un tipo u otro y que posibles palabras
y frases no son ms 'concretas' de lo que son las clases.
Como una manera de esquivar el problema, Putnam plantea una redaccin
que diga que las 'frases' apropiadas por las que se pueden sustituir S, M, P
son todas 'predicados de un-lugar' en cierto 'lenguaje formalizado '. Esto pudiera satisfacer al nominalista ya que no referimos a clases sino a instancias
de substitucin, que en algn lenguaje

son verdad. Seran verdad entonces

todas las cadenas de smbolos que se conforman a algn criterio formal en un


lenguaje formalizado son, y seguramente las 'cadenas de smbolos' son entidades
perfectamente concretas.
Pero Putnam seala que la denicin de la validez de esquemas S como
dada por el caso donde las instancias de sustituciones de S en algn lenguaje
formalizado particular

L son verdad, tambin es insatisfactoria. Si decimos que

un argumento formalizado es vlido, esto signica que ese argumento es vlido,


no importa por cual nombre de clase puedan ser sustituidas S, M, P. Apoyado
en un teorema de la teora de conjuntos que establece la imposibilidad de poner
en relacin uno a uno el conjunto de los nmeros naturales con el conjunto de
los nmeros reales, dado que el innito de los reales es mayor que el de los
naturales, Putnam armar que:
Si adoptamos la sugerencia del nominalista no tendramos slo una
nocin de validez, sino una serie innita de tales nociones: validez
en

L1

, validez en

L2

, validez en

L3

, .. . donde cada nocin cuenta

simplemente como 'verdad de toda 'instancia de sustitucin' en el

Li

apropiado.

Si intentramos evitar esto diciendo que un esquema S es vlido en el caso


de que todas sus instancias de sustitucin en todo lenguaje L son verdad. Pero
entonces estamos usando la expresin todos los posibles lenguajes formalizados
la cual es una nocin que, si la hay, es menos 'concreta' que la nocin de una
'clase'.

15

Por otro lado, la denicin nominalista de validez propuesta requiere la nocin de verdad, que es una nocin problemtica para el nominalista: pensamos
que lo que las cadenas de letras expresan es lo que es verdad o falso. Pero el
signicado de una cadena de letras o lo que la cadena de letras 'expresa' es el
tipo de entidad de la que el nominalista quiere salir.
Por ltimo, si referimos a todas las instancias de sustitucin de un esquema
S, no estamos hablando slo de todas las instancias de substitucin, no slo de
las que existen en el sentido nominalista (como pequeos trazos de tinta sobre
el papel): Para decir que las instancias de (5) que son escritas son verdad no
sera decir que (5) es vlido; puesto que podra ser que exista una instancia de
sustitucin de (5) concebida para ser escrita y que sea falsa. Pero las posibles
instancias de sustitucin de (5)  posibles cadenas de letras  realmente no
son ms objetos fsicos que lo que lo son las clases.
Sobre estos argumentos, Putnam comenta que la referencia a clases y no a
objetos concretos es comn y til. As que el nominalismo debera ofrecer una
alternativa tan satisfactoria como sta en cuanto utilidad: Si el nominalismo
quiere que la abandonemos [a las clases], debe suministrar una alternativa que
funcione bien, no slo en la lgica pura, sino tambin en ciencias empricas
como la fsica (llena de referencias a tales entidades 'no-fsicas', como vectores
de estado, Hamiltonianas, espacio de Hilbert, etc.). 
Los enunciados que el nominalista encuentra objetables suelen no ofrecer
ninguna dicultad para la lgica, sino un problema para el nominalista, para su
losofa. Por ese motivo, no son los lgicos quienes deberan cambiar su forma de
hablar para que se acomoden a las demandas nominalistas. Es al nominalista a
quien le corresponde presentar una reinterpretacin de los enunciados y frmulas
que hacen los lgicos corrientemente.
A pesar de que todava el nominalismo no ha tenido xito en este sentido,
no puede rechazarse como losofa:
Quienes en verdad creen que no hay nada que responda a nociones
tales como clase, nmero, posibles cadenas de letras, o que aquello que responde a tales nociones es una manera derivada de hablar
acerca de objetos materiales ordinarios, son libres de defender sus
puntos de vista. Que no aceptemos conformar nuestro lenguaje cientco ordinario a sus demandas no quiere decir que no aceptemos
discutir los problemas que plantean sus puntos de vista.

Bibliografa
Beth, Evert (1975)

Las Paradojas de la Lgica.

Valencia.

Valencia: Universidad de

Kamareddine, Fairouz, Twan Laan and Rob Nederpelt (2004) A Modern


Perspective in Type Theory. Dordrecht: Kluwer Academic Publishers.
Kleene, Stephan (1974) Introduccin a la Metamatemtica. Madrid: editorial
Tecnos.

16

Limitaciones Internas de los Formalismos.

Ladriere, Jean (1969)


Editorial Tecnos.
Palau, Gladis (2002)

Madrid:

Introduccin Filosca a las Lgicas no Clsicas. Bar-

celona: Gedisa.
Putnam, Hilary (2010)

Philosophy of Logic. New York: Routledge.


Desde un punto de vista lgico.

Quine, W.V.O (2002) Acerca de lo que hay.


Barcelona: Editorial Paidos.
Quine, W.V.O (1966)

The Ways of Paradox. New York: Random House.

Quine, W.V.O.y Nelson Goodman (1947) Steps towards a constructive nominalism. En

Journal of Symbolic Logic 12, pp. 105-122.


Creer, Saber, Conocer y otros Ensayos. Buenos

Stegmller, Wolfgang (1978)


Aires: Editorial Alfa.

17