27 found
Order:
Disambiguations
Kai F. Wehmeier [24]Kai Frederick Wehmeier [3]
See also
Profile: Kai Wehmeier (University of California, Irvine)
  1. How to Live Without Identity—And Why.Kai F. Wehmeier - 2012 - 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)  
     
    Export citation  
     
    My bibliography   4 citations  
  2.  67
    Actuality in Propositional Modal Logic.Allen P. Hazen, Benjamin G. Rin & Kai F. Wehmeier - 2013 - 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)  
     
    Export citation  
     
    My bibliography   3 citations  
  3.  52
    On the Consistency of the Δ11-CA Fragment of Frege's Grundgesetze.Fernando Ferreira & Kai F. Wehmeier - 2002 - 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 (8 more)  
     
    Export citation  
     
    My bibliography   12 citations  
  4.  40
    Consistent Fragments of Grundgesetze and the Existence of Non-Logical Objects.Kai F. Wehmeier - 1999 - 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)  
     
    Export citation  
     
    My bibliography   14 citations  
  5.  68
    Wittgensteinian Tableaux, Identity, and Co-Denotation.Kai F. Wehmeier - 2008 - 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)  
     
    Export citation  
     
    My bibliography   2 citations  
  6.  38
    In the Mood.Kai Frederick Wehmeier - 2004 - 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)  
     
    Export citation  
     
    My bibliography   8 citations  
  7.  30
    World Travelling and Mood Swings.Kai F. Wehmeier - 2003 - In Benedikt Löwe, Thoralf Räsch & Wolfgang Malzkorn (eds.), Foundations of the Formal Sciences II. Kluwer Academic Publishers.
    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  
     
    Export citation  
     
    My bibliography   6 citations  
  8.  22
    Identity and Quantification.Kai F. Wehmeier - 2017 - Philosophical Studies 174 (3):759-770.
    It is a philosophical commonplace that quantification involves, invokes, or presupposes, the relation of identity. There seem to be two major sources for this belief: the conviction that identity is implicated in the phenomenon of bound variable recurrence within the scope of a quantifier; memories of Quine’s insistence that quantification requires absolute identity for the values of variables. With respect to, I show that the only extant argument for a dependence of variable recurrence on identity, due to John Hawthorne, fails. (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  31
    Modality, Mood, and Descriptions.Kai F. Wehmeier - 2005 - 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  
     
    Export citation  
     
    My bibliography   3 citations  
  10.  8
    Still in the Mood: The Versatility of Subjunctive Markers in Modal Logic.Kai F. Wehmeier & Helge Rückert - forthcoming - Topoi:1-17.
    We investigate and compare two major approaches to enhancing the expressive capacities of modal languages, namely the addition of subjunctive markers on the one hand, and the addition of scope-bearing actuality operators, on the other. It turns out that the subjunctive marker approach is not only every bit as versatile as the actuality operator approach, but that it in fact outperforms its rival in the context of cross-world predication.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11. On the Consistency of the $\Delta_{1}^{1}$-CA Fragment of Frege's "Grundgesetze".Fernando Ferreira & Kai F. Wehmeier - 2002 - 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 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 schema would already be (...)
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  12.  24
    Russell's Paradox in Consistent Fragments of Frege's Grundgesetze der Arithmetik.Kai F. Wehmeier - 2004 - 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  
     
    Export citation  
     
    My bibliography   2 citations  
  13.  30
    Classical and Intuitionistic Models of Arithmetic.Kai F. Wehmeier - 1996 - 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)  
     
    Export citation  
     
    My bibliography   3 citations  
  14.  35
    Aspekte der frege–hilbert-korrespondenz.Kai F. Wehmeier - 1997 - 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
      Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  15. Fragments of HA Based on Σ 1 -Induction.Kai F. Wehmeier - 2001 - Bulletin of Symbolic Logic 7 (4):532-532.
     
    Export citation  
     
    My bibliography   2 citations  
  16.  30
    Nothing But D‐Truth.Kai F. Wehmeier - 2014 - Analytic Philosophy 55 (1):114-117.
  17.  29
    Still Living Without Identity: Reply to Trueman.Kai F. Wehmeier - 2014 - Australasian Journal of Philosophy 92 (1):173-175.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  18.  52
    Frege's Permutation Argument Revisited.Kai Frederick Wehmeier & Peter Schroeder-Heister - 2005 - 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, (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  19.  8
    Frege’s Permutation Argument Revisited.Kai Frederick Wehmeier & Peter Schroeder-Heister - 2005 - Synthese 147 (1):43-61.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20.  20
    Gingerbread Nuts and Pebbles: Frege and the Neo-Kantians–Two Recently Discovered Documents.Sven Schlotter & Kai F. Wehmeier - 2013 - 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)  
     
    Export citation  
     
    My bibliography  
  21.  1
    Tractarian First-Order Logic: Identity and the N-Operator: Tractarian First-Order Logic.Brian Rogers & Kai F. Wehmeier - 2012 - Review of Symbolic Logic 5 (4):538-573.
    In the Tractatus, Wittgenstein advocates two major notational innovations in logic. First, identity is to be expressed by identity of the sign only, not by a sign for identity. Secondly, only one logical operator, called “N” by Wittgenstein, should be employed in the construction of compound formulas. We show that, despite claims to the contrary in the literature, both of these proposals can be realized, severally and jointly, in expressively complete systems of first-order logic. Building on early work of Hintikka’s, (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  22.  5
    Fragments of [Mathematical Formula] Based on [Mathematical Formula]-Induction.Kai F. Wehmeier - 1997 - Archive for Mathematical Logic 1.
    Direct download  
     
    Export citation  
     
    My bibliography  
  23.  2
    2011 Spring Meeting of the Association for Symbolic Logic.Kai F. Wehmeier - 2012 - Bulletin of Symbolic Logic 18 (1):135-141.
  24.  2
    On the Relations Between Heinrich Scholz and Jan Łukasiewicz.Hans-Christoph Schmidt Am Busch & Kai F. Wehmeier - 2007 - History and Philosophy of Logic 28 (1):67-81.
  25.  1
    Fragments Of... Based On..Kai F. Wehmeier - 1997 - Archive for Mathematical Logic 37 (1).
    Direct download  
     
    Export citation  
     
    My bibliography  
  26. Fragments of HA Based on B-Induction.Kai F. Wehmeier - 1998 - Archive for Mathematical Logic 37 (1):37-50.
     
    Export citation  
     
    My bibliography  
  27. Heinrich Scholz. Logiker, Philosoph Theologe.Kai F. Wehmeier - 2006 - Bulletin of Symbolic Logic 12 (1):135-137.
     
    Export citation  
     
    My bibliography