>>11523324logic is a subcategory of math, that pertains to algebraic manipulation of symbols and rules of inference. Classical logic, constructive logic, para-consistent logic, quantum logic, etc.
Logic is under math, like everything else.
>>11523345There is no difference between the "map" and the "territory", this is a midwit dichotomy that doesn't exist.
