"I believe there is a negative probability that the event will not occur." -- something Spock would say

#Spock #logic #sugihara

Asking ChatGPT about coloring diagrams with truth values. When you write A -> B the arrow can be valid or invalid, but you still want to talk about it

Level 1: Morphisms = Proofs, Typed with Validity

You can think of these arrows as typed by a truth value — i.e., each morphism has a color: valid, invalid, plausible, context-sensitive, contradictory-but-derivable, etc.

In this sense, truth is not binary, but becomes a fiber over each morphism: a coloring or modality.

So your category becomes a fibration over a poset of truth values, or a category enriched in truth values — maybe in a Heyting algebra or relevance lattice.

I'm not sure I've ever heard it say "maybe" before, but

#sugihara #monoid #RelevanceLogic

“First, we must be honest about the lies and the abuses that have occurred within these walls,” Trump said

That's next level lying right there. "I am lying" writ LARGE

#RelevanceFallacy #sugihara

123 years ago #otd Chiune Sugihara was born. A Japanese #diplomat who served as vice-consul for the Japanese Empire in Kaunas, Lithuania.

During the Second World War, Sugihara helped thousands of #Jews flee Europe by issuing transit visas to them so that they could travel through Japanese territory, risking his job and the lives of his family.

In 1985, the State of Israel honored Sugihara as one of the Righteous Among the Nations for his actions.

#Holocaust #Japan #Sugihara #ww2 #history

3d printed optical illusion

#sugihara #opticalillusion #optischetäuschung #3dprint