Algebra de Relações:: uma axiomatização Tarskiana

Em 1975, Alfred Tarski esteve no Brasil e apresentou duas conferências na Unicamp sobre Álgebra de Relações (RA). Tarski (assim como De Morgan, Peirce e Schröder e outros que trabalharam com a teoria de relações binárias antes dele) estava preocupado em prover um aparato que pudesse representar a lógica de primeira ordem algebricamente. Foi mostrado, posteriormente, que a RA não poderia ser tal aparato. No entanto, a axiomatização da RA de Tarski foi usada por ele e Givant para axiomatizar a Teoria de Conjuntos. Este trabalho tem como objetivo analisar as conferências de Tarski no Brasil e inserí-la no contexto histórico do desenvolvimento da RA. Isto será feito através de um breve histórico da RA antes da axiomatização de Tarski, apresentado os problemas nos quais Tarski estava concentrado e estudando as diferentes abordagens que outros pesquisadores tiveram em tais problemas desde as conferências.