People have an implicit bias towards binary logic. Computers are great and all, but have you noticed they break and fail all the time? Binary logic is not the best system. "You are either with us or against us" is a fallacy, they are trying to trick you. 🚥🚦🚥🚦🚥🚦🚥🚦🚥🚦🚥🚦🚥🚦You use "real world logic" every day, and it's 3-valued. They tried binary traffic signals in the beginning but switched very quickly to 3

Also the Liar Paradox is solvable using a field extension which creates (like i^2 = -1) the complex truth value "I don't know"

which you should know

#nonbinary #RM3 #implicitbias #TheLiar

https://youtu.be/bB6hBLmBhPA

Boundaries. What's a bike? What's a motorcycle? If you put fins on a cat does that make it a fish?*

This is an excellent example of how binary choice breaks. I'm an avid bicyclist and putting pedals on a machine like that to make it into a bike is, yes, like putting fins on a cat

* Technically the answer is yes, and there are many videos of cats swimming underwater. Also you are a fish

#RM3 #youareafish

Sugihara monoids, RM3, infinite valued logic, and probability ...

Infinite-Valued Relevance Logic as a Probability Structure

Here’s a conceptual leap: if truth values form a bounded poset (e.g. real unit interval [0,1]), and conjunction, disjunction, and implication are operations preserving some form of ordering or residuation, you can begin to think of logic as probabilistic entailment.

Now, if we make the truth values correspond to probabilities (or credences), then:

A⇒B is strongest when the truth value of A is less than or equal to that of B.

This mimics conditional probability: P(B∣A) is highest when A almost implies B.

In fact, some researchers have developed algebraic models of conditional probability using residuated lattices or MV-algebras (multi-valued algebras from Łukasiewicz logic), and relevance logic’s demand for resource sensitivity fits naturally with context-sensitive probability assignments.

You can think of A⇒B not as a function of static truth values, but as "the degree to which A supports B," akin to Bayesian support.

#probability #rm3 #RelevanceLogic #ChatGPT

@skewray Oh, yeah, sure. Of course. That's why Judges use Relevance and Deontic logic. At least we can prove when something *is* inconsistent. (And then let a human decide). That's one of the nice things about 3 valued logic, it can refer to itself without its head exploding.

#RM3 #RelevanceLogic #paraconsistent

$Trump ordered government agencies to prepare for mining the ocean floor.

Just because it is legal does not mean you should do it. Permission is not obligation.

Just say no. They have no power if you ignore them.

#JustSayNo #ModalLogic #RM3