@William,
Quantum logic is not new logic, in fact the only thing that can be new a bout any logical
structure is its
formal development. Quantum logic is just
many valued as opposed to
bi valued. There is also fuzzy logic, which accounts for gradated truth, like if you wanted to ask whether something is thick or not; there is not clear cutoff, if something is thick if it is 4 inches thick, is it no longer thick if it is 3.999999999 inches thick? This is used in AI to aide the recognition of more qualitative concepts. So the logical
structure or formalization is new, but the concept is certainly old and ingrained in us.
Anything like mathematics or
formal logic is simply organization, it creates nothing new, but shows relations and organizes ideas and patterns in a way that makes them applicable, like a refinement process that takes vague patterns and concepts and makes them concrete and actually useful, throwing away what is not necessary to solve the problems at hand. It is a kind of refinery for human ingenuity, once the pure form is distilled, it can be communicated and applied. It is amazing how precisely logical ideas can be communicated when the language and all of the definitions are so heavily standardized and agreed upon, allowing for no different interpretation.