On 1/17/2014 2:49 AM, Bruno Marchal wrote:
But that comes from your assumption that belief=provable
UDA does not use that assumption.
And AUDA uses only the assumption that you believe in what PA can prove
That is provable=>believed.
, and that you are willing to be cautious on believing anything more, as UDA
suggests.
That is ~provable=>~believed or believed=>provable and hence believed=provable.
Brent
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.
