“As Jonathan Lear has put it, “Aristotle shares with modern logicians a fundamental interest in metatheory”: his primary goal is not to offer a practical guide to argumentation but to study the properties of inferential systems themselves.’
Aristotle explicitly says that what results of necessity must be different from what is supposed.
Aristotle adopts a somewhat artificial way of expressing predications: instead of saying “
X is predicated of
Y” he says “
X belongs (
huparchei) to
Y”.
All the above from
http://plato.stanford.edu/entries/aristotle-logic/
As we can see Aristotle obviously implied that logic is about validity not truth.
Here is a great worksheet that I use in class,
http://people.umass.edu/klement/100/logic-worksheet.html
The below is from that site,
1. All dogs are cats
2. All cats are lizards
3. Therefore, all dogs are lizards
Clearly, this argument is not factually correct, for the premises are false. However, the argument is valid. In other words its logical form is valid. Note that the foundation of logic ( and therefore logic itself) is about form ( validity) not truth. Modus Tollens for example, is expressed by,
A therefore B
Not B
Therefore not A.
It is silly to ask is “ A therefore B” true or false.
https://en.wikipedia.org/wiki/List_of_valid_argument_forms