65 found
Order:
Disambiguations
Jeffrey Paris [40]Jeff Paris [16]Jeff B. Paris [4]Jeffrey B. Paris [2]
Jeffrey R. Paris [2]Jeffrey Bruce Paris [1]
See also
Jeffrey Paris
University of Manchester
  1.  26
    The Type Theoretic Interpretation of Constructive Set Theory.Peter Aczel, Angus Macintyre, Leszek Pacholski & Jeff Paris - 1984 - Journal of Symbolic Logic 49 (1):313-314.
    Direct download  
     
    Export citation  
     
    Bookmark   79 citations  
  2. A mathematical incompleteness in Peano arithmetic.Jeff Paris & Leo Harrington - 1977 - In Jon Barwise & H. Jerome Keisler (eds.), Handbook of Mathematical Logic. North-Holland Pub. Co.. pp. 90--1133.
     
    Export citation  
     
    Bookmark   63 citations  
  3. The liar paradox and fuzzy logic.Petr Hájek, Jeff Paris & John Shepherdson - 2000 - Journal of Symbolic Logic 65 (1):339-346.
    Can one extend crisp Peano arithmetic PA by a possibly many-valued predicate Tr(x) saying "x is true" and satisfying the "dequotation schema" $\varphi \equiv \text{Tr}(\bar{\varphi})$ for all sentences φ? This problem is investigated in the frame of Lukasiewicz infinitely valued logic.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  4.  7
    Pure Inductive Logic.Jeffrey Paris & Alena Vencovská - 2011 - Cambridge, UK: Cambridge University Press. Edited by Alena Vencovská.
    Pure Inductive Logic is the study of rational probability treated as a branch of mathematical logic. This monograph, the first devoted to this approach, brings together the key results from the past seventy years, plus the main contributions of the authors and their collaborators over the last decade, to present a comprehensive account of the discipline within a single unified context.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  5.  90
    Common sense and maximum entropy.Jeff Paris - 1998 - Synthese 117 (1):75-93.
    This paper concerns the question of how to draw inferences common sensically from uncertain knowledge. Since the early work of Shore and Johnson (1980), Paris and Vencovská (1990), and Csiszár (1989), it has been known that the Maximum Entropy Inference Process is the only inference process which obeys certain common sense principles of uncertain reasoning. In this paper we consider the present status of this result and argue that within the rather narrow context in which we work this complete and (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  6.  78
    Frank Ramsey.Fraser MacBride, Mathieu Marion, Maria Jose Frapolli, Dorothy Edgington, Edward J. R. Elliott, Sebastian Lutz & Jeffrey Paris - 2019 - Stanford Encyclopedia of Philosophy.
    Frank Plumpton Ramsey (1903–30) made seminal contributions to philosophy, mathematics and economics. Whilst he was acknowledged as a genius by his contemporaries, some of his most important ideas were not appreciated until decades later; now better appreciated, they continue to bear an influence upon contemporary philosophy. His historic significance was to usher in a new phase of analytic philosophy, which initially built upon the logical atomist doctrines of Bertrand Russell and Ludwig Wittgenstein, raising their ideas to a new level of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  26
    The liar paradox and fuzzy logic.Petr Hájek, Jeff Paris & John Shepherdson - 2000 - Journal of Symbolic Logic 65 (1):339-346.
    Can one extend crisp Peano arithmetic PA by a possibly many-valued predicate Tr(x) saying “xis true” and satisfying the “dequotation schema”for all sentences φ? This problem is investigated in the frame of Łukasiewicz infinitely valued logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  8.  75
    Rational Pavelka predicate logic is a conservative extension of łukasiewicz predicate logic.Petr Hájek, Jeff Paris & John Shepherdson - 2000 - Journal of Symbolic Logic 65 (2):669-682.
    Rational Pavelka logic extends Lukasiewicz infinitely valued logic by adding truth constants r̄ for rationals in [0, 1]. We show that this is a conservative extension. We note that this shows that provability degree can be defined in Lukasiewicz logic. We also give a counterexample to a soundness theorem of Belluce and Chang published in 1963.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  9.  20
    Maximum Entropy Inference with Quantified Knowledge.Owen Barnett & Jeff Paris - 2008 - Logic Journal of the IGPL 16 (1):85-98.
    We investigate uncertain reasoning with quantified sentences of the predicate calculus treated as the limiting case of maximum entropy inference applied to finite domains.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  10.  35
    A characterization of the language invariant families satisfying spectrum exchangeability in polyadic inductive logic.Jürgen Landes, Jeff B. Paris & Alena Vencovská - 2010 - Annals of Pure and Applied Logic 161 (6):800-811.
    A necessary and sufficient condition in terms of a de Finetti style representation is given for a probability function in Polyadic Inductive Logic to satisfy being part of a Language Invariant family satisfying Spectrum Exchangeability. This theorem is then considered in relation to the unary Carnap and Nix–Paris Continua.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  11.  19
    Pure inductive logic with functions.Elizabeth Howarth & Jeffrey B. Paris - 2019 - Journal of Symbolic Logic 84 (4):1382-1402.
    We consider the version of Pure Inductive Logic which obtains for the language with equality and a single unary function symbol giving a complete characterization of the probability functions on this language which satisfy Constant Exchangeability.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  57
    Some Aspects of Polyadic Inductive Logic.Jürgen Landes, Jeff Paris & Alena Vencovská - 2008 - Studia Logica 90 (1):3-16.
    We give a brief account of some de Finetti style representation theorems for probability functions satisfying Spectrum Exchangeability in Polyadic Inductive Logic, together with applications to Non-splitting, Language Invariance, extensions with Equality and Instantial Relevance.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  13. The Counterpart Principle of Analogical Support by Structural Similarity.Alexandra Hill & Jeffrey Bruce Paris - 2014 - Erkenntnis 79 (S6):1-16.
    We propose and investigate an Analogy Principle in the context of Unary Inductive Logic based on a notion of support by structural similarity which is often employed to motivate scientific conjectures.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  57
    Rationality As Conformity.Hykel Hosni & Jeff Paris - 2005 - Synthese 144 (2):249-285.
    We argue in favour of identifying one aspect of rational choice with the tendency to conform to the choice you expect another like-minded, but non-communicating, agent to make and study this idea in the very basic case where the choice is from a non-empty subset K of 2 A and no further structure or knowledge of A is assumed.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  15.  79
    Regularity in models of arithmetic.George Mills & Jeff Paris - 1984 - Journal of Symbolic Logic 49 (1):272-280.
    This paper investigates the quantifier "there exist unboundedly many" in the context of first-order arithmetic. An alternative axiomatization is found for Peano arithmetic based on an axiom schema of regularity: The union of boundedly many bounded sets is bounded. We also obtain combinatorial equivalents of certain second-order theories associated with cuts in nonstandard models of arithmetic.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  16.  37
    Truth definitions without exponentiation and the Σ₁ collection scheme.Zofia Adamowicz, Leszek Aleksander Kołodziejczyk & Jeff Paris - 2012 - Journal of Symbolic Logic 77 (2):649-655.
    We prove that: • if there is a model of I∆₀ + ¬ exp with cofinal Σ₁-definable elements and a Σ₁ truth definition for Σ₁ sentences, then I∆₀ + ¬ exp +¬BΣ₁ is consistent, • there is a model of I∆₀ Ω₁ + ¬ exp with cofinal Σ₁-definable elements, both a Σ₂ and a ∏₂ truth definition for Σ₁ sentences, and for each n > 2, a Σ n truth definition for Σ n sentences. The latter result is obtained by (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  48
    A Note on Irrelevance in Inductive Logic.Jeff B. Paris & Alena Vencovská - 2011 - Journal of Philosophical Logic 40 (3):357 - 370.
    We consider two formalizations of the notion of irrelevance as a rationality principle within the framework of (Carnapian) Inductive Logic: Johnson's Sufficientness Principle, JSP, which is classically important because it leads to Carnap's influential Continuum of Inductive Methods and the recently proposed Weak Irrelevance Principle, WIP. We give a complete characterization of the language invariant probability functions satisfying WIP which generalizes the Nix-Paris Continuum. We argue that the derivation of two very disparate families of inductive methods from alternative perceptions of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  4
    Deriving Information from Inconsistent Knowledge Bases: A Completeness Theorem for η▹η.Jeff Paris - 2004 - Logic Journal of the IGPL 12 (5):345-353.
    The logical consequence relations η▹η provide a very attractive way of inferring new facts from inconsistent knowledge bases without compromising standards of credibility. In this short note we provide proof theories and completeness theorems for these consequence relations which may have some applicability in small examples.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  19.  27
    The Twin Continua of Inductive Methods.Alena Vencovská & Jeff B. Paris - 2015 - In Åsa Hirvonen, Juha Kontinen, Roman Kossak & Andrés Villaveces (eds.), Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Boston: De Gruyter. pp. 355-366.
  20.  25
    Subsets of models of arithmetic.Roman Kossak & Jeffrey B. Paris - 1992 - Archive for Mathematical Logic 32 (1):65-73.
    We define certain properties of subsets of models of arithmetic related to their codability in end extensions and elementary end extensions. We characterize these properties using some more familiar notions concerning cuts in models of arithmetic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  11
    Introduction.Eduardo Mendieta & Jeffrey Paris - 2003 - Radical Philosophy Review 6 (2):3-4.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  7
    Introduction.Eduardo Mendieta & Jeffrey Paris - 2004 - Radical Philosophy Review 7 (1):3-4.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  24
    Introduction.Eduardo Mendieta & Jeffrey Paris - 2004 - Radical Philosophy Review 7 (1):3-4.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  24.  3
    What You See Is What You Get.Jeff B. Paris - 2014 - Entropy 16 (11):6186-6194.
    This paper corrects three widely held misunderstandings about Maxent when used in common sense reasoning: That it is language dependent; That it produces objective facts; That it subsumes, and so is at least as untenable as, the paradox-ridden Principle of Insufficient Reason.
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  21
    Ideals on Uncountable Cardinals.James E. Baumgartner, Alan Taylor, Stanley Wagon, Angus Macintyre, Leszek Pacholski & Jeff Paris - 2001 - Bulletin of Symbolic Logic 7 (1):79-79.
  26. Max deutsch/intentionalism and intransitivity O. lombardi/dretske, Shannon's theory and the interpre-tation of information Wayne wright/distracted drivers and unattended experience.Henk W. de Regt, Dennis Dieks, A. Contextual, Hykel Hosni, Jeff Paris & Rationality as Conformity - 2005 - Synthese 144 (1):449-450.
  27. Rational Pavelka Predicate Logic is a Conservative Extension of Lukasiewicz Predicate Logic.Petr Hajek, Jeff Paris & John Shepherdson - 2000 - Journal of Symbolic Logic 65 (2):669-682.
    Rational Pavelka logic extends Lukasiewicz infinitely valued logic $by adding truth constants \bar{r} for rationals in [0, 1].$ We show that this is a conservative extension. We note that this shows that provability degree can be defined in Lukasiewicz logic. We also give a counterexample to a soundness theorem of Belluce and Chang published in 1963.
     
    Export citation  
     
    Bookmark   1 citation  
  28.  25
    Jurgen Habermas: A Philosophical-Political Profile (review).Jeffrey R. Paris - 2003 - Journal of the History of Philosophy 41 (3):424-425.
    In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 41.3 (2003) 424-425 [Access article in PDF] Martin Beck Matustík. Jürgen Habermas: A Philosophical-Political Profile. Lanham, MD: Rowman & Littlefield Publishers, 2001. Pp. xxxvii + 341. Cloth, $85.00. Paper, $29.95.Martin Beck Matustík's Jürgen Habermas is arguably the most exciting contribution to critical theory debates and scholarship in the last decade. Not only does it provide an original and convincing portrayal of Habermas's life (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  29.  26
    Editors’ Introduction.Eduardo Mendieta & Jeffrey Paris - 2007 - Radical Philosophy Review 10 (1):5-7.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  30.  13
    Editors’ Introduction.Eduardo Mendieta & Jeffrey Paris - 2006 - Radical Philosophy Review 9 (1):3-5.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  9
    Editors’ Introduction.Eduardo Mendieta & Jeffrey Paris - 2005 - Radical Philosophy Review 8 (1):3-5.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  5
    Editors’ Introduction.Eduardo Mendieta & Jeffrey Paris - 2007 - Radical Philosophy Review 10 (1):5-7.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  11
    Editors’ Introduction.Eduardo Mendieta & Jeffrey Paris - 2007 - Radical Philosophy Review 10 (2):3-7.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  8
    Editors’ Introduction.Eduardo Mendieta & Jeffrey Paris - 2006 - Radical Philosophy Review 9 (2):3-5.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  4
    Editors’ Introduction.Eduardo Mendieta & Jeffrey Paris - 2005 - Radical Philosophy Review 8 (2):3-6.
  36.  10
    Introduction.Eduardo Mendieta & Jeffrey Paris - 2004 - Radical Philosophy Review 7 (2):3-4.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  9
    Introduction.Eduardo Mendieta & Jeffrey Paris - 2003 - Radical Philosophy Review 6 (1):3-4.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38. Liberation between selves, sexualities, and war.Greg Moses & Jeffrey Paris - 2006 - Charlottesville, VA, USA: Philosophy Documentation Center.
    During two centuries of industrial revolution, history's most powerful ruling class has been produced, equipped, and armed to the teeth --not just with bullets but also with powerful media and an aggressive ideology of domination. Increasingly, the democratic institutions crafted at the dawn of capitalism are being undermined or overrun by corporate and financial overseers. Despite the fact that history gives ample reason to fear the worst for the future, social and political theory can be a form of resistance and (...)
     
    Export citation  
     
    Bookmark  
  39.  42
    13. Abolition Democracy and the Ultimate Carceral Threat.Jeffrey Paris - 2007 - Radical Philosophy Today 2007:237-247.
    The series of conversations between Angela Y. Davis and Eduardo Mendieta entitled Abolition Democracy is a powerful investigation of the failed moral imagination of imperial democracies. After examining their discussion of how truncated political discourses enable abuses in both war and imprisonment, I look to the “exceptional” status of war prisons such as at Guantánamo and Abu Ghraib. I argue that domestic prisons, like international war prisons, are means for the paradigmatic functioning of the exception in modern democracy, as described (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  31
    Abolition Democracy and the Ultimate Carceral Threat.Jeffrey Paris - 2007 - Radical Philosophy Today 5:237-247.
    The series of conversations between Angela Y. Davis and Eduardo Mendieta entitled Abolition Democracy is a powerful investigation of the failed moral imagination of imperial democracies. After examining their discussion of how truncated political discourses enable abuses in both war and imprisonment, I look to the “exceptional” status of war prisons such as at Guantánamo and Abu Ghraib. I argue that domestic prisons, like international war prisons, are means for the paradigmatic functioning of the exception in modern democracy, as described (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  16
    After Rawls.Jeffrey Paris - 2002 - Social Theory and Practice 28 (4):679-699.
  42.  14
    Books for Review.Jeffrey Paris - 2007 - Radical Philosophy Review 10 (2):206-207.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  43.  17
    Contributors.Jeffrey Paris - 1998 - Radical Philosophy Review 1 (1):87-88.
  44.  3
    Contributors.Jeffrey Paris - 1999 - Radical Philosophy Review 2 (1):77-78.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  2
    Contributors.Jeffrey Paris - 2000 - Radical Philosophy Review 3 (1):107-108.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  2
    Contributors.Jeffrey Paris - 2001 - Radical Philosophy Review 3 (2):207-209.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  9
    Contributors.Jeffrey Paris - 2002 - Radical Philosophy Review 5 (1):207-209.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  4
    Contributors.Jeffrey Paris - 2007 - Radical Philosophy Review 10 (1):98-99.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  22
    2008 Conference Announcement.Jeffrey Paris - 2007 - Radical Philosophy Review 10 (2):208-208.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  50.  28
    Decarceration and the Philosophies of Mass Imprisonment.Jeffrey Paris - 2007 - Human Studies 30 (4):323 - 343.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 65