New foundations for practical reasoning