Anon10/17/25, 01:09No.16818931
You can literally invent any logic you want by simply extending the system K in modal logic. Out of it has come deontic logic, tense logic, locative logic, and a bunch of other shit. Logic by this standard is indeed just philosophy. Math is special in that it utilizes quantificational logic which has similar patterns to the above mentioned logics.A logic of ethics can operate off of the above mentioned deontic logic, a logic of space and location by the above mentioned locative logic, a logic of time using temporal logic, etc. It's actually sorta arbitrary what you can do. All logics follow a very similar patterns though, for example they'll have duals (True, False in PL; the logical connectives ∧,∨; ∀,∃ in quantificational logic; □, ◇ in modal logic; O and P in deontic logic; G, F and H, P in tense logic) which are obtained by introducing negation (~True=False, ~∀xP(x)=∃x~P(x), □~p=◇~p, ~(p∧q)=~p∨~q, etc.).