[FOM] Girard's new program

[aa@post.tau.ac.il]

Quoting Alasdair Urquhart <urquhart at cs.toronto.edu>:


> So far, I think it is fair to say that linear logic as a calculus
> has been quite successful, but the larger foundational aims
> have yet to be realized.  

Successful in what way(s) and for what goal(s)?

Linear Logic was concieved 16-17 years ago, and its birth was
accompanied by a big amount of huge promises. I believe that
after 16 years it is fair to ask the specialists what has
been achieved, for what it might be good for, and what is the
basis for the belief it is (or is going to be) good for whatever
is listed in the answer to my second question.

My questions should not be taken as an attack on Linear Logic. I
really would like to know the answers to my questions, and to understand
the views and motivation of the logicans (some of them excellent
logicans!) who devote a lot of their research to Linear Logic.

Arnon Avron




-------------------------------------------------
This mail sent through IMP: http://horde.org/imp/