Results for 'Ronald Harrop'

(not author) ( search as author name )
1000+ found
Order:
  1.  45
    Concerning formulas of the types a →b ∨c, a →(ex)b(X).Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (1):27-32.
  2.  9
    Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfahigkeit.Ronald Harrop - 1967 - Journal of Symbolic Logic 32 (2):259-259.
  3.  21
    Concerning Formulas of the Types $A rightarrow B vee C, A rightarrow (Ex)B(x)$.Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (1):27-32.
  4.  24
    Some structure results for propositional calculi.Ronald Harrop - 1965 - Journal of Symbolic Logic 30 (3):271-292.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  5.  27
    The Finite Model Property and Subsystems of Classical Propositional Calculus.Ronald Harrop - 1959 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 5 (1-2):29-32.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  6.  10
    The Finite Model Property and Subsystems of Classical Propositional Calculus.Ronald Harrop - 1959 - Mathematical Logic Quarterly 5 (1‐2):29-32.
  7. Meeting of the association for symbolic logic seattle 1973.Anne C. Morel, Ronald Harrop, Miriam Lucian & David Pincus - 1974 - Journal of Symbolic Logic 39 (1):195-208.
  8.  11
    Some Forms of Models of Propositional Calculi.R. Harrop, H. Arnold Schmidt, K. Schutte & Ronald Harrop - 1975 - Journal of Symbolic Logic 40 (2):251-251.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  13
    A Relativization Procedure for Propositional Calculi, with an Application to a Generalized form of Post's Theorem.Ronald Harrop, J. N. Crossley & M. A. E. Dummett - 1967 - Journal of Symbolic Logic 32 (1):125-126.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  28
    David Makinson. A normal modal calculus between T and S4 without the finite model property. The journal of symbolic logic, vol. 34 , pp. 35–38.Ronald Harrop - 1971 - Journal of Symbolic Logic 36 (4):692.
  11.  2
    M. D. Gladstone. On the number of variables in the axioms. Notre Dame journal of formal logic, vol. 11 , pp. 1–15.Ronald Harrop - 1972 - Journal of Symbolic Logic 37 (4):755-756.
  12.  2
    [Omnibus Review].Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (3):293-296.
  13.  18
    On the Equivalence for Non‐Derivability Testing of Finite Smiley Models and Finite Modified Smiley Models.Ronald Harrop - 1971 - Mathematical Logic Quarterly 17 (1):137-143.
  14.  16
    On the Equivalence for Non‐Derivability Testing of Finite Smiley Models and Finite Modified Smiley Models.Ronald Harrop - 1971 - Mathematical Logic Quarterly 17 (1):137-143.
  15.  6
    On the Recursivity of Finite Sets.Ronald Harrop - 1961 - Mathematical Logic Quarterly 7 (7‐10):136-140.
  16.  16
    On the Recursivity of Finite Sets.Ronald Harrop - 1961 - Mathematical Logic Quarterly 7 (7-10):136-140.
  17.  20
    Some results concerning finite model separability of propositional calculi.Ronald Harrop - 1976 - Studia Logica 35 (2):179 - 189.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  18.  13
    Kurt Schütte. Der Interpolationssatz der intuitionistischen Prädikatenlogik. Mathematische Annalen, vol. 148 , pp. 192–200. [REVIEW]Ronald Harrop - 1964 - Journal of Symbolic Logic 29 (3):145-146.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  19.  1
    Ackermann Wilhelm. Widerspruchsfreier Aufbau einer typenfreien Logik. . Mathematische Zeitschrift, vol. 55 , pp. 364–384.Ackermann Wilhelm. Widerspruchsfreier Aufbau einer typenfreien Logik. II. Mathematische Zeitschrift, vol. 57 , pp. 155–166. [REVIEW]Ronald Harrop - 1954 - Journal of Symbolic Logic 19 (4):295-296.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20.  8
    Behmann Heinrich. Die typenfreie Logik und die Modalität. Actes du XIème Congrès International de Philosophie, Volume XIV, Volume comptémentalre et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 88–96. [REVIEW]Ronald Harrop - 1957 - Journal of Symbolic Logic 22 (3):326-326.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  12
    D. J. Shoesmith and T. J. Smiley. Multiple-conclusion logic. Cambridge University Press, Cambridge etc. 1978, xiii + 396 pp. [REVIEW]Ronald Harrop - 1981 - Journal of Symbolic Logic 46 (1):161-163.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  17
    Mihăilescu Eugen. Sur les proprietés de l'implication par rapport à l'équivalence et la disjonction. Analele Universitătii Bucureşti, seria Acta logica, vol. 5 , pp. 119–134. [REVIEW]Ronald Harrop - 1970 - Journal of Symbolic Logic 35 (4):584-584.
  23.  11
    Review: D. J. Shoesmith, T. J. Smiley, Multiple-Conclusion Logic. [REVIEW]Ronald Harrop - 1981 - Journal of Symbolic Logic 46 (1):161-163.
  24.  5
    Review: Eugen Mihailescu, Sur les Proprietes de l'Implication par Rapport a l'Equivalence et la Disjonction. [REVIEW]Ronald Harrop - 1970 - Journal of Symbolic Logic 35 (4):584-584.
  25. Review: Heinrich Behmann, Die Typenfreie Logik und die Modalitat. [REVIEW]Ronald Harrop - 1957 - Journal of Symbolic Logic 22 (3):326-326.
     
    Export citation  
     
    Bookmark  
  26. Review: M. D. Gladstone, On the Number of Variables in the Axioms. [REVIEW]Ronald Harrop - 1972 - Journal of Symbolic Logic 37 (4):755-756.
  27.  4
    Review: Wilhelm Ackermann, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, A. Robinson, Grundgedanken einer Typenfreien Logik. [REVIEW]Ronald Harrop - 1967 - Journal of Symbolic Logic 32 (2):259-260.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  8
    Review: W. E. Singletary, Results Regarding the Axiomatization of Partial Propositional Calculi. [REVIEW]Ronald Harrop - 1971 - Journal of Symbolic Logic 36 (1):172-172.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  16
    Singletary W. E.. Results regarding the axiomatization of partial prepositional calculi. Notre Dame journal of formal logic, vol. 9 no. 3 , pp. 193–211. [REVIEW]Ronald Harrop - 1971 - Journal of Symbolic Logic 36 (1):172-172.
  30.  49
    Jan Łukasiewicz. A system of modal logic. Actes du Xlème Congrès International de Philosophie, volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam1953, and Editions E. Nauwelaerts, Louvain 1953, pp. 82–87. - Jan Łukasiewicz. A system of modal logic. The journal of computing systems, vol. 1 no. 3 , pp. 111–149. - Ivo Thomas. Note on a modal system of Łukasiewicz. Dominican studies, vol. 6 , pp. 167–170. - A. N. Prior. The interpretation of two systems of modal logic. The journal of computing systems, vol. 1 no. 4 , pp. 201–208. - Alan Ross Anderson. On the interpretation of a modal system of Łukasiewicz. The journal of computing systems, vol. 1 no. 4 , pp. 209–210. - Jan Łukasiewicz. Arithmetic and modal logic. The journal of computing systems, vol. 1 no. 4 , pp. 213–219. - Jan Łukasiewicz. On a controversial problem of Aristotle's modal syllogistic. Dominican studies, vol. 7 , pp. 114–128. [REVIEW]Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (3):293-296.
  31.  25
    Wilhelm Ackermann. Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit. Archiv für mathematische Logik und Grundlagenforschung, vol. 4 , pp. 3–26, and vol. 5 , pp. 96–111. [REVIEW]Ronald Harrop - 1967 - Journal of Symbolic Logic 32 (2):259.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  32.  15
    Wilhelm Ackermann. Grundgedanken einer typenfreien Logik. Essays on the foundations of mathematics, dedicated to A. A. Fraenkelon his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, pp. 143–155. [REVIEW]Ronald Harrop - 1967 - Journal of Symbolic Logic 32 (2):259-260.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  14
    Ronald Harrop. Some structure results for propositional calculi. The journal of symbolic logic, vol. 30 , pp. 271–292.Ann Yasuhara - 1968 - Journal of Symbolic Logic 32 (4):537-538.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  4
    Review: Ronald Harrop, Some Structure Results for Propositional Calculi. [REVIEW]Ann Yasuhara - 1967 - Journal of Symbolic Logic 32 (4):537-538.
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  22
    Review: Ronald Harrop, A Relativization Procedure for Propositional Calculi, with an Application to a Generalized form of Post's Theorem; Ronald Harrop, J. N. Crossley, M. A. E. Dummett, Some Generalizations and Applications of a Relativization Procedure for propositional Calculi. [REVIEW]W. E. Singletary - 1967 - Journal of Symbolic Logic 32 (1):125-126.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  12
    Review: Ronald Harrop, The Finite Model Property and Subsystems of Classical Propositional Calculus. [REVIEW]H. Arnold Schmidt - 1960 - Journal of Symbolic Logic 25 (2):181-181.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37. Review: Ronald Harrop, On the Recursivity of Finite Sets. [REVIEW]Charles Parsons - 1968 - Journal of Symbolic Logic 33 (1):115-115.
  38.  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.
  39.  29
    R. Harrop. Some forms of models of propositional calculi. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover 1966, edited by H. Arnold Schmidt, K. Schutte, and H.-J. Thiele, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 163–174. - Ronald Harrop. On the equivalence for non-derivability testing of finite Smiley models and finite modified Smiley models. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 17 , pp. 137–143. [REVIEW]Dolph Ulrich - 1975 - Journal of Symbolic Logic 40 (2):251.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  28
    Review: R. Harrop, H. Arnold Schmidt, K. Schutte, H.-J. Thiele, Some Forms of Models of Propositional Calculi; Ronald Harrop, On the Equivalence for Non-Derivability Testing of Finite Smiley Models and Finite Modified Smiley Models. [REVIEW]Dolph Ulrich - 1975 - Journal of Symbolic Logic 40 (2):251-251.
  41.  11
    Harrop Ronald. On the recursivity of finite sets. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 136–140.Hořejš Jiří. Note on definition of recursiveness. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 119–120. [REVIEW]Charles Parsons - 1968 - Journal of Symbolic Logic 33 (1):115-115.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  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.
  43. Taking rights seriously.Ronald Dworkin (ed.) - 1977 - London: Duckworth.
    This is the first publication of these ideas in book form. 'It is a rare treat--important, original philosophy that is also a pleasure to read.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   643 citations  
  44.  12
    Ronald Dworkin Replies.Ronald Dworkin - 2004-01-01 - In Justine Burley (ed.), Dworkin and His Critics. Blackwell. pp. 337–395.
    This chapter contains section titled: Part I Part II Part III Part IV.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  45. Scientific perspectivism.Ronald N. Giere - 2006 - Chicago: University of Chicago Press.
    Many people assume that the claims of scientists are objective truths. But historians, sociologists, and philosophers of science have long argued that scientific claims reflect the particular historical, cultural, and social context in which those claims were made. The nature of scientific knowledge is not absolute because it is influenced by the practice and perspective of human agents. Scientific Perspectivism argues that the acts of observing and theorizing are both perspectival, and this nature makes scientific knowledge contingent, as Thomas Kuhn (...)
  46.  10
    The life of Bertrand Russell.Ronald Clark - 1975 - London: J. Cape.
    All these specialist aspects of one life are different facets of the intellectual diamond which scintillates in the huge quarry of The Bertrand Russell Archives at McMaster University, Hamilton, Ontario. This is the quintessential man, the bundle of contradictions passionately dedicated to intellect, at times carrying the rational argument to irrational extremes; the natural-born emotional adventurer forever hampered by orphaned youth and too-early marriage. This Russell in the round is greater than the sum of his constituent parts, a man of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  47. Objective single-case probabilities and the foundations of statistics.Ronald N. Giere - 2010 - In Antony Eagle (ed.), Philosophy of Probability: Contemporary Readings. New York: Routledge.
     
    Export citation  
     
    Bookmark   55 citations  
  48.  17
    Brandom.Ronald Loeffler - 2017 - Medford, MA: Polity.
    Meaning and communication -- Mighty dead: Kant and Hegel -- Scorekeeping -- Sentence meaning, term meaning, Anaphora -- Empirical content and empirical knowledge -- Logical discourse -- Representation and communication -- Objectivity and phenomenalism about norms.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  49.  93
    Inner speech and the body error theory.Ronald P. Endicott - 2024 - Frontiers in Psychology 15:1360699.
    Inner speech is commonly understood as the conscious experience of a voice within the mind. One recurrent theme in the scientific literature is that the phenomenon involves a representation of overt speech, for example, a representation of phonetic properties that result from a copy of speech instructions that were ultimately suppressed. I propose a larger picture that involves some embodied objects and their misperception. I call it “the Body Error Theory,” or BET for short. BET is a form of illusionism, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  50.  39
    Responsibility and complicity.Ronald Aronson - 1990 - Philosophical Papers 19 (1):53-73.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000