Wouldn't "if x, then y because z" be second order?
Re:Second-Order Thinking
by omginternets on Saturday August 20, 2022 @05:12PM
(#32535175)
As I see it, z is a different type than x and y. It’s the causal arrow linking x to y. The existence of a second causal arrow would make it second-order.
"If y, then z" is second-order reasoning.