>>82839147
He is absolutely fucking correct, retard. Do you know how many different systems there are in modal logic (pic rel)? This is because nobody can agree on how to correctly think about concepts such as necessity and possibility and so there are a bunch of different axioms that encode different ways in which these two concepts can be thought of. And from these axioms you get a bunch of different logical systems. You can also manipulate these systems in such a way as to produce other kinds of logics as well (e.g. deontic logic, e.g. topological logic).