logical bob wrote:I'd argue that logic actually is the consequence of empirical evidence.
I’m in agreement with what I think is your main point, that we have no more guarantee of being right in logic than we have in our knowledge of the external world? Our firmest convictions in either area could turn out to be wrong.
I wouldn’t go so far as to say that our feelings of certainty in logic are dependent on our feelings of certainty about the external world, I would say the two are more confusedly intermingled than that? In post #119 above you say:
Most people think of gravity as a universal law because we take it that science says so; we don’t have a problem with imagining that helium balloons could go up because gravity is working backwards, we just take scientists’ word for it that gravity’s working fine and the weight of air is responsible for the balloons’ behaviour. I would guess that very few people have first-hand experience and understanding both of the astronomical observations and of the sophisticated maths that underlie Newton’s version of gravity, and appreciating Einstein’s version needs more of same. Formulating the laws of gravity needed logic in the form of maths. I don’t think scientists would claim they are 100% sure there will never be exceptions to gravity, especially as gravity and quantum theory are still unintegrated?logical bob wrote:Most people would be happy to say that a sudden failure of gravity to act the way we expect it to is impossible, but nobody has an issue with the idea that gravity is something we learn from experience and not a matter of necessity. Impossible things are impossible because that just isn't the way the world works.