Alfred Tarski

Alfred Tarski foi um influente lógico e matemático polonês-americano, reconhecido como um dos maiores lógicos da história. Nascido em Varsóvia, Polônia, em 1901, Tarski inicialmente estudou biologia antes de se dedicar à matemática e à lógica, obtendo seu doutorado em 1924. Sua obra seminal "A concepção semântica da verdade" estabeleceu a teoria semântica da verdade, um marco fundamental na filosofia da linguagem e na lógica. Tarski imigrou para os Estados Unidos em 1939, onde lecionou na Universidade da Califórnia, Berkeley, fundando o programa interdisciplinar em Lógica e Metodologia da Ciência. Sua contribuição para a lógica formal e a metodologia científica é vasta, com obras como "Introduction to Logic and to the Methodology of Deductive Sciences" consolidando seu legado. Alfred Tarski faleceu em 1983, deixando um impacto duradouro no campo da lógica.