Switch to: References

Citations of:

In R. Thomason

In Richmond H. Thomason (ed.), Formal Philosophy. Yale University Press (1974)

Add citations

You must login to add citations.
  1. Freedom and Enforcement in Action: A Study in Formal Action Theory.Janusz Czelakowski - 2015 - Dordrecht, Netherland: Springer.
    Situational aspects of action are discussed. The presented approach emphasizes the role of situational contexts in which actions are performed. These contexts influence the course of an action; they are determined not only by the current state of the system but also shaped by other factors as time, the previously undertaken actions and their succession, the agents of actions and so on. The distinction between states and situations is explored from the perspective of action systems. The notion of a situational (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Type-Theoretic Logic with an Operational Account of Intensionality.Shalom Lappin & Chris Fox - 2015 - Synthese 192 (3):563-584.
    We formulate a Curry-typed logic with fine-grained intensionality within Turner’s typed predicate logic. This allows for an elegant presentation of a theory that corresponds to Fox and Lappin’s property theory with curry typing, but without the need for a federation of languages. We then consider how the fine-grained intensionality of this theory can be given an operational interpretation. This interpretation suggests itself as expressions in the theory can be viewed as terms in the untyped lambda-calculus, which provides a model of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Reference in Conceptual Realism.Nino B. Cocchiarella - 1998 - Synthese 114 (2):169-202.
    A conceptual theory of the referential and predicable concepts used in basic speech and mental acts is described in which singular and general, complex and simple, and pronominal and nonpronominal, referential concepts are given a uniform account. The theory includes an intensional realism in which the intensional contents of predicable and referential concepts are represented through nominalized forms of the predicate and quantifier phrases that stand for those concepts. A central part of the theory distinguishes between active and deactivated referential (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • Semantics and Truth Relative to a World.Michael Glanzberg - 2009 - Synthese 166 (2):281-307.
    This paper argues that relativity of truth to a world plays no significant role in empirical semantic theory, even as it is done in the model-theoretic tradition relying on intensional type theory. Some philosophical views of content provide an important notion of truth at a world, but they do not constrain the empirical domain of semantic theory in a way that makes this notion empirically significant. As an application of this conclusion, this paper shows that a potential motivation for relativism (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  • Simple Concepts.Pavel Materna - 2013 - Acta Analytica 28 (3):295-319.
    To talk about simple concepts presupposes that the notion of concept has been aptly explicated. I argue that a most adequate explication should abandon the set-theoretical paradigm and use a procedural approach. Such a procedural approach is offered by Tichý´s Transparent Intensional Logic (TIL). Some main notions and principles of TIL are briefly presented, and as a result, concepts are explicated as a kind of abstract procedure. Then it can be shown that simplicity, as applied to concepts, is well definable (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • On the Surface Verb Q'ay'ai Qela.Emmon Bach - 2002 - Linguistics and Philosophy 25 (5-6):531-544.
  • Logic and Ontology.Nino B. Cocchiarella - 2001 - Axiomathes 12 (1-2):117-150.
    A brief review of the historicalrelation between logic and ontologyand of the opposition between the viewsof logic as language and logic as calculusis given. We argue that predication is morefundamental than membership and that differenttheories of predication are based on differenttheories of universals, the three most importantbeing nominalism, conceptualism, and realism.These theories can be formulated as formalontologies, each with its own logic, andcompared with one another in terms of theirrespective explanatory powers. After a briefsurvey of such a comparison, we argue (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations