@Paradox @cosmiccitizen posted about causation in Aristotle, which reminded me of formal causation
Under that view, a=>b and a together *cause* b, which is funny
Logical axioms form the root of a deductive "net" or directed acyclic graph, which is deductive
@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.
@Paradox oh, I meant a=>b as "a implies b"
@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?
@niplav Sometimes I understand the words you say but not why you put them together.
Causal: referring to causes
Deductive: logic that applies a specific example to a general statement
DAG: 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 it
So is this some weird reference to the inevitable march of time?