يصدق الضروريّ، و ذلك حين كونه وجوديّا (ط، ش، 361، 1)

عرفي عام

-اعلم أنّ العرفيّ العام يصدق مع احتمالات كثيرة ككون الجهة ضروريّة في الكل، و دائمة في الكل أو وجوديّة عرفيّة في الكل. أو ضروريّة في البعض و دائمة في البعض. أو ضروريّة في البعض و وجوديّة في البعض. أو دائمة في البعض و وجوديّة في البعض. أو ضروريّة و دائمة و وجوديّة معا في الأبعاض (ط، ش، 375، 24)

عرفي وجودي

-العرفيّ الوجوديّ مطلق غير ضروريّ، ذهب إليه الإسكندر، مع أنّه يتناقض في جنسه.

و نقيضه هو نقيض العرفيّ العام، مضافا إلى الضروري الذاتيّ الموافق (ط، ش، 361، 3)

عرفية

-المشروطة و العرفية العامتان فتنعكسان عرفية عامة كلّية (ن، ش، 19، 13) - المشروطة و العرفية الخاصتان فتنعكسان عرفية عامة لا دائمة في البعض (ن، ش، 19، 16) - المشروطة و العرفية الخاصتان تنعكسان عرفية خاصة (ن، ش، 19، 20) - المشروطة و العرفية العامتان فتنعكسان عرفية عامة كلّية (ن، ش، 22، 3)

عرفية خاصة

-العرفية الخاصة و هي العرفية العامة مع قيد اللادوام بحسب الذات (ن، ش، 14، 13) - إن دام المحمول بدوام الوصف الذي عبّر به عن الموضوع من غير تقييد بنفي الدوام بحسب الذات سمّيت عرفية عامة، و إن قيّدت به سمّيت عرفية خاصة و مثالهما أبدا كالمشروطتين لكن بحذف الضرورة (و، م، 140، 15) - مع التعرض لنفي دوام المحمول للموضوع عند مفارقة الوصف له كقولنا كل آكل فهو متحرك الفم ما دام آكلا لا دائما و تسمّى هذه في الاصطلاح عرفية خاصة (و، م، 147، 32) - الخاصتان و هما المشروطة الخاصة و العرفية الخاصة إذا كانتا سالبتين كليتين فإنهما ينعكسان كعامتيهما و هما المشروطة العامة و العرفية العامة (و، م، 244، 11)

عرفية عامة

-العرفية العامة و هي التي يحكم فيها بدوام ثبوت المحمول للموضوع أو سلبه عنه بشرط وصف الموضوع (ن، ش، 13، 22) - إن دام المحمول بدوام الوصف الذي عبّر به عن الموضوع من غير تقييد بنفي الدوام بحسب الذات سمّيت عرفية عامة، و إن قيّدت به سمّيت عرفية خاصة و مثالهما أبدا كالمشروطتين لكن بحذف الضرورة (و، م، 140، 14) - إن يقيّد دوامها بوصف الموضوع من غير تعرّض فيها لنفي دوام المحمول له عند مفارقة الوصف كقولنا كل آكل فهو متحرك الفم ما دام آكلا. و تسمّى هذه في الاصطلاح عرفيّة عامّة (و، م، 147، 27) - الدائمتان و هما الضرورية المطلقة و الدائمة المطلقة و العامتان و هما المشروطة العامة و العرفيّة العامة، فذهب كثير منهم (الفلاسفة المنطقيون) إلى أنها تنعكس إلى أخص من