Kliess, M.S. and Paris, J.B. (2014) Second Order Inductive Logic and Wilmers' Principle. Journal of Applied Logic, 12 (4). pp. 462-476.
![[thumbnail of mk140306SOIL.pdf]](https://eprints.maths.manchester.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
mk140306SOIL.pdf Download (329kB) |
Abstract
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.
| Item Type: | Article |
|---|---|
| Uncontrolled Keywords: | Universal Certainty, Second Order Logic, Inductive Logic, Probability Logic, Uncertain Reasoning |
| Subjects: | MSC 2010, the AMS's Mathematics Subject Classification > 03 Mathematical logic and foundations MSC 2010, the AMS's Mathematics Subject Classification > 60 Probability theory and stochastic processes |
| Depositing User: | Professor Jeff Paris |
| Date Deposited: | 04 Aug 2015 |
| Last Modified: | 20 Oct 2017 14:13 |
| URI: | https://eprints.maths.manchester.ac.uk/id/eprint/2356 |
Actions (login required)
 |
View Item |