As we shall soon see, this paper will show that classical logic lacks the necessary precision, forcing us to enhance it with other types of logic languages