Alfred Tarski: Polsk matematiker
Alfred Tarski, född 1902, död 1983, polsk matematiker och logiker, var en ledande gestalt inom Warszawagruppen fram till dess upplösning vid andra världskrigets utbrott och verkade därefter vid University of California, USA.
Tarski rönte stor uppmärksamhet för sin sanningsteori, som presenterades 1931 i artikeln Sanningsbegreppet i formaliserade språk.
| Alfred Tarski | |
.jpeg) Alfred Tarski 1968 | |
| Född | Alfred Tajtelbaum 14 januari 1901 Warszawa |
|---|---|
| Död | 26 oktober 1983 (82 år) Berkeley, USA |
| Begravd | Berkeley |
| Medborgare i | Kongresspolen, Polen och USA |
| Utbildad vid | Universitetet i Warszawa, Szkoła Mazowiecka,  |
| Sysselsättning | Matematiker, filosof |
| Befattning | |
| Ordförande, Association for Symbolic Logic (1944–1946) | |
| Arbetsgivare | Universitetet i Warszawa (1924–1939) Zeromski's Lycée (1925–1939) Harvard University (1939–1941) City College of New York (1940–1940) Institute for Advanced Study (1941–1942) University of California, Berkeley (1942–1973) |
| Noterbara verk | Banach-Tarskis paradox och Tarski–monstergrupp |
| Utmärkelser | |
| Guggenheimstipendiet (1941) | |
| Redigera Wikidata | |
Asteroiden 13672 Tarski är uppkallad efter honom.
Tarskis syn på sanningsteori
För Tarski innebär en sanningsteori, en formulering av en entydig och formell definition av sanningsbegreppet för ett givet språk. Enligt Tarski förutsätter detta att två kriterier är uppfyllda:
- Materiellt adekvat
Definitionen måste vara materiellt adekvat, det vill säga i tillräcklig mån svara mot en "intuitiv" uppfattning av sanningsbegreppet. Tarski föreslår i sin artikel att detta innebär, att man i systemet kan härleda alla instanser av det så kallade T-schemat
- S är sann om och endast om p
där p är en godtycklig sats på det språk för vilket sanningsbegreppet skall definieras och där S är ett namn på denna sats. Ett exempel på svenska skulle kunna vara
- Påståendet "Uppsalas högsta kyrka är domkyrkan" är sant om och endast om Uppsalas högsta kyrka är identisk med domkyrkan.
- Formellt korrekt
Definitionen måste vara formellt korrekt, det vill säga kunna formuleras på ett sätt som inte leder till motsägelser. Detta förutsätter enligt Tarski bland annat att språket i fråga är vad han kallar semantiskt öppet. Om motsatsen gäller, det vill säga om språket är semantiskt slutet, så kan man i språket uttrycka villkoren för alla dess satsers sanning. Detta leder emellertid till motsägelser. Om O är ett semantiskt slutet objektspråk kan villkoren för satsen
- Denna sats är inte sann-i-O
uttryckas i O. Detta leder dock till en självmotsägelse, eftersom satsen ovan i så fall är sann-i-O om och endast om satsen inte är sann-i-O. (Detta är en variant av den så kallade lögnarparadoxen). Tarski drar slutsatsen att sanningsvillkoren för ett objektspråk O endast kan uttryckas i ett språk på högre nivå, ett så kallat metaspråk.
I sin artikel presenterar Tarski en såväl materiellt adekvat som formellt korrekt sanningsdefinition för ett givet formellt språk.
Eponymer
Tarski har varit med och utforma och namnge Banach-Tarskis paradox, Tarski-monstergrupp och Löwenheim-Skolem-Tarskis sats.
Se även
Källor
Externa länkar
Wiki Commons har media som rör Alfred Tarski.- ScienceWorld - Tarski biography
This article uses material from the Wikipedia Svenska article Alfred Tarski, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Innehållet är tillgängligt under CC BY-SA 4.0 om ingenting annat anges. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Svenska (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.