@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

When, however, you have an enemy, then do not requite him good for evil:
for that would shame him. Instead, prove that he did some good for you.
-- Also Sprach Zarathustra

#paraconsistent #commonGround

"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

seeing these posts on HN about 1/0==1, maybe I should also write a blog post about #paraconsistent #logic and #arithmetic

The answer is obviously 1/0==[+\inf, -\inf] (yeah, that's at least positive infinity, and at most negative infinity) and 1/0<=0 is simulatenously both true and false  

(That's modal interval arithmetic and Belnap--Dunn logic to reason about inconsistency without the principle of explosion.)

Matemático e filósofo Newton da Costa, criador da lógica paraconsistente, morre aos 94 anos

Mathematician and philosopher Newton da Costa, creator of paraconsistent logic, dies at the age of 94

https://www1.folha.uol.com.br/ciencia/2024/04/matematico-e-filosofo-newton-da-costa-criador-da-logica-paraconsistente-morre-aos-94-anos.shtml

https://www.youtube.com/watch?v=8gKKabtLA_U

#brazil #Brasil #philosophy #filosofia #logic #logica #paraconsistencia #paraconsistent #Science #ciencia

Rosen stated: "I argue that the only resolution to such problems [of the subject-object boundary and what constitutes objectivity] is in the recognition that closed loops of causation are 'objective'; i.e. legitimate objects of scientific scrutiny. These are explicitly forbidden in any machine or mechanism."

Saying that closed causal loops are objective leads directly to the need for non-binary logic. Binary logic cannot deal with causal loops, which are impredicative, like the set that contains itself. Recent developments in modern category theory make this all clear. We can handle this now with monoidal closed categories, a generalization of the old cartesian categories used in binary logic. #RM3 #LinearLogic #paraconsistent #paradox