If I strictly adhere to Kripke’s system, then I can’t actually explain to you the idea of meaningless sentences, because it’s always either false or meaningless to claim that a sentence is meaningless. (False when we claim it of a meaningful sentence; meaningless when we claim it of a meaningless one.)
I’d like to clear this up for myself. You’re saying that under Kripke’s system we build up a tower of meaningful statements with infinitely many floors, starting from “grounded” statements that don’t mention truth values at all. All statements outside the tower we deem meaningless, but statements of the form “statement X is meaningless” can only become grounded as true after we finish the whole tower, so we aren’t supposed to make them.
But this looks weird. If we can logically see that the statement “this statement is true” is meaningless under Kripke’s system, why can’t we run this logic under that system? Or am I confusing levels?
I’d like to clear this up for myself. You’re saying that under Kripke’s system we build up a tower of meaningful statements with infinitely many floors, starting from “grounded” statements that don’t mention truth values at all. All statements outside the tower we deem meaningless, but statements of the form “statement X is meaningless” can only become grounded as true after we finish the whole tower, so we aren’t supposed to make them.
But this looks weird. If we can logically see that the statement “this statement is true” is meaningless under Kripke’s system, why can’t we run this logic under that system? Or am I confusing levels?