9 Jul
2007
9 Jul
'07
5:28 p.m.
Andrew Coppin wrote:
I stand in awe of people who actually understand what "universal" and "existential" actually mean... To me, these are just very big words that sound impressive.
I offer to relieve that with http://www.vex.net/~trebla/allsome.txt I think of formal logic as clarifying thought and semantics, cleaning up the mess caused by idiosyncracies in natural languages (both syntax and semantics) such as English. But not many people realize they are in a mess needing cleanup.