Consider the following argument.
1) People who write novels are more sensitive than people who play soccer. 2) Alf writes novels. 3) Brian plays soccer.
Conclusion: 4) Alf is more sensitive than Brian.
Here is how you formalise this argument using predicate logic (many thanks to Mauro Allegranza):
1) ∀x∀y((Nx & Sy) ⊃ Mxy) 2) Na 3) Sb Conclusion: 4) Mab
M= more sensitive than N= writes novels S= plays soccer a= Alf b= Brian
Here is my question: am I right in thinking that you can't formalise this argument using Aristotle's logic (i.e., it would be an invalid argument in it)? The reason is that in Aristotle's logic you can't infer from the fact that people who write novels are more sensitive than people who play soccer that people who play soccer are less sensitive than people who write novels. As a result, you can't infer that Alf is more sensitive than Brian. In order for this argument to be valid you need a language where you can express relations between singular terms. Am I right?
Thank you very much for your help!