| http://www.w3.org/ns/prov#value | - is not the telling someone that q (for while there is a sense in which logic provides a reason for telling people that q when we have told them that p and that [p implies q], it does so via practical principles about telling that which compete with other practical principles about telling that), but rather the thought (expressed or unexpressed) that q.
|