20 found
Sort by:
Disambiguations:
Kai F. Wehmeier [18]Kai Frederick Wehmeier [2]
See also:
Profile: Kai Wehmeier (University of California, Irvine)
  1. Kai F. Wehmeier (2014). Nothing But D‐Truth. Analytic Philosophy 55 (1):114-117.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Kai F. Wehmeier (2014). Still Living Without Identity: Reply to Trueman. Australasian Journal of Philosophy 92 (1):173-175.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Allen P. Hazen, Benjamin G. Rin & Kai F. Wehmeier (2013). Actuality in Propositional Modal Logic. Studia Logica 101 (3):487-503.
    We show that the actuality operator A is redundant in any propositional modal logic characterized by a class of Kripke models (respectively, neighborhood models). Specifically, we prove that for every formula ${\phi}$ in the propositional modal language with A, there is a formula ${\psi}$ not containing A such that ${\phi}$ and ${\psi}$ are materially equivalent at the actual world in every Kripke model (respectively, neighborhood model). Inspection of the proofs leads to corresponding proof-theoretic results concerning the eliminability of the actuality (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Sven Schlotter & Kai F. Wehmeier (2013). Gingerbread Nuts and Pebbles: Frege and the Neo-Kantians–Two Recently Discovered Documents. British Journal for the History of Philosophy 21 (3):591 - 609.
    (2012). Gingerbread Nuts and Pebbles: Frege and the Neo-Kantians – Two Recently Discovered Documents. British Journal for the History of Philosophy. ???aop.label???. doi: 10.1080/09608788.2012.692665.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Kai F. Wehmeier (2012). How to Live Without Identity—And Why. Australasian Journal of Philosophy 90 (4):761 - 777.
    Identity, we're told, is the binary relation that every object bears to itself, and to itself only. But how can a relation be binary if it never relates two objects? This puzzled Russell and led Wittgenstein to declare that identity is not a relation between objects. The now standard view is that Wittgenstein's position is untenable, and that worries regarding the relational status of identity are the result of confusion. I argue that the rejection of identity as a binary relation (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  6. Kai F. Wehmeier (2012). 2011 Spring Meeting of the Association for Symbolic Logic. Bulletin of Symbolic Logic 18 (1).
     
    My bibliography  
     
    Export citation  
  7. Kai F. Wehmeier (2008). Wittgensteinian Tableaux, Identity, and Co-Denotation. Erkenntnis 69 (3):363 - 376.
    Wittgensteinian predicate logic (W-logic) is characterized by the requirement that the objects mentioned within the scope of a quantifier be excluded from the range of the associated bound variable. I present a sound and complete tableaux calculus for this logic and discuss issues of translatability between Wittgensteinian and standard predicate logic in languages with and without individual constants. A metalinguistic co-denotation predicate, akin to Frege’s triple bar of the Begriffsschrift, is introduced and used to bestow the full expressive power of (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  8. Hans-Christoph Schmidt Am Busch & Kai F. Wehmeier (2007). On the Relations Between Heinrich Scholz and Jan Łukasiewicz. History and Philosophy of Logic 28 (1):67-81.
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. Kai F. Wehmeier (2005). Modality, Mood, and Descriptions. In Reinhard Kahle (ed.), Intensionality: An Interdisciplinary Discussion. AK Peters.
    §1. Introduction. By means of what semantic features is a proper name tied to its bearer? This is a puzzling question indeed: proper names — like “Aristotle” or “Paris” — are syntactically simple, and it therefore does not seem possible to reduce their meanings, by means of a principle of compositionality, to the meanings of more basic, and hence perhaps more tractable, linguistic elements.
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. Kai Frederick Wehmeier & Peter Schroeder-Heister (2005). Frege's Permutation Argument Revisited. Synthese 147 (1):43 - 61.
    any other one with the False, without contradicting any stipulations previously introduced (we shall call this claim the identiability thesis, following Schroeder-Heister [13]). As far as we are aware, there is no consensus in the literature as to (i) the proper interpretation of the permutation argument and the identiability thesis, (ii) the validity of the permutation argument, and (iii) the truth of the identiability thesis.1 In this paper, we undertake a detailed technical study of the two main lines of interpretation, (...)
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  11. Kai F. Wehmeier (2004). Russell's Paradox in Consistent Fragments of Frege's Grundgesetze der Arithmetik. In Godehard Link (ed.), One Hundred Years of Russell’s Paradox. de Gruyter.
    We provide an overview of consistent fragments of the theory of Frege’s Grundgesetze der Arithmetik that arise by restricting the second-order comprehension schema. We discuss how such theories avoid inconsistency and show how the reasoning underlying Russell’s paradox can be put to use in an investigation of these fragments.
    Direct download  
     
    My bibliography  
     
    Export citation  
  12. Kai Frederick Wehmeier (2004). In the Mood. Journal of Philosophical Logic 33 (6):607-630.
    The purpose of the present paper is to challenge some received assumptions about the logical analysis of modal English, and to show that these assumptions are crucial to certain debates in current philosophy of language. Specifically, I will argue that the standard analysis in terms of quantified modal logic mistakenly fudges important grammatical distinctions, and that the validity of Kripke's modal argument against description theories of proper names crucially depends on ensuing equivocations.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  13. Kai F. Wehmeier (2003). World Travelling and Mood Swings. In Benedikt Löwe, Thoralf Räsch & Wolfgang Malzkorn (eds.), Foundations of the Formal Sciences II. Kluwer.
    It is not quite as easy to see that there is in fact no formula of this modal language having the same truth conditions (in terms of S5 Kripke semantics) as (1). This was rst conjectured by Allen Hazen2 and later proved by Harold Hodes3. We present a simple direct proof of this result and discuss some consequences for the logical analysis of ordinary modal discourse.
    Direct download  
     
    My bibliography  
     
    Export citation  
  14. Fernando Ferreira & Kai F. Wehmeier (2002). On the Consistency of the Δ11-CA Fragment of Frege's Grundgesetze. Journal of Philosophical Logic 31 (4):301-311.
    It is well known that Frege's system in the Grundgesetze der Arithmetik is formally inconsistent. Frege's instantiation rule for the second-order universal quantifier makes his system, except for minor differences, full (i.e., with unrestricted comprehension) second-order logic, augmented by an abstraction operator that abides to Frege's basic law V. A few years ago, Richard Heck proved the consistency of the fragment of Frege's theory obtained by restricting the comprehension schema to predicative formulae. He further conjectured that the more encompassing Δ₁¹-comprehension (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  15. Kai F. Wehmeier (1999). Consistent Fragments of Grundgesetze and the Existence of Non-Logical Objects. Synthese 121 (3):309-328.
    In this paper, I consider two curious subsystems ofFrege's Grundgesetze der Arithmetik: Richard Heck's predicative fragment H, consisting of schema V together with predicative second-order comprehension (in a language containing a syntactical abstraction operator), and a theory T in monadic second-order logic, consisting of axiom V and 1 1-comprehension (in a language containing anabstraction function). I provide a consistency proof for the latter theory, thereby refuting a version of a conjecture by Heck. It is shown that both Heck and T (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  16. Kai F. Wehmeier (1998). Fragments of HA Based on B-Induction. Archive for Mathematical Logic 37 (1):37-50.
    No categories
     
    My bibliography  
     
    Export citation  
  17. Kai F. Wehmeier (1997). Aspekte der frege–hilbert-korrespondenz. History and Philosophy of Logic 18 (4):201-209.
    In a letter to Frege of 29 December 1899, Hilbert advances his formalist doctrine, according to which consistency of an arbitrary set of mathematical sentences is a sufficient condition for its truth and for the existence of the concepts described by it. This paper discusses Frege's analysis, as carried out in the context of the Frege-Hilbert correspondence, of the formalist approach in particular and the axiomatic method in general. We close with a speculation about Frege's influence on Hilbert's later work (...)
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  18. Kai F. Wehmeier (1997). Fragments Of... Based On.. Archive for Mathematical Logic 37 (1).
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. Kai F. Wehmeier (1997). Fragments of [Mathematical Formula] Based on [Mathematical Formula]-Induction. Archive for Mathematical Logic 1.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  20. Kai F. Wehmeier (1996). Classical and Intuitionistic Models of Arithmetic. Notre Dame Journal of Formal Logic 37 (3):452-461.
    Given a classical theory T, a Kripke model K for the language L of T is called T-normal or locally PA just in case the classical L-structure attached to each node of K is a classical model of T. Van Dalen, Mulder, Krabbe, and Visser showed that Kripke models of Heyting Arithmetic (HA) over finite frames are locally PA, and that Kripke models of HA over frames ordered like the natural numbers contain infinitely many PA-nodes. We show that Kripke models (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation