Probabilistic reasoning in a classical logic
We offer a view on how probability is related to logic. Specifically, we argue against the widely held belief that standard classical logics have no direct way of modelling the certainty of assumptions in theories and no direct way of stating the certainty of theorems proved from these (uncertain) assumptions. The argument rests on the observation that probability densities, being functions, can be represented and reasoned with naturally and directly in (classical) higher-order logic.
|Collections||ANU Research Publications|
|Source:||Journal of Applied Logic|
|01_Ng_Probabilistic_reasoning_in_a_2009.pdf||226.08 kB||Adobe PDF||Request a copy|
|02_Ng_Probabilistic_reasoning_in_a_2009.pdf||460.26 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.