A Modern Approach — To Logical Reasoning 'link'

: Reason logically, but reason adaptively —with a toolkit that includes probability, computation, and self-correction.