Introducción a la Lógica Tarski

Esta es una vista previa del archivo. Inicie sesión para ver el archivo original

... 
blemae, ai.n embargo, ha.o preocu¡»do a muchoe .tudioeoe y no 
son, de manera alguna, irrelevan\el para el deearrollo de la. lógica. 
Un punto de vista filosó6.oo adoptado por un lógico puede influir 
decidid&mente 11u elección de temu de Ntudio, NI ml§todoe 
de inveetiga.ción y au apreciación de lol!I rmult&d.oe obtenidoe por 
'l y otroe. Recomendamos al lector que deeee una orientación 
general sobre deearrolloe en la filoeoff& de la lógica. y la matem¿... 
tica, los siguientes dos libroa -el primero de elloe una antología, 
y el segundo un extenso traba.jo que cubre un amplio espectro 
de t.ema.s: 
P. BBN.i.CEBRil' y H. PuTNüt, editoree, o/ 
matiu. Sekded Rtadinga. (Con un& introducción de loe editores.) 
Prentice-Hall, Inc. Englewood Cliffa, 1964, VII + 538 págs. (Pren-
t.ioe-He.Jl Pbiloeophy Series.) 
•E. W. BBTK, TM. FovmlatWm6 o/ .MatM.maliu. A Sludy '" 
llae Philowphy of ScMna, Nortb-Holl&nd Publiehing 
Ameterdam, 1969, XXVI + 741 pá.ga. (Stud.iea in Logio a.nd the 
Foundation.a of Mathemat.i.ca.)1 
Hemos clasificado eete libro corno filoeófico, ya q_ue. como el 
a11tor afirma en el pref&cio, uno de 1ua motivoe princ1pale111 al ... 
oribirlo fue •el detJeO de eetrechai- !azoe enire inveetiga.oión ea 
fund8.mentoe y filosofía general, y proporcion&r t.e.nto • filóeofoe 
como a matem!ticos una amplia preaontación de problema y reeul-
t.a.dos con comentariow talee que ayuden a moetrar au import:.&ncia 
darlo para un estudio 1ietemÁtieo. Contiene, 1in embargo, vuta 
información 1obre todo el dominio de que no• heinoe int.ef'eMdo 
o bra con la •peranza. de encontrar en ella, a falta de una esplioación 
adecuada, por lo meno• algunu reíerenciu bibliogr6.fi.cu, algunu 
obeervacionee hilltóricu pertinentes, o alguna diacuaión aobre lu 
implicaciones filoeóficaa. 
Mencionamos, finalmente, Wl& monografia especializada que 
puede eer incluida. en A o en G: 
... 
A. Bs:Y'mfo, lntu'"°'""" . .4• iftlroduetion, North-Rou..nd 
PubliahiDg Compony, Amsterd&m, 19M, vm + 132 páp. (Studi .. 
in Logic and the Foundatiom of Mathemati09.) 
Para concluir, deeeamoe mencionar que exiet.e una eociedad 
internacional, The Asaooiation far Bymbolic Logic, que reúne la 
m&yori& de los investigad.orea cientL6ooe en los campos de la. lógi-
ca y la metodología. de la. m&Umitica. Eet& inltitución tiene au 
public.a.ción trimestral, TM Jountal of Spbolic Logk,, que oon-
ti&ne contribuciones origina.lea, como también resetiaa crltica.a de 
toda la. liter&tura a.ctual en el e&mpo de la lógie&. El volumen 1, 
1936, contiene una bibliografla ellauativa (comple1I1ent&da eue-
ta.ncialmente en el volumen 3, 1938, con agregadoe menoree en 
volúmenea poaterioree), compila.da por CsuBce:, de todaa lu pu-
blicaciones en el dominio de la. lógica matemá.tica haat&el afto 1936; 
un indioe de la. litera.tura publicada posteriormente aparece cada 
dos afioa. Una contribución ulterior a la bibliograffa de la. lógica 
ee el volumen 26, 1961, que ~otiene lndioea que ab&rca.n todo el 
ma.terial de loe veinticinco voló.menee preoedentes. Existen también 
otros periódicoe, oomo también ooleccionee de libroe dedicada.a 
excluaivamente a la8 publicaciones aobre lógica y met.odologfa. 
Mencionaremos espeicffica.mente la aerie Studiu in. Lo~ and IM 
Foundati.on.a of MaJM.matia (Nortb-Holland Publishing Compe.y, 
Amaterdam), en la que, antee de 1964, ya habían aido publicadoe 
unoe cu&11111t& libroe, on eu mayoría t11onografíaa eapecialiudaa, 
pero también unaa pocaa obraa de eará.cter mú genec&l. 
La Aseociation for Symbolic Logic realiza dos o tnie reunionee 
anua.lea en loa Eatadoe Unidos y otros palaee. Cada pocoe aftoa ee 
realiza un Congreso I nternacional de Lógica, Metodología y Filo-
aoffa de la Ciencia; el prito.ero de ellos tuvo luga.r en 1960. Fre-
cuentemente ae realizan simpoaioe dedicadoa: a problemaB o ramu 
eepecia.lee de la investigación lógica. LM acta8 de est.oe congreeoe 
y aimpoeios, a menudo publicadaa oomo libros aeparados, son 
·fuentee vaJiOM8 de información aobre loa desarrollos má.s recientee 
en eate campo. 
Impreso rn E~1•a i1a 
Prinled in Spain