182 found
Order:
Disambiguations
J. B. Paris [58]Jeffrey Paris [38]John J. Paris [32]Jeff Paris [16]
J. Paris [15]Jean Paris [8]Joel Paris [6]John Paris [3]

Not all matches are shown. Search with initial or firstname to single out others.

See also
Profile: Jeffrey Paris (University of Manchester)
Profile: Jerome Paris (New Jersey Institute of Technology)
  1.  20
    The Uncertain Reasoner's Companion: A Mathematical Perspective.J. B. Paris - 1994 - Cambridge University Press.
    Reasoning under uncertainty, that is, making judgements with only partial knowledge, is a major theme in artificial intelligence. Professor Paris provides here an introduction to the mathematical foundations of the subject. It is suited for readers with some knowledge of undergraduate mathematics but is otherwise self-contained, collecting together the key results on the subject, and formalising within a unified framework the main contemporary approaches and assumptions. The author has concentrated on giving clear mathematical formulations, analyses, justifications and consequences of the (...)
    Direct download  
     
    Export citation  
     
    My bibliography   23 citations  
  2.  43
    Ancient Indian Logic and Analogy.J. B. Paris & A. Vencovska - 2017 - In S. Ghosh & S. Prasad (eds.), Logic and its Applications, Lecture Notes in Computer Science 10119. Springer. pp. 198-210.
    B.K.Matilal, and earlier J.F.Staal, have suggested a reading of the `Nyaya five limb schema' (also sometimes referred to as the Indian Schema or Hindu Syllogism) from Gotama's Nyaya-Sutra in terms of a binary occurrence relation. In this paper we provide a rational justification of a version of this reading as Analogical Reasoning within the framework of Polyadic Pure Inductive Logic.
    Direct download  
     
    Export citation  
     
    My bibliography  
  3.  7
    On the Scheme of Induction for Bounded Arithmetic Formulas.A. J. Wilkie & J. B. Paris - 1987 - Annals of Pure and Applied Logic 35 (3):261-302.
  4. $ZF \Vdash \Sum^0_4$ Determinateness.J. B. Paris - 1972 - Journal of Symbolic Logic 37 (4):661 - 667.
  5.  3
    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  
     
    My bibliography   42 citations  
  6.  47
    The Counterpart Principle of Analogical Support by Structural Similarity.A. Hill & J. B. Paris - 2014 - Erkenntnis 79 (2):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.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  7.  29
    O is Not Enough.J. B. Paris & R. Simmonds - 2009 - Review of Symbolic Logic 2 (2):298-309.
    We examine the closure conditions of the probabilistic consequence relation of Hawthorne and Makinson, specifically the outstanding question of completeness in terms of Horn rules, of their proposed (finite) set of rules O. We show that on the contrary no such finite set of Horn rules exists, though we are able to specify an infinite set which is complete.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  8.  40
    Some Observations on Induction in Predicate Probabilistic Reasoning.M. J. Hill, J. B. Paris & G. M. Wilmers - 2002 - Journal of Philosophical Logic 31 (1):43-75.
    We consider the desirability, or otherwise, of various forms of induction in the light of certain principles and inductive methods within predicate uncertain reasoning. Our general conclusion is that there remain conflicts within the area whose resolution will require a deeper understanding of the fundamental relationship between individuals and properties.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   11 citations  
  9.  13
    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 (3 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  10.  14
    Provability of the Pigeonhole Principle and the Existence of Infinitely Many Primes.J. B. Paris, A. J. Wilkie & A. R. Woods - 1988 - Journal of Symbolic Logic 53 (4):1235-1244.
  11.  32
    Second Order Inductive Logic and Wilmers' Principle.M. S. Kliess & J. B. Paris - 2014 - Journal of Applied Logic 12 (4):462-476.
    We extend the framework of Inductive Logic to Second Order languages and introduce Wilmers' Principle, a rational principle for probability functions on Second Order languages. We derive a representation theorem for functions satisfying this principle and investigate its relationship to the first order principles of Regularity and Super Regularity.
    Direct download  
     
    Export citation  
     
    My bibliography  
  12.  19
    Atom Exchangeability and Instantial Relevance.J. B. Paris & P. Waterhouse - 2009 - Journal of Philosophical Logic 38 (3):313-332.
    We give an account of some relationships between the principles of Constant and Atom Exchangeability and various generalizations of the Principle of Instantial Relevance within the framework of Inductive Logic. In particular we demonstrate some surprising and somewhat counterintuitive dependencies of these relationships on ostensibly unimportant parameters, such as the number of predicates in the overlying language.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  13.  99
    The Six Most Essential Questions in Psychiatric Diagnosis: A Pluralogue Part 2: Issues of Conservatism and Pragmatism in Psychiatric Diagnosis. [REVIEW]James Phillips, Allen Frances, Michael A. Cerullo, John Chardavoyne, Hannah S. Decker, Michael B. First, Nassir Ghaemi, Gary Greenberg, Andrew C. Hinderliter, Warren A. Kinghorn, Steven G. LoBello, Elliott B. Martin, Aaron L. Mishara, Joel Paris, Joseph M. Pierre, Ronald W. Pies, Harold A. Pincus, Douglas Porter, Claire Pouncey, Michael A. Schwartz, Thomas Szasz, Jerome C. Wakefield, G. Waterman, Owen Whooley & Peter Zachar - 2012 - Philosophy, Ethics, and Humanities in Medicine 7 (1):8-.
    In face of the multiple controversies surrounding the DSM process in general and the development of DSM-5 in particular, we have organized a discussion around what we consider six essential questions in further work on the DSM. The six questions involve: 1) the nature of a mental disorder; 2) the definition of mental disorder; 3) the issue of whether, in the current state of psychiatric science, DSM-5 should assume a cautious, conservative posture or an assertive, transformative posture; 4) the role (...)
    Direct download (15 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  14.  41
    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 (7 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  15.  30
    A Note on Binary Inductive Logic.C. J. Nix & J. B. Paris - 2007 - Journal of Philosophical Logic 36 (6):735-771.
    We consider the problem of induction over languages containing binary relations and outline a way of interpreting and constructing a class of probability functions on the sentences of such a language. Some principles of inductive reasoning satisfied by these probability functions are discussed, leading in turn to a representation theorem for a more general class of probability functions satisfying these principles.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  16.  20
    A Continuum of Inductive Methods Arising From a Generalized Principle of Instantial Relevance.C. J. Nix & J. B. Paris - 2006 - Journal of Philosophical Logic 35 (1):83-115.
    In this paper we consider a natural generalization of the Principle of Instantial Relevance and give a complete characterization of the probabilistic belief functions satisfying this principle as a family of discrete probability functions parameterized by a single real δ ∊ [0, 1).
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  17.  13
    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 (7 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  18. 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  
     
    My bibliography   17 citations  
  19.  26
    The Six Most Essential Questions in Psychiatric Diagnosis: A Pluralogue Part 1: Conceptual and Definitional Issues in Psychiatric Diagnosis. [REVIEW]James Phillips, Allen Frances, Michael A. Cerullo, John Chardavoyne, Hannah S. Decker, Michael B. First, Nassir Ghaemi, Gary Greenberg, Andrew C. Hinderliter, Warren A. Kinghorn, Steven G. LoBello, Elliott B. Martin, Aaron L. Mishara, Joel Paris, Joseph M. Pierre, Ronald W. Pies, Harold A. Pincus, Douglas Porter, Claire Pouncey, Michael A. Schwartz, Thomas Szasz, Jerome C. Wakefield, G. Scott Waterman, Owen Whooley & Peter Zachar - 2012 - Philosophy, Ethics, and Humanities in Medicine 7 (1):1-29.
    In face of the multiple controversies surrounding the DSM process in general and the development of DSM-5 in particular, we have organized a discussion around what we consider six essential questions in further work on the DSM. The six questions involve: 1) the nature of a mental disorder; 2) the definition of mental disorder; 3) the issue of whether, in the current state of psychiatric science, DSM-5 should assume a cautious, conservative posture or an assertive, transformative posture; 4) the role (...)
    Direct download (14 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  20.  6
    Boolean Extensions and Measurable Cardinals.K. Kunen & J. B. Paris - 1971 - Annals of Mathematical Logic 2 (4):359-377.
  21.  32
    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  
     
    My bibliography   2 citations  
  22.  26
    Introduction.Paris Jeffrey - 2003 - Radical Philosophy Review 6 (1):3-4.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  23.  41
    A Survey of Some Recent Results on Spectrum Exchangeability in Polyadic Inductive Logic.J. Landes, J. B. Paris & A. Vencovská - 2011 - Synthese 181 (1):19 - 47.
    We give a unified account of some results in the development of Polyadic Inductive Logic in the last decade with particular reference to the Principle of Spectrum Exchangeability, its consequences for Instantial Relevance, Language Invariance and Johnson's Sufficientness Principle, and the corresponding de Finetti style representation theorems.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  24.  47
    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 (7 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  25.  10
    “Brain Death,” “Dead,” and Parental Denial.John J. Paris, Brian M. Cummings & M. Patrick Moore - 2014 - Cambridge Quarterly of Healthcare Ethics 23 (4):371-382.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  26.  1
    Initial Segments of Models of Peano's Axioms.L. A. S. Kirby, J. B. Paris, A. Lachlan, M. Srebrny & A. Zarach - 1983 - Journal of Symbolic Logic 48 (2):482-483.
  27.  1
    A Hierarchy of Cuts in Models of Arithmetic.J. B. Paris, L. Pacholski, J. Wierzejewski, A. J. Wilkie, George Mills & Jussi Ketonen - 1986 - Journal of Symbolic Logic 51 (4):1062-1066.
  28.  2
    Improving Fairness in Coverage Decisions: Insights From the Harvard Community Health Plan's LORAN Commission Report.John J. Paris - 2004 - American Journal of Bioethics 4 (3):103-104.
  29.  13
    Autonomy Does Not Confer Sovereignty on the Patient: A Commentary on the Golubchuk Case.John Paris - 2010 - American Journal of Bioethics 10 (3):54-56.
  30.  9
    On Parameter Free Induction Schemas.R. Kaye, J. Paris & C. Dimitracopoulos - 1988 - Journal of Symbolic Logic 53 (4):1082-1097.
    We present a comprehensive study of the axiom schemas IΣ - n , BΣ - n (induction and collection schemas for parameter free Σ n formulas) and some closely related schemas.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  31.  11
    An Analogy Principle in Inductive Logic.A. Hill & J. B. Paris - 2013 - Annals of Pure and Applied Logic 164 (12):1293-1321.
    We propose an Analogy Principle in the context of Unary Inductive Logic and characterize the probability functions which satisfy it. In particular in the case of a language with just two predicates the probability functions satisfying this principle correspond to solutions of Skyrmsʼ ‘Wheel of Fortune’.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  32.  24
    The Six Most Essential Questions in Psychiatric Diagnosis: A Pluralogue. Part 4: General Conclusion.James Phillips, Allen Frances, Michael A. Cerullo, John Chardavoyne, Hannah S. Decker, Michael B. First, Nassir Ghaemi, Gary Greenberg, Andrew C. Hinderliter, Warren A. Kinghorn, Steven G. LoBello, Elliott B. Martin, Aaron L. Mishara, Joel Paris, Joseph M. Pierre, Ronald W. Pies, Harold A. Pincus, Douglas Porter, Claire Pouncey, Michael A. Schwartz, Thomas Szasz, Jerome C. Wakefield, G. Scott Waterman, Owen Whooley & Peter Zachar - 2012 - Philosophy, Ethics, and Humanities in Medicine 7 (1):14-.
    In the conclusion to this multi-part article I first review the discussions carried out around the six essential questions in psychiatric diagnosis – the position taken by Allen Frances on each question, the commentaries on the respective question along with Frances’ responses to the commentaries, and my own view of the multiple discussions. In this review I emphasize that the core question is the first – what is the nature of psychiatric illness – and that in some manner all further (...)
    Direct download (11 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  33.  16
    A Note on a Theorem of H. FRIEDMAN.C. Dimitracopoulos & J. Paris - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (1):13-17.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  34.  38
    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 (5 more)  
     
    Export citation  
     
    My bibliography  
  35.  3
    O is Not Enough: O is Not Enough.J. B. Paris - 2009 - Review of Symbolic Logic 2 (2):298-309.
    We examine the closure conditions of the probabilistic consequence relation of Hawthorne and Makinson, specifically the outstanding question of completeness in terms of Horn rules, of their proposed set of rules O. We show that on the contrary no such finite set of Horn rules exists, though we are able to specify an infinite set which is complete.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  36.  21
    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 (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  37.  5
    A Note on a Theorem of H. FRIEDMAN.C. Dimitracopoulos & J. Paris - 1988 - Mathematical Logic Quarterly 34 (1):13-17.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  38.  34
    Symmetry's End?J. Paris & A. Vencovská - 2011 - Erkenntnis 74 (1):53-67.
    We examine the idea that similar problems should have similar solutions (to paraphrase van Fraassen’s slogan ‘Problems which are essentially the same must receive essentially the same solution’, see van Fraassen in Laws and symmetry, Oxford Univesity Press, Oxford, 1989, p. 236) in the context of symmetries of sentence algebras within Inductive Logic and conclude that by itself this is too generous a notion upon which to found the rational assignment of probabilities. We also argue that within our formulation of (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  39.  31
    Standards, Norms, and Guidelines for Permissible Withdrawal of Life Support From Seriously Compromised Newborns.John J. Paris - 2011 - American Journal of Bioethics 11 (2):33 - 34.
    (2011). Standards, Norms, and Guidelines for Permissible Withdrawal of Life Support From Seriously Compromised Newborns. The American Journal of Bioethics: Vol. 11, No. 2, pp. 33-34.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  40.  24
    Some Independence Results for Peano Arithmetic.J. B. Paris - 1978 - Journal of Symbolic Logic 43 (4):725-731.
  41.  19
    Rationing: A “Decent Minimum” or a “Consumer Driven” Health Care System?John J. Paris - 2011 - American Journal of Bioethics 11 (7):16 - 18.
    The American Journal of Bioethics, Volume 11, Issue 7, Page 16-18, July 2011.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  42. Reviews : New Ways in Psychoanalysis by Karen Horney New York: W. W. Norton, I939. The Neurotic Personality of Our Time by Karen Horney New York: W. W. Norton, I937. [REVIEW]J. Paris - 1953 - Diogenes 1 (2):93-99.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  43.  10
    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 (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  44.  14
    A Note on Priest's Finite Inconsistent Arithmetics.J. B. Paris & N. Pathmanathan - 2006 - Journal of Philosophical Logic 35 (5):529-537.
    We give a complete characterization of Priest's Finite Inconsistent Arithmetics observing that his original putative characterization included arithmetics which cannot in fact be realized.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  45.  9
    An Observation on Carnap's Continuum and Stochastic Independencies.J. B. Paris - 2013 - Journal of Applied Logic 11 (4):421-429.
    We characterize those identities and independencies which hold for all probability functions on a unary language satisfying the Principle of Atom Exchangeability. We then show that if this is strengthen to the requirement that Johnson's Sufficientness Principle holds, thus giving Carnap's Continuum of inductive methods for languages with at least two predicates, then new and somewhat inexplicable identities and independencies emerge, the latter even in the case of Carnap's Continuum for the language with just a single predicate.
    Direct download  
     
    Export citation  
     
    My bibliography  
  46. Common Sense and Stochastic Independence.J. B. Paris & A. Vencovská - 2001 - In David Corfield & Jon Williamson (eds.), Foundations of Bayesianism. Kluwer Academic Publishers. pp. 203--240.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  47.  7
    The Resuscitation of “Slow Codes”: Fraud, Lies, and Deception.John J. Paris & Michael Patrick Moore - 2011 - American Journal of Bioethics 11 (11):13-14.
    The American Journal of Bioethics, Volume 11, Issue 11, Page 13-14, November 2011.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  48.  49
    Parental Refusal of Medical Treatment for a Newborn.John J. Paris, Michael D. Schreiber & Michael P. Moreland - 2007 - Theoretical Medicine and Bioethics 28 (5):427-441.
    When there is a conflict between parents and the physician over appropriate care due to an infant whose decision prevails? What standard, if any, should guide such decisions?This article traces the varying standards articulated over the past three decades from the proposal in Duff and Campbell’s 1973 essay that these decisions are best left to the parents to the Baby Doe Regs of the 1980s which required every life that could be salvaged be continued. We conclude with support for the (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  49.  5
    On Some Formalized Conservation Results in Arithmetic.P. Clote, P. Hájek & J. Paris - 1990 - Archive for Mathematical Logic 30 (4):201-218.
    IΣ n andBΣ n are well known fragments of first-order arithmetic with induction and collection forΣ n formulas respectively;IΣ n 0 andBΣ n 0 are their second-order counterparts. RCA0 is the well known fragment of second-order arithmetic with recursive comprehension;WKL 0 isRCA 0 plus weak König's lemma. We first strengthen Harrington's conservation result by showing thatWKL 0 +BΣ n 0 is Π 1 1 -conservative overRCA 0 +BΣ n 0 . Then we develop some model theory inWKL 0 and illustrate (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  50.  10
    A Note on the Undefinability of Cuts.J. B. Paris & C. Dimitracopoulos - 1983 - Journal of Symbolic Logic 48 (3):564-569.
1 — 50 / 182