Kai Wehmeier - Kai Wehmeier

Kai Wehmeier
Nascer 15 de março de 1968
Nacionalidade Estados Unidos , Alemanha
Alma mater Universidade da Califórnia, Berkeley (MA); Ruhr-Universität Bochum , Alemanha (MA); Westfälische Wilhelms-Universität Münster , Alemanha (Ph.D.)
Carreira científica
Campos Lógica , Filosofia da lógica , Filosofia da linguagem , Filosofia da matemática , Metafísica , Filosofia analítica inicial (especialmente Frege e Wittgenstein )
Instituições Universidade da Califórnia, Irvine
Tese Semantical Investigations in Intuitionistic First-order Arithmetic   (1996)
Orientador de doutorado Justus Diller , Wolfram Pohlers

Kai Frederick Wehmeier (nascido em 1968) é um filósofo e lógico alemão-americano .

Ele é mais conhecido por provar que o fragmento da teoria lógica inconsistente de Frege da Grundgesetze der Arithmetik torna-se consistente ao restringir a complexidade das fórmulas de compreensão no esquema de compreensão de segunda ordem para , por seu desenvolvimento de um sistema de lógica modal subjuntivo e seu uso em refutar o argumento modal de Kripke contra as teorias de descrição de nomes próprios , bem como para refinar e defender a tese de que não há relação de identidade binária entre objetos.

Wehmeier é atualmente professor do Departamento de Lógica e Filosofia da Ciência e do Departamento de Filosofia da Universidade da Califórnia, Irvine . Ele também é o diretor do Centro para o Avanço da Lógica, sua Filosofia, História e Aplicações (C-ALPHA) da UC Irvine.

Publicações selecionadas

links externos

Notas e referências