والمنطق هو نظام التعيّنات الخالصة للفكر ، وهو علم الوجود ، والبحث في المنطق بحث في الوجود .
ومؤلّف المنطق ومدوّنه أرسطو . والمنطقي
Logician ( E . ) ; Logicien ( F . ) ; Logiker ( G . )
إما ناظر في الموصّل إلى التصور ويسمى قولا شارحا ومعرّفا ، وإما ناظر في الموصّل إلى التصديق ويسمى حجة . والنظر في المعرّف هو باب التعريفات ، وفي الحجة هو باب القضايا وأحكامها ، فإن كان في القضايا باعتبار الصورة فهو باب القياس ، وباعتبار المادة فهو باب من أبواب الصناعات الخمس ، لأنه إن أوقع ظنا فهو الخطابة ، أو يقينا فهو البرهان ، وإلا فإن اعتبر فيه عموم الاعتراف والتسليم فهو الجدل ، وإلا فهو المغالطة . وأما الشعر فلا يوقع تصديقا ولكن لإفادته التخييل الجاري مجرى التصديق ، من حيث أنه يؤثر في النفس قبضا أو بسطا ، عدّ في الموصّل إلى التصديق .
منطق الإلزام الخلقي . . .
Deontic Logic ( E . ) ; Logique Deontique ( F . ) ; Pflichtlogik ( G . )
يختص بالناحية الصورية للإلزام الخلقي ، أي ناحية الجهة التي تؤثر في العبارة فتجعلها عبارة تعنى إلزاما خلقيا ، ولذلك يرتبط بمنطق الجهة ، ويقوم على مبادئ أن ما ينبغي فعله أستطيعه ، أي أن الملزم ممكن ، وأن ما لا يمكن فعله دون أن يترتب عليه خطأ ، من الخطأ فعله ، والعكس صحيح ، ومناطه الأفعال التي إلزامها حقيقي ، بعكس الأفعال المطلوبة التي إلزامها ظاهري والتي يختص بها منطق المتطلبات . أما منطق المتطلبات
Logic of Recquirements
فيختص بالأفعال المطلوبة والتي إلزامها ظاهري ، بعكس منطق الإلزام الخلقي الذي مناطه الأفعال الملزمة التي إلزامها حقيقي .
منطق أولى . . .
Elementary Logie ( E . ) ; Logique E ? le ? mentaire ( F . ) ; Elementare Logik ( G . )
المنطق الحملى من الدرجة الأولى
First - order Predicate Logic
، ويعالج الحجج التي تقع خارج نطاق منطق الجمل ، أي الجمل التي ليست بسيطة ، ولا مركبة ، وهو أهم أجزاء المنطق الحملى ، ويسمى من الطراز الأول لأنه يقصر استخدام الأسوار على الأفراد دون الفئات .
ويبدأ المنطق الحملى بأبسط نوع من الجمل ، وهي الجمل المفردة التي تقرر أن صفة معينة يمتلكها موضوع فرد ، أو أن علاقة معينة تقع بين موضوعين فردين ، ويعبّر عنها بثوابت حملية تصف وتربط الحدود ، وتسمى تعبيراتها صيغ ذريّة ، ولا تكون لها قيم صدق إلا بعد تأويلها .
ويرمز للغة النسق الصوري للمنطق الحملى من الدرجة الأولى بالرمز
LP
، وهي لغة خاصة تتجاوز نسق منطق الجمل . وكذلك فإن حسابه تتجاوز حساب الجمل ، وعموما يعتبر هذا المنطق طريقة قياسية لصياغة النظريات الرياضية وغيرها صياغة صورية .
منطق توافق الأضداد . . .
Coinicdentia Oppositorum ( L . )
منطق إيماني يوفق بين الأضداد ويسير