Is 2 valued logic "The one true logic"?

73 Views Asked by At

Nonstandard logics are included in the formal content of 2-valued logic as "object theories", and can be embedded in the formal structure of 2VL as special-purpose "subtheories". 2VL can in principle be taken as content by its subtheories, but this is a bit deceptive, as the subtheories still rely on 2VL for intelligibility (that's why they're the "subtheories", and 2VL is the "theory" or "metatheory" - only 2VL has what it takes to define identities and qualify on its own as an intelligible theory which renders its content identifiable). So really, it's more like 2VL taking itself as content through its subtheories. That being understood, nonstandard logics can be very useful for describing uncertainty, indeterminacy, potentials, possibilities, probabilities, quantum wave functions, the metaverse, and so on - one just has to be careful about what one is doing, and how one is doing it.

What do you make of this? Is it correct to say this?