Professor Jeff B. Paris
-
Room 2-206, Alan Turing
Building
- School of Mathematics,
- University of Manchester
- Oxford Road, Manchester M13 9PL, UK
- Jeff.Paris[at]manchester.ac.uk
- Tel: +44 (0) 161 275 5880
- Fax: +44 (0) 161 275 5819
- School of Mathematics,
Page contents:
- Research interests
- Teaching
- Publications
- Postscripts and Errata
- Co-workers
- Recent students
- Professional affiliations
Research interests
Mathematical Logic, in particular uncertain reasoning and inductive logic with an emphasis on rationality and common sense principles.
Teaching
- MATH43032/63032 Nonstandard Logic
- MATHFS541 0C1/1C1
Teaching Materials
- Lecture notes for 0C1/1C1 MATHFS541
- Lecture notes for MATH43032/63032 on Nonmonotonic Logic
- Lecture notes for MATH43032/63032 on Modal Logic
- Lecture notes for MATH43032/63032 on Real Valued Logic
- Example sheets and mock exam for MATH43032/63032 Real Valued Logics
- Lecture notes on Non-monotonic Logics
- Lecture notes on Unary Inductive Logic
- Short course on Inductive Logic, JAIST 2007
- Lecture notes on Computational Complexity MATH43011/63011
- Take Home Test I for 0C1/1C1, due in Friday 23rd October
- Take Home Test II for 0C1/1C1, due in Friday 4th December
- Take Home Test I for 0C1/1C1, solutions
- Take Home Test II for 0C1/1C1, solutions
Publications
Book
- The uncertain reasoner's companion, - a mathematical perspective, Cambridge Tracts in Theoretical Computer Science 39, Cambridge University Press, 1994, pp212 ISBN 0-521-46089-1
Recent Papers
- J.B. Paris (with A. Vencovská), A Generalization of Muirhead's Inequality, Journal of Mathematical Inequalities, 3(2), 2009, pp181-187.
- J.B. Paris (with A. Vencovská), A General Representation Theorem for Probability Functions Satisfying Spectrum Exchangeability, in CiE 2009, eds. K.Ambros-Spies, B.Lowe and W.Merkle. Springer LNCS 5635, pp379-388.
- J.B.Paris (with R. Simmonds), O is not enough, Review of Symbolic Logic, 2(02), 2009, pp298-309
- J.B. Paris (with P. Waterhouse), Atom Exchangeability and Instantial Relevance, Journal of Philosophical Logic,38(3), 2009, pp313-332.
- J.B. Paris (with J. Landes and A. Vencovská), Some aspects of polyadic inductive logic, Studia Logica, 90, 2008, pp3-16.
- J.B. Paris (with J.Landes and A. Vencovská), Instantial Relevance in Polyadic Inductive Logic, Proceedings of the 3nd India Logic Conference, ICLA 2009, eds. R.Ramanujam and Sundar Sarukkai, Chennai, India, 2009. Springer LNAI 5378, pp162-169.
- J.B. Paris (with S.R.Rad), Inference Processes for Quantified Predicate Knowledge, in Logic, Language, Information and Computation, WoLLIC, Edinburgh, 2008, Eds. W.Hodges and R. de Queiroz, Springer LNAI, 5110, pp249-259.
- J.B. Paris (with A. Sirokofskich), On $LP$-models of arithmetic, Journal of Symbolic Logic, 2008, 73(1), pp212-226.
- J.B. Paris (with D. Picado-Muino and M. Rosefield), Information from inconsistent knowledge: A Probability Logic approach, in Interval/Probabilistic Uncertainty and Non-Classical Logics, Advances in Soft Computing, 46,eds. Van-Nam Huynh et al, Springer, 2008, pp291-307.
- J.B. Paris (with O.W. Barnett), Maximum Entropy Inference with Quantified Knowledge, Logic Journal of the IGPL, 16(1), 2008, pp85-98.
- J.B.Paris (with J. Landes and A. Vencovská) , Language Invariance and Spectrum Exchangeability in Inductive Logic, Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Proceedings of the 9th European Conference, ECSQARU 2007, Hammamet, Tunisia. Springer LNAI 4724, pp151-160.
- J.B. Paris (with C.J. Nix). A note on binary inductive logic, Journal of Philosophical Logic, 36(6), 2007, pp735-771
- J.B.Paris (with N. Pathmanathan). A note on Priest's finite inconsistent arithmetics, Journal of Philosophical Logic, 35, 2006, pp529-537.
- J.B. Paris (with C.J. Nix). A continuum of inductive methods arising from a generalized principle of instantial relevance, Journal of Philosophical Logic, 35(1), 2006, pp83-115.
- J.B. Paris. On filling-in missing information in causal networks, International Journal of Uncertainty, Fuzziness and Knowledge- Based Systems, 13(3), 2005, pp263-280
- J.B. Paris (with H.Hosni), Rationality as conformity, Synthese (Knowledge, Rationality and Action), 144 (3), 2005, pp 249-285.
- J.B. Paris. Deriving information from inconsistent knowledge bases: A completeness theorem, Logic Journal of the IGPL, 12, 2004, 345 - 353.
- J.B. Paris (with A. Vencovská) (2003), Why it is common sense to invent reasons, LOGICA Yearbook 2002, Institute of Philosophy of the Czech Academy of Sciences, Eds. T. Childers & O. Majer, pp.195-204.
- J.B. Paris (with A. Vencovská). The emergence of reasons conjecture, Journal of Applied Logic, 1, 2003, pp 167-195.
- J.B. Paris (with O.W. Barnett). A proof of the base case of the emergence of reason's conjecture for CMinfinity, Technical Report 2003/6 of the Manchester Centre for Pure Mathematics, ISSN 147-9210.
- J.B. Paris (with Hill, L.C.) (2003), When maximising entropy gives the rational closure, Journal of Logic and Computation, 13, pp51-68.
- J.B. Paris (with Vencovská) (2002), There is a reason for everything (probably): On the application of maxent to induction, in the Proceedings of the Conditionals Information Inference Workshop, Fern Universitat, Hagen, Germany, pp211-229.
- J.B. Paris (with M. J. Hill & G. M. Wilmers) (2002), Some observations on induction in predicate probabilistic reasoning, Journal of Philosophical Logic, 31, pp43-75.
- J.B. Paris (with M. Wafy) (2001), On the emergence of reasons in inductive logic, Logic Journal of the IGPL, 2001; 9: 207 - 216.
- J.B. Paris (with A. Vencovská & M. Wafy) (2001), Some limit theorems for ME, MD and CMinfinity, Manchester Centre for Pure Mathematics, preprint number 2001/9.
- J.B. Paris (with A Vencovská) (2001), Common sense and stochastic independence, to appear in Foundations of Bayesianism, Eds. D. Corfield & J. Williamson, Kluwer Applied Logic Series.
- J.B. Paris. (2001). A note on the Dutch Book method. This is a slightly revised version of a paper of the same title which appeared in the Proceedings of the 2nd International Symposium on Imprecise Probabilities and their Applications, Ithaca, New York.
- J.B. Paris (with P. Hájek & J.C. Shepherdson)(2000), Rational Pavelka Predicate Logic is a conservative extension of Lukasiewicz Perdicate Logic, Journal of Symbolic Logic, vol 65, no.2, pp669-682.
- J.B. Paris (with P.N. Watton & G.M. Wilmers) (2000), On the structure of probability functions in the natural world, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, vol 8, no. 3, pp311.329
- J.B. Paris (with P. Hájek & J.C. Shepherdson)(2000), The Liar Paradox and Fuzzy Logic, Journal of Symbolic Logic, vol 65, no.1, pp339-346.
- J.B. Paris (with A.D.C. Bennett & A. Vencovská) (2000), A new criteria for comparing fuzzy logics for uncertain reasoning.Journal of Logic, Language, and Information,vol 9, pp 31-63.
- J.B. Paris (with P.N. Watton & G.M. Wilmers) (1999). On the distribution of natural probability functions. ISIPTA '99 Proc.First Int. Conf. on Imprecise Probabilities and their Applications, Eds G. de Cooman et al, Ghent, pp 302-310.
- J.B. Paris (1999) (With C. Dimitracopoulos, A. Vencovská & G. M. Wilmers). A multivariate natural prior probability distribution based on the propositional calculus. Technical Report of the Manchester Centre for Pure Mathematics,no. 1999/6, University of Manchester Manchester, M13 9PL, UK.
- J.B. Paris (1999). Common sense and maxiumum entropy. Synthese, vol.117, pp75-93.
- J.B. Paris (With A.Vencovská) (1998). A proof theory for probabilistic uncertain reasoning. Journal of Symbolic Logic, vol. 63, no.3, pp1007-1039.
- J.B. Paris (With R. Booth) (1998). A note on the rational closure of knowledge bases with both positive and negative knowledge. Journal of Logic, Language and Information, vol.7, no.2, pp165-190.
- J.B. Paris (wth A. Vencovská) (1997). In defence of the Maximum Entropy Inference Process. International Journal of Approximate Reasoning, vol.17, no.1, pp77-103.
- J.B. Paris (1997). A semantics for Fuzzy Logic. Journal of Soft Computing,vol.1, no.3, pp143-147.
Postscripts and Errata
- J.B. Paris (with A. Vencovská). Postscript to "Symmetry's End?'', submitted to Erkenntnis
Co-workers
- Alena Vencovská
- George Wilmers
Recent PhD Students
- Soroush Rafiee Rad, "Inference Processes for Probabilistic First Order Languages", Ph.D. dissertation, October 2009.
- Juergen Landes, "The Principle of Spectrum Exchangeability within Inductive Logic", Ph.D. dissertation, April 2009.
- David Picado Muino, "Deriving Information from Inconsistent Knowledge Bases: A Probabilistic Approach", Ph.D. dissertation, November 2008.
- Peter Waterhouse, "Probabilistic Relationships, Relevance and Irrelevance within the field of Uncertain Reasoning", Ph.D. dissertation, December 2007.
- Hykel Hosni, "Rationality-as-conformity", Ph.D. dissertation, June 2005.
- Christopher Nix, "Probabilistic Induction in the Predicate Calculus", Ph.D. dissertation, May 2005.
- Lee C. Hill "A New Relationship between Maximum Entropy and the Rational Closure of a Conditional Knowledge Base" , Ph.D. dissertation, December 2002.
- Kevin M Knight "A Theory of Inconsistency" , PhD thesis, July 2002
Professional affiliations
- British Academy
- British Logic Colloquium (President 2001-06)
- EPSRC (Panel)
- London Mathematical Society
