Results for 'Thomason, Richmond H.'

(not author) ( search as author name )
911 found
Order:
  1.  25
    Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.
  2.  9
    Thomason, Richmond H. (1939 -).Robert J. Stainton - unknown
    Direct download  
     
    Export citation  
     
    Bookmark  
  3. A theory of conditionals in the context of branching time.Richmond Thomason & Anil Gupta - 1980 - Philosophical Review 89 (1):65-90.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   41 citations  
  4. Chisholm's Paradox and Conditional Oughts.Catharine Saint Croix & Richmond Thomason - 2014 - Lecture Notes in Computer Science 8554:192-207.
    Since it was presented in 1963, Chisholm’s paradox has attracted constant attention in the deontic logic literature, but without the emergence of any definitive solution. We claim this is due to its having no single solution. The paradox actually presents many challenges to the formalization of deontic statements, including (1) context sensitivity of unconditional oughts, (2) formalizing conditional oughts, and (3) distinguishing generic from nongeneric oughts. Using the practical interpretation of ‘ought’ as a guideline, we propose a linguistically motivated logical (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  5.  43
    A Semantic Theory of Adverbs.Richmond Thomason & Robert Stalnaker - 1973 - Linguistic Inquiry 4 (2):195-220.
  6. Modeling and Using Context (Lecture Notes in Artificial Intelligence 2116).Varol Akman, Paolo Bouquet, Richmond Thomason & Roger A. Young - 2001 - Berlin Heidelberg: Springer-Verlag. Edited by P. Bouquet V. Akman.
    Context has emerged as a central concept in a variety of contemporary approaches to reasoning. The conference at which the papers in this volume were presented, CONTEXT 2001, was the third international, interdisciplinary conference on the topic of context, and was held in Dundee, Scotland on July 27-30, 2001.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  7. Deontic Logic and the Role of Freedom in Moral Deliberation.Richmond A. Thomason - 1981 - In Risto Hilpinen (ed.), New Studies in Deontic Logic: Norms, Actions, and the Foundations of Ethics. Dordrecht, Netherland: Wiley-Blackwell.
     
    Export citation  
     
    Bookmark   19 citations  
  8.  41
    Formal Philosophy: Selected Papers.Richard Montague & Richmond Thomason - 1976 - Philosophical Quarterly 26 (103):182-185.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  9. Iterative probability kinematics.Horacio Arló-Costa & Richmond Thomason - 2001 - Journal of Philosophical Logic 30 (5):479-524.
    Following the pioneer work of Bruno De Finetti [12], conditional probability spaces (allowing for conditioning with events of measure zero) have been studied since (at least) the 1950's. Perhaps the most salient axiomatizations are Karl Popper's in [31], and Alfred Renyi's in [33]. Nonstandard probability spaces [34] are a well know alternative to this approach. Vann McGee proposed in [30] a result relating both approaches by showing that the standard values of infinitesimal probability functions are representable as Popper functions, and (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  10.  24
    Thomason Richmond H.. Philosophy and formal semantics. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics, edited by Leblanc Hugues, Studies in logic and the foundations of mathematics, vol. 68, North-Holland Publishing Company, Amsterdam and London 1973, pp. 294–307. [REVIEW]Melvin Fitting - 1977 - Journal of Symbolic Logic 42 (2):317.
  11. The context-sensitivity of belief and desire.Richmond Thomason - 1986 - In Michael Georgeff & Amy Lanksy (eds.), Reasoning about actions and plans. Morgan Kaufmann Publishers. pp. 341-360.
  12.  19
    Independence of the Dual Axiom in Modal $mathbf{K}$ with Primitive $lozenge$.Richmond Thomason - 2018 - Notre Dame Journal of Formal Logic 59 (3):381-385.
    Explicit axioms relating ◊ϕand □ϕ appear to be needed if ◊ is taken to be primitive. We prove that such axioms are in fact indispensable.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  13.  27
    Philosophical logic and artificial intelligence.Richmond Thomason - 1988 - Journal of Philosophical Logic 17 (4):321 - 327.
  14.  19
    Thomason Richmond H.. Symbolic logic. An introduction. The Macmillan Company, Collier-Macmillan Limited, London 1970, xiii + 367 pp. [REVIEW]Hans Hermes - 1971 - Journal of Symbolic Logic 36 (4):678.
  15.  5
    The Formalization Of Pratical Reasoning: Problems And Prospects.Franz Guenthner, Dov Gabbay & Richmond Thomason - 2018 - In Dov M. Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic: Volume 18. Cham: Springer Verlag.
    Deontic logic, as traditionally conceived, provides only a deductive theory that constrains the states or possible worlds within which an agent should try to remain.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. Nonmonotonicity in linguistics.Richmond Thomason - 1997 - In Benthem & Meulen (eds.), Handbook of Logic and Language. MIT Press. pp. 777--831.
     
    Export citation  
     
    Bookmark   2 citations  
  17.  9
    Inheritance theory and path-based reasoning: An introduction.Bob Carpenter & Richmond Thomason - 1990 - In Kyburg Henry E., Loui Ronald P. & Carlson Greg N. (eds.), Knowledge Representation and Defeasible Reasoning. Kluwer Academic Publishers. pp. 309--343.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  94
    A semantic theory of sortal incorrectness.R. H. Thomason - 1972 - Journal of Philosophical Logic 1 (2):209 - 258.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  19.  9
    Paternalism and consent: Some educational problems.H. Richmond - 1998 - Journal of Philosophy of Education 32 (2):239–251.
    An exploration of subsequent consent as a sufficient condition of justified paternalistic interference reveals that there are other factors, beyond consent, which are the salient criteria of justification. It is argued that these criteria are educational in character, and so it is on educational grounds that we must judge particular cases of paternalism. Examination of the issue of the upbringing of children suggests that significant progress in our understanding of the problems inherent in paternalistic decision-making can be made through the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  2
    Paternalism and Consent: Some Educational Problems.H. Richmond - 1998 - Journal of Philosophy of Education 32 (2):239-251.
    An exploration of subsequent consent as a sufficient condition of justified paternalistic interference reveals that there are other factors, beyond consent, which are the salient criteria of justification. It is argued that these criteria are educational in character, and so it is on educational grounds that we must judge particular cases of paternalism. Examination of the issue of the upbringing of children suggests that significant progress in our understanding of the problems inherent in paternalistic decision-making can be made through the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  25
    Prawitz Dag. Natural deduction. A proof-theoretical study. Acta Universitatis Stock-holmiensis, Stockholm studies in philosophy no. 3. Almqvist & Wiksell, Stockholm, Göteborg, and Uppsala, 1965, 113 pp. [REVIEW]Richmond Thomason - 1967 - Journal of Symbolic Logic 32 (2):255-256.
  22.  64
    Logic and Linguistics Meeting: Santa Cruz, 1991.Jon Barwise, William Ladusaw, Alice ter Meulen, Richard Oehrle & Richmond Thomason - 1992 - Journal of Symbolic Logic 57 (4):1498-1499.
  23.  19
    Review: Dag Prawitz, Natural Deduction. A Proof-Theoretical Study. [REVIEW]Richmond Thomason - 1967 - Journal of Symbolic Logic 32 (2):255-256.
  24.  15
    SZABÓ, ZOLTÁN GENDLER; THOMASON, RICHMOND H., Philosophy of Language (Cambridge Textbooks in Linguistics), Cambridge University Press, Cambridge, 2019, XII + 327 pp. [REVIEW]Piotr Stalmaszczyk - 2019 - Anuario Filosófico 52 (3):662-665.
  25. The Semantic Conception of Truth and the Foundations of Semantics.R. Montague & R. H. Thomason - 1996 - In Heimir Geirsson & Michael Losonsky (eds.), Readings in Language and Mind. Blackwell. pp. 36.
     
    Export citation  
     
    Bookmark   5 citations  
  26.  24
    All or none; A novel choice of primitives for elementary logic.R. H. Thomason & H. Leblanc - 1967 - Journal of Symbolic Logic 32 (3):345-351.
  27.  9
    All or None: a Novel Choice of Primitives for Elementary Logic.R. H. Thomason & H. Leblanc - 1969 - Journal of Symbolic Logic 34 (1):124-125.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  19
    Completeness Theorems for Some Presupposition-Free Logics.H. Leblanc & R. H. Thomason - 1972 - Journal of Symbolic Logic 37 (2):424-425.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  29.  16
    The Logical Way of Doing Things. [REVIEW]H. K. R. - 1970 - Review of Metaphysics 23 (4):753-753.
    The essays in philosophical logic collected in this volume are dedicated to Henry S. Leonard who was one of the first American philosophers to urge the application of modern logic to non-mathematical areas. Leonard also inspired the development of certain areas of contemporary philosophical logic discussed in some of the papers of this volume. This is especially clear in the case of free, or presupposition free, logics which Leonard's early work on a logic of existence inspired. In one essay of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  30. Richmond H. Thomason , Formal Philosophy. Selected Papers of Richard Montague. [REVIEW]Godehard Link - 1975 - Erkenntnis 9:252.
     
    Export citation  
     
    Bookmark  
  31.  13
    Review: Richmond H. Thomason, Philosophy and Formal Semantics. [REVIEW]Melvin Fitting - 1977 - Journal of Symbolic Logic 42 (2):317-317.
  32.  51
    On not strengthening intuitionistic logic.N. D. Belnap, H. Leblanc & R. H. Thomason - 1963 - Notre Dame Journal of Formal Logic 4 (4):313-320.
    tic sequenzen-kalkul of Gentzen, into rules for PCc, the classical sequenzenkalkul. We shall limit ourselves here to sequenzen or turnstile statements of the form A„A„..., A„ I- B, where A„A„..., A„(n ~ 0), and B are wffs consisting of propositional variables, zero or more of the connectives '5', "v', ' ', ')', and '=', and zero or more parentheses. One can pass from PCi to PCc by amending the intelim rules for ' a result of long standing, or by amending (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  33.  9
    Review: Richmond H. Thomason, Symbolic Logic. [REVIEW]Hans Hermes - 1971 - Journal of Symbolic Logic 36 (4):678-678.
  34.  7
    Review: Richmond H. Thomason, Paradoxes and Semantic Representation. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):667-667.
  35.  39
    Richmond H. Thomason. Paradoxes and semantic representation. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 225–239. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):667.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  36.  4
    Review of Richmond H. Thomason: Formal Philosophy: Selected Papers of Richard Montague[REVIEW]Ryszard Wójcicki - 1978 - British Journal for the Philosophy of Science 29 (2):197-201.
  37.  44
    Robert Bull and Krister Segerberg. Basic modal logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 1–88. - John P. Burgess. Basic tense logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 89–133. - Richmond H. Thomason. Combinations of tense and modality. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 135–165. - Johan van Benthem. Correspondence theory. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. [REVIEW]Steven T. Kuhn - 1989 - Journal of Symbolic Logic 54 (4):1472-1477.
  38.  4
    Positivism in the United States. [REVIEW]H. A. L. & Richmond Laurin Hawkins - 1938 - Journal of Philosophy 35 (24):665.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  5
    Auguste Comte and the United States. [REVIEW]H. A. L. & Richmond L. Hawkins - 1936 - Journal of Philosophy 33 (21):581.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  76
    Functions and Outcomes of a Clinical Medical Ethics Committee: A Review of 100 Consults. [REVIEW]Jessica Richmond Moeller, Teresa H. Albanese, Kimberly Garchar, Julie M. Aultman, Steven Radwany & Dean Frate - 2012 - HEC Forum 24 (2):99-114.
    Abstract Context: Established in 1997, Summa Health System’s Medical Ethics Committee (EC) serves as an educational, supportive, and consultative resource to patients/families and providers, and serves to analyze, clarify, and ameliorate dilemmas in clinical care. In 2009 the EC conducted its 100th consult. In 2002 a Palliative Care Consult Service (PCCS) was established to provide supportive services for patients/families facing advanced illness; enhance clinical decision-making during crisis; and improve pain/symptom management. How these services affect one another has thus far been (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  41. Plattner's Arrow: Science and Multi‐Dimensional Time.Alasdair M. Richmond - 2000 - Ratio 13 (3):256–274.
    Might time be multi‐dimensional? In exploring this question, this paper uses a thought‐experiment about dimensionality, H. G. Wells' ‘The Plattner Story’. Plattner has his left and right sides transposed after a trip through a fourth spatial dimension, a change with independent empirical consequences. This example is then generalised to reversals of the directions of time and entropy. Finally, this thought‐experiment is related to relativistic theories of time and the possibility of preserving causality in a temporally multi‐dimensional framework.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  42.  35
    Sherlock Holmes, Galileo, and the Missing History of Science.Neil Thomason - 1994 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1994:323 - 333.
    There is a common (although not universal) claim among historians and philosophers that Copernican theory predicted the phases of Venus. This claim ignores a prominant feature of the writings of, among others, Copernicus, Galileo and Kepler-the possibility that Venus might be self illuminating or translucent. I propose that such over-simplifications of the history of science emerges from "psychological predictivism", the tendency to infer from "E is good evidence for H" to "H predicts E." If this explanation is correct, then in (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  74
    The J.H.B. Bookshelf.Marsha L. Richmond, Paul Lawrence Farber, Hannah Landecker, Vassiliki Betty Smocovitis, Eileen Crist, Chris Young & Sara F. Tjossem - 1998 - Journal of the History of Biology 31 (3):447-461.
  44.  70
    Time travel, hyperspace and Cheshire Cats.Alasdair Richmond - 2018 - Synthese 195 (11):5037-5058.
    H. G. Wells’ Time Traveller inhabits uniform Newtonian time. Where relativistic/quantum travelers into the past follow spacetime curvatures, past-bound Wellsians must reverse their direction of travel relative to absolute time. William Grey and Robin Le Poidevin claim reversing Wellsians must overlap with themselves or fade away piecemeal like the Cheshire Cat. Self-overlap is physically impossible but ‘Cheshire Cat’ fades destroy Wellsians’ causal continuity and breed bizarre fusions of traveler-stages with opposed time-directions. However, Wellsians who rotate in higher-dimensional space can reverse (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  43
    T. H. Huxley's Criticism of German Cell Theory: An Epigenetic and Physiological Interpretation of Cell Structure. [REVIEW]Marsha L. Richmond - 2000 - Journal of the History of Biology 33 (2):247 - 289.
    In 1853, the young Thomas Henry Huxley published a long review of German cell theory in which he roundly criticized the basic tenets of the Schleiden-Schwann model of the cell. Although historians of cytology have dismissed Huxley's criticism as based on an erroneous interpretation of cell physiology, the review is better understood as a contribution to embryology. "The Cell-theory" presents Huxley's "epigenetic" interpretation of histological organization emerging from changes in the protoplasm to replace the "preformationist" cell theory of Schleiden and (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  46.  23
    ΑΕΞΙΓϒΙΩΝ ΑΕΘΛΩΝ ΚΑΡϒΞ - H. A. Harris: Sport in Greece and Rome. (Aspects of Greek and Roman Life.) Pp. 288; 83 plates, 13 line-drawings. London: Thames and Hudson, 1972. Cloth, £4·50. [REVIEW]J. A. Richmond - 1975 - The Classical Review 25 (01):75-77.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  6
    Richard G. Delisle. Debating Humankind's Place in Nature, 1860–2000: The Nature of Paleoanthropology. With introductory and concluding essays by, Milford H. Wolpoff and Bernard Wood. xvi + 447 pp., figs., app., bibl., index. Upper Saddle River, N.J.: Pearson Prentice Hall, 2007. $63.20. [REVIEW]Jesse Richmond - 2009 - Isis 100 (2):415-416.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  26
    Propertivs Vincτvs - Sexti Properti quae supersunt omnia. Edidit nouoque adparatu criticoinstruxit O. L. Richmond. Pp. 431. Cambridge University Press, 1928. 25 s[REVIEW]H. Stewart - 1930 - The Classical Review 44 (01):30-33.
  49.  54
    A note on Thomason's refined structures for tense logics.A. H. Lachlan - 1974 - Theoria 40 (2):117-120.
  50.  53
    Euripides: Four Tragedies. Alcestis, translated by Richmond Lattimore, Medea_ by Rex Warner, _Heracleidae_ by Ralph Gladstone, _Hippolytus_ by David Grene. Pp. ix+221. Chicago: University Press (London: Cambridge University Press), 1955. Cloth, 28 _s. net. [REVIEW]H. C. Baldry - 1956 - The Classical Review 6 (3-4):300-301.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 911