GE Morton wrote: ↑April 11th, 2020, 6:12 pmThanks, but otiose is the word I want. It only rarely means lazy.Peter Holmes wrote: ↑April 11th, 2020, 4:20 pm"Foundationless"? I wasn't aware that a language required a foundation to be functional or useful. What sort of foundation do you think it should have? A language is a communication tool. What sort of foundation does any tool have?
A meta-language is just another language, so it's as foundationless as all languages.
I think you have some category confusion there (applying predicates to a class of subjects that only apply to some other class).
And what we call truth isn't a thing that can be described in any language. All we can do is explain how we use or could use thw word 'truth' and its cognates and related words.The formula I gave is a definition of "truth-in-L," with "L" being the target language. Definitions are one way --- the most common way --- we explain the uses of terms.
And the theorum states 'p is true iff...' - not 'p can be assigned the truth-value true iff... So, as I said, confirmability is otiose.I think the word you want there is "redundant," not "otiose" (which means "lazy", or "pointless"). Yes, it is redundant. I mention it to point out that confirmation is entailed, necessitated, by the theorem.
But anyway, you agree that your preferred theory of truth has a redundant condition: confirmability. And anyway, confirmability isn't confirmation, so the condition is ill-defined. I suggest you move to a different theory. Or, better still, recognise that truth isn't a thing about which theorising makes sense. That's a category confusion.
I think there's progress here. You agree that correspondence theories of truth don't work, and that languages - including linguistic truth-claims - require no foundation beneath our linguistic practices.