Martin has pointed out what appears to be an excellent opportunity to put together a special presentation on Epicurean views of "formal logic" and its relationship to reality. The opportunity comes from our mention in an earlier thread of the following statement by Torquatus in Cicero's On Ends:
Again, the thread reference was here, and below is a copy of Martin's post: RE: Issues In The Meaning And Definition of Logic
One way of stating the issue is that the laws of formal logic in fact do allow a syllogistic construction in which the conclusion is true while one or more premises or false. This is not the way non-experts think that logic works, so it is important that non-experts understand what the experts are asserting, so that they can see that the assertions of formal logic need not be connected with reality -- and for that reason normal people should not infer that formal logic can be used to "disprove reality."
We're going to see if we can put together some reference material that will make this issue easier to understand, and hopefully trace it all the way back to Aristotle if not earlier.
The issue of logic being a tool that can be consistent within itself, and yet not be connected with practical reality, is something that we see come up over and over. It seems to me that this is counterintuitive to the way most non-experts approach the issue of logic, so it will be great to see if we can develop a presentation that will make the issue easier for the average person to understand.