The ancient thought and analytic philosophy: Porphyry’s logic of predication in the light of Russell’s type theory