70 found
Order:
Disambiguations
Richmond H. Thomason [70]Richmond Hunt Thomason [1]
  1. Indeterminist Time and Truth-Value Gaps.Richmond H. Thomason - 1970 - Theoria 36 (3):264-281.
  2. A Semantic Analysis of Conditional Logic.Robert C. Stalnaker & Richmond H. Thomason - 1970 - Theoria 36 (1):23-42.
  3. Formal Philosophy.Richmond H. Thomason (ed.) - 1974 - Yale University Press.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   35 citations  
  4. Formal Philosophy: Selected Papers of Richard Montague.Richmond H. Thomason & Richard Montague - 1976 - Foundations of Language 14 (3):413-418.
    No categories
     
    Export citation  
     
    Bookmark   74 citations  
  5. Formal Philosophy. Selected Papers of Richard Montague.Richard Montague & Richmond H. Thomason - 1975 - Erkenntnis 9 (2):252-286.
    No categories
     
    Export citation  
     
    Bookmark   63 citations  
  6. A Model Theory for Propositional Attitudes.Richmond H. Thomason - 1980 - 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 (7 more)  
     
    Export citation  
     
    Bookmark   47 citations  
  7. Formal Philosophy: Selected Papers of Richard Montague.Richard Montague & Richmond H. Thomason - 1978 - British Journal for the Philosophy of Science 29 (2):197-201.
     
    Export citation  
     
    Bookmark   56 citations  
  8. Modality and Reference.Richmond H. Thomason & Robert C. Stalnaker - 1968 - Noûs 2 (4):359-372.
  9.  35
    A Semantical Study of Constructible Falsity.Richmond H. Thomason - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (16-18):247-257.
  10.  52
    Deontic Logic as Founded on Tense Logic.Richmond H. Thomason - 1981 - In Risto Hilpinen (ed.), New Studies in Deontic Logic. pp. 165--176.
    Direct download  
     
    Export citation  
     
    Bookmark   33 citations  
  11.  85
    A Note on Syntactical Treatments of Modality.Richmond H. Thomason - 1980 - Synthese 44 (3):391 - 395.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  12.  24
    A Semantical Study of Constructible Falsity.Richmond H. Thomason - 1969 - Mathematical Logic Quarterly 15 (16‐18):247-257.
  13. Paradoxes of Intensionality.Dustin Tucker & Richmond H. Thomason - 2011 - 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 (8 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  14.  31
    Deontic Logic and the Role of Freedom in Moral Deliberation.Richmond H. Thomason - 1981 - In Risto Hilpinen (ed.), New Studies in Deontic Logic. pp. 177--186.
    Direct download  
     
    Export citation  
     
    Bookmark   30 citations  
  15.  43
    A Sceptical Theory of Inheritance in Nonmonotonic Semantic Networks.John F. Horty, Richmond H. Thomason & David S. Touretzky - 1990 - Artificial Intelligence 42 (2-3):311-348.
    inheritance reasoning in semantic networks allowing for multiple inheritance with exceptions. The approach leads to a definition of iaheritance that is..
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  16. Abstraction in First-Order Modal Logic.Robert C. Stalnaker & Richmond H. Thomason - 1968 - 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 (2 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  17.  35
    A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems.Richmond H. Thomason & John F. Horty - unknown
    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-.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   14 citations  
  18. Symbolic Logic.Richmond H. Thomason - 1970 - Macmillan.
  19.  32
    On the Strong Semantical Completeness of the Intuitionistic Predicate Calculus.Richmond H. Thomason - 1968 - Journal of Symbolic Logic 33 (1):1-7.
  20.  65
    Species, Determinates and Natural Kinds.Richmond H. Thomason - 1969 - Noûs 3 (1):95-101.
  21.  81
    Ability, Action, and Context.Richmond H. Thomason - unknown
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  22.  78
    Identity and Vagueness.Richmond H. Thomason - 1982 - Philosophical Studies 42 (3):329 - 332.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  23. A Fitch-Style Formulation of Conditional Logic.Richmond H. Thomason - 1970 - Logique Et Analyse 52:397-412.
     
    Export citation  
     
    Bookmark   15 citations  
  24.  65
    Indirect Discourse Is Not Quotational.Richmond H. Thomason - 1977 - The Monist 60 (3):340-354.
    The interpretation of indirect discourse is one of the most persistent and pervasive themes in post-Fregean semantics. Since Frege we have managed to learn a good deal about the workings of various technical approaches to indirect discourse, but fundamental philosophical issues have remained unresolved.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  25.  77
    Enlightened Update: A Computational Architecture for Presupposition and Other Pragmatic Phenomena.Richmond H. Thomason & Matthew Stone - unknown
    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  
     
    Export citation  
     
    Bookmark   8 citations  
  26.  11
    Some Completeness Results for Modal Predicate Calculi.Richmond H. Thomason - 1970 - In Karel Lambert (ed.), Philosophical Problems in Logic: Some Recent Developments. D. Reidel. pp. 56--76.
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  27. Formal Philosophy: Selected Papers of Richard Montague.Richmond H. Thomason - 1976 - Mind 85 (340):630-632.
    No categories
     
    Export citation  
     
    Bookmark   11 citations  
  28. Symbolic Logic.Richmond H. Thomason - 1971 - Journal of Symbolic Logic 36 (4):678-678.
     
    Export citation  
     
    Bookmark   11 citations  
  29. Context in Abductive Interpretation.Matthew Stone & Richmond H. Thomason - unknown
    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.
     
    Export citation  
     
    Bookmark   7 citations  
  30. Symbolic Logic an Introduction.Richmond H. Thomason - 1969 - New York, NY, USA: Macmillan.
  31.  78
    Representability in Second-Order Propositional Poly-Modal Logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - 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 (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  32.  26
    Some Limitations to the Psychological Orientation in Semantic Theory.Richmond H. Thomason - 2011 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  33.  41
    Three Interactions Between Context and Epistemic Locutions.Richmond H. Thomason - 2007 - In D. C. Richardson B. Kokinov (ed.), Modeling and Using Context. Springer. pp. 467--481.
  34.  59
    Necessity, Quotation, and Truth: An Indexical Theory.Richmond H. Thomason - 1975 - Philosophia 5 (3):219-241.
  35.  97
    The Logic of Counterpart Theory with Actuality.Adam Rigoni & Richmond H. Thomason - 2012 - 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 (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36.  31
    The Demarcation Line Between Intuitionist Logic and Classical Logic.Hugues Leblanc & Richmond H. Thomason - 1966 - Mathematical Logic Quarterly 12 (1):257-262.
  37.  34
    Mixing Strict and Defeasible Inheritance.Richmond H. Thomason - unknown
    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
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  38.  18
    A Rule-Completeness Theorem.Nuel D. Belnap & Richmond H. Thomason - 1963 - Notre Dame Journal of Formal Logic 4 (1):39-43.
  39.  32
    Action Models for Conditionals.Jeremy Lent & Richmond H. Thomason - 2015 - 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  
     
    Bookmark   1 citation  
  40.  20
    Common Knowledge, Common Attitudes and Social Reasoning.Richmond H. Thomason - 2021 - Bulletin of the Section of Logic 50 (2):229-247.
    For as long as there have been theories about common knowledge, they have been exposed to a certain amount of skepticism. Recent more sophisticated arguments question whether agents can acquire common attitudes and whether they are needed in social reasoning. I argue that this skepticism arises from assumptions about practical reasoning that, considered in themselves, are at worst implausible and at best controversial. A proper approach to the acquisition of attitudes and their deployment in decision making leaves room for common (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  35
    Some Issues Concerning the Interpretation of Derived and Gerundive Nominals.Richmond H. Thomason - 1985 - Linguistics and Philosophy 8 (1):73 - 80.
  42.  9
    Paradoxes and Semantic Representation.Richmond H. Thomason - 1988 - Journal of Symbolic Logic 53 (2):667-667.
  43.  85
    Twenty-Five Years of Linguistics and Philosophy.Francis Jeffry Pelletier & Richmond H. Thomason - 2002 - Linguistics and Philosophy 25 (5-6):507-529.
  44.  13
    A Decision Procedure for Fitch's Propositional Calculus.Richmond H. Thomason - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):101-117.
  45.  36
    Jon Barwise. Scenes and Other Situations. The Journal of Philosophy, Vol. 78 , Pp. 369–397. - Jon Barwise and John Perry. Situations and Attitudes. The Journal of Philosophy, Vol. 78 , Pp. 668–691. - Jon Barwise and John Perry. Semantic Innocence and Uncompromising Situations. The Foundations of Analytic Philosophy, Edited by Peter A. French, Theodore E. UehlingJr., and Howard K. Wettstein, Midwest Studies in Philosophy, Vol. 6, University of Minnesota Press, Minneapolis1981, Pp. 387–403. [REVIEW]Richmond H. Thomason - 1984 - Journal of Symbolic Logic 49 (4):1403-1406.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  20
    Predicate Calculus with Free Quantifier Variables.Richmond H. Thomason & D. Randolph Johnson Jr - 1969 - Journal of Symbolic Logic 34 (1):1-7.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  3
    Perspectives on Contexts.Paolo Bouquet, Luciano Serafini & Richmond H. Thomason (eds.) - 2008 - Center for the Study of Language and Inf.
    Most human thinking is thoroughly informed by context but, until recently, theories of reasoning have concentrated on abstract rules and generalities that make no reference to this crucial factor. _Perspectives on Contexts_ brings together essays from leading cognitive scientists to forge a vigorous interdisciplinary understanding of the contextual phenomenon. Applicable to human and machine cognition in philosophy, artificial intelligence, and psychology, this volume is essential to the current renaissance in thinking about context.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  67
    Ability and Action.Richmond H. Thomason - unknown
    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  
     
    Bookmark  
  49.  1
    Philosophy of Language.Zoltán Gendler Szabó & Richmond H. Thomason - 2018 - Cambridge University Press.
    This unique textbook introduces linguists to key issues in the philosophy of language. Accessible to students who have taken only a single course in linguistics, yet sophisticated enough to be used at the graduate level, the book provides an overview of the central issues in philosophy of language, a key topic in educating the next generation of researchers in semantics and pragmatics. Thoroughly grounded in contemporary linguistic theory, the book focus on the core foundational and philosophical issues in semantics and (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  50. Philosophical Logic and Artificial Intelligence.Richmond H. Thomason - 1988 - Dordrecht, Netherland: Kluwer Academic Publishers.
    cians concerned with using logical tools in philosophy have been keenly aware of the limitations that arise from the original con centration of symbolic logic on the idiom of mathematics, and many of them have worked to create extensions of the received logical theories that would make them more generally applicable in philosophy. Carnap's Testability and Meaning, published in 1936 and 1937, was a good early example of this sort of research, motivated by the inadequacy of first-order formalizations of dis (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 70