-
915Second 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.
-
155Provability of the pigeonhole principle and the existence of infinitely many primesJournal of Symbolic Logic 53 (4): 1235-1244. 1988.
-
108The theory of spectrum exchangeabilityReview of Symbolic Logic 8 (1): 108-130. 2015.Spectrum Exchangeability, Sx, is an irrelevance principle of Pure Inductive Logic, and arguably the most natural extension of Atom Exchangeability to polyadic languages. It has been shown1that all probability functions which satisfy Sx are comprised of a mixture of two essential types of probability functions; heterogeneous and homogeneous functions. We determine the theory of Spectrum Exchangeability, which for a fixed languageLis the set of sentences ofLwhich must be assigned probability 1 by …Read more
-
211European summer meeting of the Association for Symbolic Logic, Manchester, England, 1984Journal of Symbolic Logic 51 (2): 480-502. 1986.
-
16Principles of Remembering and ForgettingLogique Et Analyse 57 (228): 489-511. 2014.We propose two principles of inductive reasoning related to how observed information is handled by conditioning, and justify why they may be said to represent aspects of rational reasoning. A partial classification is given of the probability functions which satisfy these principles.
-
213A Note on Binary Inductive LogicJournal of Philosophical Logic 36 (6): 735-771. 2007.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.
-
189Some 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
-
University of ManchesterRegular Faculty
Areas of Interest
| Logic and Philosophy of Logic |
| Philosophy of Probability |