Second order inductive logic and Wilmers' principle |
| |
| Affiliation: | School of Mathematics, The University of Manchester, Manchester M13 9PL, United Kingdom |
| |
| 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 with the first order principles of Regularity and Super Regularity. |
| |
| Keywords: | Universal Certainty Second Order Logic Inductive Logic Probability Logic Uncertain Reasoning |
| 本文献已被 ScienceDirect 等数据库收录！ |
