6 found
Order:
Disambiguations
Jonathan Payne [5]Jonathan L. Payne [1]
See also
Jonathan Payne
University of Sheffield (PhD)
  1. Natural Deduction for Modal Logic with a Backtracking Operator.Jonathan Payne - 2015 - Journal of Philosophical Logic 44 (3):237-258.
    Harold Hodes in [1] introduces an extension of first-order modal logic featuring a backtracking operator, and provides a possible worlds semantics, according to which the operator is a kind of device for ‘world travel’; he does not provide a proof theory. In this paper, I provide a natural deduction system for modal logic featuring this operator, and argue that the system can be motivated in terms of a reading of the backtracking operator whereby it serves to indicate modal scope. I (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2. Abstraction Relations Need Not Be Reflexive.Jonathan Payne - 2013 - Thought: A Journal of Philosophy 2 (2):137-147.
    Neo-Fregeans such as Bob Hale and Crispin Wright seek a foundation of mathematics based on abstraction principles. These are sentences involving a relation called the abstraction relation. It is usually assumed that abstraction relations must be equivalence relations, so reflexive, symmetric and transitive. In this article I argue that abstraction relations need not be reflexive. I furthermore give an application of non-reflexive abstraction relations to restricted abstraction principles.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  30
    The Yablo Paradox: An Essay on Circularity. [REVIEW]Jonathan Payne - 2015 - History and Philosophy of Logic 36 (2):188-190.
  4. Extensionalizing Intensional Second-Order Logic.Jonathan Payne - 2015 - Notre Dame Journal of Formal Logic 56 (1):243-261.
    Neo-Fregean approaches to set theory, following Frege, have it that sets are the extensions of concepts, where concepts are the values of second-order variables. The idea is that, given a second-order entity $X$, there may be an object $\varepsilon X$, which is the extension of X. Other writers have also claimed a similar relationship between second-order logic and set theory, where sets arise from pluralities. This paper considers two interpretations of second-order logic—as being either extensional or intensional—and whether either is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  5.  54
    Abstract Objects and the Semantics of Natural Language, by Friederike Moltmann: Oxford: Oxford University Press, 2013, Pp. X + 244, £40. [REVIEW]Jonathan Payne - 2014 - Australasian Journal of Philosophy 92 (1):209-209.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6.  10
    The Most Important Event in the History of Life That You've Never Heard Of.Jonathan L. Payne - 2006 - Complexity 11 (5):20-22.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark