Some of us may not agree with the propositions of the informal logical about the use of "practical logic" over formal logic, but I wonder do these known philosophers criticize formal logic and promote the use of informal logic because they are weak at computation or symbols?