Post AmvtYP6RHzkV4dfFDs by niplav@schelling.pt
 (DIR) More posts by niplav@schelling.pt
 (DIR) Post #AmvtYP6RHzkV4dfFDs by niplav@schelling.pt
       2024-10-12T14:24:38Z
       
       0 likes, 0 repeats
       
       Causal deductive DAG
       
 (DIR) Post #AmvvGklWD33OxGae5g by Paradox@raru.re
       2024-10-12T14:43:51Z
       
       0 likes, 0 repeats
       
       @niplav Sometimes I understand the words you say but not why you put them together.Causal: referring to causesDeductive: logic that applies a specific example to a general statementDAG: guessing directed acyclic graph, which is a series of lines and nodes where the lines are one way and it's impossible to loop around any part of itSo is this some weird reference to the inevitable march of time?
       
 (DIR) Post #Amw59Y3gYoHzufxzIu by niplav@schelling.pt
       2024-10-12T16:34:36Z
       
       0 likes, 0 repeats
       
       @Paradox @cosmiccitizen posted about causation in Aristotle, which reminded me of formal causationUnder that view, a=>b and a together *cause* b, which is funnyLogical axioms form the root of a deductive "net" or directed acyclic graph, which is deductive
       
 (DIR) Post #Amw73ZqxAuKfeMI9S4 by Paradox@raru.re
       2024-10-12T16:55:56Z
       
       0 likes, 0 repeats
       
       @niplav I should've spent more time in logic class.I remember on my exit exam for my Master's, there was a three statement logic question that I spent like a full minute on because I was tired and almost done but it was confusing me. No idea if I got it right.I understand logic but not enough to immediately get this. I assumed a=>b just means a causes b, but doesn't seem to be what you're saying here.
       
 (DIR) Post #AmwPl6X9LLridMvx3Y by niplav@schelling.pt
       2024-10-12T20:25:30Z
       
       0 likes, 0 repeats
       
       @Paradox oh, I meant a=>b as "a implies b"
       
 (DIR) Post #AmwVkeVY8sApRFLwlE by Paradox@raru.re
       2024-10-12T21:32:38Z
       
       0 likes, 0 repeats
       
       @niplav Ah. In that case, seems to make sense that, if A implies B, and A happens, B will happen.You say that's formal causation. What other kinds are there?