-
26From the Johns Hopkins Baby to Baby Miller: What Have We Learned from Four Decades of Reflection on Neonatal Cases?Journal of Clinical Ethics 12 (3): 207-214. 2001.
-
68Symmetry’s End?Erkenntnis 74 (1): 53-67. 2011.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 o…Read more
-
31Proof systems for probabilistic uncertain reasoningJournal of Symbolic Logic 63 (3): 1007-1039. 1998.The paper describes and proves completeness theorems for a series of proof systems formalizing common sense reasoning about uncertain knowledge in the case where this consists of sets of linear constraints on a probability function
-
5Proof Systems for Probabilistic Uncertain ReasoningJournal of Symbolic Logic 63 (3): 1007-1039. 1998.The paper describes and proves completeness theorems for a series of proof systems formalizing common sense reasoning about uncertain knowledge in the case where this consists of sets of linear constraints on a probability function.
-
10On the emergence of reasons in inductive logicLogic Journal of the IGPL 9 (2): 207-216. 2001.We apply methods of abduction derived from propositional probabilistic reasoning to predicate probabilistic reasoning, in particular inductive logic, by treating finite predicate knowledge bases as potentially infinite propositional knowledge bases. It is shown that for a range of predicate knowledge bases and several key propositional inference processes this procedure is well defined, and furthermore yields an explanation for the validity of the induction in terms of 'reasons'
-
57On parameter free induction schemasJournal of Symbolic Logic 53 (4): 1082-1097. 1988.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
-
14Truth definitions without exponentiation and the Σ1 collection schemeJournal of Symbolic Logic 77 (2): 649. 2012.
-
92Some observations on induction in predicate probabilistic reasoningJournal of Philosophical Logic 31 (1): 43-75. 2002.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
-
45The uncertain reasoner's companion: a mathematical perspectiveCambridge University Press. 1994.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 concentra…Read more
-
42Truth definitions without exponentiation and the Σ₁ collection schemeJournal of Symbolic Logic 77 (2): 649-655. 2012.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 constructing a model with a recursive truth-preserving translation of Σ₁ sentences into boolean combinations …Read more
-
12Principles of uncertain reasoningIn and J. Larrazabal J. Ezquerro A. Clark (ed.), Philosophy and Cognitive Science: Categories, Consciousness, and Reasoning, Kluwer Academic Publishers. pp. 221--259. 1996.
-
11Common sense and stochastic independenceIn David Corfield & Jon Williamson (eds.), Foundations of Bayesianism, Kluwer Academic Publishers. pp. 203--240. 2001.
-
Predicate Exchangeability and Language Invariance in Pure Inductive LogicLogique Et Analyse 57 (228): 513-540. 2014.In Pure Inductive Logic, the rational principle of Predicate Exchangeability states that permuting the predicates in a given language L and replacing each occurrence of a predicate in an L-sentence phi according to this permutation should not change our belief in the truth of phi. In this paper we study when a prior probability function w on a purely unary language L satisfying Predicate Exchangeability also satisfies the principle of Unary Language Invariance.
-
41Atom Exchangeability and Instantial RelevanceJournal of Philosophical Logic 38 (3): 313-332. 2009.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.
-
61On the scheme of induction for bounded arithmetic formulasAnnals of Pure and Applied Logic 35 (C): 261-302. 1987.
-
11A property of 2‐sorted peano models and program verificationMathematical Logic Quarterly 30 (19‐24): 325-334. 1984.
-
75Symmetry in Polyadic Inductive LogicJournal of Logic, Language and Information 21 (2): 189-216. 2012.A family of symmetries of polyadic inductive logic are described which in turn give rise to the purportedly rational Permutation Invariance Principle stating that a rational assignment of probabilities should respect these symmetries. An equivalent, and more practical, version of this principle is then derived
-
12Pure Inductive LogicCambridge University Press. 2011.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.
-
58O is not enoughReview of Symbolic Logic 2 (2): 298-309. 2009.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
-
61A Note on Irrelevance in Inductive LogicJournal of Philosophical Logic 40 (3). 2011.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 t…Read more
-
576The Counterpart Principle of Analogical Support by Structural SimilarityErkenntnis 79 (S6): 1-16. 2014.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.
-
92Regularity in models of arithmeticJournal of Symbolic Logic 49 (1): 272-280. 1984.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
-
81Rational Pavelka predicate logic is a conservative extension of łukasiewicz predicate logicJournal of Symbolic Logic 65 (2): 669-682. 2000.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
-
26Maximum Entropy Inference with Quantified KnowledgeLogic Journal of the IGPL 16 (1): 85-98. 2008.We investigate uncertain reasoning with quantified sentences of the predicate calculus treated as the limiting case of maximum entropy inference applied to finite domains
-
38Review: Franco Montagna, Giulia Simi, Andrea Sorbi, Logic and Probabilistic Systems (review)Bulletin of Symbolic Logic 6 (2): 223-225. 2000.
-
10Deriving Information from Inconsistent Knowledge Bases: A Completeness Theorem for η▹ηLogic Journal of the IGPL 12 (5): 345-353. 2004.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
-
354Second Order Inductive Logic and Wilmers' PrincipleJournal of Applied Logic 12 (4): 462-476. 2014.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.
-
University of ManchesterRegular Faculty
Areas of Interest
Logic and Philosophy of Logic |
Philosophy of Probability |