Character of Logic
I do not find this to be the case. At least not insofar as applied logic is concerned.
Pure logic would be that as in number theory (the afforementioned cold and mechanical). Applied logic is that which has been "alloyed" with conditionals.
The conditionals used herein are the two corollaries of the Fundamental Postulate:
I fully understand that I am possibly giving to an inanimate thing my own characteristics (though it really isn't inanimate, i.e. we're here). However, I sense something extra with a sensibility. It withdraws from unprofitable pathways and may possibly leave vestigial parts lying around for no apparent reason.
If this is so (as unlikely as it may seem) one must be prepared for a few "unexplainables", things which are there because they can be but aren't really necessary.
The reader should take this section very lightly as it in no way affects the outcome of things factually whether right of wrong.