بالإنسان في اتجاه اللّه . ( تسيجلر ) .
منطق الجمل المفيدة . . .
( انظر المنطق الحديث ) .
منطق الجهة . . .
Modal Logic ( E . ) ; Logique Modale ( F . ) ; Modale Logik ( G . )
يتناول العبارة المنطقية من حيث الموجهات ، وتنقسم بحسب أرسطو إلى عبارات أو قضايا ضرورية أو واجبة أو حتمية ، ومحتملة ، وممتنعة أو مستحيلة ، وممكنة . والضرورية هي التي تعبر عمّا لا يمكن أن يكون بخلاف ما هو كائن ، أو الذي نفيه مستحيل ؛ والمحتملة هي التي تعبر عما هو ليس بضروري . وتنقسم بحسب كنط إلى ضرورية وواقعية ، أو تقريرية واحتمالية .
منطق حديث . . .
Modern Logic ( E . ) ; Logique Moderne ( F . ) ; Moderne Logik ( G . )
منطق صوري وإن كان أوسع منه وثورة علية . ويرجع ظهوره إلى لايبنتس أولا ، ثم چورچپول ، وشرويدر ، وطوّره فريجه ، وبيانو ، وهوايتهد ، ورسل ، وهيلبرت ، وفيتجنشتاين ، وكارناب ، وغيرهم . ويسمى أحيانا بالمنطق الرمزى ، أو الرياضى ، أو الاستدلالي ، أو النظري ، أو جبر المنطق
Alge ? bre de la Logique
، أو المنطق اللوغاريتمى ، أو اللوغسطيقا ، ويتوقف الاسم على الهدف من التسمية . ومنطق الجمل
Sentential Logic
هو أهم فروع المنطق الحديث ، حيث تسمى قضاياه جملا ، بمعنى أنها جمل مفيدة تامة لها قيمتا صدق ، ويدرس روابطها التي تجعل منها جملا مركبة ، والتي تجعلها دالات صدق للجمل البسيطة التي تتألف منها ، ولذلك يسمى باسم نظرية دالات الصدق . أما المنطق ذو القيمتين
Two - valued Logic
فيدرس الجمل المفيدة من النوع السابق التي توصف بإحدى قيمتي الصدق والكذب .
منطق حملى من الدرجة الأولى . . .
( انظر المنطق الأولى ) .
المنطق ذو القيمتين . . .
( انظر المنطق الحديث ) .
منطق رمزى . . .
Symbolic Logic ( E . ) ; Logique Symbolique ( F . ) ; Symbolische Logik ( G . )
فرع من المنطق الصوري يتميز عليه بدقة صياغته ، ويختص مثله بالاستدلال ، إلا أنه يستخدم المنهج الرمزى الذي يتبع في صياغة الأنساق والحسابات التحليلية الصياغة الصورية ، ومع أن لايبنتس ( 1716 ) ، ولمبرت ( 1777 ) ، وغيرهما - قدموا له ، إلا أن حنا فن ( 1880 ) كان أول من استخدم الاصطلاح . ثم بدأ المنطق الرمزى كنوع مستقل من المنطق في منتصف القرن التاسع عشر بفضل چورچ پول ( 1844 ) مؤسس جبر المنطق ، وتطور بفضل فريجه ، وبيانو ، ورسل ، وهوايتهد ، وهيلبرت ، وفيتجنشتاين .