This isn’t translatable as a function. ‘Meaningful’ and ‘meaningless’ aren’t values bivalent functions return so they shouldn’t be values in our logic.
So the sentence “The sentence ‘Everything written on the board in Room 33 is either false or meaningless.’ is meaningless” is not true?
So the sentence “The sentence ‘Everything written on the board in Room 33 is either false or meaningless.’ is meaningless” is not true?
Sure it’s true. Thats just Meaningless(Sliar())… I guess I don’t seen why the selected portion would imply otherwise.
Oh, right, now I get it.