Priest, Tanaka, and Weber have revised their SEP-entry on paraconsistent logic, https://plato.stanford.edu/entries/logic-paraconsistent/
#sep #paraconsistent #explosive #logic #philosophy #logiikka #filosofia #matematiikka #mathematics #paradoxes #beliefs #dialetheism #consistency #inconsistency
@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)
@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?)
@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.
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
"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.)
https://youtu.be/8gKKabtLA_U?si=WPYox94tzpRt7FZZ
#brazil #Brasil #philosophy #filosofia #logic #logica #paraconsistencia #paraconsistent #Science #ciencia
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://www.youtube.com/watch?v=8gKKabtLA_U
#brazil #Brasil #philosophy #filosofia #logic #logica #paraconsistencia #paraconsistent #Science #ciencia
Lupposofi
CubeRootOfTrue
Kristóf Marussy
Henrique Custódio