Yes, thank you! And Quine spoke about „the value of a bound variable“ if I am not mistaken which seems like a minor point, but there has to be some universe of

Yes, thank you! And Quine spoke about „the value of a bound variable“ if I am not mistaken which seems like a minor point, but there has to be some universe of discourse and some quantification has to go on for a variable to be bound. This is a good quick background on Quines motivation and further developments btw: https://philosophy.stackexchange.com/a/23798 https://philosophy.stackexchange.com/a/23798