tag:blogger.com,1999:blog-5371132400241072988.post5795203126914735480..comments2012-10-16T02:22:45.319-07:00Comments on TONIGHT: Proponent v. Opponent: this is what happens when you think too much about dialoguesJesse Alamahttp://www.blogger.com/profile/18300729364134604326noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-5371132400241072988.post-88856727901251776302011-06-08T06:13:09.170-07:002011-06-08T06:13:09.170-07:00Exactly my worry w.r.t. my comment "Would tha...Exactly my worry w.r.t. my comment "Would that really be enough?" It would certainly be a start.Sara L. Uckelmanhttps://www.blogger.com/profile/14716054827293611237noreply@blogger.comtag:blogger.com,1999:blog-5371132400241072988.post-53493249536886843392011-06-08T06:10:47.306-07:002011-06-08T06:10:47.306-07:00The axiomatiziation approach is promising, but one...The axiomatiziation approach is promising, but one would need to be careful of getting bit by a lack of uniform substitution. What I have in mind is: even if all the axioms of some suitable axiomatization of IL turn out to be D-minus-D11 valid or D-minus-D12 valid, we might not get all of IL because there could be some instance of one of these that fails to be valid. We also have to show that the composition problem for D-minus-D11/D-minus-D12 is solved positively.Jesse Alamahttps://www.blogger.com/profile/18300729364134604326noreply@blogger.com