This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories
Siblings:
22 found
Search inside:
(import / add options)   Order:
  1. István Aranyosi (2011). The Solo Numero Paradox. American Philosophical Quarterly 48 (4):347.
    Leibniz notoriously insisted that no two individuals differ solo numero, that is, by being primitively distinct, without differing in some property. The details of Leibniz’s own way of understanding and defending the principle –known as the principle of identity of indiscernibles (henceforth ‘the Principle’)—is a matter of much debate. However, in contemporary metaphysics an equally notorious and discussed issue relates to a case put forward by Max Black (1952) as a counter-example to any necessary and non-trivial version of the principle. (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2. André Bazzoni (2015). On the Concepts of Function and Dependence. Principia: An International Journal of Epistemology 19 (1):01-15.
    This paper briefly traces the evolution of the function concept until its modern set theoretic definition, and then investigates its relationship to the pre-formal notion of variable dependence. I shall argue that the common association of pre-formal dependence with the modern function concept is misconceived, and that two different notions of dependence are actually involved in the classic and the modern viewpoints, namely effective and functional dependence. The former contains the latter, and seems to conform more to our pre-formal conception (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  3. Howard G. Callaway (1979). Reference variables and the empty universe. Logique Et Analyse 22 (85):85.
    In this early paper I set out an argument in favor of the standard semantics of first-order logic, to the effect that (Vx)(Ey)x=y. Though my arguments from the paper have since been revised in details, The conclusion of the paper seems still viable and acceptable.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    My bibliography  
  4. Mihnea D. I. Capraru (2016). A Counterexample to Variabilism. Analysis 76 (1):26-29.
    Recent literature contains influential arguments for variabilism, the view that we should understand proper names as analogues not of constants but of variables. In particular, proper names are said to sometimes take semantic values that are not referential but purely general. I present a counter-example to this view.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  5. John Corcoran, LOGIC TEACHING IN THE 21ST CENTURY.
    We are much better equipped to let the facts reveal themselves to us instead of blinding ourselves to them or stubbornly trying to force them into preconceived molds. We no longer embarrass ourselves in front of our students, for example, by insisting that “Some Xs are Y” means the same as “Some X is Y”, and lamely adding “for purposes of logic” whenever there is pushback. Logic teaching in this century can exploit the new spirit of objectivity, humility, clarity, observationalism, (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  6. John Corcoran & José Miguel Sagüillo (2011). The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper. History and Philosophy of Logic 32 (4):359 - 374.
    This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes multiple (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  7. B. Halimi (2013). Structured Variables. Philosophia Mathematica 21 (2):220-246.
    Drawing on Russell's substitutional theory, this paper examines the notion of ‘structured variable’, in order to compare Russell's and Tarski's conceptions of variables. The framework of syntactic fibrations, coming from categorical logic, is used as a common setting. The main objective of this paper is to make sense of the notion of structured variable beyond the context of Russell's theory, to question the Tarskian way of understanding what it is to be a possible value for a variable, and to bring (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  8. Henry Laycock, Object. Stanford Encyclopedia of Philosophy.
    In The Principles of Mathematics, Russell writes: Whatever may be an object of thought, or may occur in any true or false proposition, or can be counted as one, I call a term. This, then, is the widest word in the philosophical vocabulary. I shall use as synonymous with it the words unit, individual and entity. The first two emphasize the fact that every term is one, while the third is derived from the fact that every term has being, i.e. (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  9. Vladimir Lifschitz, Safe Formulas in the General Theory of Stable Models (Preliminary Report).
    Safe first-order formulas generalize the concept of a safe rule, which plays an important role in the design of answer set solvers. We show that any safe sentence is equivalent, in a certain sense, to the result of its grounding—to the variable-free sentence obtained from it by replacing all quantifiers with multiple conjunctions and disjunctions. It follows that a safe sentence and the result of its grounding have the same stable models, and that stable models of a safe sentence can (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  10. Bryan Pickel & Brian Rabern (forthcoming). Does Semantic Relationism Solve Frege's Puzzle? Journal of Philosophical Logic.
    In a series of recent works, Kit Fine (2003, 2007) has sketched a novel solution to Frege's puzzle. Radically departing from previous solutions, Fine argues that Frege's puzzle forces us to reject compositionality. In this paper we first provide an explicit formalization of the relational semantics for first-order logic suggested, but only briefly sketched, by Fine. We then show why the relational semantics alone is technically inadequate, forcing Fine to enrich the syntax with a coordination schema. Given this enrichment, we (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  11. Bryan Pickel & Brian Rabern (forthcoming). The Antinomy of the Variable: A Tarskian Resolution. Journal of Philosophy.
    Kit Fine has reawakened a puzzle about variables with a long history in analytic philosophy, labeling it “the antinomy of the variable”. Fine suggests that the antinomy demands a reconceptualization of the role of variables in mathematics, natural language semantics, and first-order logic. The difficulty arises because: (i) the variables ‘x’ and ‘y’ cannot be synonymous, since they make different contributions when they jointly occur within a sentence, but (ii) there is a strong temptation to say that distinct variables ‘x’ (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  12. Brian Rabern (2013). Monsters in Kaplan's Logic of Demonstratives. Philosophical Studies 164 (2):393-404.
    Kaplan (1989a) insists that natural languages do not contain displacing devices that operate on character—such displacing devices are called monsters. This thesis has recently faced various empirical challenges (e.g., Schlenker 2003; Anand and Nevins 2004). In this note, the thesis is challenged on grounds of a more theoretical nature. It is argued that the standard compositional semantics of variable binding employs monstrous operations. As a dramatic first example, Kaplan’s formal language, the Logic of Demonstratives, is shown to contain monsters. For (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  13. François Recanati (2007). It is Raining (Somewhere). Linguistics and Philosophy 30 (1):123-146.
    The received view about meteorological predicates like ‘rain’ is that they carry an argument slot for a location which can be filled explicitly or implicitly. The view assumes that ‘rain’, in the absence of an explicit location, demands that the context provide a specific location. In an earlier article in this journal, I provided a counter-example, viz. a context in which ‘it is raining’ receives a location-indefinite interpretation. On the basis of that example, I argued that when there is tacit (...)
    Remove from this list   Direct download (11 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  14. François Recanati (2004). Descriptions and Situations. In Marga Reimer & Anne Bezuidenhout (eds.), Descriptions and Beyond. Clarendon Press 15-40.
  15. Anna Szabolcsi, Scope and Binding.
    The first part of this article (Sections 1–5) focuses on the classical notions of scope and binding and their formal foundations. It argues that once their semantic core is properly understood, it can be implemented in various different ways: with or without movement, with or without variables. The second part (Sections 6–12) takes up the empirical issues that have redrawn the map in the past two decades. It turns out that scope is not a primitive. Existential scope and distributive scope (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  16. Anna Szabolcsi (2003). Binding On the Fly: Cross-Sentential Anaphora in Variable— Free Semantics. In R. Oehrle & J. Kruijff (eds.), Resource Sensitivity, Binding, and Anaphora. Kluwer 215--227.
    Combinatory logic (Curry and Feys 1958) is a “variable-free” alternative to the lambda calculus. The two have the same expressive power but build their expressions differently. “Variable-free” semantics is, more precisely, “free of variable binding”: it has no operation like abstraction that turns a free variable into a bound one; it uses combinators—operations on functions—instead. For the general linguistic motivation of this approach, see the works of Steedman, Szabolcsi, and Jacobson, among others. The standard view in linguistics is that reflexive (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  17. Anna Szabolcsi (1987). Bound Variables in Syntax (Are There Any?). In J. Groenendijk, F. Veltman & M. Stokhof (eds.), Sixth Amsterdam Colloquium Proceedings. Univ of Amsterdam
    Current theories of grammar handle both extraction and anaphorization by introducing variables into syntactic representations. Combinatory categorial grammar eliminates variables corresponding to gaps. Using the combinator W, the paper extends this approach to anaphors, which appear to act as overt bound variables. [Slightly extended version in Bartsch et al 1989.].
    Remove from this list  
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  18. Achille C. Varzi (1995). Variable-Binders as Functors. Poznan Studies in the Philosophy of the Sciences and the Humanities 40:303-19.
    This work gives an extended presentation of the treatment of variable-binding operators adumbrated in [3:1993d]. Illustrative examples include elementary languages with quantifiers and lambda-equipped categorial languages. Some remarks are also offered to illustrate the philosophical import of the resulting picture. Particularly, a certain conception of logic emerges from the account: the view that logics are true theories in the model-theoretic sense, i.e. the result of selecting a certain class of models as the only “admissible” interpretation structures (for a given language).
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19. Kai Wehmeier (2009). On Ramsey's 'Silly Delusion' Regarding Tractatus 5.53. In Giuseppe Primiero & Shahid Rahman (eds.), Acts of Knowledge - History, Philosophy and Logic. College Publications
    We investigate a variant of the variable convention proposed at Tractatus 5.53ff for the purpose of eliminating the identity sign from logical notation. The variant in question is what Hintikka has called the strongly exclusive interpretation of the variables, and turns out to be what Ramsey initially (and erroneously) took to be Wittgenstein's intended method. We provide a tableau calculus for this identity-free logic, together with soundness and completeness proofs, as well as a proof of mutual interpretability with first-order logic (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  20. Kai Wehmeier (2004). Wittgensteinian Predicate Logic. 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.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  21. 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 (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  22. Juhani Yli-Vakkuri (2013). Propositions and Compositionality. Philosophical Perspectives 27 (1):526-563.