A_Seagull wrote:
What then of the 'laws of logic'? Do they apply to statements or propositions? Or both or neither?

I think propositions can have the value 'true' or 'false', but as far as logic is concerned that is all they are - they are not true or false 'about' anything.

It is like seeing +1 or -1 in a sum, we would not feel we needed to know 'one what?' Or, if we insisted we did, then others might think we had a fundamental problem with maths!

To put it another way, in logic we can just use symbols, like 'P' to represent the propositions. And the logic bit works irrespective of what that 'P' might represent, even if the 'P' was replaced by a bit of nonsense. For the logic all we need to know is whether it is true-nonsense or false-nonsense.