Alfred Tarski
Alfred Tarski (14. tammikuuta 1901 Varsova, Puola – 26. lokakuuta 1983 Berkeley, Yhdysvallat) oli puolalainen loogikko ja matemaatikko, jolla on ollut myös suuri filosofinen merkitys. Hän oli maailmansotien välisen ajan Varsovan koulukunnan jäsen ja toimi Yhdysvalloissa vuodesta 1939. Hän kirjoitti topologiasta, geometriasta, mittateoriasta, matemaattisesta logiikasta, joukkoteoriasta, metamatematiikasta ja ennen kaikkea malliteoriasta, abstraktista algebrasta ja siihen liittyvästä logiikasta.
Tarskin elämäkerran kirjoittajat Anita ja Solomon Feferman (2004) ovat kirjoittaneet, että hän oli ”yksi kaikkien aikojen suurimmista loogikoista” ja että hän ”muutti yhdessä aikalaisensa Kurt Gödelin kanssa 1900-luvun logiikan kasvot ennen kaikkea totuuden käsitteeseen ja malliteoriaan liittyvillä töillään”.
Teoksia
muokkaa- Logic, Semantics, Metamathematics (1956)
- On the Limitations of Deductive Theories, yhdessä Adolf Lindenbaumin kanssa (1936)
- Introduction to Logic and to the Methodology of Deductive Sciences (1941)
- "On the calculus of relations," Journal of Symbolic Logic 6: 73–89 (1941)
- "The Semantical Concept of Truth and the Foundations of Semantics", Philosophy and Phenomenological Research 4: 341–75 (1944)
- A decision method for elementary algebra and geometry (1948)
- Cardinal Algebras (1949)
- Undecidable theories, yhdessä Mostowskin ja Robinsonin kanssa (1953)
- Ordinal algebras (1956)
- "Truth and Proof," Scientific American 220: 63–77 (1969)
- Cylindric Algebras: Part I, yhdessä Leon Henkinin ja Donald Monkin kanssa (1971)
- Cylindric Algebras: Part II, yhdessä Leon Henkinin ja Donald Monkin kanssa (1985)
Kirjallisuutta
muokkaa- Hintikka, Jaakko: Filosofian köyhyys ja rikkaus. Nykyfilosofian kartoitusta. (Toimittaneet Janne Hiipakka ja Risto Vilkko) Helsinki: Art House, 2001. ISBN 951-884-302-3
- Manninen, Juha & Vilkko, Risto (toim.): Ajattelun välineet ja maailmat. Kirjoituksia Jaakko Hintikan filosofiasta. Helsinki: Gaudeamus, 2009. ISBN 978-952-495-103-6
- Wright, Georg Henrik von: ”Filosofinen semantiikka”, Logiikka, filosofia ja kieli: ajattelijoita ja ajatussuuntia nykyajan filosofiassa, s. 184–203. (Tarskia käsitellään mm. sivuilla 189–192. Teoksen suomentanut: Jaakko Hintikka ja Tauno Nyberg. Alkuperäisteoksen nimi: Logik, filosofi och språk (2. painos, 1968)) Helsinki: Otava, 1982. ISBN 951-1-06669-2
- Tarski, Alfred: Semanttinen käsitys totuudesta (The Semantic Conception of Truth, 1943). Suomentanut Janne Hiipakka. Teoksessa Raatikainen, Panu (toim.): Ajattelu, kieli, merkitys. Analyyttisen filosofian avainkirjoituksia, s. 104–132, viitteet: s. 418–423. Helsinki: Gaudeamus, 1997. ISBN 951-662-683-1
Aiheesta muualla
muokkaa- Stanford Encyclopedia of Philosophy: (englanniksi)
- Alfred Tarski (Arkistoitu – Internet Archive). Polish Philosophy Page. (englanniksi)
Wienin piiri | |
---|---|
Berliinin piiri | |
Muita edustajia |