چکیده:
قضية منطقي حمليه باعتبار كيف تقسيم ميشود به موجبه و سالبه و هر يك از آن دو، باعتبار محمول تقسيم ميشود به محصّلة المحمول، معدولة المحمول و سالبة المحمول. اما در چگونگي ساختار و نيز مفاد آنها ميان فلاسفه و منطقدانان اختلاف نظر جدّي وجود دارد كه قابل تحقيق است. دربارة تعداد اجزاء مقوّم حقيقت قضيه و اجزاء خارج از حقيقت قضيه كه لازمة تحقق آن هستند نيز نظر واحدي وجود ندارد. تعداد اجزاء قضيه بحسب اختلاف هليّات بسيطه و هليّات مركّبه موجبه و سالبه مشخص ميشود. دربارة نسبت حكميه نيز برخي معتقدند در همة قضايا ـ چه موجبه و چه سالبه ـ نسبت، ثبوتي و وجودي است ولي بعقيدة برخي ديگر، اين نسبت تنها در قضاياي موجبه، ثبوتي است و در قضاياي سالبه، سلبي و عدمي است. افزون بر اين، مشروط يا غير مشروط بودن تحقق موجبة معدوله نيز مطرح شده و قضية سالبة المحمول نيز مورد مناقشه قرار گرفته است. ساختار قضية سالبة المحمول در صورت ملفوظ، همانند قضية سالبة محصّله است اما در مفاد و مدلول، متفاوت است. مفاد قضية سالبة محصّله، رفع و قطع حكم ايجاب است ولي مفاد سالبة المحمول ايجاب سلب است. اين نوع قضيه را خواجهنصيرالدين طوسي و از معاصرين، علامه طباطبايي بعنوان يك قضيه' منطقي قبول ندارند.
Logical propositions are divided qualitatively into affirmative and negative types, and each of them is also divided into three attributive-predicate, privative-predicate, and negative-predicate types. Nevertheless, there are serious disagreements among philosophers and logicians regarding their structure and content, which demands more research. Neither is there any unanimity as to the number of the constitutive components of the truth of propositions and the components necessary for their realization. The number of components of a proposition is determined based on the difference between simple questions and affirmative and negative compound questions. Moreover, some thinkers maintain that the judicial relation is an affirmative and ontological relation in all propositions, whether affirmative or negative. However, some others believe that it is affirmative only in affirmative propositions, while it is negative and non-existential in negative propositions. Furthermore, the conditional or non-conditional nature of the actualization of modified affirmative propositions has been propounded, and the negative-predicate proposition has been debated. The structure of a negative-predicate proposition, when pronounced, is similar to a negative attributive proposition but is different from it regarding its content and signification. The content of a negative attributive proposition pertains to the elimination and interruption of the affirmation judgment, while the content of a negative-attributive proposition focuses on affirmation of negation. Khwajah Nasir al-Din Tusi and ‘Allamah Tabataba’i, the contemporary philosopher, do not accept such aproposition as a logical proposition.