Al-Baṣāʾir al-Naṣīriyya fī ʿilm al-manṭiq
البصاير النصيريه في علم المنطق
Genres
وهذه المؤلفات التى هى أجزاء الشرطيات قد تكون حمليات، والمؤلف منها هى القضية الشرطية البسيطة وقد تكون أيضا شرطيات، فلنعد أصنافها:
أما المتصلة فقد تكون مركبة من حمليتين كقولك: «ان كانت الشمس طالعة فالنهار موجود» .
وقد تكون مركبة من حملية وشرطية اما متصلة واما منفصلة.
أما تركيبها من الحملية والمتصلة وليكن المقدم حمليا كقولك: «ان كانت الشمس علة النهار فكلما كانت الشمس طالعة فالنهار موجود» .
وليكن الثانى حمليا كقولك: ان كانت كلما كانت الشمس طالعة فالنهار موجود» فان الشمس علة النهار.
وأما تركيبها من الحملية والمنفصلة والحملى هو المقدم فمثل قولك: «ان كان هذا عددا فهو اما زوج واما فرد» ومثاله والحملى هو الثانى قولك: «ان كان هذا اما بياضا واما سوادا فهو لون» .
وقد تكون مركبة من متصلتين كقولك: ان كان اذا كانت الشمس طالعة فالنهار موجود فان لم يكن النهار موجودا لم تكن الشمس طالعة. »
وقد تكون مركبة من منفصلتين كقولك: «ان كان الجسم اما ساكنا واما متحركا فبعض الجواهر اما ساكن واما متحرك» وقد تكون مركبة من متصلة ومنفصلة وليكن المتصل مقدما كقولك: ان كان كلما كانت الشمس طالعة فالنهار موجود فاما ان تكون الشمس طالعة واما أن لا يكون النهار موجودا» .
وليكن المتصل تاليا كقولك: «ان كان اما أن يكون هذا العدد زوجا واما أن يكون فردا فان كان زوجا فليس بفرد. »
وللمنفصلة أيضا بإزاء كل قسم من هذا قسم، أما تركبها من الحمليتين فكقولك: «اما أن يكون هذا العدد زوجا واما أن يكون فردا» وتركبها من
Page 274