67 found
Order:
  1. Paraconsistent logics?B. H. Slater - 1995 - Journal of Philosophical Logic 24 (4):451 - 454.
  2.  9
    Prolegomena to Formal Logic.B. H. Slater - 1988 - Aldershot, England: Gower Publishing Company.
  3.  53
    (2 other versions)E-Type Pronouns And E-Terms.B. H. Slater - 1986 - Canadian Journal of Philosophy 16 (March):27-38.
    Speaking of Professor Geach's belief that pronouns in natural language function like the bound variables in quantification theory, Gareth Evans, in ‘Pronouns, Quantifiers, and Relative Clauses - I’ says :I want to try to show that there are pronouns with quantifier antecedents that function in a quite different way. Such pronouns typically stand in a different grammatical relation to their antecedents, and; in contrast with bound pronouns, must be assigned a reference, so that their most immediate sentential contexts can always (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  4.  96
    Prior's Analytic.B. H. Slater - 1986 - Analysis 46 (2):76 - 81.
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  5.  31
    Hilbertian reference.B. H. Slater - 1988 - Noûs 22 (2):283-297.
  6. Liar Syllogisms and Related Paradoxes.B. H. Slater - 1991 - Analysis 51 (3):146 - 153.
  7. Hilbert’s Epsilon Calculus and its Successors.B. H. Slater - 2009 - In ¸ Itegabbay2009. Elsevier. pp. 385--448.
     
    Export citation  
     
    Bookmark   4 citations  
  8.  23
    The Epsilon Calculus and its Applications.B. H. Slater - 1991 - Grazer Philosophische Studien 41 (1):175-205.
    The paper presents and applies Hilbert's Epsilon Calculus, first describing its standard proof theory, and giving it an intensional semantics. These are contrasted with the proof theory of Fregean Predicate Logic, and the traditional (extensional) choice function semantics for the calculus. The semantics provided show that epsilon terms are referring terms in Donnellan's sense, enabling the symbolisation and validation of argument forms involving E-type pronouns, both in extensional and intensional contexts. By providing for transparency in intensional constructions they support a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  9.  56
    The epsilon calculus' problematic.B. H. Slater - 1994 - Philosophical Papers 23 (3):217-242.
  10.  40
    Conditional logic.B. H. Slater - 1992 - Australasian Journal of Philosophy 70 (1):76 – 81.
  11. Namely-Riders: an Update.B. H. Slater - forthcoming - Electronic Journal of Analytic Philosophy.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  12.  12
    Against the Realisms of the Age.B. H. Slater - 1998 - Ashgate Publishing.
    Recovers some of the value in the Wittgensteinian period of philosophy, using certain logical systems: Prior's theory of operators and Hilbert's epsilon calculus. This work applies, discursively, the previous largely technical results published in Prolegomena to Formal Logic (Aldershot, Gower 1989) and Intensional Logic (Aldershot, Ashgate 1994) to resolve matters of current interest in philosophy, logic and linguistics - notably attacking a variety of realisms found in comtemporary cognitive science and the philosophy of mathematics.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  13.  43
    Prior's analytic revised.B. H. Slater - 2001 - Analysis 61 (1):86-90.
  14. Probabilistic foundations for operator logic.B. H. Slater - 1993 - British Journal for the Philosophy of Science 44 (3):517-530.
  15.  14
    The Liar.B. H. Slater - 1973 - International Logic Review 7 (4):86.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  16.  49
    Internal and external negations.B. H. Slater - 1979 - Mind 88 (352):588-591.
  17. Thought unlimited.B. H. Slater - 1992 - Mind 101 (402):347-353.
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  13
    Intensional Logic: An Essay in Analytical Metaphysics.B. H. Slater - 1994
    Like the author's first work, this text again develops two advanced logical systems: the formalization of intensional constructions initiated by Arthur Prior, and the refinement of predicate logic instituted by David Hilbert. This book is more historical than the first, but the emphasis is still on the application of the two systems to problems in analytical metaphysics. The natures of provability and possibility are studied further, as well as the natures of opacity and intensional objects.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  23
    The epsilon logic of fictions.B. H. Slater - 2005 - In Kent A. Peacock & Andrew D. Irvine (eds.), Mistakes of reason: essays in honour of John Woods. Buffalo: University of Toronto Press. pp. 33--48.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  63
    Is "heterological" heterological?B. H. Slater - 1973 - Mind 82 (327):439-440.
  21.  34
    A grammatical point about obligation.B. H. Slater - 1978 - Philosophical Quarterly 28 (112):229-233.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  42
    Descriptive opacity.B. H. Slater - 1992 - Philosophical Studies 66 (2):167 - 181.
  23.  56
    Getting Kant right.B. H. Slater - 1994 - Synthese 99 (2):305 - 306.
  24. (1 other version)Modal semantics.B. H. Slater - 1989 - Logique Et Analyse 127 (8):195-209.
  25.  43
    Quantifier/variable-binding.B. H. Slater - 2000 - Linguistics and Philosophy 23 (3):309-321.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  26.  14
    Subjuntives.B. H. Slater - 1988 - Critica 20 (58):97-106.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  27. Syntactic liars.B. H. Slater - 2002 - Analysis 62 (2):107–109.
  28.  46
    The Examiner Examined.B. H. Slater - 1974 - Analysis 35 (2):49 - 50.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29.  31
    The foundations of logic.B. H. Slater - 1972 - Mind 81 (321):42-56.
  30. Using Hilbert's Calculus.B. H. Slater - 1990 - Logique Et Analyse 33 (29):45.
     
    Export citation  
     
    Bookmark   2 citations  
  31.  62
    A Grammatical Point about Disjunction.B. H. Slater - 1976 - Philosophy 51 (196):226 - 228.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  32.  16
    Contradiction and Freedom.B. H. Slater - 1988 - Philosophy 63 (245):317 - 330.
    Jean-Paul Sartre, in describing the realization of his freedom, was often inclined to say mysterious things like ‘I am what I am not’, ‘I am not what I am’ (‘as I am already what I will be …, I am the self which I will be, in the mode of not being it’, ‘I make myself not to be the past … which I am’.) He was therefore plainly contradicting himself, but was this merely a playful literary figure (paradox), or (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  24
    De-mystieylng situations.B. H. Slater - 1997 - Philosophical Papers 26 (2):165-178.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  13
    “It's on the middle of my tongue”.B. H. Slater - 1979 - Philosophical Investigations 2 (1):51-52.
    In a previous issue of Philosophical Investigations Professor Radford provides a counterexample to the equation1: a word is on the tip of a man's tongue IFF (a) he can recognize the word and (b1) he believes he may be able to produce It (fairly soon).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  22
    Non-conditional 'if's.B. H. Slater - 1996 - Ratio 9 (1):47-55.
    Two uses of ‘if are discussed which do not involve conditions. The first is illustrated in the example ‘If he's here, I don't see him’, the second in ‘He's not a dunce, if a trifle stupid’. A third non‐conditional use, cognate with the first is also mentioned: it would be illustrated in the example ‘If he's a Dutchman, I'll eat my hat’. It is argued that recent attempts to formulate a logic of conditionals have distorted our understanding of ‘if, by (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  37
    Peirce’s graphs amended.B. H. Slater - 1998 - History and Philosophy of Logic 19 (2):101-106.
    One of the claims made for C. S. Peirce's existential graphs has been that they are a deductively complete formulation of first-order logic with identity. As Peirce presented them, this is true only for certain versions of first-order logic :those which do not include terms for individuals. I amend Peirce's rules here, showing, in particular, how they are capable of demonstrating that, for instance, ?Jack is in the kitchen? contradicts ?Jack is not in the kitchen?
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  19
    Routley’s formulation of transparency.B. H. Slater - 1992 - History and Philosophy of Logic 13 (2):215-224.
    Routley?s Formula says, for instance, that if it is believed there is a man then there is something which is believed to be a man. In this paper I defend the formula; first directly, but then by looking at work by Gensler and Hintikka against it, and at the original work of Routley, Meyer and Goddard for it. The argument ultimately reduces to a central point about the extensionality of objects in Routley, Meyer and Goddard?s intensional system, i.e. in its (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  32
    Wittgenstein's Later Logic.B. H. Slater - 1979 - Philosophy 54 (208):199 - 209.
    Wittgenstein's Remarks on the Foundations of Mathematics was poorly received by the critics when it was first published, and only a few sympathetic commentators have made much of it since then. The book has not had a great success, because the majority of people interested in the philosophy of mathematics these days have a quite different approach to the subject from Wittgenstein. But not only that, they have a quite different logic from Wittgenstein. I believe one of the main sources (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39. Hilbert's Program.B. H. Slater - 1992 - Noûs 26 (4):513-514.
     
    Export citation  
     
    Bookmark  
  40.  30
    Attitudes De Dicto and De Se.B. H. Slater - 1999 - Critica 31 (92):67-92.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  16
    A Defence of Linguistic Philosophy.B. H. Slater - 1986 - Philosophical Investigations 9 (3):205-215.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. A Fragment of New Propositional Logic.B. H. Slater - 1978 - International Logic Review 17:121.
  43.  39
    Aristotle's propositional logic.B. H. Slater - 1979 - Philosophical Studies 36 (1):35 - 49.
  44. A Way With Paradoxes.B. H. Slater - 1985 - International Logic Review 31:19.
     
    Export citation  
     
    Bookmark  
  45.  53
    Direct Tableaux Proofs.B. H. Slater - 1981 - Analysis 41 (4):192 - 194.
  46.  10
    ‘Experiencing’ Architecture.B. H. Slater - 1984 - Philosophy 59 (228):253-258.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  11
    Epsilon Identities.B. H. Slater - 1993 - Manuscrito: Revista Internacional de Filosofía 16 (1):153-180.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  21
    Expressions of ignorance.B. H. Slater - 1980 - Australasian Journal of Philosophy 58 (1):47 – 53.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  16
    Excluding the Middle.B. H. Slater - 1988 - Critica 20 (60):55-71.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  17
    Farewell to Opacity.B. H. Slater - 1993 - Dialectica 47 (1):37-53.
    SummaryThis paper firms up previous arguments for referential transparency in intensional constructions by providing conclusive proofs of this, both formal and informal. Centrally the paper uses epsilon terms to symbolise referring expressions, and so it obtains the rigid designators needed to allow the same object to be referred to in all worlds and minds. The details of several contrary ideas are examined to reinforce the claim that they are incorrect. But also certain world‐dependent or mind‐dependent objects are identified, using epsilon (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 67