On 9/27/2011 4:49 AM, Stephen P. King wrote:
[SPK]
Not in general, unless one is only going to allow only Boolean logics to exist.
There have been proven to exist logics that have truth values that range over any set of
numbers, not just {0,1}. Recall the requirement for a mathematical structure to exist:
Self-consistency.
Onward!
Stephen
How do you define consistency for fuzzy or probabilistic logics? If you prove P(x)=0.1
and P(x)=0.2 is that inconsistency?
Brent
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en.