Order:
Disambiguations
Chris Fox [13]Christopher Fox [12]Christopher A. Fox [3]Christopher Andrew Fox [1]
See also
Chris Fox
University of Essex
  1.  60
    Foundations of Intensional Semantics.Chris Fox - 2005 - Blackwell.
    This book provides a systematic study of three foundational issues in the semantics of natural language that have been relatively neglected in the past few decades. focuses on the formal characterization of intensions, the nature of an adequate type system for natural language semantics, and the formal power of the semantic representation language proposes a theory that offers a promising framework for developing a computational semantic system sufficiently expressive to capture the properties of natural language meaning while remaining computationally tractable (...)
    Direct download  
     
    Export citation  
     
    My bibliography   5 citations  
  2.  22
    ‘Ought Implies Can’ and the Law.Chris Fox & Guglielmo Feis - 2018 - Inquiry: An Interdisciplinary Journal of Philosophy 61 (4):370-393.
    In this paper, we investigate the ‘ought implies can’ thesis, focusing on explanations and interpretations of OIC, with a view to clarifying its uses and relevance to legal philosophy. We first review various issues concerning the semantics and pragmatics of OIC; then we consider how OIC may be incorporated in Hartian and Kelsenian theories of the law. Along the way we also propose a taxonomy of OIC-related claims.
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography  
  3.  38
    Imperatives: A Judgemental Analysis.Chris Fox - 2012 - Studia Logica 100 (4):879-905.
    This paper proposes a framework for formalising intuitions about the behaviour of imperative commands. It seeks to capture notions of satisfaction and coherence. Rules are proposed to express key aspects of the general logical behaviour of imperative constructions. A key objective is for the framework to allow patterns of behaviour to be described while avoiding making any commitments about how commands, and their satisfaction criteria, are to be interpreted. We consider the status of some conundrums of imperative logic in the (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  4. Expressiveness and Complexity in Underspecified Semantics.Chris Fox & Shalom Lappin - 2010 - Linguistic Analysis 36:385--417.
    In this paper we address an important issue in the development of an adequate formal theory of underspecified semantics. The tension between expressive power and computational tractability poses an acute problem for any such theory. Generating the full set of resolved scope readings from an underspecified representation produces a combinatorial explosion that undermines the efficiency of these representations. Moreover, Ebert (2005) shows that most current theories of underspecified semantic representation suffer from expressive incompleteness. In previous work we present an account (...)
     
    Export citation  
     
    My bibliography   1 citation  
  5.  70
    Sacrificial Pasts and Messianic Futures: Religion as a Political Prospect in René Girard and Giorgio Agamben.Christopher A. Fox - 2007 - Philosophy and Social Criticism 33 (5):563-595.
    Religion has become a vital resource for attempts to rethink the meaning of the political. This article rehearses the efforts of two recent figures, René Girard and Giorgio Agamben, to transform the political by renewing its connection to religion. Both thinkers struggle to escape politics as defined by Carl Schmitt's friend/enemy distinction. Girard and Agamben do clash ideologically, but their inquiries into sacrifice and messianism take similar courses. Regarding origins, Girard argues for the sacrificial crisis as the common parent to (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  6.  80
    An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics.Chris Fox & Shalom Lappin - 2004 - Logic Journal of the Interest Group in Pure and Applied Logics 12 (2):135--168.
    We present Property Theory with Curry Typing (PTCT), an intensional first-order logic for natural language semantics. PTCT permits fine-grained specifications of meaning. It also supports polymorphic types and separation types. We develop an intensional number theory within PTCT in order to represent proportional generalized quantifiers like “most.” We use the type system and our treatment of generalized quantifiers in natural language to construct a type-theoretic approach to pronominal anaphora that avoids some of the difficulties that undermine previous type-theoretic analyses of (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  7.  18
    Inventing Human Science: Eighteenth Century Domains.Christopher Fox, Roy Porter & Robert Wokler (eds.) - 1995 - University of California Press.
    A work of remarkable cross-disciplinary scholarship, this volume illuminates the origins of the human sciences and offers a new view of the Enlightenment that ...
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  8.  41
    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  
     
    My bibliography  
  9. Introduction: How to Prepare a Noble Savage: The Spectacle of Human Science.Christopher Fox - 1995 - In C. Fox, R. Porter & R. Wokler (eds.), Inventing Human Science. University of California Press. pp. 1--30.
     
    Export citation  
     
    My bibliography   2 citations  
  10. Locke and the Scriblerians Identity and Consciousness in Early Eighteenth-Century Britain.Christopher Fox - 1988
     
    Export citation  
     
    My bibliography   2 citations  
  11.  32
    In Defence of Axiomatic Semantics.Chris Fox & Raymond Turner - 2012 - In Piotr Stalmaszcyzk (ed.), Philosophical and Formal Approaches to Linguistic Analysis. Ontos Verlag. pp. 145.
    We may wonder about the status of logical accounts of the meaning of language. When does a particular proposal count as a theory? How do we judge a theory to be correct? What criteria can we use to decide whether one theory is “better” than another? Implicitly, many accounts attribute a foundational status to set theory, and set-theoretic characterisations of possible worlds in particular. The goal of a semantic theory is then to find a translation of the phenomena of interest (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  12. Achieving Expressive Completeness and Computational Efficiency for Underspecified Scope Representations.Chris Fox & Shalom Lappin - unknown
    The tension between expressive power and computational tractability poses an acute problem for theories of underspecified semantic representation. In previous work we have presented an account of underspecified scope representations within Property Theory with Curry Typing, an intensional first-order theory for natural language semantics. Here we show how filters applied to the underspecified-scope terms of PTCT permit both expressive completeness and the reduction of computational complexity in a significant class of non-worst case scenarios.
     
    Export citation  
     
    My bibliography  
  13.  3
    Freedom of Information Act: Scalpel or Just a Sharp Knife?: Table 1.Simon P. Hammond, Jane L. Cross, Fiona M. Poland, Martyn Patel, Bridget Penhale, Toby O. Smith & Chris Fox - 2017 - Journal of Medical Ethics 43 (1):60-62.
    Direct download  
     
    Export citation  
     
    My bibliography  
  14. First-Order, Curry-Typed Logic for Natural Language Semantics.Chris Fox, Shalom Lappin & Carl Pollard - unknown
    The paper presents Property Theory with Curry Typing where the language of terms and well-formed formulæ are joined by a language of types. In addition to supporting fine-grained intensionality, the basic theory is essentially first-order, so that implementations using the theory can apply standard first-order theorem proving techniques. The paper sketches a system of tableau rules that implement the theory. Some extensions to the type theory are discussed, including type polymorphism, which provides a useful analysis of conjunctive terms. Such terms (...)
     
    Export citation  
     
    My bibliography  
  15. Inventing Human Science: Eighteenth Century Domains.Christopher Fox, Roy Porter, Robert Wokler & G. W. Stocking Jr - 1997 - Annals of Science 54 (3):313-313.
    The human sciences—including psychology, anthropology, and social theory—are widely held to have been born during the eighteenth century. This first full-length, English-language study of the Enlightenment sciences of humans explores the sources, context, and effects of this major intellectual development. The book argues that the most fundamental inspiration for the Enlightenment was the scientific revolution of the seventeenth century. Natural philosophers from Copernicus to Newton had created a magisterial science of nature based on the realization that the physical world operated (...)
     
    Export citation  
     
    My bibliography   1 citation  
  16.  11
    The Novelty of Religion and the Religiosity of Substitution in Levinas and Agamben.Christopher Fox - 2011 - Levinas Studies 6:131-158.
  17.  10
    The Good Samaritan and the Hygienic Cook: A Cautionary Tale About Linguistic Data.Chris Fox - 2010 - In Piotr Stalmaszczyk (ed.), Philosophy of Language and Linguistics. Ontos Verlag. pp. 103.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  8
    Is Judea, Then, the Teutons’ Fatherland?Christopher Fox - 2015 - Idealistic Studies 45 (2):229-246.
    I read Tacitus’s valorizing of the Germani in Germania and his depiction of Jews in the Annals and Histories as sources of post-medieval Germany’s identity crisis. Tacitus compares German and Jewish sexuality, marriage, morality, religion, superstition, and women. Most importantly, he devises contrasting German and Jewish models of freedom that prefigure this concept’s development in Kantian and Post-Kantian philosophy. This leads to a paradox: although Tacitus denounces Jews for what he praises in the Germani, he admires Jewish anti-idolatry and freedom. (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  19.  22
    Underspecified Interpretations in a Curry-Typed Representation Language.Chris Fox & Shalom Lappin - 2005 - Journal of Logic and Computation 15 (2):131--143.
    In previous work we have developed Property Theory with Curry Typing (PTCT), an intensional first-order logic for natural language semantics. PTCT permits fine-grained specifications of meaning. It also supports polymorphic types and separation types. We develop an intensional number theory within PTCT in order to represent proportional generalized quantifiers like "most", and we suggest a dynamic type-theoretic approach to anaphora and ellipsis resolution. Here we extend the type system to include product types, and use these to define a permutation function (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  20.  20
    Briefly Noted.Chris Fox & Shalom Lappin - unknown
    Intensional logic (IL) and its application to natural language, which the present monograph addresses, was first developed by Richard Montague in the late 1960s (e.g., Montague 1970a, 1970b). Through the efforts of (especially) Barbara Partee (e.g., Partee 1975, 1976), and Richmond Thomason, who edited the posthumous collection of Montague’s works (Thomason 1974), this became the main framework for those who aspired to a formal semantic theory for natural language, and these included computational linguists as early as Jerry Hobbs in the (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  21.  18
    The Apotheosis of Apotheosis: Levinas's on Escape, Hegel's Unhappy Consciousness, and Us.Christopher Fox - 2007 - Epoché: A Journal for the History of Philosophy 12 (1):185-204.
    The recent translation of Emmanuel Levinas’s essay On Escape complicates our view of his relationship to Hegel, and reopens the ontological question of escape. The impetus for Levinas’s essay was National Socialism’s effort to reduce subjectivity to being qua biologistic. To resist this, Levinas enlists idealism as an ally. He affirms the idealist subject’s effort to escape being, but denies that it makes good its escape. I challenge this denial by comparing Levinas’s phenomenology of escape with Hegel’s phenomenology of unhappy (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  22.  6
    Real Subsumption, the Faith-Based Self, and Resistance.Christopher A. Fox - 2007 - International Studies in Philosophy 39 (2):49-71.
  23.  3
    National Socialist Architecture as an Acceleration of Time.Eric Michaud & Christopher Fox - 1993 - Critical Inquiry 19 (2):220-233.
  24. Gulliver's Travels, Jonathan Swift: Case Studies in Contemporary Criticism.Christopher Fox - 1998 - Utopian Studies 9 (2):250-252.
     
    Export citation  
     
    My bibliography  
  25. The Apotheosis of Apotheosis: Levinas’s On Escape, Hegel’s Unhappy Consciousness, and Us.Christopher Fox - 2007 - Epoché: A Journal for the History of Philosophy 12 (1):185-204.
    The recent translation of Emmanuel Levinas’s essay On Escape complicates our view of his relationship to Hegel, and reopens the ontological question of escape. The impetus for Levinas’s essay was National Socialism’s effort to reduce subjectivity to being qua biologistic. To resist this, Levinas enlists idealism as an ally. He affirms the idealist subject’s effort to escape being, but denies that it makes good its escape. I challenge this denial by comparing Levinas’s phenomenology of escape with Hegel’s phenomenology of unhappy (...)
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  26. The Novelty of Religion and the Religiosity of Substitution in Levinas and Agamben.Christopher Fox - 2011 - Levinas Studies 6:131-158.
    Direct download  
     
    Export citation  
     
    My bibliography