Perspectives nusairiennes sur la logique
البصاير النصيريه في علم المنطق
Genres
وهذه المؤلفات التى هى أجزاء الشرطيات قد تكون حمليات، والمؤلف منها هى القضية الشرطية البسيطة وقد تكون أيضا شرطيات، فلنعد أصنافها:
أما المتصلة فقد تكون مركبة من حمليتين كقولك: «ان كانت الشمس طالعة فالنهار موجود» .
وقد تكون مركبة من حملية وشرطية اما متصلة واما منفصلة.
أما تركيبها من الحملية والمتصلة وليكن المقدم حمليا كقولك: «ان كانت الشمس علة النهار فكلما كانت الشمس طالعة فالنهار موجود» .
وليكن الثانى حمليا كقولك: ان كانت كلما كانت الشمس طالعة فالنهار موجود» فان الشمس علة النهار.
وأما تركيبها من الحملية والمنفصلة والحملى هو المقدم فمثل قولك: «ان كان هذا عددا فهو اما زوج واما فرد» ومثاله والحملى هو الثانى قولك: «ان كان هذا اما بياضا واما سوادا فهو لون» .
وقد تكون مركبة من متصلتين كقولك: ان كان اذا كانت الشمس طالعة فالنهار موجود فان لم يكن النهار موجودا لم تكن الشمس طالعة. »
وقد تكون مركبة من منفصلتين كقولك: «ان كان الجسم اما ساكنا واما متحركا فبعض الجواهر اما ساكن واما متحرك» وقد تكون مركبة من متصلة ومنفصلة وليكن المتصل مقدما كقولك: ان كان كلما كانت الشمس طالعة فالنهار موجود فاما ان تكون الشمس طالعة واما أن لا يكون النهار موجودا» .
وليكن المتصل تاليا كقولك: «ان كان اما أن يكون هذا العدد زوجا واما أن يكون فردا فان كان زوجا فليس بفرد. »
وللمنفصلة أيضا بإزاء كل قسم من هذا قسم، أما تركبها من الحمليتين فكقولك: «اما أن يكون هذا العدد زوجا واما أن يكون فردا» وتركبها من
Page 274