مستغرقا في الكلية الموجبة . ونقض العكس المستوى
Obverted C .
نوع من الاستدلال المباشر بالعكس والنقض . وهو تحويل القضية إلى أخرى ، موضوعها محمول الأصل ، ومحمولها نقيض موضوع الأصل ، مع بقاء الصدق والكذب ، وطريقة ذلك بعكس القضية الأصلية عكسا مستويا أولا ، ثم تنقض المعكوسة نقض المحمول .
عكس النقيض . . .
Contraposition ( E . ; F . ) ; Contrapositio ( L . ) ; Kontraposition ( G . )
هو أن نجعل مقابل المحمول بالإيجاب والسلب موضوعا ، ومقابل الموضوع محمولا ، فنقول : إذا قلنا كل ح ب لزم منه أن كل ما ليس ب ليس ح . ( ابن سيناء - الشفاء ) .
وعكس النقيض التام
Full C .
، أو الموافق
Obverted C .
هو تحويل القضية إلى أخرى موضوعها نقيض محمول الأولى ، ومحمولها نقيض موضوع الأولى ، مع بقاء الصدق والكيف ، وهذا هو عكس النقيض المخالف ، ثم ننقض المحمول .
وعكس النقيض الجزئي أو المخالف
Partial C .
هو تحويل القضية إلى أخرى موضوعها نقيض محمول الأصل ، ومحمولها نقيض موضوع الأصل ، مع بقاء الصدق دون الكيف ، وذلك بنقض محمول الأصل أولا ، ثم نعكس نقض المحمول عكسا مستويا .
عكس ونقض . . .
Eduction ( E . ) ; E ? duction ( F . ) ; Eductio ( L . ) ; Eduktion ( G . )
طريقة في الاستدلال المباشر ، بالعكس والنقض بين قضايا تختلف في الموضوع وحده ، أو المحمول وحده ، أو في الموضوع والمحمول معا ، وهو أنواع : العكس المستوى ونقضه ؛ ونقض المحمول ؛ وعكس النقيض المخالف ؛ وعكس النقيض الموافق ؛ ونقض الموضوع ، والنقض التام .
علاقة . . .
Relation ( E . ; F . ; G . ) ; Relatio ( L . ) ;
رابطة وهي بالكسر ، كعلاقة القوس والسوط ونحوهما ، وتستعمل في المحسوسات ؛ وبالفتح كعلاقة الخصومة والمحبة ونحوهما وتستعمل في المعاني . وفي اصطلاح المنطقيين العلاقة بالفتح ، وتربط بين موضوعين أو أكثر ، أو هي خاصية تنتمى لموضوع باعتباره مرتبطا بموضوع آخر .
ويرمز للعلاقة بالرمز ع ، ولها طرفان ، الأول طرف البداية أو السابق
Predecessor
، أو المشير
Referrent
، وهو المضاف ، ويرمز له بالرمز س أو
a
، والثاني طرف النهاية ، أو اللاحق
Successor
، أو المشار إليه
Relatum
، وهو المضاف إليه ، ويرمز له بالرمز ص أو
b
. ولكل علاقة نطاق
Domain
، وهو الفئة التي يكون الطرف البداية في القضية الإضافية أحد أفرادها ، ونطاق مضاد أو عكسي .
Counter - d
أو
Converse - d .
وهو الفئة التي يكون الطرف النهاية أحد أفرادها . ويسمى مجموع