[
Lists Home |
Date Index |
Thread Index
]
[Sorry if this is not of general interest, but it
relates to ideas that have come up in the Ontology and
Google threads]
http://www.economist.co.uk/science/displayStory.cfm?story_id=2099851
Apparently two researchers in Greece [one at the
Aristotle University, ironically enough!] have
demonstrated that fuzzy logic can be used to solve
many cases involving paradoxes, such as the famous
Liar's paradox--"this sentence is false"--that are
meaningless in conventional logic.
As a "direction for future research" the article
mentions the possibility of devising 'a form of logic
that is in between fuzzy logic and normal,
true-or-false binary logic. Rather than the infinite
choices of fuzzy logic, or the two in binary logic,
this would have options for false, true, sort of true,
sort of false, and exactly half-way. Epimenides the
Cretan would surely have approved, or disapproved—or,
most likely, something in between. '
|
