Leon Henkin, lógico americano (m. 2006)

Leon Albert Henkin (19 de abril de 1921, Brooklyn, Nova York - 1 de novembro de 2006, Oakland, Califórnia) foi um dos mais importantes lógicos e matemáticos do século XX. Suas obras desempenharam um forte papel no desenvolvimento da lógica, particularmente na teoria dos tipos. Foi um acadêmico ativo na Universidade da Califórnia, Berkeley, onde fez grandes contribuições como pesquisador, professor e também em cargos administrativos. Nesta universidade dirigiu, juntamente com Alfred Tarski, o Grupo de Lógica e Metodologia da Ciência, do qual surgiram muitos lógicos e filósofos importantes. Ele tinha um forte senso de compromisso social e era um defensor apaixonado de suas ideias pacifistas e progressistas. Participou de muitos projetos sociais voltados ao ensino de matemática, bem como de projetos voltados para apoiar mulheres e grupos minoritários a seguirem carreiras em matemática e áreas afins. Amante da dança e da literatura, apreciava a vida em todas as suas facetas: arte, cultura, ciência e, sobretudo, o calor das relações humanas. Ele é lembrado por seus alunos por sua grande gentileza, bem como por sua excelência acadêmica e de ensino. Henkin é conhecido principalmente por suas provas de completude de diversos sistemas formais, como teoria de tipos e lógica de primeira ordem em sua versão fraca, havia sido comprovada por Kurt Gödel em 1929). Para provar a integridade da Teoria dos Tipos, Henkin introduz novas semânticas, baseadas em certas estruturas, chamadas de modelos gerais (também conhecidos como modelos de Henkin). A mudança de semântica que ele propôs permite fornecer um cálculo dedutivo completo para a Teoria dos Tipos e para a Lógica de Segunda Ordem, entre outras lógicas. Os métodos de Henkin ajudaram a provar vários resultados da teoria do modelo, tanto na lógica clássica quanto na não clássica. Além da lógica, o outro ramo no qual suas investigações se centravam era a álgebra; especializou-se em álgebras cilíndricas, na qual trabalhou em conjunto com A. Tarski e D. Monk. Quanto à filosofia da matemática, embora sejam escassas as obras em que a aborda explicitamente, pode-se considerar que ele tem uma posição nominalista.