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
Kommentarer til artiklen bliver synlige for alle. Undlad at skrive følsomme oplysninger, for eksempel sundhedsoplysninger. Fagansvarlig eller redaktør svarer, når de kan.
Du skal være logget ind for at kommentere.