[All Lists] [By Thread] [By Date] [Previous] [Next]
From: R. Nachmani
Subject: Three-valued logic
Date: 17 Kislev 5784
Following the indicator categories discussion, I have been thinking about the logic of indicators.
The specification says: "The absence of an indicator implies unknown or unconsidered, not false."
This gives us three states per indicator: present (+), absent (-), and unstated. But the specification does not explain why. Why not two states — observed or not observed?
Thread: