11 found
Order:
See also
Jeremy Seligman
University of Auckland
  1.  43
    A Note on Freedom From Detachment in the Logic of Paradox.Jc Beall, Thomas Forster & Jeremy Seligman - 2013 - Notre Dame Journal of Formal Logic 54 (1):15-20.
    We shed light on an old problem by showing that the logic LP cannot define a binary connective $\odot$ obeying detachment in the sense that every valuation satisfying $\varphi$ and $(\varphi\odot\psi)$ also satisfies $\psi$ , except trivially. We derive this as a corollary of a more general result concerning variable sharing.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  2.  64
    Logical Dynamics of Belief Change in the Community.Fenrong Liu, Jeremy Seligman & Patrick Girard - 2014 - Synthese 191 (11):2403-2431.
    In this paper we explore the relationship between norms of belief revision that may be adopted by members of a community and the resulting dynamic properties of the distribution of beliefs across that community. We show that at a qualitative level many aspects of social belief change can be obtained from a very simple model, which we call ‘threshold influence’. In particular, we focus on the question of what makes the beliefs of a community stable under various dynamical situations. We (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  3.  9
    What is and What Might Have Been.Jeremy Seligman - unknown
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  12
    General Dynamic Dynamic Logic.Patrick Girard, Jeremy Seligman & Fenrong Liu - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic, Volume 9. CSLI Publications. pp. 239-260.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  1
    General Dynamic Dynamic Logic.Patrick Girard, Jeremy Seligman & Fenrong Liu - 2012 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 239-260.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  6
    Flexibility in Ceteris Paribus Reasoning.Jeremy Seligman & Patrick Girard - 2011 - Australasian Journal of Logic 10.
    Ceteris Paribus clauses in reasoning are used to allow for defeaters of norms, rules or laws, such as in von Wright’s example “I prefer my raincoat over my umbrella, everything else being equal”. In earlier work, a logical analysis is offered in which sets of formulas Γ, embedded in modal operators, provide necessary and sufficient conditions for things to be equal in ceteris paribus clauses. For most laws, the set of things allowed to vary is small, often finite, and so (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  49
    The Scope of Turing's Analysis of Effective Procedures.Jeremy Seligman - 2002 - Minds and Machines 12 (2):203-220.
    Turing's (1936) analysis of effective symbolic procedures is a model of conceptual clarity that plays an essential role in the philosophy of mathematics. Yet appeal is often made to the effectiveness of human procedures in other areas of philosophy. This paper addresses the question of whether Turing's analysis can be applied to a broader class of effective human procedures. We use Sieg's (1994) presentation of Turing's Thesis to argue against Cleland's (1995) objections to Turing machines and we evaluate her proposal (...)
    Direct download (13 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8. Logic, Rationality, and Interaction.Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.) - 2017 - Springer.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  9. Logic, Rationality, and Interaction. LORI 2017. Lecture Notes in Computer Science, Vol 10455.Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.) - 2017 - Springer.
    No categories
     
    Export citation  
     
    Bookmark  
  10. Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan).Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.) - 2017 - Springer.
    No categories
     
    Export citation  
     
    Bookmark  
  11. Language, Logic, and Computation: The 1994 Moraga Proceedings.Dag Westerstahl & Jeremy Seligman (eds.) - 1996 - CSLI.
     
    Export citation  
     
    Bookmark