As a computer programmer I am intimately familiar with the ideas of logic as being answers that can be reduced to a true or false response. The idea of logic as a philosophical discipline, the method of thinking for thinking's sake, has fallen into disuse as an overt exercise.
I have recently been involved in thought as a sort of hobby and have realised that thinking itself is as difficult as some of the more obvious disciplines of mathematics or engineering, both of which I am involved in to some level.
I have been inspired by the work of George Boole, not because of his contribution to computing but to his assertion that every question can ultimately be met with a response that might be reduced to the possibilities of true and false. Logic and thought as an analytical process can be considered to be the reduction of any question to a series of statements that will satisfy those conditions.
Ultimately we might ask "Can a cow jump over the moon?" but in order to say "No" in an unequivocal and unambiguous manner a series of reductions must be made such that we can state with certainty that a cows legs will not be able to generate the power needed to overcome gravity and friction and that the cow itself would not be able to survive for long enough in space to cover the quarter million miles from here to there.
Indeed, to say that a ow cannot jump over the moon might reach down into questions of genetics, engineering, physics, history and many other areas. It isn't enough to simply say no intuitively.
I am certain that Boolean-logic is capable of providing a true or false answer to each and every question asked. Logic however isn't the rendering of answers by the algebraic manipulation of true and false statements, it is the process of arriving at a set of concise questions that might render those questions that have only true or false answers.
No comments:
Post a Comment