[TYPES] [tag] Re: Declarative vs imperative

Mark Janssen dreamingforward at gmail.com
Fri May 3 18:28:01 EDT 2013

>> 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
Tacoma, Washington

More information about the Types-list mailing list