Results for 'B. H. Mayoh'

(not author) ( search as author name )
1000+ found
Order:
  1.  19
    Frank B. Cannonito. Hierarchies of computable groups and the word problem. The journal of symbolic logic, vol. 31 , pp. 376–392.B. H. Mayoh - 1968 - Journal of Symbolic Logic 33 (1):121.
  2.  26
    Y. N. Moschovakis. Recursive metric spaces. Fundamenta mathematicae, vol. 55 , pp. 215–238.B. H. Mayoh - 1966 - Journal of Symbolic Logic 31 (4):651-652.
  3.  5
    Proceedings from 5th Scandinavian Logic Symposium, Aalborg, 17-19 January 1979.Finn V. Jensen, B. H. Mayoh & Karen K. Møller (eds.) - 1979 - Aalborg: distruberet af Aalborg Universitetsforlag.
  4. Review: Frank B. Cannonito, Hierarchies of Computable Groups and the Word Problem. [REVIEW]B. H. Mayoh - 1968 - Journal of Symbolic Logic 33 (1):121-121.
  5.  48
    Donald Kalish and Richard Montague. Logic. Techniques of formal reasoning. Harcourt, Brace & World, Inc., New York and Burlingame 1964, x + 350 pp. [REVIEW]B. H. Mayoh - 1970 - Journal of Symbolic Logic 34 (4):641-642.
  6. Review: M. O. Rabin, Computable Algebraic Systems; Michael O. Rabin, Computable Algebra, General Theory and Theory of Computable Fields. [REVIEW]B. H. Mayoh - 1967 - Journal of Symbolic Logic 32 (3):412-413.
  7.  36
    Rabin M. O.. Computable algebraic systems. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 134–138.Rabin Michael O.. Computable algebra, general theory and theory of computable fields. Transactions of the American Mathematical Society, vol. 95 , pp. 341–360. [REVIEW]B. H. Mayoh - 1967 - Journal of Symbolic Logic 32 (3):412-413.
  8.  22
    Review: Rolf Schock, Logik. [REVIEW]B. H. Mayoh - 1969 - Journal of Symbolic Logic 34 (4):642-642.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9.  21
    Rolf Schock. Logik. Almqvist & Wiksell, Stockholm 1967, 105 pp. [REVIEW]B. H. Mayoh - 1970 - Journal of Symbolic Logic 34 (4):642-642.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  16
    Review: Yiannis N. Moschovakis, Notation Systems and Recursive Ordered Fields. [REVIEW]B. H. Mayoh - 1966 - Journal of Symbolic Logic 31 (4):650-651.
  11.  17
    Review: Y. N. Moschovakis, Recursive Metric Spaces. [REVIEW]B. H. Mayoh - 1966 - Journal of Symbolic Logic 31 (4):651-652.
  12.  20
    Yiannis N. Moschovakis. Notation systems and recursive ordered fields. Compositio mathematica, vol. 17 no. 1 , pp. 40–71. [REVIEW]B. H. Mayoh - 1966 - Journal of Symbolic Logic 31 (4):650-651.
  13.  32
    Viola: A new visual programming language designed for the rapid development of interacting agent systems.C. J. Topping, M. J. Rehder & B. H. Mayoh - 1999 - Acta Biotheoretica 47 (2):129-140.
    The construction of complex simulation models and the application of new computer hardware to ecological problems has resulted in the need for many ecologists to rely on computer programmers to develop their modelling software. However, this can lead to a lack of flexibility and understanding in model implementation and in resource problems for researchers. This paper presents a new programming language, Viola, based on a simple organisational concept which can be used by most researchers to develop complex simulations much more (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  21
    Review: A. A. Markov, B. van Rootselaar, J. F. Staal, An Approach to Constructive Mathematical Logic. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):85-85.
  15.  27
    A. A. Markov. An approach to constructive mathematical logic. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 283–294. - A. A. Markov. Essai de construction d'une logique de la mathématique constructive. Revue Internationale de philosophic, vol. 25 , pp. 477–507. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):85-85.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  16
    Review: B. H. Mayoh, Groups and Semigroups with Solvable Word Problems. [REVIEW]F. B. Cannonito - 1971 - Journal of Symbolic Logic 36 (3):541-541.
  17.  16
    Mayoh B. H.. Groups and semigroups with solvable word problems. Proceedings of the American Mathematical Society, vol. 18 , pp. 1038–1039. [REVIEW]F. B. Cannonito - 1971 - Journal of Symbolic Logic 36 (3):541-541.
  18.  41
    The epsilon calculus' problematic.B. H. Slater - 1994 - Philosophical Papers 23 (3):217-242.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  19.  19
    De-mystieylng situations.B. H. Slater - 1997 - Philosophical Papers 26 (2):165-178.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  5
    Falsafat al-tārīkh al-Hīghilīyah: awhām Mārkas, aw, fasafat al-tārīkh min lā nihāʼīyat al-tārīkh fī falsafat al-tārīkh li-Hīghil ilá nihāyat al-tārīkh fī al-māddīyah al-tārīkhīyah li-Marks.Ḥannā Dīb - 2019 - Jadīdat al-Matn [Lebanon]: Dār Sāʼir al-Mashriq lil-Nashr wa-al-Tawzīʻ.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  7
    Biblical Interpretation and Philosophical Hermeneutics.B. H. McLean - 2012 - Cambridge University Press.
    This book applies philosophical hermeneutics to biblical studies. Whereas traditional studies of the Bible limit their analysis to the exploration of the texts' original historical sense, this book discusses how to move beyond these issues to a consideration of biblical texts' existential significance for the present. In response to the rejection of biblical significance in the late nineteenth century and the accompanying crisis of nihilism, B. H. McLean argues that the philosophical thought of Heidegger, Bultmann, Gadamer, Habermas, Ricoeur, Levinas, Deleuze (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  22.  22
    Essays in Radical Empiricism.B. H. Bode, William James & R. B. Perry - 1912 - Philosophical Review 21 (6):704.
  23. Paraconsistent logics?B. H. Slater - 1995 - Journal of Philosophical Logic 24 (4):451 - 454.
  24.  8
    Christopher Nolan: filmmaker and philosopher.Robbie B. H. Goh - 2022 - New York: Bloomsbury Academic.
    Christopher Nolan is the writer and director of Hollywood blockbusters like The Dark Knight and The Dark Knight Rises, and also of arthouse films like Memento and Inception. Underlying his staggering commercial success however, is a darker sensibility that questions the veracity of human knowledge, the allure of appearance over reality and the latent disorder in contemporary society. This appreciation of the sinister owes a huge debt to philosophy and especially modern thinkers like Friedrich Nietzsche, Sigmund Freud and Jacques Derrida. (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  60
    Moore's Paradox: Synonymous Expressions and Defining.B. H. Medlin & J. J. C. Smart - 1956 - Analysis 17 (6):125 - 134.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  10
    Moore's Paradox: Synonymous Expressions and Defining.B. H. Medlin - 1956 - Analysis 17 (6):125.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  27.  5
    Prolegomena to Formal Logic.B. H. Slater - 1988 - Aldershot, England: Gower Publishing Company.
  28.  7
    The Method of Introspection.B. H. Bode - 1913 - Journal of Philosophy, Psychology and Scientific Methods 10 (4):85-91.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  29.  23
    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  
  30.  36
    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  
  31.  21
    Hilbertian reference.B. H. Slater - 1988 - Noûs 22 (2):283-297.
  32.  88
    Prior's Analytic.B. H. Slater - 1986 - Analysis 46 (2):76 - 81.
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  33.  11
    The Problem of Metaphysics and the Meaning of Metaphysical Explanation: An Essay in Definitions.B. H. Bode - 1903 - Philosophical Review 12 (2):231-232.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34. Liar Syllogisms and Related Paradoxes.B. H. Slater - 1991 - Analysis 51 (3):146 - 153.
  35.  22
    L'evolution Creatrice.B. H. Bode & Henri Bergson - 1908 - Philosophical Review 17 (1):84.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  36. Hilbert’s Epsilon Calculus and its Successors.B. H. Slater - 2009 - In ¸ Itegabbay2009. Elsevier. pp. 385--448.
     
    Export citation  
     
    Bookmark   4 citations  
  37.  20
    Ammianus Marcellinus and the Lies of Metrodorus.B. H. Warmington - 1981 - Classical Quarterly 31 (02):464-.
    The eleventh-century Byzantine compiler Cedrenus includes a unique story in the midst of his otherwise traditional and hagiographic material on the emperor Constantine. Mentioning the outbreak of war between the Roman and Persian empires, he describes the cause of the breakdown of peace somewhat as follows. A certain Metrodorus, who was of Persian origin, went to visit the Brahmins in India to study philosophy and won the reputation of being a holy man through his asceticism. He also built water mills (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  38.  49
    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  
  39.  15
    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  
  40.  6
    Euripides, Electra 473–5.B. H. Polack - 1976 - Classical Quarterly 26 (01):3-.
    It seems surprising that this text—or others similar— has been accepted without any serious search for a more meaningful alternative. Even if it be thought that Euripides was capable of adding , in an unusual sense producing an awkward tautology, to , surely this should only be accepted in the absence ofa more credible emendation which departs no further from the manuscripts? Is there such an alternative? In the corresponding last line of the strophe we have : the first syllable (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  31
    Conditional logic.B. H. Slater - 1992 - Australasian Journal of Philosophy 70 (1):76 – 81.
  42. Namely-Riders: an Update.B. H. Slater - forthcoming - Electronic Journal of Analytic Philosophy.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  43.  46
    Ernst Mach and the new empiricism.B. H. Bode - 1916 - Journal of Philosophy, Psychology and Scientific Methods 13 (11):281-290.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  44.  10
    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  
  45.  86
    Concepts of stability and symmetry in irreversible thermodynamics. I.B. H. Lavenda - 1972 - Foundations of Physics 2 (2-3):161-179.
    Concepts of stability and symmetry in irreversible thermodynamics are developed through the analysis of system energy flows. The excess power function, derived from a local energy conservation equation, is shown to yield necessary and sufficient stability criteria for linear and nonlinear irreversible processes. In the absence of symmetry-destroying external forces, the linear range may be characterized by a set of phenomenological coefficient symmetries relating coupled forces and displacements, velocities, and accelerations, whereas rotational phenomena in nonlinear processes may be characterized by (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  46. Prior's analytic revised.B. H. Slater - 2001 - Analysis 61 (1):86-90.
  47.  8
    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  
  48.  39
    Internal and external negations.B. H. Slater - 1979 - Mind 88 (352):588-591.
  49.  78
    Probabilistic foundations for operator logic.B. H. Slater - 1993 - British Journal for the Philosophy of Science 44 (3):517-530.
  50.  8
    The Liar.B. H. Slater - 1973 - International Logic Review 7 (4):86.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 1000