Alfred Tarski

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.

• logik
• logisk positivisme
• logisk algebra
• algebra
• modelteori
• World Logic Day