I am finding al-Farabi's Philosophy of Plato and Aristotle on pages 13-17, paragraphs 1-9, (pages 11-13 in the pdf file linked below), very interesting:
What science is this? Is it a branch of Aristotelian logic? It seems to be more "meta" than simply elementary logic. I cannot find similar discussions as al-Farabi's in books such as Jevons's elementary lessons in logic, for example.
What is the science which al-Farabi is discussing and where can I study it in more detail? Is it Aristotelian metaphysics?