Hallo Eugen Bauhof!
Ja, der Alfred TARSKI war vor allem Mathematiker.
Warum ich ihn unter
"semantischer Wahrheitsheorie" genannt habe, siehe hier:
http://sammelpunkt.philo.at:8080/982/
http://en.wikipedia.org/wiki/Semantic_theory_of_truth
Gruß, möbius