منطق رياضى . . .
Mathematical Logic ( E . ) ; Logique Mathe ? matique ( F . ) ; Mathematische Logik ( G . )
مجموعة المبادئ الخاصة بالبنية العقلية المتعلقة بالنظريات الرياضية ، ويدرس خصائص الإجراءات والعلاقات الخاصة بالمنطق ، ويطبق مناهج الرياضيات الصورية . ويعرف أحيانا باسم المنطق الرمزى ، أو الحديث ، أو الاستدلال الرمزى ، أو اللوغسطيقا .
منطق صوري . . .
Formal Logic ( E . ) ; Logique Formelle ( F . ) ; Formale Logik ( G . )
العلم الذي يهتم بصورة التفكير أكثر من اهتمامه بموضوعه ، ويقابله المنطق المادي . والمنطق الأرسطى صوري ، يهتم بالتصديقات والتصورات دون مضمونها الواقعي .
منطق عربى . . .
Arabic Logic ( E . ) ; Logique Arabe ( F . ) ; Arabische Logk ( G . )
منطق يوناني مطور ، عرفه العرب بعد الفتوحات الإسلامية ، وتعريب الكتب اليونانية ، وكان أبرز المعرّبين أبا بشر متى بن يونس ( نحو 870 - 94 م ) ، ويحيى بن عدىّ ( 893 - 974 م ) ، وأبرز الشرّاح الكندي ( نحو 805 - 873 ) ، والفارابي ( نحو 870 - 950 ) ، وابن سينا ( 980 - 1037 ) ، وابن رشد ( 1126 - 1198 ) . وأهم كتب المنطق إلى عرّبت وكان لها أكبر الأثر في تطور المنطق العربي : كتاب إيساغوجى لفورفويوس ، وقاطيغورياس أو المقولات ، وبارى أرمانياس أو العبارة ، وأنالوطيقا أو تحليل القياس ، وأنالوطيقا الثاني أو البرهان ، وطوبيقا أو الجدل ، وسوفسطيقا أو المغالطون ، وريطوريقا أو الخطابة ، وبويطيقا أو الشعر ، فهذه تسعة كتب جعلها العرب لتسعة فنون من المنطق دليلا عليها .
منطق العلاقات . . .
Logic of Relations ( E . ) ; Logique des Relations ( F . ) ; Relationen Logik ( G . )
ويسمى كذلك منطق الإضافة ، ويعالج القضايا من حيث العلاقة أو الإضافة . والجمل الإضافية هي التي لها روابط تختلف عن روابط الجمل الحملية ، وتتصل بالمقدار ، أو بالمسافة ، أو بالقرابة ، أو بغير ذلك من العلاقات غير علاقة الاستلزام ، مثل « الهرم أكبر من القلعة » .
منطق لوغاريتمى . . .
Algorithmic Logic ( E . ) ; Logique Algorithmique ( F . ) ; Algorithmische Logik ( G . )
( انظر منطق حديث ) .
منطق المتطلبات . . .
( انظر منطق الإلزام الخلقي ) .
منطق متعال . . .
Transcendental Logic ( E . ) ; Logique Transcendentale ( F . ) ; Tranzendentale Logik ( G . )
الاستنباط الصوري الذي بمقتضاه تستنبط شروط الطبيعة من شروط الفكر ، وهذا يعنى أن