نعم، كانت مترجمة، والدليل ما تجده مثلًا في كتب الشيخ من نقاشٍ لأقواله، والاتفاق مع كثير منها، كما هو الحال في طبيعيات الشفاء، أو مخالفته في بعض ما ذهب إليه، كما هو الحال في برهان الشفاء.