It should be pointed out that formal logic, logic often taking the form of a syllogism
all M is P
S is M
______________
Therefore: S is P
only deals with validity, not truth. Any truth that arises is dependent on the truth of the premises. For instance, take the following:
All the presidents of the USA have been male
James Monroe was a president of the USA
_____________________________________
Therefore: James Monroe was a male
This argument is both valid and true. Whereas the exact same form:
All the presidents of the USA have flown in an airplane
James Monroe was a president of the USA
____________________________________________
Therefore: James Monroe flew in an airplane.
is valid but untrue. Not all presidents have flown in an airplane. What makes it valid is its form. This particular form is sometimes known as categorical figure 1, or AAA-1, or BARBARA. (Altogether, there are 15 valid forms.)
M P
S M
___
S P (M stands for middle term, P for predicate, and S for subject)
Now take an argument that has the form
This is invalid, which can readily be seen if we plug in specific terms.
All wine is a beverage
Pepsi is a beverage
_________________
Therefore: Pepsi is a wine.
Both premises are true but because the form of argument is not valid it can't be considered a valid argument. However, this doesn't mean an invalid argument can't have a true conclusion.
All wine is a beverage
Merlot is a beverage
_________________
Therefore: Merlot is a wine.
The "Therefore" is crossed out because the conclusion doesn't logically follow. It just happens to be true.
The things is, if the premises are true a valid argument will
always produce a true conclusion, not just sometimes.