Alfred Tarski

El Vikipedio, la libera enciklopedio
Saltu al: navigado, serĉo

Alfred TARSKI, ĝuste Alfred Tajtelbaum (naskiĝis en la 14-an de januaro 1901 en Varsovio, mortis la 26-an de oktobro 1983 en Berkeley, Usono) - pola logikisto laboranta de 1939 en Usono. Kreinto de i.a. teorio de modelo kaj de semantika difino de la vero, konsiderata nuntempe unu el la plej eminentaj logikistoj de ĉiuj tempoj.

Vivo[redakti | redakti fonton]

Li naskiĝis en juda familio. En varsovia gimnazio lernis la germanan, francan, latinan, historion, religion, leĝon, logikon, matematikon, fizikon, kosmologion (ampleksantan astronomion, geografion kaj geologion) kaj higienon. Kvankam lia atesto ne listigis la grekan, li ĝin sendube ekkonis. Flue parolis la rusan. En Varsovia Universitato studis biologion. Tien malkovris lin Stanisław Leśniewski, kiu inklinis lin forlasi biologion favore al filozofio.

En 1924 Tarski doktoriĝis, gvidata de Leśniewski, pri O wyrazie pierwotnym logistyki kaj unu jaron poste habilitiĝis. En la jaroj 1925-1939 estis docento de Varsovia Universitato, kie lekciis pri fundamentoj de matematiko kaj logiko. Samtempe instruis en Liceo al Stefan Żeromski en Varsovio.

Malantaŭ la oceano[redakti | redakti fonton]

Tuj antaŭ eksplodo de la dua mondmilito li foriris al Usono, kie jam restis ĝis fino de sia vivo. Junie 1945 akceptis usonan civitanecon. Jen listigo de liaj postenoj:

Li ankaŭ estis vizitanta profesoro en altlernejoj de Meksiko, Los Anĝeleso, Ĉilio, Londono kaj en Sorbono.

Atingoj[redakti | redakti fonton]

Alfred Tarski okupiĝis pri pluraj kampoj de matematiko - i.a. pri aroteorio, algebro, logiko kaj filozofio. Lia plej grava atingo estas difino de vero. Tiel li forĵetis paradokson de mensogulo (alie: paradokso de Epimenides) kiu pruvas ke vero ne povas ekzisti. Tarski pruvis tamen ke tiu paradokso estas interne malakorda. Li interpretis nocion de vero kiel la eco de frazoj logikaj devenataj de lingvo estanta metalingvo rilate al lingvo en kiu tiuj frazoj estas parolataj. Pli simple- Tarski juĝis ke la frazo X estas vera tiam kaj nur tiam kiam estus tiel kiel frazo X parolas. Tiel li komencis novan parton de matematiko - teorion de modeloj. Ĝi permesas ĝeneralan rigardadon de matematiko.

Tarski estis ankaŭ kunreanto de la paradokso de Banach-Tarski. Liaj prikonsideroj pri la vero influis plurajn filozofojn kiel Karl Popper, Willard Quine kaj Donald Davidson.

Bibliografio[redakti | redakti fonton]

  • Alfred Tarski, Wprowadzenie do logiki i do metodologii nauk dedukcyjnych, eldonisto "ALEPH", 1994. Elangligo Monika Sujczyńska
  • Alfred Tarski (1944): The Semantical Concept of Truth and the Foundations of Semantics, Philosophy and Phenomenological Research 4 – accessibile qui
  • Alfred Tarski (1983) (1956): Logic, Semantics, Metamathematics, J. Corcoran ed., Hackett, 1st edition edited and translated by J. H. Woodger, Oxford University Press.
  • Alfred Tarski (1986): What are Logical Notions?, Corcoran, J. ed., History and Philosophy of Logic, 7 pp. 143-154
  • Alfred Tarski (2002): On the Concept of Following Logically. Tłumaczenie Magda Stroińska i David Hitchcock History and Philosophy of Logic 23: 155-196.
  • Alfred Tarski, Steven Givant (1987): A Formalization of Set Theory Without Variables, American Mathematical Society

Literaturo[redakti | redakti fonton]

  • Alfred Tarski: dedukcja i semantyka [déduction et sémantique] (red. Jacek Jadacki). Warszawa 2003

Vidu ankaŭ[redakti | redakti fonton]

Eksteraj ligiloj[redakti | redakti fonton]