> I'd say the major shortcoming of logic is its inability to express uncertainty.
There are formal logics that incorporate uncertainty, non-crisp truth values, or both.
There are formal logics that incorporate uncertainty, non-crisp truth values, or both.
That being said, there are many flavours of non-classical logic and (paraconsistent, multivalued etc.) but their usage remains scarce outside of work in logic itself. Some intuitionistic, constructivist, and computational logics seem to be gaining popularity, especially in computer-related circles (computer-aided proof, numerical methods etc.)