There's an argument to be made that these logical constructs you mention might just nkt be meaningful in the real world. Everything has to come down to zeroth order logic, eventually, I guess.