Кай Фредерик Вехмайер (родился в 1968 году) — немецко-американский философ и логик .
Он наиболее известен тем, что доказал, что фрагмент непоследовательной логической теории Фреге « Основные положения арифметики» становится последовательным при ограничении сложности формул понимания в схеме понимания второго порядка до , за разработку системы сослагательной модальной логики и ее использование для опровержения модального аргумента Крипке против дескриптивных теорий собственных имен , а также за уточнение и защиту тезиса об отсутствии бинарного тождественного отношения между объектами.
В настоящее время Вехмайер является профессором кафедры логики и философии науки и кафедры философии Калифорнийского университета в Ирвайне . Он также является директором Центра развития логики, ее философии, истории и приложений (C-ALPHA) Калифорнийского университета в Ирвайне. [2]
