There is the mathematical logic that is deduced from axioms which is considered universally true unless the axioms are false.

Our everyday "folk" logic is always contextual and ambiguous. The deductions are probabilistic instead of being deterministic. They are sometimes true.