And here's me being confused about what you might think me responding with: "there is no one system we should use", could possibly mean. Well, I certainly can count myself as someone who doesn't know that. What I know instead is that there are lots of different kinds, not just one. Binary logic is just one kind, but there's trinary logic, and I guess you can say there's a logic of quaternions which is four dimensional. But why stop at 4? What is this "second sense"? Are you saying there is logic in a first sense, second, third, and so on? Not a very convincing argument for your "one and only one" claim, is it? How do you know what they are? And if they aren't significant, why can you enrol in university courses that teach formal logic?