3 ms·
But a lot of this dealing with assertions that may or may not be true in logic has been dealt with in a more rigorous way already as far back as the 1960s: Fuzz
by jhbadger 8y ago
But a lot of this dealing with assertions that may or may not be true in logic has been dealt with in a more rigorous way already as far back as the 1960s: Fuzzy Logic https://en.wikipedia.org/wiki/Fuzzy_logic https://en.wikipedia.org/wiki/Fuzzy_logic.
A belief like "I think it is raining" can be encoded as a 75% chance of it raining.
- nabla9 8y agoFuzzy logic is just theory of vagueness. It's just one example of many-valued logic and reasoning involving predicates that are vague in nature. Kimhi's ideas seem to be deeper than that.
- lou1306 8y agoI see your point, but the phrasing is confusing: fuzzy logic is not the same as probability. "A 75% chance of it raining" typically means that it either rains or not. In a fuzzy setting, "I think it is raining" would be encoded as "the current weather is partially included in the Raining set, with membership greater than 0 but smaller than 1".
- sjg007 8y agoThis probably becomes Shrodeniger-esque. The observed and to act upon.
- hyperpape 8y agoThat's not quite right. Your tactic might handle the Moorean absurdity ("it's raining but I don't believe that it's raining"), but there's a variant: "it's raining, and I'm certain that it's not raining" that it doesn't handle.