3 ms·
"If x, then y" is one implication, so that's first-order reasoning. "If y, then z" is second-order reasoning.
by omginternets 4y ago
"If x, then y" is one implication, so that's first-order reasoning.
"If y, then z" is second-order reasoning.
- Akronymus 4y agoWouldn't "if x, then y because z" be second order?
- omginternets 4y agoAs 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.