Nov 25, 2009
Philosophical Phun - Classical Logic :o)
When mathematicians and many philosophers reason, they occasionally invoke formulas in a formal language to help disambiguate, or otherwise clarify what they mean. In other words, sometimes formulas in a formal language are used in ordinary reasoning. This suggests that one might think of a formal language as an addendum to a natural language. What do deducibility and validity, as sharply defined on the addendum, tell us about correct reasoning in general?
As an engineer by training, this one hits pretty close to home. What do you find relevant, and more importantly, WHY ???