pewpau: There are many formal logics. And the same connectives and quantifiers, if they exist in two or more of them, have different meanings in each of those.
pewpau: Well, there's no meaning beyond the formal one. It's just a game with symbols.
two or more of those* logics*