13 Sep
2023
13 Sep
'23
5:24 p.m.
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