Comments on: The answer is obvious http://www.logophile.org/blog/2008/04/14/the-answer-is-obvious/ blog of a logophile (not "logos", but "λόγος") Thu, 08 Jan 2009 11:59:16 +0000 http://wordpress.org/?v=2.7 hourly 1 By: tikitu http://www.logophile.org/blog/2008/04/14/the-answer-is-obvious/comment-page-1/#comment-5519 tikitu Thu, 22 May 2008 14:20:47 +0000 http://www.logophile.org/blog/?p=369#comment-5519 <p>Seriously, the Language Log folks put this one through the wringer. I doubt there's a sensible option they haven't discussed, although as I recall my suggestion didn't come up. (There's an inference there for the taking.)</p> Seriously, the Language Log folks put this one through the wringer. I doubt there’s a sensible option they haven’t discussed, although as I recall my suggestion didn’t come up. (There’s an inference there for the taking.)

]]> By: Tom http://www.logophile.org/blog/2008/04/14/the-answer-is-obvious/comment-page-1/#comment-5518 Tom Thu, 22 May 2008 12:08:10 +0000 http://www.logophile.org/blog/?p=369#comment-5518 <p>How about: and/or means XOR or AND?</p> How about: and/or means XOR or AND?

]]> By: tikitu http://www.logophile.org/blog/2008/04/14/the-answer-is-obvious/comment-page-1/#comment-5462 tikitu Wed, 16 Apr 2008 16:33:15 +0000 http://www.logophile.org/blog/?p=369#comment-5462 <p>Seems like it should, by some sort of fixpoint argument (you can collapse any finite number of nestings without changing the meaning). Paper? ^_~</p> Seems like it should, by some sort of fixpoint argument (you can collapse any finite number of nestings without changing the meaning). Paper? ^_~

]]> By: bon http://www.logophile.org/blog/2008/04/14/the-answer-is-obvious/comment-page-1/#comment-5460 bon Tue, 15 Apr 2008 14:57:25 +0000 http://www.logophile.org/blog/?p=369#comment-5460 <p>So you're saying that "and/or" is "and and/or or" which is "and and and/or or or"...</p> <p>Do you think it converges in some kind of higher order type theory?</p> So you’re saying that “and/or” is “and and/or or” which is “and and and/or or or”…

Do you think it converges in some kind of higher order type theory?

]]>