Switch to: References

Add citations

You must login to add citations.
  1. On Operator N and Wittgenstein’s Logical Philosophy.James R. Connelly - 2017 - Journal for the History of Analytical Philosophy 5 (4).
    In this paper, I provide a new reading of Wittgenstein’s N operator, and of its significance within his early logical philosophy. I thereby aim to resolve a longstanding scholarly controversy concerning the expressive completeness of N. Within the debate between Fogelin and Geach in particular, an apparent dilemma emerged to the effect that we must either concede Fogelin’s claim that N is expressively incomplete, or reject certain fundamental tenets within Wittgenstein’s logical philosophy. Despite their various points of disagreement, however, Fogelin (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Frank Ramsey.Fraser MacBride, Mathieu Marion, Maria Jose Frapolli, Dorothy Edgington, Edward J. R. Elliott, Sebastian Lutz & Jeffrey Paris - 2019 - Stanford Encyclopedia of Philosophy.
    Frank Plumpton Ramsey (1903–30) made seminal contributions to philosophy, mathematics and economics. Whilst he was acknowledged as a genius by his contemporaries, some of his most important ideas were not appreciated until decades later; now better appreciated, they continue to bear an influence upon contemporary philosophy. His historic significance was to usher in a new phase of analytic philosophy, which initially built upon the logical atomist doctrines of Bertrand Russell and Ludwig Wittgenstein, raising their ideas to a new level of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Wittgenstein’s Elimination of Identity for Quantifier-Free Logic.Timm Lampert & Markus Säbel - forthcoming - Review of Symbolic Logic:1-21.
    One of the central logical ideas in Wittgenstein's Tractatus logico-philosophicus is the elimination of the identity sign in favor of the so-called "exclusive interpretation" of names and quantifiers requiring different names to refer to different objects and different variables to take different values. In this paper, we examine a recent development of these ideas in papers by Kai Wehmeier. We diagnose two main problems of Wehmeier's account, the first concerning the treatment of individual constants, the second concerning so-called "pseudo-propositions" of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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 (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  • Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill - 2015 - Dissertation, University of Waterloo
    Hilbert’s choice operators τ and ε, when added to intuitionistic logic, strengthen it. In the presence of certain extensionality axioms they produce classical logic, while in the presence of weaker decidability conditions for terms they produce various superintuitionistic intermediate logics. In this thesis, I argue that there are important philosophical lessons to be learned from these results. To make the case, I begin with a historical discussion situating the development of Hilbert’s operators in relation to his evolving program in the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Logic in the Tractatus.Max Weiss - 2017 - Review of Symbolic Logic 10 (1):1-50.
    I present a reconstruction of the logical system of the Tractatus, which differs from classical logic in two ways. It includes an account of Wittgenstein’s “form-series” device, which suffices to express some effectively generated countably infinite disjunctions. And its attendant notion of structure is relativized to the fixed underlying universe of what is named. -/- There follow three results. First, the class of concepts definable in the system is closed under finitary induction. Second, if the universe of objects is countably (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Wittgensteinian Predicate Logic.Kai Wehmeier - 2004 - Notre Dame Journal of Formal Logic 45 (1):1-11.
    We investigate a rst-order predicate logic based on Wittgenstein's suggestion to express identity of object by identity of sign, and difference of objects by difference of signs. Hintikka has shown that predicate logic can indeed be set up in such a way; we show that it can be done nicely. More specically, we provide a perspicuous cut-free sequent calculus, as well as a Hilbert-type calculus, for Wittgensteinian predicate logic and prove soundness and completeness theorems.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  • A Sequent Calculus for Urn Logic.Rohan French - 2015 - Journal of Logic, Language and Information 24 (2):131-147.
    Approximately speaking, an urn model for first-order logic is a model where the domain of quantification changes depending on the values of variables which have been bound by quantifiers previously. In this paper we introduce a model-changing semantics for urn-models, and then give a sequent calculus for urn logic by introducing formulas which can be read as saying that “after the individuals a1,..., an have been drawn, A is the case”.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  • The Theory of Form Logic.Wolfgang Freitag & Alexandra Zinke - 2012 - Logic and Logical Philosophy 21 (4):363-389.
    We investigate a construction schema for first-order logical systems, called “form logic”. Form logic allows us to overcome the dualistic commitment of predicate logic to individual constants and predicates. Dualism is replaced by a pluralism of terms of different “logical forms”. Individual form-logical systems are generated by the determination of a range of logical forms and of the formbased syntax rules for combining terms into formulas. We develop a generic syntax and semantics for such systems and provide a completeness proof (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • 3 Wittgenstein and the Inexpressible.Juliet Floyd - 2007 - In Alice Crary (ed.), Wittgenstein and the Moral Life: Essays in Honor of Cora Diamond. MIT Press. pp. 177-234.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Is Objectual Identity Really Dispensable?Eric Updike - 2019 - Erkenntnis 84 (4):761-782.
    Kai Wehmeier’s Wittgensteinian Predicate Logic is a formulation of first-order logic under the exclusive interpretation of the quantifiers. W-logic has a distinguished relation constant for co-reference but no sign for objectual identity. Wehmeier denies that objectual identity exists on the grounds that it cannot be a genuine binary relation. Fortunately W-logic is equi-expressive with standard first-order logic with identity and it appears that objectual identity is dispensable across the broader logical enterprise. This paper challenges the latter claim as objectual identity (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • The Power and the Limits of Wittgenstein's N Operator.James W. McGray - 2006 - History and Philosophy of Logic 27 (2):143-169.
    The power of Wittgenstein's N operator described in the Tractatus is that every proposition which can be expressed in the Russellian variant of the predicate calculus familiar to him has an equivalent proposition in an extended variant of his N operator notation. This remains true if the bound variables are understood in the usual inclusive sense or in Wittgenstein's restrictive exclusive sense. The problematic limit of Wittgenstein's N operator comes from his claim that symbols alone reveal the logical status of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • 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 (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  • A Finite Approximation to Models of Set Theory.Paul Weingartner - 1975 - Studia Logica 34 (1):45 - 58.
  • The Fallacies of the New Theory of Reference.Jaakko Hintikka & Gabriel Sandu - 1995 - Synthese 104 (2):245 - 283.
    The so-called New Theory of Reference (Marcus, Kripke etc.) is inspired by the insight that in modal and intensional contexts quantifiers presuppose nondescriptive unanalyzable identity criteria which do not reduce to any descriptive conditions. From this valid insight the New Theorists fallaciously move to the idea that free singular terms can exhibit a built-in direct reference and that there is even a special class of singular terms (proper names) necessarily exhibiting direct reference. This fallacious move has been encouraged by a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  • 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 (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Eliminating Identity: A Reply to Wehmeier.Robert Trueman - 2014 - Australasian Journal of Philosophy 92 (1):1-8.
    Wehmeier [2012] argues that identity is a problematic relation and that we can eliminate all mention of it. In this note I show, to the contrary, that if identity is problematic then Wehmeier has not given us the means to dispense with it.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Logical Form and Propositional Function in the Tractatus.Eric J. Loomis - 2005 - Theoria 71 (3):215-240.
    Wittgenstein's Tractatus carefully distinguished the concept all from\nthe notion of a truth-function, and thereby from the quantifiers.\nI argue that Wittgenstein's rationale for this distinction is lost\nunless propositional functions are understood within the context\nof his picture theory of the proposition. Using a model Tractatus\nlanguage, I show how there are two distinct forms of generality implicit\nin quantified Tractatus propositions. Although the explanation given\nin the Tractatus for this distinction is ultimately flawed, the distinction\nitself is a genuine one, and the forms of generality that (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Still Living Without Identity: Reply to Trueman.Kai F. Wehmeier - 2014 - Australasian Journal of Philosophy 92 (1):173-175.
    In ‘Eliminating Identity: A Reply to Wehmeier’, Robert Trueman attacks my claim that a commitment to a binary relation of identity is logically unnecessary and philosophically undesirable. I show that his two most serious objections are unconvincing.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation