> logical systems based on the manipulations of symbols are one thing while the messy reality of being human and living is quite another. There has to be a lot

> logical systems based on the manipulations of symbols are one thing while the messy reality of being human and living is quite another. There has to be a lot of overlap, or else we wouldn't bother with logic and coherence in our everyday lives :) If we want predictive powers that we can communicate and play with, logic systems seem to be the best practical tool we've come up with.