ok so maybe we can go through that slowly and consider it “this statement is false”
if it’s true, we evaluate it, and derive a contradiction. so it’s not true. if it’s false, we evaluate it …. of first it is stating it’s true, then [basically we expect to derive a change in logic and binary true/falseness. one solution is the separation earlier considered, of two kinds of falseness - that including and excluding the assumptions of the logic. the uhh modus tolens? ends up being different, because the set of countered things is different
