Search results for 'Richmond A. Thomason' (try it on Scholar)

1000+ found
Order:
  1.  34
    Richmond H. Thomason (1980). A Model Theory for Propositional Attitudes. Linguistics and Philosophy 4 (1):47 - 70.
    My chief aim has been to convey the thought that the application of model theoretic techniques to natural languages needn't force a distortion of intentional phenomena. I hope that at least I have succeeded in accomplishing this.
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   23 citations  
  2.  33
    Richmond H. Thomason & Matthew Stone, Enlightened Update: A Computational Architecture for Presupposition and Other Pragmatic Phenomena.
    We relate the theory of presupposition accommodation to a computational framework for reasoning in conversation. We understand presuppositions as private commitments the speaker makes in using an utterance but expects the listener to recognize based on mutual information. On this understanding, the conversation can move forward not just through the positive effects of interlocutors’ utterances but also from the retrospective insight interlocutors gain about one anothers’ mental states from observing what they do. Our title, ENLIGHTENED UPDATE, highlights such cases. Our (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  3.  25
    Richmond H. Thomason & John F. Horty, A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems.
    Early attempts at combining multiple inheritance with nonmonotonic reasoning were based on straightforward extensions of tree-structured inheritance systems, and were theoretically unsound. In The Mathcmat~'cs of Inheritance Systcrns, or TMOIS, Touretzky described two problems these systems cannot handle: reasoning in the presence of true but redundant assertions, and coping with ambiguity. TMOIS provided a definition and analysis of a theoretically sound multiple inheritance system, accom-.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  4. Richmond A. Thomason (1981). Deontic Logic and the Role of Freedom in Moral Deliberation. In Risto Hilpinen (ed.), New Studies in Deontic Logic.
    Translate
     
     
    Export citation  
     
    My bibliography   6 citations  
  5.  87
    Robert C. Stalnaker & Richmond H. Thomason (1970). A Semantic Analysis of Conditional Logic. Theoria 36 (1):23-42.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   43 citations  
  6.  60
    Richmond Thomason & Anil Gupta (1980). A Theory of Conditionals in the Context of Branching Time. Philosophical Review 89 (1):65-90.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   16 citations  
  7.  23
    Richmond H. Thomason (1980). A Note on Syntactical Treatments of Modality. Synthese 44 (3):391 - 395.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   19 citations  
  8.  4
    Richmond H. Thomason (1969). A Semantical Study of Constructible Falsity. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (16-18):247-257.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  9.  3
    Richmond H. Thomason (1969). A Semantical Study of Constructible Falsity. Mathematical Logic Quarterly 15 (16‐18):247-257.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   13 citations  
  10.  33
    Richmond H. Thomason, Progress Towards a Formal Theory of Practical Reasoning: Problems and Prospects.
    From its beginnings in Aristotle, logic was intended to account not only for reasoning that is theoretical (or conclusion-oriented), but for reasoning that is practical (or actionoriented). However, despite an interest in the topic that continues to the present, the practical side of reasoning has remained broadly speculative. At least in some domains (mathematics, in particular), there are well developed proof-theoretic and semantic theories that yield quite detailed models of correct reasoning, and these models are useful for both theoretical and (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  11. Richmond H. Thomason (1970). A Fitch-Style Formulation of Conditional Logic. Logique Et Analyse 52:397-412.
     
    Export citation  
     
    My bibliography   7 citations  
  12.  4
    Richmond Thomason (1967). Review: Dag Prawitz, Natural Deduction. A Proof-Theoretical Study. [REVIEW] Journal of Symbolic Logic 32 (2):255-256.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13.  10
    Nuel D. Belnap & Richmond H. Thomason (1963). A Rule-Completeness Theorem. Notre Dame Journal of Formal Logic 4 (1):39-43.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  14.  5
    Richmond H. Thomason (1967). A Decision Procedure for Fitch's Propositional Calculus. Notre Dame Journal of Formal Logic 8 (1-2):101-117.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  15.  1
    Jaime G. Carbonell, David A. Evans, Dana S. Scott & Richmond H. Thomason, Final Report on the Automated Classification and Retrieval Project : MedSORT-1.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16.  1
    Richmond H. Thomason (1984). Review: Jon Barwise, Scenes and Other Situations; Jon Barwise, John Perry, Situations and Attitudes; Jon Barwise, John Perry, Peter A. French, Theodore E. Uehling, Howard K. Wettstein, Semantic Innocence and Uncompromising Situations. [REVIEW] Journal of Symbolic Logic 49 (4):1403-1406.
  17. Richmond H. Thomason (1984). Barwise Jon. Scenes and Other Situations. The Journal of Philosophy, Vol. 78 , Pp. 369–397.Barwise Jon and Perry John. Situations and Attitudes. The Journal of Philosophy, Vol. 78 , Pp. 668–691.Barwise Jon and Perry John. Semantic Innocence and Uncompromising Situations. The Foundations of Analytic Philosophy, Edited by French Peter A., Uehling Theodore E. Jr., and Wettstein Howard K., Midwest Studies in Philosophy, Vol. 6, University of Minnesota Press, Minneapolis 1981, Pp. 387–403. [REVIEW] Journal of Symbolic Logic 49 (4):1403-1406.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18. Richmond Thomason (1967). 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] Journal of Symbolic Logic 32 (2):255-256.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19.  34
    Samuel A. Richmond (1996). A Simplification of the Theory of Simplicity. Synthese 107 (3):373 - 393.
    Nelson Goodman has constructed two theories of simplicity: one of predicates; one of hypotheses. I offer a simpler theory by generalization and abstraction from his. Generalization comes by dropping special conditions Goodman imposes on which unexcluded extensions count as complicating and which excluded extensions count as simplifying. Abstraction is achieved by counting only nonisomorphic models and subinterpretations. The new theory takes into account all the hypotheses of a theory in assessing its complexity, whether they were projected prior to, or result (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  20.  5
    Joseph P. DeMarco & Samuel A. Richmond (1975). A Fault in the Utilitarian Theory of Conduct. Southern Journal of Philosophy 13 (3):275-279.
    Utilitarians take an uncritical attitude toward the sort of individual claims they seek to aggregate. In this way they cannot account for an individual's valid claim against a policy which actually maximizes aggregate satisfaction. We thus claim that utilitarianism properly functions only after conflicting claims have been adjudicated; consequently, Utilitarianism properly maximizes the satisfaction of claims judged to be valid. In such a program, Utilitarianism ceases to be considered a part of ethics, But is seen as maintaining a principle of (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  21.  4
    J. A. Richmond (1975). ΑΕΞΙΓΙΩΝ ΑΕΘΛΩΝ ΚΑΡΞ 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] The Classical Review 25 (01):75-77.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22.  4
    I. A. Richmond (1934). A Bibliographical Guide to Latium and Southern Etruria. Third Edition. Pp. 34, 8vo. A Companion to the Study of Pompeii and Herculaneum. Pp. 36, 8vo. By A. W. Van Buren. Rome: American Academy, 1933. Paper. [REVIEW] The Classical Review 48 (01):40-.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23.  9
    Samuel A. Richmond (1988). A Cumulative Peace Action Strategy. Journal for Peace and Justice Studies 1 (1):71-98.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  24.  14
    Joseph P. DeMarco & Samuel A. Richmond (1977). A Note on the Priority of Liberty. Ethics 87 (3):272-275.
  25.  7
    J. A. Richmond (1970). Alipedum Ius et Moderamen Equorum Paul Vigneron: Le Cheval dans l'antiquité gréco-romaine: contribution à l'histoire des techniques. (Annales de l'Est, Mémoire no. 35.) 2 vols. Pp. 338; 105 plates, line-drawings. Nancy: Faculté des Lettres, 1968. Paper. [REVIEW] The Classical Review 20 (02):215-216.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26.  6
    J. A. Richmond (1979). ΧΡΣΗ ΑΦΡΟΔΙΤΗ A. S. Hollis: Ovid, Ars Amatoria Book I, Edited with an Introduction and Commentary. Pp. Xxiv + 171; 4 Plates, 1 Map. Oxford: Clarendon Press, 1977. Cloth, £5. [REVIEW] The Classical Review 29 (01):41-42.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  27.  5
    J. A. Richmond (1975). Admoto Seria Lvdo Niall Rudd: The Satires of Horace and Persius. A Verse Translation with an Introduction and Notes. (Penguin Classics.) Pp. Vii+193. Harmondsworth: Penguin Books, 1973. Paper, 40p. [REVIEW] The Classical Review 25 (02):214-215.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28.  5
    J. A. Richmond (1976). 'Nemo Sine Vitiis …' John A. Barsby: Ovid's Amores Book One. Edited with Translation and Running Commentary. Pp. Ix + 180. Oxford: Clarendon Press, 1973. Paper, £2·50. [REVIEW] The Classical Review 26 (01):38-.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29.  5
    J. A. Richmond (1982). In Contraria Cvrrvnt Kenneth Quinn: Horace: The Odes, Edited with Introduction, Revised Text and Commentary. (Classical Series.) Pp. Xviii + 333. London: Macmillan Education, 1980. Paper, £8.95. R. G. M. Nisbet and Margaret Hubbard: A Commentary on Horace: Odes, Book II. Pp. Xvi + 355. Oxford: Clarendon Press, 1978. £12.50. [REVIEW] The Classical Review 32 (02):159-163.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30.  9
    J. A. Richmond (1972). Gratvm Opvs Agricolis K. D. White: Roman Farming. (Aspects of Greek and Roman Life.) Pp. 536; 81 Plates, 12 Line-Drawings, Maps, and Plans. London: Thames & Hudson, 1970. Cloth, £4·50. K. D. White: A Bibliography of Roman Agriculture. (Bibliographies in Agricultural History, No. 1.) Pp. Xxviii+63. Reading: University of Reading, Institute of Agricultural History, 1970. Paper, 85p. [REVIEW] The Classical Review 22 (03):389-392.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31.  7
    J. A. Richmond (1993). Peter K. Knoefel, Madeline C. Covi: A Hellenistic Treatise on Poisonous Animals (the 'Theriaca' of Nicander of Colophon). A Contribution to the History of Toxicology. Pp. Xiv + 173; 28 Figs, 19 Plates. Lewiston, NY; Queenston, Ontario; Lampeter: Edwin Mellen Press, 1991. [REVIEW] The Classical Review 43 (01):166-167.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32.  10
    Carl A. Richmond (1937). The Measurement of Time: A First Chapter of Physics. Philosophy of Science 4 (2):173-201.
  33.  3
    Samuel A. Richmond (1975). A Possible Empirical Violation of Sommers' Rule for Enforcing Ambiguity. Philosophical Studies 28 (5):363 - 366.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  34.  6
    J. A. Richmond (2000). A. Cavarzere: Sul Limitare: Il 'motto' e la poesia di Orazio . (Testi e Manuali per l'Insegnamento Universitario del Latino, 47.) Pp. 299. Bologna: Pátron, 1996. Paper, L. 35,000. ISBN: 88-555-2399-. [REVIEW] The Classical Review 50 (01):295-.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35.  4
    J. A. Richmond (2006). Cooley (A.E.) (Ed.) Becoming Roman, Writing Latin? Literacy and Epigraphy in the Roman West. (Journal of Roman Archaeology Supplementary Series 48.) Pp. 192, Ills. Portsmouth, RI: Journal of Roman Archaeology, 2002. Cased, $69.50. ISBN: 1-887829-48-. [REVIEW] The Classical Review 56 (02):483-.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36.  91
    Catharine Saint Croix & Richmond Thomason (2014). Chisholm's Paradox and Conditional Oughts. 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  
     
    My bibliography  
  37.  89
    Dustin Tucker & Richmond H. Thomason (2011). Paradoxes of Intensionality. Review of Symbolic Logic 4 (3):394-411.
    We identify a class of paradoxes that is neither set-theoretical nor semantical, but that seems to depend on intensionality. In particular, these paradoxes arise out of plausible properties of propositional attitudes and their objects. We try to explain why logicians have neglected these paradoxes, and to show that, like the Russell Paradox and the direct discourse Liar Paradox, these intensional paradoxes are recalcitrant and challenge logical analysis. Indeed, when we take these paradoxes seriously, we may need to rethink the commonly (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  38.  37
    Horacio Arló-Costa & Richmond H. Thomason (2001). Iterative Probability Kinematics. 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 (12 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  39.  60
    Robert C. Stalnaker & Richmond H. Thomason (1968). Abstraction in First-Order Modal Logic. Theoria 34 (3):203-207.
    The first amounts, roughly, to "It is necessarily the case that any President of the U.S. is a citizen of the U.S." But the second says, "the person who in fact is the President of the U.S, has the property of necessarily being a citizen of the U.S," Thus, while (2) is clearly true, it would be reasonable to consider (3) false.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   11 citations  
  40.  50
    Adam Rigoni & Richmond H. Thomason (2012). The Logic of Counterpart Theory with Actuality. Journal of Philosophical Logic (1):1-31.
    It has been claimed that counterpart theory cannot support a theory of actuality without rendering obviously invalid formulas valid or obviously valid formulas invalid. We argue that these claims are not based on logical flaws of counterpart theory itself, but point to the lack of appropriate devices in first-order logic for “remembering” the values of variables. We formulate a mildly dynamic version of first-order logic with appropriate memory devices and show how to base a version of counterpart theory with actuality (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  41.  38
    Matthew Stone & Richmond H. Thomason, Context in Abductive Interpretation.
    This paper develops a general approach to contextual reasoning in natural language processing. Drawing on the view of natural language interpretation as abduction (Hobbs et al., 1993), we propose that interpretation provides an explanation of how an utterance creates a new discourse context in which its interpreted content is both true and promi- nent. Our framework uses dynamic theories of semantics and pragmatics, formal theories of context, and models of attentional state. We describe and illustrate a Prolog implementation.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  42.  8
    Richmond H. Thomason (2011). Some Limitations to the Psychological Orientation in Semantic Theory. Journal of Philosophical Logic 40 (1):1 - 14.
    The psychological orientation treats semantics as a matter of idealized computation over symbolic structures, and semantic relations like denotation as relations between linguistic expressions and these structures. I argue that results similar to Gödel's incompleteness theorems and Tarski's theorem on truth create foundational difficulties for this view of semantics.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  43.  57
    Richmond H. Thomason, Ability, Action, and Context.
    This paper proposes a formalization of ability that is motivated in part by linguistic considerations and by the philosophical literature in action theory and the logic of ability, but that is also meant to match well with planning formalisms, and so to provide an account of the role of ability in practical reasoning. Some of the philosophical literature concerning ability, and in particular [Austin, 1956], suggests that some ways of talking about ability are context-dependent. I propose a way of formalizing (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44.  8
    Jeremy Lent & Richmond H. Thomason (2015). Action Models for Conditionals. Journal of Logic, Language and Information 24 (2):211-231.
    Possible worlds semantics for conditionals leave open the problem of how to construct models for realistic domains. In this paper, we show how to adapt logics of action and change such as John McCarthy’s Situation Calculus to conditional logics. We illustrate the idea by presenting models for conditionals whose antecedents combine a declarative condition with a hypothetical action.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45.  43
    Richmond H. Thomason, Defeasibly Successful Action.
    “Philosophy of action” is a recognized specialty in contemporary philosophy, and the literature on action is fairly extensive: see, for instance, (Care & Landesman 1968; Goldman 1970; Hornsby 1980). The relation of actions to their effects is formulated most clearly in the more specialized literature on the logic of action; see (Belnap & Perloff 1988; Chellas 1992; Czelakowski 1996; Segerberg 1982).
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  46.  39
    G. Aldo Antonelli & Richmond H. Thomason (2002). Representability in Second-Order Propositional Poly-Modal Logic. Journal of Symbolic Logic 67 (3):1039-1054.
    A propositional system of modal logic is second-order if it contains quantifiers ∀p and ∃p, which, in the standard interpretation, are construed as ranging over sets of possible worlds (propositions). Most second-order systems of modal logic are highly intractable; for instance, when augmented with propositional quantifiers, K, B, T, K4 and S4 all become effectively equivalent to full second-order logic. An exception is S5, which, being interpretable in monadic second-order logic, is decidable.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  47.  37
    Richmond H. Thomason, Ability and Action.
    This is part of a larger project that is motivated in part by linguistic considerations and by the philosophical literature in action theory and the logic of ability, but that is also meant to suggest ways in which planning formalisms could be modified to provide an account of the role of ability in planning and practical reasoning.
    Direct download  
     
    Export citation  
     
    My bibliography  
  48.  37
    Matthew Stone & Richmond H. Thomason, Coordinating Understanding and Generation in an Abductive Approach.
    We use a dynamic, context-sensitive approach to abductive interpretation to describe coordinated processes of understanding, generation and accommodation in dialogue. The agent updates the dialogue uniformly for its own and its interlocutors’ utterances, by accommodating a new context, inferred abductively, in which utterance content is both true and prominent. The generator plans natural and comprehensible utterances by exploiting the same abductive preferences used in understanding. We illustrate our approach by formalizing and implementing some interactions between information structure and the form (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  49.  23
    Richmond H. Thomason, Non-Monotonic Formalisms.
    I will try to do three things in this paper. First, I want to situate certain problems in natural language semantics with respect to larger trends in logicism, including: (i) Attempts by positivist philosophers earlier in this century to provide a logical basis for the physical sciences; (ii) Attempts by linguists and logicians to develop a “natural language ontology” (and, presumably, a logical language that is related to this ontology by formally explicit rules) that would serve as a framework for (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  50.  17
    Richmond H. Thomason, Mixing Strict and Defeasible Inheritance.
    rich domain involves an intricate mixture of strict and defeasible information. The importance of representing defeasible information in an inheritance system has been widely recognized, but it is not enough for a sys-.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000