77 found
Order:
  1. Paraconsistent logics?B. H. Slater - 1995 - Journal of Philosophical Logic 24 (4):451 - 454.
  2.  6
    Prolegomena to Formal Logic.B. H. Slater - 1988 - Aldershot, England: Gower Publishing Company.
  3.  24
    E-Type Pronouns and varepsilon -Terms.B. H. Slater - 1986 - Canadian Journal of Philosophy 16 (1):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 (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  4.  40
    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  
  5.  23
    Hilbertian reference.B. H. Slater - 1988 - Noûs 22 (2):283-297.
  6.  89
    Prior's Analytic.B. H. Slater - 1986 - Analysis 46 (2):76 - 81.
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  7. Liar Syllogisms and Related Paradoxes.B. H. Slater - 1991 - Analysis 51 (3):146 - 153.
  8. Hilbert’s Epsilon Calculus and its Successors.B. H. Slater - 2009 - In ¸ Itegabbay2009. Elsevier. pp. 385--448.
     
    Export citation  
     
    Bookmark   4 citations  
  9.  34
    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  
  10.  17
    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 (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  11.  50
    The epsilon calculus' problematic.B. H. Slater - 1994 - Philosophical Papers 23 (3):217-242.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  12.  36
    Conditional logic.B. H. Slater - 1992 - Australasian Journal of Philosophy 70 (1):76 – 81.
  13. Namely-Riders: an Update.B. H. Slater - forthcoming - Electronic Journal of Analytic Philosophy.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  14.  11
    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  
  15.  40
    Internal and external negations.B. H. Slater - 1979 - Mind 88 (352):588-591.
  16.  32
    Prior's analytic revised.B. H. Slater - 2001 - Analysis 61 (1):86-90.
  17.  87
    Probabilistic foundations for operator logic.B. H. Slater - 1993 - British Journal for the Philosophy of Science 44 (3):517-530.
  18.  11
    The Liar.B. H. Slater - 1973 - International Logic Review 7 (4):86.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  19.  9
    E-type Pronouns and ε-tems.B. H. Slater - 1986 - Canadian Journal of Philosophy 16 (1):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 (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  20. Thought unlimited.B. H. Slater - 1992 - Mind 101 (402):347-353.
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  19
    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  
  22.  10
    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  
  23.  23
    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  
  24.  53
    Is "heterological" heterological?B. H. Slater - 1973 - Mind 82 (327):439-440.
  25. Modal semantics.B. H. Slater - 1989 - Logique Et Analyse 127 (8):195-209.
  26. Modal Semantics.B. H. Slater - 1989 - Logique Et Analyse 32 (27):195.
     
    Export citation  
     
    Bookmark   2 citations  
  27.  41
    Quantifier/variable-binding.B. H. Slater - 2000 - Linguistics and Philosophy 23 (3):309-321.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  28.  12
    Subjuntives.B. H. Slater - 1988 - Critica 20 (58):97-106.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  29.  18
    Syntactic liars.B. H. Slater - 2002 - Analysis 62 (2):107-109.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  30.  41
    The Examiner Examined.B. H. Slater - 1974 - Analysis 35 (2):49 - 50.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  3
    The Examiner Examined.B. H. Slater - 1974 - Analysis 35 (2):49-50.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  24
    The foundations of logic.B. H. Slater - 1972 - Mind 81 (321):42-56.
  33. Using Hilbert's Calculus.B. H. Slater - 1990 - Logique Et Analyse 33 (29):45.
     
    Export citation  
     
    Bookmark   2 citations  
  34.  34
    Descriptive opacity.B. H. Slater - 1992 - Philosophical Studies 66 (2):167 - 181.
  35.  47
    Getting Kant right.B. H. Slater - 1994 - Synthese 99 (2):305 - 306.
  36. Syntactic liars.B. H. Slater - 2002 - Analysis 62 (2):107–109.
  37. Logic and grammar.B. H. Slater - 1974 - Philosophical Quarterly 24 (95):122-131.
    I have written a number of articles recently that have a rather remarkable character. They all point out trivial grammatical facts that, at great cost, have not been respected in twentieth century Logic. A major continuous strand in my previous work, with this same character, I will first summarise, to locate the kind of fact that is involved. But then I shall present an overview of the more recent, and more varied points I have made, which demonstrate the far larger (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  38.  52
    A Grammatical Point about Disjunction.B. H. Slater - 1976 - Philosophy 51 (196):226 - 228.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  39.  13
    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  
  40.  19
    De-mystieylng situations.B. H. Slater - 1997 - Philosophical Papers 26 (2):165-178.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  22
    ‘Experiencing’ Architecture.B. H. Slater - 1984 - Philosophy 59 (228):253 - 258.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  11
    “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  
  43.  18
    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  
  44.  28
    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  
  45.  18
    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  
  46.  26
    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  
  47. Hilbert's Program.B. H. Slater - 1992 - Noûs 26 (4):513-514.
     
    Export citation  
     
    Bookmark  
  48.  26
    Attitudes De Dicto and De Se.B. H. Slater - 1999 - Critica 31 (92):67-92.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  13
    A Defence of Linguistic Philosophy.B. H. Slater - 1986 - Philosophical Investigations 9 (3):205-215.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50. A Fragment of New Propositional Logic.B. H. Slater - 1978 - International Logic Review 17:121.
1 — 50 / 77