With the study of logic, lots of words get thrown around that I don't really understand their complete meaning. With a deductive argument the conclusion is true if the premises are true, and an argument is valid if all the inferences (and the conclusion) follow logically from the axioms. These are things taught in any intro to logic class, but the more important question is: "What is truth?" Not just philosophically, but in the realm of logic. If something is proven does that mean it is true? If something is provable, does that mean it is true? Which immediately asks the question, what is provable, and what is proven? This isn't an issue of picking words apart, it's a question of logic. How are these concepts defined in the formal study of logic? Here's a list of words that I require clarification for, wiki isn't always helpful... *True *False *Proven *Provable *Unprovable *Correct This is a serious query, I am not interested in getting into an argument on the nature of definitions, please do not consider "What is truth?" to be a profound philosophical question. The issue is what is true from a logical foundation.