Avicenna against Porphyry’s Definition of Differentia Specifica