[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
>> To me, that sounds like a total and unconditional rejection. > > No, what I meant is that the classical logic represents a stage in the > development of logic. It cannot be taken as the final answer. In fact, we > cannot accept that we have a final answer until the entire natural language > has been formalized, which might take a very very long time indeed! (The > view I take, following Quine, is that logic is a regimentation of natural > language. We can perfectly well circumscribe various regimens for various > purposes.) But if we're going to be in the Computer Science department, can we get away from the idea of "logic as a regimentation of natural language" (which is fine for the Philosophy department) and move to the idea of logic as equations of Binary Artihmetic and Boolean Algebra? -- MarkJ Tacoma, Washington
