Kai Frederick Wehmeier (nacido en 1968) es un filósofo y lógico germano-estadounidense .
Es más conocido por demostrar que el fragmento de la teoría lógica inconsistente de Frege de Grundgesetze der Arithmetik se vuelve consistente al restringir la complejidad de las fórmulas de comprensión en el esquema de comprensión de segundo orden a , por su desarrollo de un sistema de lógica modal subjuntiva y su uso para refutar el argumento modal de Kripke contra las teorías de descripción de nombres propios , así como por refinar y defender la tesis de que no existe una relación de identidad binaria entre objetos.
Wehmeier es actualmente profesor en el Departamento de Lógica y Filosofía de la Ciencia y en el Departamento de Filosofía de la Universidad de California, Irvine . También es director del Centro para el Avance de la Lógica, su Filosofía, Historia y Aplicaciones (C-ALPHA) de la UC Irvine. [2]
