doctoral_advisor birth_place image_size nationality field work_institutions birth_date article_title name alma_mater
justus diller summit , nj 100px united states , germany logic , philosophy of mathematics , metaphysics , early analytic philosophy , -lrb- especially frege and wittgenstein -rrb- philosophy of logic , philosophy of language university of california , irvine 15 march 1968 kai wehmeier
 kai wehmeier university ruhr-universität bochum , germany -lrb- m.a. -rrb- ; westfälische wilhelms-universität of münster , germany -lrb- ph.d. -rrb- california , berkeley -lrb- m.a. -rrb- ;
kai wehmeier

kai frederick wehmeier -lrb- born 1968 -rrb- is a german-american philosopher and logician .
he is best known for the proof that the fragment of frege 's inconsistent logical theory of `` grundgesetze der arithmetik '' becomes consistent upon restricting the complexity of comprehension formulas in the second-order comprehension schema to formula_1 ; for his development of a system of subjunctive modal logic and its use in rebutting kripke 's modal argument against description theories of proper names ; as well as for refining and defending the thesis that there is no binary identity relation between objects .
wehmeier is currently a professor in the department of logic and philosophy of science and the department of philosophy at the university of california , irvine .
he is also the director of uc irvine 's center for the advancement of logic , its philosophy , history , and applications -lrb- c-alpha -rrb- .
