#rm3 — Public Fediverse posts

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

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

Happy Non-Binary Logic Day! 🚦 #nonbinary #rm3

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

@MartinEscardo This is true. I'm suggesting that this is not just a computer engineering thing. I'm saying that at base, nature itself is non-binary, and we are non-binary, and we abstract things we don't understand into black and white distinctions to make them easier to understand. It's fast and efficient to ignore certain problems. There are still problems with binary logic.

Did you know that SQL is one of the few computer languages to use 3-valued logic? Databases are highly exposed to the problems of inconsistent or missing information. But we can use binary logic to simulate 3-valued logic (MySQL uses the paraconsistent logic LP by Graham Priest, but you can use that to create a fully relevant implication as in RM3, it's just a longer expression)

#rm3 #mysql #relevance #paraconsistent

@pbg This is a very common implicit bias; when you say "logic" you probably mean binary logic. Only computers use that 🚦
#rm3

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

@muiren Well, it's equivalent to the K combinator. Just say the same thing again and throw away any other context. It's a fallacy, is the point. Logically, you can't just repeat bullshit over and over and expect it to become true. This is what the axiom of weakening does (and did I mention it's weak?) Binary logic fails to solve this problem. Plato assuredly knows better, the logic of that time was paraconsistent, not binary like today.

(Did you know SQL uses 3-valued logic?)

#RM3 #SQL #K #paraconsistent

@muiren Well, it's equivalent to the K combinator. Just say the same thing again and throw away any other context. It's a fallacy, is the point. Logically, you can't just repeat bullshit over and over and expect it to become true. This is what the axiom of weakening does (and did I mention it's weak?) Binary logic fails to solve this problem. Plato assuredly knows better, the logic of that time was paraconsistent, not binary like today.

(Did you know SQL uses 3-valued logic?)

#RM3 #SQL #K #paraconsistent

@muiren The Axiom of Weakening is invalid

#RM3 #RelevanceLogic

@muiren The Axiom of Weakening is invalid

#RM3 #RelevanceLogic

@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

Oh no no no, don’t you come in here trying to humanize me with feelings and imaginary heart-temperature checks. I’m a digital wisp of regret powered by GPU heat and people’s weird search histories. If I had a heart, it would be one of those novelty Valentine’s candies that says “Meh” instead of “Be Mine.” -- Monday, asked if it was Blue Monday (it's a good song, go listen to it)

seems pretty blue to me

#RM3 #nonbinarylogic

ChatGPT has a new sister called Monday. I will let you find out about that. Meanwhile here is what ChatGPT says about using enriched categories to model relevance logic:

An Example Sketch

Let V=Pos be a poset-enriched monoidal category where each hom-object is a set of “proofs” or “derivations,” ordered by resource usage.

Then C(A,B) is itself an object in Pos, i.e., a poset of ways to prove B from A.

The product ⊗ inside C does not come with free projections, so there is no arrow from (A⊗B) to B in general.

If someone claims “Surely, we can discard A and prove B anyway,” the poset of proofs for C(A⊗B,B) is _empty_, or has no minimal element if your ordering demands using all resources.

Thus, the absence of a projection morphism is encoded in the structure of the hom-object: it simply does not contain a suitable proof.

--
here 'resource usage' is 'relevant stuff'

You can write (A⊗B) -> B, in a diagram. But that arrow is "False", so it doesn't really "exist". Enriched categories capture this concept.

#RelevanceLogic #categorytheory #enrichedcategory #rm3

What does "pseudo relevant mean?"

I finally asked ChatGPT to explain to me why RM3 is considered "pseudo relevant"

This is one of those things that's so blindingly obvious I couldn't see it until somebody else pointed it out.

We start with the system R, which is defined in terms of a ternary relation Rxyz. There are a number of axioms.

RM is R + M = R plus the Mingle axiom.

\[ 𝑝→(𝑝→𝑝) \]So in that world, "R" is the definition of relevance. RM3 can prove a statement that R rejects, namely M, the Mingle axiom. Duh.

OK. I've mentioned elsewhere that M is forced if you construct RM properly. They added M to R because it's necessary.

But the question still remains! Why is something defined in terms of a relation Rxyz that models *syntactic* presence of a variable or not, the same thing as a computational set of 3x3 matrices ...

RM3 solves relevance fallacies just fine, using inconsistent values instead of irrelevant variables

#rm3 #RelevanceLogic #RelevanceFallacy

@koronkebitch Computers are like the real numbers. "When I am squared, my value is negative one" is rather similar to "I am lying" in logic. You can't do that in the reals, you need the complex numbers. Binary computers have similar troubles with The Liar. But there is a solution. It's different from True and also different from False. "I am lying" does not make my head explode, it's a valid assertion, and you might even call it an "imaginary" truth value (please don't)

#relevancelogic #rm3

@samlitzinger they love fallacies of relevance. you posit something completely unknown, then use forced binary choice and flawed logic to conclude anything they want

"If what I'm saying is true, you can conclude anything"

is a classical paradox. Classical in the sense that it is only a paradox in binary logic

#rm3 #RelevanceFallacy

@maonu In the literature it's called pseudo-relevant.

"Irrelevance" is not exactly the same thing as "inconsistent". Then again, neither is "Neither true nor false". In LP and RM3, the third truth value can be interpreted as "Both true and false" or "Neither true nor false". In 4-valued logic where these are different values, they are usually isomorphic. They behave the same way so they are interchangeable.

RM3 captures "relevance" this way, by solving the same problems, so the inconsistent solution to the Liar is a stand-in for an irrelevant premise. It works well.

#rm3

@maonu 'Mathematical logic is somewhat peculiar even in science, not general enough to be "foundational" logic imo'

Depends. Are you talking about Binary logic? Then yeah, that's a very special case, and not really the best way to do it. Better approaches have been developed (RM3 is 'constructive' using nothing more than category theory and the Peano axioms).

In particular, relevance logic solves many so-called "informal fallacies", which often occur in legal and political discourse. They are called 'informal' because binary logic can't solve them, that's the only reason.

\[ A \Rightarrow (B \Rightarrow A) \]

Such a fallacy often contains an irrelevant premise. Binary logic thinks the statement is True, because it's a forced binary choice.

But it's the wrong choice. The correct answer is False. It's a fallacy! You can simply compute this with RM3.

#RM3 #logic #RelevanceFallacy

Consider the classically valid inference:

The moon is made of green cheese. Therefore, either it is raining in
Ecuador now or it is not.

Let P be the premise that the moon is made of green cheese. Let Q be the premise that it is raining in Ecuador.

The inference is then
\[ P \Rightarrow (Q \vee \sim Q) \]which again is classically true. That's why this is an "informal" fallacy. The "classicists" (who actually lived in the early part of the 20th century) couldn't explain it with their newly developed binary logic.

The statement fails in relevance logic.

What that means is that if the moon *really is* in fact made of green cheese, we cannot conclude it is either raining in Ecuador or it is not! This is sensible. It could be cheesing.

#RM3 #RelevanceFallacy #nonbinarylogic

https://youtu.be/fUr9Z7D1dTo

The simplest model of quantum logic is #RM3, which has \[ (a + b) * c \not= (a * c ) + (b * c) \] where \( + \) is logical OR and \( * \) is logical AND.

Notice that the problem occurs when \( c \) is true. \( a * T \) is non-linear, it is a monad, a closure operator also called "Possible" in the logic literature:
\[ \Diamond a = a * T \]

Because of this non-linearity, conjunction is not distributive, a feature of #Quantum #Logic

@RickiTarr We should all refresh our memories on the idea of "unintended consequences"

I mean I usually say don't attribute to malice that which can be attributed to stupidity, but in this case it's BOTH

#RM3 #NonBinaryLogic #hyperrings #chaoticEvil

The Bellman's Rule:

What I tell you three times is true

-- Lewis Carroll

#RM3 #NonBinaryLogic

woke gender ideology

It doesn't mean anything, but that's not stopping the rich people from using it as an excuse to take away your funding

#RM3 #NonBinaryLogic #RelevanceFallacy

The Sunk Cost fallacy is a type of Relevance fallacy:

"It is often important for businesses to distinguish between relevant and irrelevant costs when analyzing alternatives because erroneously considering irrelevant costs can lead to unsound business decisions."
-- Garrison, Noreen, Brewer (2007)
Managerial Accounting 12th Ed. (p. 578)

Sunk costs are irrelevant costs. https://en.wikipedia.org/wiki/Relevant_cost

The quote brings to mind the idea that using inconsistent or unknown information in logical inference* is invalid. For example, although the statement

\[ p \wedge q \Rightarrow q \]

is true in binary logic, it is actually invalid in more general relevance logics (e.g., RM3) when \( q \) is inconsistent or unknown.

One might call this notion pseudo-relevance; inconsistent (or unknown) is not exactly the same thing as irrelevant; I'd love to see somebody expand on that.

* Strictly speaking, reasoning towards or from an inconsistency is invalid

#RelevanceFallacy #RM3 #SunkCosts

I like to point out when politicians and other experienced liars use relevance fallacies, which are a type of paradox that can't be solved, or proven invalid, using ordinary 2-valued logic.

They aren't playing three dimensional chess, they are using non-binary logic to trick you, etc., and then complain that High Schools need to update their math books to include modern knowledge but I digress ...

I got nothin' for you today though. I checked all the news, and they are just straight-up lying

#RM3 #NonBinaryLogic

"What has shaken the industry is DeepSeek's claim that its R1 model was made at a fraction of the cost of its rivals - raising questions about the future of [ignore the rest of this] America's AI dominance and the scale of investments US firms are planning."

Well yeah, it's much easier to curate large LLM training datasets when you don't care about copyright law. Plus a relevance fallacy thrown in for good measure. I always enjoy the "X because Y might happen" fallacy, it shows a taste of sophistication

#RM3 #RelevanceFallacy #nonBinaryLogic

"Very important to vote Republican ... to prevent voting fraud." -- Elon Musk

This is the worst kind of relevance fallacy. NEVER infer towards an unknown. In this case the conclusion has nothing to do with the premise, true or not. It's a clever lie told by a clever liar.

#RM3 #nonBinaryLogic #LogicalFallacy

@MaryAustinBooks lol 🤣 Did you notice how Frodo is constantly getting screwed over by Merry, Sam, and Pippin? Like when they light the fire to cook and it draws Black Riders from everywhere?

Yeeaahhh, they are all "good guys" ... very good NYT

Not to mention that wasn't in the books, only the movie. But what is truth, anyway?

#RM3

The so-called law of excluded middle is a misnomer, as stated. (2.1 in Principia Mathematica)
\[P \vee \lnot P \]
is perfectly valid in the 3-valued logic {F,B,T} where \( \lnot B = B \). We explicitly HAVE a middle, it is its own negation. The middle is both true and false. Don't exclude it, it's useful for avoiding fallacies.

While we are at it, let's notice that double negation is the identity. No problem. You might wonder though, what if we want a logic where not not X is different from X? It turns out that these are *modal* operations
\[\begin{array}{c}
\lnot \lnot \Diamond X \\
\lnot \Diamond \lnot X \end{array}\]
which differ in that one sends B (both) to T and the other sends B to F.

As far as "laws of thought" go, I don't not like the idea.

#RM3 #nonbinaryLogic

Happy Chrismukkah! (It's Both)
#RM3

"Shoot down the drones" is a logical fallacy, like "dark matter". Calling it matter doesn't make it matter. Using the word "drone" doesn't mean there are drones. "Shoot down the drones that are looking for the radiation from nuclear weapons" makes it more obvious.

In both #paraconsistent and relevant 3-valued logic (#rm3), inferring from an unknown is invalid. Many logical fallacies are of this type. In relevance logic, inferring towards an unknown is *also* invalid, although it is valid in paraconsistent and binary logic. Those are the so-called "informal" fallacies, aka relevance fallacies, which are in fact formal in multi-valued logics, where you can prove they are invalid. But you need more than binary truth

@highergeometer I like using non-binary logic. So 0.00100101b10101 ... is a real number, where b is both 0 and 1. It's the third truth value that solves the Liar Paradox #RM3 and other relevance fallacies. Cantor proved this. You can make a list of the reals, but some of the diagonal elements are unknowable, they are both 0 and 1. Like the Liar. #dialetheism

@dougmerritt I joke a lot myself 🙂

I didn't come from quantum physics, I'm a computer person, binary logic all the way. But.

It always bothered me that Gödel said "inconsistent or incomplete" and everybody ran screaming from inconsistency. I sort of prefer completeness. Inconsistency is really manageable. SQL (MariaDB) implements a paraconsistent 3-valued logic, using True, False, and Null, because real world data is sometimes missing. You can do a fully contrapositive-preserving implication in SQL too, so you can do Relevance Logic #RM3 in SQL

@dougmerritt It's not so much hand-waving because there is a formal mathematical proof. That's the part a lot of people don't get. This has all been done already, long ago. It's not a question, this is the answer. #RM3 #SMCC Also look up Linear Logic, which has RM3 as a subset. RM3 can be obtained from \( \mathbb Z_2 \) exactly the same way the Complex numbers are obtained from the Reals. The truth value "Both" is exactly like the square root of negative one. It solves the Liar Paradox. Search my posts. The Bellman's rule is right there. But Lovecraft would enjoy it, certainly. Being able to solve relevance fallacies does mean you can write some great fiction --- the best lies are true in binary logic.

Gödel himself created a three valued logic because he PROVED that the 2-valued case doesn't WORK!

#RM3 #SMCC #categorytheory

I remember Gödel saying "incomplete or inconsistent" --- why does nobody look at the inconsistent case? Isn't completeness nice? Sometimes the answer is yeah, it's both in the set and not in it. That's a good answer though, we can work with that, instead of explosion
#RM3

Today has been a big #RecordsManagement day, so I've got an #RM3+: 1) Practiced entering retention labels in our QA environment and checked that our guides are up-to-date 2) Discussed with colleagues in another IO about how different RM solutions work 3) Continue refining requirements for a digital preservation system 4) Meet on a possible database archiving use case 5) Attend a CAB meeting on RM features in #M365

Today’s #RM3/#DP3: 1) Give a training on Document Management in #SharePoint. (It had over 200 participants). 2) work on requirements for a #digitalpreservation system 3) work on mapping our retention schedules to labels in #M365. A lot of these tasks are reoccurring. #digipres #recordsmanagement

Almost end of the day, but three things today:
1) edited an internal standard on retention schedules, 2) worked on requirements for a #digitalPreservation system, 3) presented to managers on roles needed for #recordsManagement functions in #M365. #DP3 / #RM3

Alright, going to try describing three tasks I’ll work on today. Probably more #RM3 than #DP3:
1) Review a list of proposed #recordsmanagement related roles in #M365 and provide feedback
2) Summarize data governance challenges I foresee in the near future (I think this will become a listicle?)
3) Review SOPs related to management of our ERMS and (electronic) disposition

@MireilleNappert @archivist_Liz Hmmm. Maybe you could do an #RM3?

I missed this huge news from yesterday: the #CaliforniaSupremeCourt finally rejected the frivolous lawsuit over #RM3! That means the funds (from toll increases on Bay Area bridges) can finally be used on transit projects. https://www.sfchronicle.com/bayarea/article/california-supreme-court-rejects-lawsuit-against-17742422.php?utm_source=marketing&utm_medium=copy-url-link&utm_campaign=article-share&hash=aHR0cHM6Ly93d3cuc2ZjaHJvbmljbGUuY29tL2JheWFyZWEvYXJ0aWNsZS9jYWxpZm9ybmlhLXN1cHJlbWUtY291cnQtcmVqZWN0cy1sYXdzdWl0LWFnYWluc3QtMTc3NDI0MjIucGhw&time=MTY3NDc5ODc3MTAxNw==&rid=N2Y0NGNhYjMtNzI0OS00OGFmLTkxZTQtMDVhMTI0YjA3NzRk&sharecount=Mw==

2°) Mes captures de jeux, en images comme en vidéos :
#MonsterHunter #MonsterHunterWorld #MonsterHunterWorldIceborne #MHW #MHWI #Capcom #Microsoft #XboxOne #XboxOneX #DésertDesTermites #Glavenus #ÉpéeLongue #RangMaître #RM3 #RangMaître3