بوعلی در منطق اشارات در تعریف عارض ذاتی فرموده است: هو المحمول الذي يلحق الموضوع من جوهر الموضوع و ماهيته؛ عارض ذاتی یعنی محمولی که به خاطر جوهر و ماهیت موضوع، بر آن بار میشود. «جوهر» در اینجا به معنای لغویِ آن یعنی همان ذات است. «ماهیته» هم عطف تفسیری است و در اینجا به معنای اعم است؛ یعنی شامل وجود و هو هویت میشود.