Am 27.05.2017 um 13:51 schrieb Alex Smith:
On Sat, 2017-05-27 at 11:10 +0200, Martin Rönsch wrote:
If that's not valid (which I don't think it is, but I'm new, so I know
nothing) then you'd have to somehow reconstruct Agora's logical calculus
from all the rules, CFJs etc. in order to see whether Explosion is
necessary to make it work.
This seems like an almost impossible task to me. Has anyone ever tried
to something like this in a thesis?
This thesis of mine was about a scam attempt using Curry's Paradox:
<http://www.mail-archive.com/agora-official@agoranomic.org/msg07043.html>
In particular, it talks about how there's no way to use Curry's Paradox
to create a gamestate change under Agoran law (rather, it ends up being
treated like an Epimenedes paradox, which is just a straightforward
DISMISS if done in a CFJ statement due to the
undecidability/circularity).
Thanks for sharing. I don't think I would have found that by searching
on my own.
This is some well thought out stuff. Only after reading your thesis,
your conclusion that the rules of Agoran don't really behave like a
closed system of logical expressions seems obvious to me.
Veggiekeks
