![]() |
Kai WehmeierAssociate Professor of Logic & Philosophy of Science |
in refereed journals:
“On the Consistency of the Delta-1-1 -CA Fragment of Frege’s Grundgesetze” (joint with Fernando Ferreira), Journal of Philosophical Logic 31, 2002, 301-311.
“Consistent Fragments of Grundgesetze and the Existence of Non-Logical Objects”, Synthese 121, 1999, 309-328.
“Constructing Kripke Models of Certain Fragments of Heyting’s Arithmetic”, Publications de l'Institut Mathématique n.s. 63 (77), 1998, 1-8.
“Aspekte der Frege-Hilbert-Korrespondenz”, History and Philosophy of Logic 18, 1997, 201-209.
“Fragments of HA based on Sigma-1-induction”, Archive for Mathematical Logic 37, 1997, 37-49.
“Classical and Intuitionistic Models of Arithmetic”, Notre Dame Journal of Formal Logic 37 (3), 1996, 452-461.
in peer-reviewed conference proceedings:
“World Travelling and Mood Swings”, in: Benedikt Löwe, Thoralf Räsch, and Wolfgang Malzkorn (eds.), Foundations of the Formal Sciences II, Dordrecht: Kluwer (Trends in Logic), 2003.
in other conference proceedings:
“Auf der Suche nach Freges Nachlaß” (joint with H.-C. Schmidt am Busch), in: Gottfried Gabriel and Uwe Dathe (eds.), Gottlob Frege – Werk und Wirkung, Paderborn: mentis, 2000, 267-281.
work in progress:
“Frege's Permutation Argument Revisited” (joint with Peter Schroeder-Heister)
“Modality, Mood, and Descriptions”
“Russell's Paradox in Consistent Fragments of Frege's Grundgesetze der Arithmetik”
| Office: | SST 783 |
| Phone: | (949) 824-7792 |
| Email: | wehmeier@uci.edu |