Alfred Tarski

De Wikipedia, la enciclopedia libre

Alfred Tarski

Nacido

Alfred Teitelbaum 14 de enero

1901 Varsovia , Polonia
Congreso

Muri

26 de octubre 1983 (82

aos)Berkeley,
California , Estados Unidos

Nacionalida
Polaco
d
Los campos Matemticas , lgica , filosofa
del lenguaje
Institucione Universidad de California,
s
Berkeley
Alma mter Universidad de Varsovia
Doctoral
consejero

Stanisaw Leniewski

Los
estudiantes
de
doctorado

Salomn Feferman
Haim Gaifman
Bjarni Jnsson
Howard Jerome Keisler

Roger Maddux
Richard Montague
Andrzej Mostowski
Julia Robinson
Robert Vaught
Conocido
por

El trabajo sobre las bases de la

moderna lgica
formal nocin de la verdad
para el Desarrollo de la teora
de modelos
lgica de las relaciones

Influencias

Charles Sanders Peirce

Influenciad
o

Rudolph Carnap
Kenneth J. Arrow
W. VO Quine
Karl Popper
Patrick Suppes
Erich Leo Lehmann

Alfred Tarski (14 en 1901 a 26 oct 1983) era

un polaco lgico , matemtico y filsofo . Educado en la Universidad de
Varsovia y miembro de la escuela de Lww-Varsovia de la lgica y de la escuela
de Varsovia de las matemticas y la filosofa, emigr a los EE.UU. en 1939, y
ense y llev a cabo la investigacin en matemticas en la Universidad de
California, Berkeley , a partir de 1942 hasta su muerte. [ 1 ]
Autor prolfico ms conocido por su trabajo en la teora de modelos , la
metamatemtica y lgica algebraica , tambin contribuy al lgebra
abstracta ,topologa , geometra , teora de la medida , la lgica
matemtica , teora de conjuntos , y la filosofa analtica .
Sus bigrafos Anita y Salomn Feferman estatales que, "Junto con su
contemporneo, Kurt Gdel , que cambi la faz de la lgica en el siglo XX,
especialmente a travs de su trabajo sobre el concepto de la verdad y de la
teora de los modelos ". [ 2 ]
Contenido
[ ocultar ]

1 Vida

2 Matemtico

3 Logician

4 La verdad en lenguajes formalizados

5 Consecuencia lgica

6 Cules son las nociones lgicas?

7 Obras

8 Vase tambin

9 Referencias

10 Lectura adicional

11 Enlaces externos

Vida [ editar ]
Alfred Tarski naci Alfred Teitelbaum ( Polish ortografa: "Tajtelbaum"), a los
padres que se encontraban polaco Judios en circunstancias cmodas. La
primera vez que manifiesta sus habilidades matemticas, mientras que en la
escuela secundaria, en casa de Varsovia Szkoa Mazowiecka . [ 3 ] Sin embargo,
entr en la Universidad de Varsovia en 1918 con la intencin de estudiar la
biologa . [ 4 ]
Despus de que Polonia recuper su independencia en 1918, la Universidad de
Varsovia qued bajo el liderazgo de ene ukasiewicz , Stanisaw
Leniewski y Waclaw Sierpinski y rpidamente se convirti en una institucin
lder en el mundo de la investigacin en la lgica, las matemticas
fundamentales, y la filosofa de las matemticas. Leniewski reconoci el
potencial de Tarski como matemtico y le anim a abandonar la biologa. [ 4 ] En
adelante Tarski asisti a cursos impartidos por ukasiewicz, Sierpiski, Stefan
Mazurkiewicz y Tadeusz Kotarbinski , y se convirti en la nica persona para
completar un doctorado bajo la supervisin de Leniewski. Tarski y Leniewski
pronto crecieron fresco entre s. Sin embargo, en la vida posterior, Tarski
reserv su ms clido elogio para Kotarbinski , como era mutuo.
En 1923, Alfred Teitelbaum y su hermano Waclaw cambiaron su apellido por el
de "Tarski." (Aos ms tarde, Alfred se encontr con otro Alfred Tarski en el
norte de California.) Los hermanos Tarski tambin convierten a la religin
catlica , la religin dominante de Polonia. Alfred lo hizo a pesar de que l era
un confeso ateo . [ 5 ] Tarski era un nacionalista polaco que se vio como un
polaco y dese ser plenamente aceptado como tal - ms tarde, en Estados
Unidos, hablaba polaco en casa.

Despus de convertirse en la persona ms joven en completar un doctorado en

la Universidad de Varsovia, Tarski ense lgica en el Instituto Pedaggico de
Polonia, las matemticas y la lgica en la Universidad, y se desempe como
asistente de Lukasiewicz. Debido a que estas posiciones estaban mal pagados,
Tarski tambin ense matemticas en una escuela secundaria de Varsovia;
[6]
antes de la Segunda Guerra Mundial, no era raro que los intelectuales
europeos del calibre de la investigacin para ensear a la escuela
secundaria. De ah que entre 1923 y su partida a los Estados Unidos en 1939,
Tarski no slo escribi varios libros y numerosos artculos, algunos de ellos
innovador, sino que tambin lo hizo mientras apoyndose principalmente
mediante la enseanza de las matemticas de la escuela secundaria. En 1929
se cas con Tarski maestra Mara Witkowska, un polaco de origen catlico. Ella
haba trabajado como mensajero para el ejrcito en la Guerra PolacoSovitica . Tuvieron dos hijos; un hijo Jan que se convirti en un fsico, y una
hija que se cas con Ina el matemtico Andrzej Ehrenfeucht . [ 7 ]
Tarski solicit una ctedra de filosofa en la Universidad de Lww , pero
por Bertrand Russell 's recomendacin que fue otorgado a Leon
Chwistek . [ 8 ] En 1930, Tarski visit la Universidad de Viena , dio una
conferencia a Karl Menger 'coloquio s, y se encontr con Kurt Gdel . Gracias a
una beca, fue capaz de regresar a Viena durante la primera mitad de 1935
para trabajar con el grupo de investigacin de Menger. Desde Viena, viaj a
Pars para presentar sus ideas sobre la verdad en la primera reunin de
la Unidad de la Ciencia movimiento, una consecuencia del Crculo de Viena .En
1937, Tarski solicit una ctedra en la Universidad de Poznan , pero la silla fue
abolida. [ 9 ] los lazos de Tarski a la unidad del movimiento Ciencia
probablemente le salv la vida, ya que dio lugar a su que era invitado a
dirigirse a la Unidad del Science Congress celebrado en septiembre 1939 en la
Universidad de Harvard . As se fue a Polonia en agosto de 1939, en el ltimo
barco para navegar desde Polonia a Estados Unidos antes de la invasin
alemana y sovitica de Polonia y el estallido de la Segunda Guerra
Mundial . Tarski dej de mala gana, porque Leniewski haba muerto unos
meses antes, la creacin de una vacante que Tarski espera de llenar. Ajeno
al nazi amenaza, l dej a su esposa e hijos en Varsovia. No vio otra vez hasta
1946. Durante la guerra, casi toda su familia muri a manos de las autoridades
de ocupacin alemanas.
Una vez en los Estados Unidos, Tarski ocup una serie de cargos docentes y de
investigacin de carcter temporal: la Universidad de Harvard (1939), el City
College de Nueva York (1940), y gracias a una beca Guggenheim , el Instituto
de Estudios Avanzados de Princeton (1942), donde se reuni de nuevo
Gdel. En 1942, Tarski se uni al Departamento de Matemticas de
la Universidad de California, Berkeley , donde pas el resto de su carrera. Tarski
se convirti en ciudadano estadounidense en 1945. [ 10 ] Aunque emrito desde

1968, ense hasta 1973 y supervis Ph.D. . candidatos hasta su

muerte [ 11 ] En Berkeley, Tarski adquirieron una reputacin como un maestro
increble y exigente, un hecho sealado por muchos observadores:
Sus seminarios en Berkeley rpidamente se hizo famoso en el mundo de la
lgica matemtica. Sus alumnos, muchos de los cuales se convirtieron en
distinguidos matemticos, sealaron la energa impresionante con la que iba a
convencer y engatusar su mejor trabajo de ellos, exigiendo siempre los ms
altos estndares de claridad y precisin. [ 12 ]
Tarski era extrovertido, agudo, de carcter fuerte, enrgico y de lengua
afilada. Prefera su investigacin a ser de colaboracin - a veces trabajando
toda la noche con un colega - y era muy exigente con prioridad. [ 13 ]
Un lder y maestro carismtico, conocido por su brillante estilo expositivo
precisa todava de suspenso, Tarski tena intimidante altos estndares para los
estudiantes, pero al mismo tiempo que poda ser muy alentador, y
particularmente a las mujeres - a diferencia de la tendencia general. Algunos
estudiantes se asustaron lejos, pero un crculo de discpulos se quedaron,
muchos de los cuales se convirtieron en lderes de renombre mundial en el
campo. [ 14 ]
Tarski supervisado veinticuatro Ph.D. disertaciones incluyendo (en orden
cronolgico) las de Andrzej Mostowski , Bjarni Jnsson , Julia Robinson , Robert
Vaught , Salomn Feferman , Richard Montague , James Donald Monk , Haim
Gaifman , Donald Pigozzi y Roger Maddux , as como Chen Chung
Chang y Jerome Keisler , autores de teora de modelos (1973), [ 15 ] un texto
clsico en la materia. [ 16 ] [ 17 ] l tambin influy fuertemente en las
disertaciones de Alfred Lindenbaum , Dana de Scott , y Steven Givant . Cinco
de los estudiantes de Tarski eran mujeres, un hecho notable dado que los
hombres representaban una abrumadora mayora de los estudiantes
graduados en el momento. [ 17 ]
Tarski dio una conferencia en la Universidad College de Londres (1950, 1966),
el Instituto Henri Poincar de Pars (1955), el Instituto Miller para la
Investigacin Bsica en Ciencias en Berkeley (1958-1960), la Universidad de
California en Los Angeles (1967), y la Pontificia Universidad Catlica de
Chile (1974-1975). Entre las muchas distinciones cosechado a lo largo de su
carrera, Tarski fue elegido miembro de la Academia Nacional de Estados Unidos
de las Ciencias , la Academia Britnica y la Real Academia Holandesa de Artes
y Ciencias , recibi ttulos honorarios de la Pontificia Universidad Catlica de
Chile en 1975, desde Marsella ' Paul Czanne Universidad en 1977 y de
la Universidad de Calgary ., as como el Berkeley cita en 1981 Tarski presidi
la Asociacin para Symbolic Logic , 1944-1946, y la Unin Internacional de

Historia y Filosofa de la Ciencia , 1956 - 57. Tambin fue editor honorario

de lgebra Universalis . [ 18 ]
Matemtico [ edit ]
Intereses matemticos de Tarski eran excepcionalmente amplio para un lgico
matemtico. Sus trabajos reunidos corren a cerca de 2.500 pginas, la mayora
de ellos en las matemticas, no lgicas. Para un panorama conciso de los
logros matemticos y lgicos de Tarski por su antiguo alumno Salomn
Feferman, consulte "Interludios I-VI" en Feferman y Feferman. [ 19 ]
Primer trabajo de Tarski, publicado cuando tena 19 aos, estaba en la teora de
conjuntos , un tema al que volvi en toda su vida. En 1924, l y Stefan
Banach demostr que, si se acepta el axioma de eleccin , una pelota, se
puede cortar en un nmero finito de piezas, y luego volvi a montar en una
bola de tamao ms grande, o, alternativamente, se puede volver a montar en
dos bolas cuyo tamaos iguales que el de la original. Este resultado se llama
ahora la paradoja de Banach-Tarski .
En un mtodo de toma de lgebra elemental y geometra , Tarski mostr, por el
mtodo de eliminacin de cuantificadores , que la teora de primer orden de
los nmeros reales bajo la suma y la multiplicacin es decidible . (Si bien este
resultado apareci slo en 1948, se remonta a 1930 y fue mencionado en
Tarski (1931).) Este es un resultado muy curioso, porque Alonzo
Church demostr en 1936 que la aritmtica de Peano (la teora de los nmeros
naturales ) es no decidible . La aritmtica de Peano tambin es incompleta
por teorema de incompletitud de Gdel . En sus 1.953teoras indecidibles ,
Tarski et al. mostraron que muchos sistemas matemticos, incluyendo la teora
reticular , abstracta geometra proyectiva y lgebras de cierre , son todos
indecidible. La teora de grupos abelianos es decidible, sino la de los grupos no
abelianos no lo es.
En los aos 1920 y 30, Tarski menudo enseaba en la escuela de
alta geometra . El uso de algunas ideas de Mario Pieri , en 1926 Tarski ideado
un original axiomatizacin para el plano de geometra euclidiana , uno
considerablemente ms conciso que Hilbert . axiomas de Tarski forman una
teora de primer orden carente de la teora de conjuntos, cuyos individuos
son puntos , y tener slo dos primitivas relaciones . En 1930, l prob esta
teora decidible, ya que puede ser asignada a otra teora que ya haba
demostrado ser decidible, a saber, su teora de primer orden de los nmeros
reales.
En 1929 se demostr que gran parte de la euclidiana geometra slida podran
volver a estructurar como una teora de primer orden cuyos individuos
son esferas (una nocin primitiva ), una relacin binaria primitivo "est
contenida en", y dos axiomas que, entre otras cosas, implican que la

contencin ordena parcialmente las esferas. La relajacin de la exigencia de

que todos los individuos sean esferas produce una formalizacin
de mereologa mucho ms fcil de lo EXPOSIT Lesniewski variante 's. Cerca del
final de su vida, Tarski escribi una carta muy larga, publicado como Tarski y
Givant (1999), que resume su trabajo sobre geometra.
Cardenal lgebras estudi lgebras cuyos modelos incluyen la aritmtica de
los nmeros cardinales . Ordinal lgebras establece un lgebra de la teora
aditiva de los tipos de rdenes . Cardenal, pero no ordinal, desplazamientos de
suma.
En 1941, Tarski public un importante artculo sobre las relaciones binarias ,
que se inici el trabajo en relacin con el lgebra y sus metamatemtica que
ocuparon Tarski y sus estudiantes durante gran parte del resto de su
vida. Mientras que la exploracin (y el trabajo estrechamente relacionado
de Roger Lyndon ) descubrieron algunas limitaciones importantes de la relacin
lgebra, Tarski mostr tambin (Tarski y Givant 1987) esa relacin lgebra
puede expresar ms la teora axiomtica de conjuntos y la aritmtica de
Peano . Para una introduccin al lgebra respecto , consulte Maddux (2006). A
fines de 1940, Tarski y sus estudiantes idearon lgebras cilndricas , que son a
la lgica de primer orden lo que el de dos elementos lgebra de Boole es
clsica la lgica proposicional . Este trabajo culmin en las dos monografas por
Tarski, Henkin y Monk (1971, 1985).
Lgico [ edit ]
Estudiante de Tarski, Vaught, ha clasificado a Tarski como uno de los cuatro
ms grandes lgicos de todos los tiempos --- junto con Aristteles, Gottlob
Frege, y Kurt Gdel. [ 2 ] [ 20 ] [ 21 ] Sin embargo, Tarski menudo expres gran
admiracin por Charles Sanders Peirce , sobre todo por su trabajo pionero en
la lgica de las relaciones .
Tarski produjo axiomas por consecuencia lgica , y trabaj en los sistemas
deductivos , el lgebra de la lgica y la teora de la definibilidad. Sus mtodos
semnticos, que culminaron en la teora de los modelos que l y varios de sus
estudiantes de Berkeley desarroll en los aos 1950 y 60, transformaron
radicalmente la metamatemtica prueba terico-de Hilbert.
"En [Tarski] punto de vista, la metamatemtica convirtieron similar a cualquier
disciplina matemtica. No slo sus conceptos y los resultados se pueden
matematizado, pero que en realidad se pueden integrar en las matemticas ....
Tarski destruy el lmite entre la metamatemtica y la matemtica. l se opuso
a la restriccin el papel de la metamatemtica a los fundamentos de las
matemticas ". [ 22 ]

1936 El artculo de Tarski "Sobre el concepto de consecuencia lgica",

argument que la conclusin de un argumento se sigue lgicamente de sus
locales, si y slo si cada modelo de los locales es un modelo de la
conclusin. En 1937, public un artculo que presenta con claridad sus puntos
de vista sobre la naturaleza y la finalidad del mtodo deductivo, y el papel de
la lgica en los estudios cientficos. Su escuela secundaria y la enseanza de
pregrado en la lgica y la axiomtica culminaron en un texto corto clsico,
publicado por primera vez en Polonia, luego en la traduccin alemana, y
finalmente en 1941 una traduccin Ingls como Introduccin a la Lgica ya la
Metodologa de las Ciencias deductivas .
De Tarski 1969 "La verdad y la prueba", considerado ambos teoremas de
incompletitud de Gdel y indefinibilidad teorema de Tarski , y reflexion sobre
sus consecuencias para el mtodo axiomtico en matemtica.
La verdad en lenguajes formalizados [ edit ]
En 1933, Tarski public un muy largo (ms de 100pp) Documento en polaco,
titulado "Pojcie Prawdy w jzykach nauk dedukcyjnych", [ 23 ] que establece una
definicin matemtica de la verdad para lenguajes formales. El 1935
traduccin al alemn fue titulado "Der Wahrheitsbegriff in den formalisierten
Sprachen", (El concepto de verdad en lenguajes formalizados), a veces
abreviado a "Wahrheitsbegriff". Una traduccin al Ingls tuvo que esperar a la
primera edicin de 1956 el volumen de Logic, Semantics,
Metamathematics . Este papel enormemente citado es un hito en el siglo 20 la
filosofa analtica , una importante contribucin a la lgica simblica , la
semntica y la filosofa del lenguaje . Para un breve anlisis de su contenido,
consulte Convencin T (y tambin T-esquema ).
Algunos reciente debate filosfico examina el grado en que la teora de Tarski
de la verdad para lenguajes formalizados puede ser visto como una teora de la
verdad como correspondencia . El debate se centra en cmo leer el estado de
Tarski de la suficiencia material para una definicin verdad. Esta condicin
requiere que la teora de la verdad tienen el siguiente como teoremas para
todos penas de p de la lengua para la que la verdad se est definiendo:
"P" es verdadera si y slo si p.
(Donde p es la proposicin expresada por "p")
El debate sobre si asciende a leer frases de este tipo, como
"La nieve es blanca" es verdadera si y slo si la nieve es blanca
como la expresin de una mera teora deflacionista de la verdad o como la
encarnacin de la verdad como una propiedad ms sustancial (ver Kirkham
1992). Es importante darse cuenta de que la teora de la verdad de Tarski es

para lenguajes formalizados, por lo que los ejemplos de lenguaje natural no son
ilustraciones de la utilizacin de la teora de la verdad de Tarski.
Consecuencia lgica [ edit ]
En 1936, Tarski public versiones polacas y alemanas de una conferencia que
haba dado el ao anterior en el Congreso Internacional de Filosofa cientfica
en Pars. Una nueva traduccin al Ingls de este artculo, Tarski (2002), pone de
relieve las muchas diferencias entre las versiones alemana y polaca del papel,
y corrige una serie de errores de traduccin en Tarski (1983).
Esta publicacin expone la moderna teora de modelos de definicin
(semntica) consecuencia lgica, o por lo menos la base para ello. Si la nocin
de Tarski era totalmente la moderna depende de si tena la intencin de admitir
modelos con dominios diferentes (y, en particular, los modelos con los
dominios de diferentes cardinalidades ). Esta pregunta es un asunto de debate
en la literatura filosfica actual. John Etchemendy estimulado gran parte del
reciente debate sobre el tratamiento de Tarski de diferentes dominios. [ 24 ]
Tarski termina sealando que su definicin de la consecuencia lgica depende
de una divisin de trminos en la lgica y la extra-lgico y que expresa un
cierto escepticismo de que tal divisin objetivo ser prxima. "Cules son las
nociones lgicas?" por tanto, se puede ver como la continuacin de "Sobre el
concepto de consecuencia lgica".
Cules son las nociones lgicas? [ edit ]
Otra teora de atraer la atencin de Tarski en la literatura filosfica reciente es
el que se describe en su "Cules son las nociones lgicas?" (Tarski 1986). Esta
es la versin publicada de un discurso que dio originalmente en 1966 en
Londres y ms tarde en 1973 en Buffalo; que fue editado sin su participacin
directa por John Corcoran . Se convirti en el artculo ms citado en la
revistaHistoria y Filosofa de la Lgica . [ 25 ]
En la charla, Tarski propuso una delimitacin de las operaciones lgicas (que l
llama "nociones") de la no-lgico. Los criterios propuestos se derivan
del programa de Erlangen del matemtico del siglo 19 alemn, Felix
Klein . (Mautner 1946, y, posiblemente, un artculo escrito por el matemtico
portugus Sebastiao e Silva, prev Tarski en la aplicacin del Programa de
Erlangen a la lgica.)
Ese programa clasifica los diferentes tipos de geometra ( geometra
euclidiana , la geometra afn , la topologa , etc) por el tipo de uno-uno
transformacin del espacio sobre s mismo que dej los objetos de esa teora
geomtrica invariante. (A la transformacin de uno a uno es un mapa funcional
del espacio sobre s mismo de modo que cada punto del espacio se asocia con

o asignado a otro punto del espacio. As, "girar 30 grados" y "magnificar por un
factor de 2 "son descripciones intuitivas de uniforme sencillo uno-uno
transformaciones.) transformaciones continuas dan lugar a los objetos de la
topologa, las transformaciones de similitud a las de la geometra euclidiana, y
as sucesivamente.
Dado que la gama de transformaciones admisibles vuelve ms amplia, la gama
de objetos uno es capaz de distinguir como preservado por la aplicacin de las
transformaciones se hace ms estrecha. Transformaciones de similitud son
bastante estrecha (que preservan la distancia relativa entre los puntos) y por lo
tanto nos permiten distinguir relativamente muchas cosas (por ejemplo,
tringulos equilteros de tringulos equilteros no). Transformaciones
continuas (que intuitivamente pueden pensarse como las transformaciones que
permiten no uniforme de estiramiento, compresin, flexin, torsin y, pero no
hay rasgadura o encolado) nos permiten distinguir un polgono a partir de
un anillo (anillo con un agujero en el centro), pero no nos permiten distinguir
dos polgonos entre s.
La propuesta de Tarski era demarcar las nociones lgicas considerando todas
las posibles transformaciones de uno-a-uno ( automorfismos ) de un dominio
sobre s mismo. Por dominio se entiende el universo de discurso de un modelo
de la teora semntica de la lgica. Si uno se identifica el valor de
verdad verdadero con el conjunto del dominio y el valor de verdad falso con el
conjunto vaco, entonces las siguientes operaciones se cuentan como lgico en
virtud de la propuesta:
1. Funciones de verdad : Todas las funciones de verdad son admitidos por
la propuesta. Esto incluye, pero no se limita a, todas las n funciones de
verdad-arias para finito n . (Tambin admite funciones de verdad con
cualquier nmero infinito de lugares.)
2. Los individuos : No hay individuos, siempre que el dominio tiene al
menos dos miembros.
3. Los predicados :

los de un lugar totales y nulas predicados, los primeros tienen

todos los miembros del dominio en su extensin y la segunda que
no tienen miembros del dominio en su extensin

de dos plazas totales y nulas predicados, los primeros tienen el

conjunto de todos los pares ordenados de miembros de dominio
como su extensin y el segundo con el conjunto vaco como
extensin

el predicado de identidad de dos plazas, con el conjunto de todos

los pedidos de pares < a , un > en su extensin, donde una es un
miembro del dominio

el de dos plazas diversidad predicado, con el conjunto de todos los

pares de rdenes < a , b > en la que una y b son miembros
distintos del dominio

n predicados-arias en general: todos los predicados definibles por

el predicado de identidad junto con
la conjuncin , disyuncin y negacin (hasta cualquier ordinalidad,
finito o infinito)

4. Cuantificadores : Tarski discute explcitamente slo cuantificadores

mondicos y seala que todos esos cuantificadores numricos son
admitidos bajo su propuesta. Estos incluyen los cuantificadores
universales y existenciales estndar, as como los cuantificadores
numricos tales como "Exactamente cuatro", "un nmero finito",
"uncountably muchos", y "Entre cuatro y 9.000.000", por
ejemplo. Mientras que Tarski no entra en la cuestin, tambin es claro
que los cuantificadores polidicos son admitidos bajo la propuesta. Estos
son cuantificadores como, dado dos predicados Fx y Gy , "Ms ( x, y ) ",
que dice" Ms cosas que F que tiene T ".
5. La teora de conjuntos de relaciones : relaciones tales como la
inclusin , la interseccin y la unin aplicarse a los subconjuntos del
dominio son lgicas en el sentido actual.
6. Membresa Set : Tarski termin su conferencia con un debate sobre si la
relacin de pertenencia conjunto cuenta como lgico en su
sentido. (Teniendo en cuenta la reduccin de (la mayora) de las
matemticas a la teora de conjuntos, esto fue, en efecto, la cuestin de
si la mayor parte o toda la matemtica es una parte de la lgica.) Seal
que la pertenencia conjunto es lgico si la teora de conjuntos se
desarrolla a lo largo de las lneas de la teora de tipos , pero es
extralgicos si la teora de conjuntos se establece axiomticamente,
como en la cannica de Zermelo-Fraenkel la teora de conjuntos .
7. Nociones lgicas de orden superior : Aunque Tarski limita su discusin a
las operaciones de la lgica de primer orden, no hay nada acerca de su
propuesta de que necesariamente restringe a lgica de primer
orden. (Tarski probable restringido su atencin a las nociones de primer
orden como la charla fue dada a un pblico no tcnico.) Por lo tanto, los
cuantificadores de orden superior y los predicados son admitidos
tambin.

En cierto modo, la presente propuesta es la otra cara de la de Lindenbaum y

Tarski (1936), quienes demostraron que todas las operaciones lgicas de
Russell y Whitehead 's Principia Mathematicason invariantes bajo uno-a-uno
transformaciones del dominio sobre s mismo. La presente propuesta tambin
se emplea en Tarski y Givant (1987).
Salomn Feferman y Vann McGee discutieron adems la propuesta del Tarski en
la obra publicada despus de su muerte. Feferman (1999) plantea problemas
para la propuesta y sugiere una cura: la sustitucin de la preservacin de Tarski
por automorfismos con la conservacin por arbitrarias homomorfismos . En
esencia, esta sugerencia evita la dificultad propuesta de Tarski tiene para hacer
frente a la uniformidad de operacin lgica a travs de dominios distintos de
una cardinalidad dada y en los dominios de cardinalidades distintas. La
propuesta de Feferman resulta en una restriccin radical de los trminos
lgicos, en comparacin con la propuesta original de Tarski. En particular,
termina contando slo como lgicos los operadores de la lgica de primer
orden estndar sin identidad.
McGee (1996) ofrece una descripcin precisa de lo que las operaciones son
lgicas en el sentido de la propuesta de Tarski en trminos de expresividad en
un lenguaje que extiende la lgica de primer orden, al permitir conjunciones y
disyunciones arbitrariamente largos, y la cuantificacin sobre arbitrariamente
muchas variables. "Arbitrariamente" incluye una infinidad numerable.
Obras [ editar ]
Antologas y colecciones

1986. Los Collected Papers de Alfred Tarski , 4 vols. Givant, SR, y

McKenzie, RN, eds. Birkauser.

Givant, Steven, 1986 "Bibliografa de Alfred Tarski",. Journal of Symbolic

Logic 51 : 913-41.

. 1983 (1956) Logic, Semantics, Metamathematics: Papers 1923-1938

Alfred Tarski , Corcoran, J., ed. Hackett. Primera edicin editada y
traducida por JH Woodger, Oxford Uni. Prensa. Esta coleccin contiene
traducciones del polaco de algunos de los papeles ms importantes de
Tarski de su carrera, incluyendo el concepto de verdad en los lenguajes
formalizados y en el concepto de consecuencia lgica discutido
anteriormente.

Publicaciones originales de Tarski

1930 Une contribucin a la thorie de la mesure. Fondo Matemticas 15

(1930), 42-50.

1930. (Con ene ukasiewicz ). "Untersuchungen uber den

Aussagenkalkul" ["Las investigaciones sobre la oracional
Clculo"], Comptes Rendus des sesiones de la Societe des Sciences et
des Lettres de Varsovie , Vol. 23 (1930) Cl. III, pp 31-32 en Tarski (1983):
38-59.

1931 "Sur les conjuntos dfinissables de Nombres carretes

I",. Fundamenta Mathematica 17 : 210-239 de Tarski (1983): 110-142.

1936. "Grundlegung der wissenschaftlichen Semantik" , Actes du

Congrs internacional scientifique de philosophie, Sorbonne, Pars 1935 ,
vol. III, Lenguaje y pseudo-problmes , Pars, Hermann, 1936, pp 1-8 en
Tarski (1983): 401-408.

1936. "ber den Begriff der logischen Folgerung" , Actes du Congrs

internacional scientifique de philosophie, Sorbonne, Pars 1935 ,
vol. VII, Logique , Paris: Hermann, pp 1-11 de Tarski (1983): 409-420.

1936 (con Adolf Lindenbaum). "Sobre las limitaciones de las teoras

deductivas" en Tarski (1983): 384-92.

1994 (1941). Introduccin a la Lgica ya la Metodologa de las Ciencias

deductivas . Dover.

1941 "En el clculo de las relaciones",. Journal of Symbolic Logic 6 : 7389.

1944 ". El concepto semntico de la verdad y los fundamentos de la

semntica, " Filosofa y fenomenolgica de Investigacin 4 : 341-75.

1948. Un mtodo de toma de lgebra elemental y geometra . Santa

Monica CA: RAND Corp.

1949. Cardenal lgebras . Oxford Univ. Prensa.

1953 (con Mostowski y Raphael Robinson). teoras indecidibles . Holanda

del Norte.

1956. lgebras ordinales . North-Holland.

. 1965 "Un formalizacin simplificada de la lgica de predicados con

identidad", Archiv fr Mathematische Logik und Grundlagenforschung 7 :
61-79

. 1969 " Verdad y Proof ", Scientific American 220 : 63-77.

1971 (con Leon Henkin y Donald Monk). Cylindric lgebras: Parte I NorthHolland..

1985 (con Leon Henkin . y Donald Monk) cilndricas lgebras: Parte

II . North-Holland.

.. 1986 "Cules son las nociones lgicas", Corcoran, J., ed, Historia y
Filosofa de la Lgica 7 : 143-54.

1987 (con Steven Givant). A la formalizacin de la teora determinada

sin variables . Providence RI: American Mathematical Society.

1999 (con Steven Givant). "sistema de geometra de Tarski" , Boletn de

la Lgica Simblica 5 : 175-214.

2002 "Sobre el concepto de raz Lgicamente" (Magda Stroiska y David

Hitchcock, trad.). Historia y Filosofa de la Lgica 23 : 155-96.

Vase tambin [ editar ]

Portal Biografa
Portal Lgica

Lista de las cosas con nombres de Alfred Tarski

Referencias [ editar ]
1. Salta hacia arriba^ Feferman A.
2. ^ Ir a:un b Feferman y Feferman , p.1
3. Salta hacia arriba^ Feferman y Feferman , pp.17-18
4. ^ Ir a:un b Feferman y Feferman , p.26
5. Salta hacia arriba^ Feferman y Feferman , p.294
6. Salta hacia arriba^ "El Boletn de la Asociacin Korczak, Janusz
de Canad" . Septiembre de 2007. Nmero 5 . Obtenido 08 de
febrero 2012 .
7. Salta hacia arriba^ Feferman y Feferman (2004), pp 239-242.
8. Salta hacia arriba^ Feferman y Feferman , p.67
9. Salta hacia arriba^ Feferman y Feferman , pp.102-103
10.Salta hacia arriba^ Feferman y Feferman , Cap. 5, pp.124-149
11.Salta hacia arriba^ Robert Vaught; John Addison; Benson
Mates; . Julia Robinson (1985) "Alfred Tarski, Matemticas:

Berkeley" . Universidad de California (Sistema) del Senado

Acadmico . Consultado el 2008-12-26 .
12.Salta hacia arriba^ Obituario en tiempos , que se reproduce
aqu
13.Salta hacia arriba^ Gregory Moore, "Alfred Tarski" en Dictionary
of Scientific Biography
14.Salta hacia arriba^ Feferman
15.Salta hacia arriba^ Chang, CC y Keisler, HJ, 1973. Teora de
Modelos . North-Holland, Amsterdam. American Elsevier, Nueva
York.
16.Salta hacia arriba^ Alfred Tarski en la Genealoga Proyecto
Matemticas
17.^ Ir a:un b Feferman y Feferman , pp 385-386
18.Salta hacia arriba^ O'Connor, John J. ; Robertson, Edmund
F. , "Alfred Tarski" , MacTutor Historia de archivo de las
matemticas , de la Universidad de St Andrews .
19.Salta hacia arriba^ Feferman y Feferman , pp.43-52, 69-75,
109-123, 189-195, 277-287, 334-342
20.Salta hacia arriba^ Vaught, Robert L. (diciembre 1986). "El
trabajo de Alfred Tarski en teora de modelos." Journal of Symbolic
Logic (ASL) 51 (4):. 869-882
doi : 10.2307/2273900 . JSTOR 2273900 .
21.Salta hacia arriba^ Restall, Greg (2002-2006). "Grandes
momentos en la lgica" . Archivado desde el original, el 06 de
diciembre 2008 . Consultado el 2009-01-03 .
22.Salta hacia arriba^ Sinaceur, Hourya (2001). "Alfred Tarski: Shift
Semntica, Shift heurstico en
Metamathematics". Synthese (Springer Verlag) 126 (1-2):. 4965 doi : 10.1023 / A: 1005268531418 . ISSN 0039 a 7857 .
23.Salta hacia arriba^ Alfred Tarski, "POJCIE Prawdy W JZYKACH
NAUK DEDUKCYJNYCH", Towarszystwo Naukowe Warszawskie,
Warszawa, 1933. (Texto en polaco en la Biblioteca Digital WFISUWIFISPAN-PTF) .

24.Salta hacia arriba^ Etchemendy, John (1999). El concepto de

consecuencia lgica . Stanford CA:. CSLI Publications ISBN 157586-194-1 .
25.Salta hacia
arriba^ http://www.tandfonline.com/action/showMostCitedArticles
?journalCode=thpl20 #. UkH58D_-KQs
Para leer ms [ edit ]
Referencias biogrficas

Feferman, Anita Burdman (1999). "Alfred Tarski." American National

Biography 21 . Oxford University Press. pp 330-332. ISBN 978-0-19512800-0 .

Feferman, Anita Burdman; Feferman, Solomon (2004). Alfred Tarski: La

vida y la lgica . Cambridge University Press . ISBN 978-0-521-802406 . OCLC 54691904 .

Givant, Steven, 1991 "Un retrato de Alfred Tarski",. Mathematical

Intelligencer 13 : 16-32.

Patterson, Douglas. Alfred Tarski: Filosofa del Lenguaje y la

lgica (Palgrave Macmillan, 2012) 262 pginas; biografa centra en su
obra desde finales de la dcada de 1920 hasta mediados de la dcada
de 1930, con especial atencin a las influencias de sus maestros
Stanislaw Lesniewski y Tadeusz Kotarbinski.

Literatura Lgica

El nmero de diciembre de 1986 del Journal of Symbolic Logic examina

el trabajo de Tarski en teora de modelos ( Robert
Vaught ), lgebra (Jonsson), teoras indecidibles (McNulty), lgica
algebraica (Donald Monk) y geometra (Szczerba). El nmero de marzo
de 1988, de la misma revista examina su trabajo sobre la teora
axiomtica de conjuntos (Azriel Levy), campos reales cerradas (Lou Van
Den Dries), la teora decidible (Doner y Wilfrid
Hodges ), metamatemtica (Blok y Pigozzi), la verdad y la consecuencia
lgica ( John Etchemendy ), y en general la filosofa(Patrick Suppes).

Blok, WJ; Pigozzi, Don, "El trabajo de Alfred Tarski en

Metamathematics Generales" , el diario de la lgica simblica ,
vol. 53, N 1 (Mar., 1988), pp 36-50

Chang, CC y Keisler, HJ, 1973. Teora de Modelos . North-Holland,

Amsterdam. American Elsevier, Nueva York.

Corcoran, Juan y Sagillo, Jos Miguel , 2011 "La ausencia de mltiples

universos de discurso en el 1936 Tarski Consecuencia definicin del
papel",. Historia y Filosofa de la Lgica 32 :. 359-80[1]

Etchemendy, John, 1999. El concepto de consecuencia lgica . Stanford

CA:. CSLI Publications ISBN 1-57586-194-1

Feferman, Solomon , 1999 ". Lgica, Lgica, y logicismo, " Notre Dame
Diario de la Lgica Formal 40 : 31-54.

Grattan-Guinness, Ivor , 2000. La bsqueda de las races matemticas

1870-1940 . Princeton Uni. Prensa.

Kirkham, Richard, 1992. Teoras de la Verdad . MIT Press.

Maddux, Roger D. , 2006. Relacin lgebras , vol. 150 en "Estudios en

Lgica y Fundamentos de las Matemticas", Elsevier Science.

Mautner, FI, 1946 "Una extensin del Programa de Erlanger de Klein:

Logic como Invariante-Theory"., American Journal of Mathematics 68 :
345-84.

. McGee, Van, 1996 "Operaciones lgicas", Journal of Philosophical

Lgica 25 : 567-80.

Popper, Karl R. , 1972, Rev. Ed. 1979, "Observaciones Filosficas sobre

teora de la verdad de Tarski", con Addendum, Conocimiento Objetivo ,
Oxford: 319-340.

Sinaceur, H., 2001 "Alfred Tarski: cambio semntico, turno heurstica en

la metamatemtica.", Synthese 126 : 49-65.

Smith, James T., 2010. "Definiciones y Nondefinability en

Geometra", American Mathematical Monthly 117:475-89.

Wolenski, Jan, 1989. Lgica y Filosofa en la Escuela de LvovVarsovia . Reidel / Kluwer.

Enlaces externos [ editar ]

Stanford Encyclopedia of Philosophy :

De Tarski Verdad Definiciones por Wilfred Hodges .

Alfred Tarski por Mario Gmez-Torrente.

Relaciones Consecuencia proposicional y lgica algebraica por

Ramon Jansana. Incluye una discusin bastante detallada de la
obra de Tarski sobre estos temas.

Teora Semntica de Tarski sobre la Biografa del pensador.

El control de
autoridades

WorldCat

VIAF : 88667191

LCCN : n50008718

ISNI : 0000 0000 8162 4974

GND : 118620851

SUDOC : 028527704

BNF : cb120345968 (datos)

MGP : 13347

NKC :mzk2003187564

[ programa ]

Lgica
Categoras :

1.902 nacimientos

1.983 muertes

Matemticos del siglo 20

Filsofos del siglo 20

Los tericos de la computabilidad

Guggenheim Fellows

Personal de la Universidad de Harvard

Ateos judas

Filsofos judos

Giro lingstico

Miembros de la Academia Polaca de las Ciencias

Los tericos de modelos

Establecer los tericos

La gente de Varsovia

Los filsofos de la lengua

Ateos polacos

Emigrantes polacos a los Estados Unidos

Los lgicos polacos

Matemticos polacos

Pueblo polaco de origen judo

Filsofos polacos

Universidad de California, Berkeley facultad

Universidad de ex alumnos de Varsovia

Los miembros de la Academia Nacional de Ciencias de Estados Unidos

Men de navegacin

Crear una cuenta

Iniciar la sesin

Artculo

Hablar

Leer

Editar

Ver el historial

Pgina principal

Ir

Contenido

Contenido Destacado

Actualidad

Artculo al azar

Donar a Wikipedia

Wikimedia Shop

Interaccin

Ayudar

Acerca de Wikipedia

Portal de la comunidad

Cambios recientes

Contacto pgina

Instrumentos
Imprimir / exportar
Idiomas

Catal

etina

Deutsch

Espaol

Esperanto

Euskara

Franais

slenska

Italiano

Latvieu

Magiar

Nederlands

Norsk bokml

Piemontis

Polski

Portugus

Romn

Slovenina

/ srpski

Suomi

Svenska

Trke

Yorb

Editar enlaces

Esta pgina fue modificada por ltima vez el 03 de abril 2014 a las
00:38.

El texto est disponible bajo la Licencia Creative Commons

Reconocimiento-Compartir bajo la misma ; clusulas adicionales pueden

aplicar. Al utilizar este sitio, usted acepta los Trminos de Uso y Poltica
de Privacidad . Wikipedia es una marca registrada de la Fundacin
Wikimedia, Inc. , una organizacin sin fines de lucro.

Poltica de privacidad

Acerca de Wikipedia

Aviso legal

Pngase en contacto con Wikipedia

Desarrolladores

Vista mvil