On Sun, 31 May 2020 at 19:29, nch via agora-business <agora-busin...@agoranomic.org> wrote: > On Sunday, May 31, 2020 2:06:51 PM CDT Kerim Aydin via agora-official wrote: > > The below CFJ is 3837. I assign it to grok. > > > > status: https://faculty.washington.edu/kerim/nomic/cases/#3837 > > > > =============================== CFJ 3837 =============================== > > > > Falsifian owns at least one blot if and only if English Wikipedia > > has an article titled "Sponge". > > > > ========================================================================== > > Gratuitous: This CFJ should be found FALSE because the rules do not define a > biconditional relationship between these facts, regardless of whether either > individual fact is TRUE or FALSE. > > -- > nch
Gratuitous response: When I published the statement, I intended "if and only if" to have the classical logic meaning, i.e. (I own at least one blot and English Wikipedia has an article titled "Sponge") or (I do not own at least one blot and English Wikipedia does not have an article titled "Sponge"). I suppose it could be interpreted differently. However, I think my intent is important here, since interpreting natural language is fundamentally an act of figuring out what someone was trying to communicate. I don't know whether there are past judgements on the subject of whether intent matters in a CFJ statement. - Falsifian
