概率逻辑（或或然性逻辑）的目标是组合概率论的处理不确定性的能力和演绎逻辑开发结构的能力。结果是更加丰富和更有表达力的形式化，并有广阔的可能应用领域。概率逻辑的困难是增加了它们的概率论和逻辑构件的计算复杂性。
提议.有很多概率逻辑的提议：