Skip navigation
Skip navigation

Probabilistic reasoning in a classical logic

Ng, Kee Siong; Lloyd, John


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.

CollectionsANU Research Publications
Date published: 2009
Type: Journal article
Source: Journal of Applied Logic
DOI: 10.1016/j.jal.2007.11.008


File Description SizeFormat Image
01_Ng_Probabilistic_reasoning_in_a_2009.pdf226.08 kBAdobe PDFThumbnail
02_Ng_Probabilistic_reasoning_in_a_2009.pdf460.26 kBAdobe PDFThumbnail

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  17 November 2022/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator