23/2 233233-25 25 (2004), 23/2
ISSN0211-6642
Paul Paul Bena Benace cerr rraf af
st
Recibido:
08104105.
Aceptado:
1011 0105
1967168
Philosophy
(T.)]
233
AGORA
Paul Paul Bena Benace cerr rraf af
verd verd
te
tica tica
otro.
verdad.
hay
parece de tamafio
de
que,
esta
Clones.
234
AGORA
0q es insatisfactoria
Sl1
consecucion,
(1) (2)
17.
235
AGORA
a.
'F'
cos,
'R'
'a
'a'
@')
'R'
'F'
que
su
presentes"),
nornbres
la nota 1.
236
AGORA (2004)
l. 3, n°
3- 53
aritrnetica
nu ciados
matematicarnente
sernantica
la consistencia
237
AGORA
rd
Paul Benacerraf
satisfaccion. sintacticarnente.
verdad
verdad (0
de conocimiento
AGORA
te
ti
Paul Benacerraf
Do
er ad
at
atic
condicio
verdad
simplemente, negar
fa on xi
(1)
239
AGORA
Paul Benacerraf
er
te
ti
verdades,
algunas.
ej., la percepcion
240
AGORA (2004)
ol
3, n°
33-253
Paul Benacerraf
"con
La verdad
at
nd
(0
241
AGORA
at ca
serfa
rechazar explici-
sustituto".
tambien
5-22.
242
AGORA
Paul Benacerraf
La
disc pl na
La er ad
maternaticas
at
atic
ernpiricas
tica; sernantica
tion",
su
dades maternaticas,
243
AGORA (2004)
ol
3, n°
33-253
ocasion, contentando-
diata.
V.
conocimiento
la que,
referencia,
de
que
doblemente
(0
gate
que Thought Press, 1973); (1967) 357-72 LXIV,
p," ibid., 373-
89.
(2004)
ol
3, n°
33~253
Paul Benacerraf
ve da
te
tica
sea
p, remos
SL
ns
oc
pasado,
"justificacion". para ue se Si
alguna
2: 233-253
Paul Benacerraf
erda
te atic
es verdadera. de
en
debe
qu
co bina
todo conocimiento
esta
11.
Esta
aquellas condiciones
uerdad, matematicas,
10
losophy
1973): 57-66.
11
246
AGORA (2004)
ol
3. n°
33-253
Paul Benacerr
La verd
aritmetica pu
nt
V.
matematic
la aritrnetidi on
os
Codel,
..
el futuro",
como
que
precisamente
12
p.
Gbra campletas.
Jesus
Paul Benacerraf
erda
te atic
an superficial.
sefiala Godel,
computacional, significaran. Pero esto
analisis
248
AGORA (2004)
ol
3, n°
33-253
Paul Benacerraf
er ad
te
tica
anamnesis 13.
son
(0
logica
13
PLATON, 14 W.
Menon,
Mathematics
249
AGORA
Paul Benacerraf
La verdad
atematic
Dice:
no se lant arfa
qu
podriamo
pedir.
bastar
(Simplemente
15
1956 [Logic semantics, metamathematics,
xf rd
Clarendo
(T.)].
187-88
250
AGORA (2 04),
ol 23
2: 233-25
os que
T.
atisface la conv ncio
aqui".
podria
mismo
"CONVENCION
la
ig
consecuencias: 'x 'x
el simbolo
'p' x,
si
Tr entonces
xES'
::
16
251
AGORA (200 ).
ol
3. n°
33-253
consigo ieuerdad'",
garantice
garantiza malinterpretar prueba
definiciones
in-
implicitas esos postu-
lados). 1&
1919, p. 71.
Unwin,
la practica.
Revisi6n
253
AGORA