undefined | Better HN

0 pointssamatman1y ago0 comments

> Logic doesn't really have a direction, it works backwards or forwards.

Implication is one of the primitives in logic, and gives us several of the classic logical fallacies: affirming the consequent, denying the antecedent, fallacy of the converse, and fallacy of the inverse.

All of which are examples of trying to work logic as though it doesn't have a direction.

0 comments

naasking1y ago

Implication is not primitive, "x->y" is reducible to "not(x) or y". None of those fallacies derive from a lack of direction, but from not being invalid logical deductions.

j / k navigate · click thread line to collapse

0 pointssamatman1y ago0 comments

> Logic doesn't really have a direction, it works backwards or forwards.

All of which are examples of trying to work logic as though it doesn't have a direction.

0 comments

naasking1y ago

Implication is not primitive, "x->y" is reducible to "not(x) or y". None of those fallacies derive from a lack of direction, but from not being invalid logical deductions.

j / k navigate · click thread line to collapse