Alfred Tarski

Faktaboks

Alfred Tarski
Født
1902
Død
1983

Artikelstart

Alfred Tarski, 1902-1983, polsk logiker og matematiker, emigreret til USA i 1939; i 1942 blev han lektor ved Berkeley University efter anbefaling af W.V.O. Quine, 1949 professor i matematik samme sted.

Alfred Tarski har givet de moderne definitioner af logisk sandhed, logisk konsekvens og mange andre vigtige begreber inden for logikkens forskellige områder; endvidere har han bidraget afgørende til grundlæggelsen af modelteori, moderne algebraisk logik og universel algebra. På andre matematiske områder har han også nået væsentlige resultater, fx i samarbejdet med Stefan Banach om kongruens mellem geometriske figurer.

Alfred Tarski demonstrerede logikkens betydning for matematikken, og for ham selv var væsentlige matematiske resultater af større interesse end filosofiske problemstillinger.

Når han en sjælden gang udtalte sig om filosofiske spørgsmål, var det i en nominalistisk retning. Inden for filosofi er Tarski kendt for indførelsen af et sandhedsbegreb, som både undgår løgnerparadokset (se paradoks) og sikrer, at de såkaldte Tarski-sætninger gælder.

Tarskis eget eksempel på en T-sætning er "'sne er hvid' hvis og kun hvis sne er hvid", som siger, at den sproglige sætning 'sne er hvid' er sand, netop hvis det forholder sig sådan, at sne faktisk har farven hvid. For mange sprogfilosoffer er det et nødvendigt krav, at deres teori skal kunne redegøre for gyldigheden af disse T-sætninger.

Kommentarer

Din kommentar publiceres her. Redaktionen svarer, når den kan.

Du skal være logget ind for at kommentere.

eller registrer dig