Order:
Disambiguations
Barry Hartley Slater [5]Barry Slater [4]
  1.  44
    Ramseying Liars.Barry Hartley Slater - 2004 - Logic and Logical Philosophy 13:57-70.
    Despite the volume of discussion on the Liar Paradox recently, there is one stream of largely British thought on the matter which is hardly represented in the wider literature. This paper points out salient aspects of the history of this tradition, from its origin in forms of propositional quantification found in Ramsey, through to more precise symbolisations which have emerged more recently. But its purpose is to exposit, with respect to a number of contested cases, the ensuing results. Thus it (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2.  44
    Harmonising Natural Deduction.Barry Hartley Slater - 2008 - Synthese 163 (2):187-198.
    Prawitz proved a theorem, formalising 'harmony' in Natural Deduction systems, which showed that, corresponding to any deduction there is one to the same effect but in which no formula occurrence is both the consequence of an application of an introduction rule and major premise of an application of the related elimination rule. As Gentzen ordered the rules, certain rules in Classical Logic had to be excepted, but if we see the appropriate rules instead as rules for Contradiction, then we can (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  3. Intensional Identities.Barry Hartley Slater - 1988 - Logique Et Analyse 31 (121-122):93-107.
  4. Logical Paradoxes.Barry Hartley Slater - 2001 - Internet Encyclopedia of Philosophy.
    A paradox is generally a puzzling conclusion we seem to be driven towards by our reasoning, but which is highly counterintuitive, nevertheless. There are, amongst these, a large variety of paradoxes of a logical nature which have teased even professional logicians, in some cases for several millennia. But what are now sometimes isolated as 'the logical paradoxes' are a much less heterogeneous collection: they are a group of antinomies centered on the notion of self-reference, some of which were known in (...)
     
    Export citation  
     
    Bookmark  
  5.  24
    Knowledge and the Curriculum By Paul H. Hirst Routledge & Kegan Paul, 1974, Xiii+193, £3.50.Barry Slater - 1976 - Philosophy 51 (195):111-.
  6. Aesthetics.Barry Hartley Slater - 2003 - Internet Encyclopedia of Philosophy.
     
    Export citation  
     
    Bookmark  
  7.  2
    Epsilon Calculi.Barry Slater - 2006 - Logic Journal of the IGPL 14 (4):535-590.
    This paper covers the history of the development of various epsilon calculi, and their applications, starting with the introduction of epsilon terms by Hilbert and Bernays. In particular it describes the Epsilon Substitution Method and the First and Second Epsilon Theorems, the original Epsilon Calculus of Bourbaki, several Intuitionistic Epsilon Calculi, and systems that have been constructed to incorporate epsilon terms in modal, and general intensional structures. Standard semantics for epsilon terms are discussed, with application to Arithmetic, and it is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  3
    No Title Available: New Books. [REVIEW]Barry Slater - 1976 - Philosophy 51 (195):111-113.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  9. HIRST, PAUL H. Knowledge and the Curriculum. [REVIEW]Barry Slater - 1976 - Philosophy 51:111.
    No categories
     
    Export citation  
     
    Bookmark