@Dcleve I am creating a brand new idea that I named {semantic tautology}. A semantic tautology occurs when a new combination of ideas is assigned to a word or phrase making a brand new term. To verify that a semantic tautology is true only requires verifying that this set of ideas has been assigned to this term. That cats are animals is an example of a semantic tautology.

@polcott -- I don't think you have really been paying attention to our discourse. THIS is not true: "To verify that a semantic tautology is true only requires verifying that this set of ideas has been assigned to this term." FIRST, one needs to show that a logic is compete and valid. And per Godel, that is impossible. THEN one must show that a set of linguistic rules is compete and unambiguous. And both Godel and Quine showed that is impossible.

THEN, one must show that the assigned words and concepts and language all satisfy the criteria of the logic system. And no human concepts, and no physical objects do -- although MAYBE we can construct an abstract language and set of definitions that could. Quine argued this was impossible. These conclusions are philosophic consensus. So -- you have your work cut out for yourself, your starting, unidentified assumptions need you to overturn much of philosophy.