On Sun, 2009-05-17 at 14:43 -0700, Ed Murphy wrote:
> 2503: FALSE in the absence of evidence to the contrary.
Agoran judgements actually remind me of VHDL's 9-valued booleans:
0 = FALSE (false = false)
1 = TRUE (true = true)
L = FALSE in the absence of evidence to the contrary
H = TRUE in the absence of evidence to the contrary
(these two are both defaulting values that can be overriden)
U = no judgement assigned yet (U in VHDL means an uninitialised value)
W = MALFORMED (it refers to an analog rather than digital value, which
is the wrong sort of value, just like MALFORMED is the wrong sort of
statement)
X = UNDECIDABLE (i.e. both true and false, or neither true nor false)
Z = UNDETERMINED (a floating value in VHDL, which needs extra
information in order to force it to true or false)
- = IRRELEVANT (- in VHDL specifies that the programmer doesn't care
what value is there)
People laugh at VHDL for having far too many shades of truth; but I'm
wondering if it isn't all that far off for describing all the shades of
truth that can come up in somewhere like a nomic, where people
deliberately aim for edge cases in the rules...
--
ais523
