Results for 'T. Thacher Robinson'

(not author) ( search as author name )
977 found
Order:
  1.  24
    Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül.T. Thacher Robinson - 1958 - Journal of Symbolic Logic 23 (2):229-229.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  2.  33
    A note on the intuitionistic and the classical proposition calculus.T. Thacher Robinson - 1960 - Logique Et Analyse 3 (4):174-176.
  3.  6
    A Note on the Intuitionist and the Classical Propositional Calculus.T. Thacher Robinson - 1960 - Journal of Symbolic Logic 25 (4):351-352.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  5
    Alfred Horn. The separation theorem of intuitionist propositional calculus. The journal of symbolic logic, vol. 27 no. 4 , pp. 391–399.T. Thacher Robinson - 1967 - Journal of Symbolic Logic 32 (2):282.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  17
    Richard E. Vesley. On strengthening intuitionistic logic. Notre Dame journal of formal logic, vol. 4 (1963), p. 80.T. Thacher Robinson - 1969 - Journal of Symbolic Logic 34 (2):307-307.
  6.  6
    S. C. Kleene. An addendum. The journal of symbolic logic, vol. 28 no. 2 , pp. 154–156.T. Thacher Robinson - 1964 - Journal of Symbolic Logic 29 (3):146.
  7.  19
    Kanger Stig. A note on partial postulate sets for propositional logic. Theoria , vol. 21 , pp. 99–104.T. Thacher Robinson - 1957 - Journal of Symbolic Logic 22 (3):330-331.
  8.  39
    Interpretations of Kleene's metamathematical predicate γ∣a in intuitionistic arithmetic.T. Thacher Robinson - 1965 - Journal of Symbolic Logic 30 (2):140-154.
  9.  54
    Independence of two nice sets of axioms for the propositional calculus.T. Thacher Robinson - 1968 - Journal of Symbolic Logic 33 (2):265-270.
    Kanger [4] gives a set of twelve axioms for the classical propositional Calculus which, together with modus ponens and substitution, have the following nice properties: (0.1) Each axiom contains $\supset$ , and no axiom contains more than two different connectives. (0.2) Deletions of certain of the axioms yield the intuitionistic, minimal, and classical refutability1 subsystems of propositional calculus. (0.3) Each of these four systems of axioms has the separation property: that if a theorem is provable in such a system, then (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  11
    Hosoi Tsutomu. The separation theorem on the classical system. Journal of the Faculty of Science, University of Tokyo, section I, Mathematics, astronomy, physics, chemistry, vol. 12 part 2 , pp. 223–230. [REVIEW]T. Thacher Robinson - 1968 - Journal of Symbolic Logic 33 (1):128-128.
  11.  6
    Kleene S. C.. Disjunction and existence under implication in elementary intuitionistic formalisms. [REVIEW]T. Thacher Robinson - 1963 - Journal of Symbolic Logic 28 (2):166-167.
  12.  10
    Porte J.. Une propriété du calcul propositionnel intuitionniste. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 61 , pp. 362–365; also Indagationes mathematicae, vol. 20 , pp. 362–365. [REVIEW]T. Thacher Robinson - 1959 - Journal of Symbolic Logic 24 (1):68-69.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  15
    Kreisel G. and Putnam H.. Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkül. Archiv für mathematische Logik und Grundlagenforschung, vol. 3 , pp. 74–78. [REVIEW]T. Thacher Robinson - 1958 - Journal of Symbolic Logic 23 (2):229-229.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  14.  17
    V. A. Uspensky. Post's machine. English translation by R. Alavina of Mašina Posta. Little mathematics library. Mir Publishers, Moscow, also distributed by Imported Publications, Chicago, 1983, 88 pp. - Emil L. Post. Finite combinatory processes—formulation 1. A reprint of II 43. Therein, pp. 84–88. [REVIEW]T. Thacher Robinson - 1986 - Journal of Symbolic Logic 51 (1):253-254.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  26
    Beth Evert W. and Leblanc Hugues. A note on the intuitionist and the classical prepositional calculus. Logique et analyse , n.s. vol. 3 , pp. 174–176. [REVIEW]T. Thacher Robinson - 1960 - Journal of Symbolic Logic 25 (4):351-352.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  16
    Harrop Ronald. Concerning formulas of the types A → B v C, A → B in intuitionistic formal systems. [REVIEW]T. Thacher Robinson - 1962 - Journal of Symbolic Logic 27 (1):110-111.
  17.  11
    Harrop R.. On disjunctions and existential statements in intuitionistic systems of logic. Mathematische Annalen, vol. 132 , pp. 347–361. [REVIEW]T. Thacher Robinson - 1958 - Journal of Symbolic Logic 23 (3):345-346.
  18.  8
    Review: Evert W. Beth, Hugues Leblanc, A Note on the Intuitionist and the Classical Propositional Calculus. [REVIEW]T. Thacher Robinson - 1960 - Journal of Symbolic Logic 25 (4):351-352.
  19.  22
    Review: J. Porte, Une Propriete du Calcul Propositionnel Intuitionniste. [REVIEW]T. Thacher Robinson - 1959 - Journal of Symbolic Logic 24 (1):68-69.
  20.  12
    Review: Richard E. Vesley, On Strengthening Intuitionistic Logic. [REVIEW]T. Thacher Robinson - 1969 - Journal of Symbolic Logic 34 (2):307-307.
  21.  31
    Review: Ronald Harrop, Concerning Formulas of the Types $A rightarrow B mathbf{v} C, A rightarrow (Ex) B(x)$ in Intuitionistic Formal Systems. [REVIEW]T. Thacher Robinson - 1962 - Journal of Symbolic Logic 27 (1):110-111.
  22.  15
    Review: R. Harrop, On Disjunctions and Existential Statements in Intuitionistic Systems of Logic. [REVIEW]T. Thacher Robinson - 1958 - Journal of Symbolic Logic 23 (3):345-346.
  23.  21
    Review: S. C. Kleene, Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms. [REVIEW]T. Thacher Robinson - 1963 - Journal of Symbolic Logic 28 (2):166-167.
  24.  23
    Review: Stig Kanger, A Note on Partial Postulate Sets for Propositional Logic. [REVIEW]T. Thacher Robinson - 1957 - Journal of Symbolic Logic 22 (3):330-331.
  25. Review: Tsutomu Hosoi, The Separation Theorem on the Classical System. [REVIEW]T. Thacher Robinson - 1968 - Journal of Symbolic Logic 33 (1):128-128.
     
    Export citation  
     
    Bookmark  
  26.  15
    Review: V. A. Uspensky, R. Alavina, Post's Machine; Emil L. Post, Finite Combinatory Processes--Formulation I. [REVIEW]T. Thacher Robinson - 1986 - Journal of Symbolic Logic 51 (1):253-254.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  11
    T. Thacher Robinson. Independence of two nice sets of axioms for the propositional calculus.The journal of symbolic logic, vol. 33 , pp. 265–270. [REVIEW]John R. Chidgey - 1970 - Journal of Symbolic Logic 35 (1):139-140.
  28.  21
    Fragments.T. M. Heraclitus & Robinson - 1987 - Toronto ; Buffalo : University of Toronto Press.
  29.  8
    Faith and Duty.T. E. Jessop & N. H. G. Robinson - 1951 - Philosophical Quarterly 1 (5):467.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  27
    Greek Philosophy, the Hub and the Spokes.The Discovery of the Mind; the Greek Origins of European Thought.Plato's Earlier Dialectic.Plato's Modern Enemies and the Theory of Natural Law.W. K. C. Guthrie, Bruno Snell, T. G. Rosenmeyer, Richard Robinson & John Wild - 1955 - Journal of Philosophy 52 (13):349-358.
    Direct download  
     
    Export citation  
     
    Bookmark  
  31. New books. [REVIEW]C. D. Broad, W. Brown, B. Bosanquet, A. E. Taylor, C. Lloyd Morgan, Herbert W. Blunt, H. A., C. W. Valentine, L. T., Arthur Robinson, C. Dessoulavy & Henry J. Watt - 1913 - Mind 22 (1):580-600.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  32.  25
    Presocratic theology.T. M. Robinson - 2008 - In Patricia Curd & Daniel Graham (eds.), The Oxford Handbook of Presocratic Philosophy. Oxford University Press USA.
    If in the context of early and classical Greek thought, the term “theology” is taken to mean “of God/gods/the gods and his/their putative relationship, causal and directive, to the world and its operations, and to ourselves within that world,” or something of that order, the first ascription of such a notion to a Presocratic philosopher is to be found in Aristotle's comment that “Thales thought that all things are full of gods”. The Presocratic period ends with no neat causal sequence. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  33. The Defining Features of Mind-Body Dualism in the Writings of Plato.T. M. Robinson - 2000 - In John P. Wright & Paul Potter (eds.), Psyche and Soma: Physicians and Metaphysicians on the Mind-Body Problem From Antiquity to Enlightenment. New York: Clarendon Press.
     
    Export citation  
     
    Bookmark   1 citation  
  34. La Filosofía Política de Aristóteles.T. M. Robinson - 1995 - Méthexis 8 (1):101-104.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  41
    Soul and Immortality in Republic X.T. M. Robinson - 1967 - Phronesis 12 (1):147-151.
  36.  45
    Reticulo-cortical activity and behavior: A critique of the arousal theory and a new synthesis.C. H. Vanderwolf & T. E. Robinson - 1981 - Behavioral and Brain Sciences 4 (3):459-476.
    It is traditionally believed that cerebral activation (the presence of low voltage fast electrical activity in the neocortex and rhythmical slow activity in the hippocampus) is correlated with arousal, while deactivation (the presence of large amplitude irregular slow waves or spindles in both the neocortex and the hippocampus) is correlated with sleep or coma. However, since there are many exceptions, these generalizations have only limited validity. Activated patterns occur in normal sleep (active or paradoxical sleep) and during states of anesthesia (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   172 citations  
  37. Plato's psychology.T. M. Robinson - 1970 - [Toronto]: University of Toronto Press.
    Plato's Psychology originally published in 1970 and reprinted in 1972, is still the definitive modern discussion of the nature and development of Plato's ...
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  38.  53
    Brain-behavioral studies: The importance of staying close to the data.C. H. Vanderwolf & T. E. Robinson - 1981 - Behavioral and Brain Sciences 4 (3):497-514.
  39.  34
    Parmenides on Ascertainment of the Real.T. M. Robinson - 1975 - Canadian Journal of Philosophy 4 (4):623 - 633.
    In this paper I want to suggest that, while the argued philosophical distinction between logic, epistemolgoy and ontology is one of the many achievements of Aristotle, his predecessor Parmenides was in fact already operating with a theory of knowledge and an elementary propositional logic that are of abiding philosophical interest. As part of the thesis I shall be obliged to reject a number of interpretations of particular passages in his poem, including one or two currently fashionable ones. Since so much (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  40.  15
    The Greeks and the Environment.Laura Westra, Thomas M. Robinson, Madonna R. Adams, Donald N. Blakeley, C. W. DeMarco, Owen Goldin, Alan Holland, Timothy A. Mahoney, Mohan Matten, M. Oelschlaeger, Anthony Preus, J. M. Rist, T. M. Robinson, Richard Shearman & Daryl McGowan Tress (eds.) - 1997 - Rowman & Littlefield Publishers.
    Environmental ethicists have frequently criticized ancient Greek philosophy as anti-environmental for a view of philosophy that is counterproductive to environmental ethics and a view of the world that puts nature at the disposal of people. This provocative collection of original essays reexamines the views of nature and ecology found in the thought of Plato, Aristotle, the Stoics, and Plotinus. Recognizing that these thinkers were not confronted with the environmental degradation that threatens contemporary philosophers, the contributors to this book find that (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  41. Information and design: book symposium on Luciano Floridi’s The Logic of Information.D. Bawden, T. Gorichanaz, J. Furner, L. Robinson, M. Ma, K. Herold, B. Van der Veer Martens, L. Floridi & D. Dixon - manuscript
    Purpose – To review and discuss Luciano Floridi’s 2019 book The Logic of Information: A Theory of Philosophy as Conceptual Design, the latest instalment in his philosophy of information (PI) tetralogy, particularly with respect to its implications for library and information studies (LIS). Design/methodology/approach – Nine scholars with research interests in philosophy and LIS read and responded to the book, raising critical and heuristic questions in the spirit of scholarly dialogue. Floridi responded to these questions. Findings – Floridi’s PI, including (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  42. Plato's Psychology.T. M. Robinson - 1973 - Canadian Journal of Philosophy 3 (1):131-142.
    No categories
     
    Export citation  
     
    Bookmark   12 citations  
  43.  88
    Heraclitus: Fragments: A Text and Translation with a Commentary.T. M. Robinson - 1990 - Philosophical Review 99 (1):104-106.
  44.  16
    Exploration into God.John A. T. Robinson - 1967 - Stanford, Calif.,: Stanford University Press.
    Prologue: Quest for the Personal In the lectures which formed the basis of this book I began, as Chapter i indicates, with a brief review of how the current ...
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  45.  47
    Book Reviews Section 3.William T. Blackstone, William Hare, Don Cochrane, Walden B. Crabtree, Patrick J. Foley, Arthur Brown, Solon T. Kimball, Jack L. Nelson, Alexander W. Austin, Godfrey Sullivan, Frederick M. Schultz, Ramon Sanchez, Garnet L. Mcdiarmid, Rosemary V. Donatelli, Frederic G. Robinson, Mathew Zachariah, Richard M. Schrader, Louis Fischer & Dale R. Spencer - 1972 - Educational Studies 3 (4):225-239.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  52
    An assessment of the process of informed consent at the University Hospital of the West Indies.A. T. Barnett, I. Crandon, J. F. Lindo, G. Gordon-Strachan, D. Robinson & D. Ranglin - 2008 - Journal of Medical Ethics 34 (5):344-347.
    Objective: To assess the adequacy of the process of informed consent for surgical patients at the University Hospital of the West Indies. Method: The study is a prospective, cross-sectional, descriptive study. 210 patients at the University Hospital of the West Indies were interviewed using a standardised investigator-administered questionnaire, developed by the authors, after obtaining witnessed, informed consent for participation in the study. Data were analysed using SPSS V.12 for Windows. Results: Of the patients, 39.4% were male. Of the surgical procedures, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47. The nature of science and science teaching.James T. Robinson - 1968 - Belmont, Calif.,: Wadsworth Pub. Co..
    No categories
     
    Export citation  
     
    Bookmark   5 citations  
  48.  25
    The energy spectra of atoms slowing down in structureless media.Mark T. Robinson - 1965 - Philosophical Magazine 12 (115):145-156.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  49. Science Teaching and the Nature of Science (orig. 1965).James T. Robinson - 1998 - Science & Education 7 (6):617-634.
     
    Export citation  
     
    Bookmark   6 citations  
  50. The Body: A Study In Pauline Theology.John A. T. Robinson - 1952
    No categories
     
    Export citation  
     
    Bookmark   6 citations  
1 — 50 / 977