# Logic As Climbing Ladders

I think the main purpose of logic is to move from one idea to
another. Whether a proposition is true or false is of course
important. But I don't think that it's why logic should exist.

Logical consistency is overrated. In many cases, we could resolve
logical inconsistencies LATER with dialectics.

Thus symbolic thinking and abduction are the most important ways
of reasoning. Those leap. In contrast, deduction is step by step
and induction is too heavy to go anywhere.

A proof is a path. How to climb ladders to reach the destination.
And intuitionistic logic actually makes sense with this lense. As
a truth I accept A = ~~A. But as climbing ladders it's definitely
A != ~~A.