منطق فلسفي
المنطق الفلسفي هو عبارة عن مصطلح ألفه الفيلسوف برتراند رسل لتقديم فكرته أن نتاج اللغات الطبيعية والفكر لا يمكنها أن تصور إلا عن طريق الاصطناعية وكان ذلك أساسا لبرنامجه إضفاء الطابع الرسمي على اللغة الطبيعية. ويستخدم هذا المصطلح في العصر الحديث للدلالة على معاني أخرى متعددة.

تعريف المنطق الفلسفي 
هو المنطق ويسمى باللغةاليونانية logiké، وعلم المنطق يمكن أن يسمى أيضا علم الميزان، حيث به توزن الحجج والبراهين، وكان ابن سينا يسميه خادم العلوم، كما كان الفارابي يسميه رئيس العلوم. وجاءت تسميته بالمنطق من «النطق» ويطلق على «اللفظ» وعلى «إدراك الكليات» وعلى «النفس الناطقة».

أما اصطلاحاً فالمنطق عبارة عن صناعة تمنح جملة القوانين التي من شأنها أن تقوّم العقل وتدفع الإنسان نحو طريق الصواب ونحو الحق في كل ما يمكن أن يخطأ فيه من المعقولات.

و هو يضع المبادئ العامة للتفكير الصحيح، كما يعرف بأنه علم قوانين الفكر، وهي ثلاث:

ـ قانون الهوية: ويعني أن لأي شيء ذاتية خاصة يحتفظ بها من دون تغيير، فالشيء دائماً هو هو (أ هو أ) فالهوية تفترض ثبات الشيء على الرغم من التغيرات التي تطرأ عليه، فأنا هو الشخص ذاته الذي كنته منذ عشرين عاماً على الرغم مما طرأ علي من تغير.

ـ قانون عدم التناقض: ينكر هذا القانون إمكان الجمع بين الشيء ونقيضه، فلا يصح أن يصدق النقيضان في الوقت نفسه وفي ظل الظروف نفسها، إذ لا يصح القول إن هذا الشيء وفي هذا الوقت «أزرق» وليس «أزرق» [(أ) لا يمكن أن تتصف بأنها(ب) وبأنها (لا ب) معاً].

ـ قانون الثالث المرفوع: ويعني أن أحد المتناقضين لابد أن يكون صادقاً إذ ليس هناك احتمال ثالث بجانب المتناقضين يمكن أن يكذبهما معاً، ولا يوجد وسط بينها، فإما أن نثبت محمولاً معيناً لموضوع ما وإما أن ننفيه عنه.

المنطق الرياضي 

منطق رياضي أو المنطق الحديث الرمزي هو تطوير وتصويب للمنطق التقليدي، يقوم على استنباط القوانين المنطقية من أقل عدد من المبادئ (بديهيات وقوانين) بطريقة دقيقة كاملة، أي إنه نسق استنباطي، يبدأ من مقدمات معينة لينتهي إلى النظريات اللازمة عنها، معتمداً قواعد خاصة، مستخدماً اللغة المنطقية الرمزية فقط. ويرجع ظهوره إلى لايبنتيس أولاً ثم جورج بول George Boole ت(1815ـ1864)، وطوره فريگه Frege، وفيتگنشتاين Wittgenstein وكارناپ Carnap وغيرهم، ويسمى أحياناً بالمنطق الرمزي أو الرياضي أو الاستدلالي أوالنظري أو جبر المنطق، أو المنطق اللوغارتيمي، أو اللوغسيقا، ويتوقف الاسم على الهدف من التسمية. وقد اكتمل على يد رسل ووايتهد اللذين حاولا المزج بين المنطق والرياضيات فوصلا إلى المنطق الرمزي، الذي يستخدم نوعين من الرموز، وهي الثوابت والمتغيرات، ويتألف من أربعة مباحث أساسية هي:

منطق القضايا 
يستخدم متغيرات قضوية، فيدرس قيمة صدق القضية كوحدة، من دون النظر إلى مكوناتها، ثم يبحث الروابط بينها، معتمداً ثوابت النفي، العطف، الانفصال، اللزوم والتكافؤ، فيشكل بذلك «دالات الصدق»، ويتابع بدراسة الصلات بين هذه الدالات ليكتمل كنسق استنباطي، مكوناته: أفكار أولية ومصادرات وقواعد استنباط خاصة، ثم يعمد لبرهنة جميع نظرياته، كما يدرس الاستدلال بنوعيه، من خلال صياغته بصورة «دالات صدق»، فيتمكن بذلك من اختبار صحتها بقوائم الصدق حيث ميز بعض حالات التقابل غير الصحيحة، وأيضاً بعض الأقيسة الفاسدة، التي عمد إلى تصويبها.

منطق المحمولات 
يدرس القضايا مع اعتبار مكوناتها، مستخدماً لذلك متغيرات حدية، ورموزاً لأسوار القضايا، معتمداً الثوابت المنطقية السابقة، ليمحص بهذه الأدوات موضوعات المنطق التقليدي ويطورها.

منطق الفئات 
يدرس القضايا باعتبارها ارتباط فئتين، فئة يدل عليها «الموضوع» وأخرى يدل عليها «المحمول»، ويصيغ جميع الاستدلالات بصورة معادلات جبرية، يختبر صحتها إما «بأشكال فن» الهندسة، وإما ببرهان حسابي، كما يدرس خصائص الفئات والعمليات الجبرية عليها (جمع الفئات، ضرب الفئات، الاحتواء، والهوية بين الفئات)، وينتهي إلى بناء نسق استنباطي مكون من مقدمات [(أفكار أساسية مثل الفئة الصفرية، الفئة الشاملة، والفئة المتممة)، و(بعض التعريفات الخاصة) و(المصادرات المأخوذة من العمليات الجبرية على الفئات)]، ويعتمد قواعد اشتقاق خاصة (الاستبدال الموحد واستبدال التطابق …) ليصل من خلالها إلى برهنة نظرياته. ومتغيرات هذا النسق متغيرات فئوية، أي إن كلاً منها يدل على فئة، كما أن له رموزه الخاصة للثوابت.

منطق العلاقات 
يبحث العلاقات من خلال الأفكار الأولية التي تقوم عليها، كما يركز على عمليات جمع العلاقات وضربها، وسلب العلاقة وعكس العلاقة والهوية والتضمن بين العلاقات. ويصنف العلاقات نوعياً إلى: انعكاسية، تماثلية، متعدية وترابطية. وكمياً وفق عدد حدودها إلى: علاقة واحد بكثير، علاقة كثير بواحد، علاقة واحد بواحد وعلاقة كثير بكثير، ويعتمد متغيرات تدل على علاقات (ع، غ) أما ثوابته فهي الثوابت المنطقية السابقة (النفي، الاحتواء، التضمن، الاجتماع، الضرب واللزوم) فيكتمل بذلك كنسق استنباطي دقيق.

انظر أيضا 
 فلسفة العقل

المصادر 

فلسفة المنطق
مجموعات مفهرسة
مفاهيم في المنطق
منطق
المنطق الفلسفي هو عبارة عن مصطلح ألف ه ال فيلسوف برتراند رسل ل تقديم فكرت ه أن نتاج اللغات الطبيعية و الفكر لا يمكن ها أن تصور إلا عن طريق الاصطناعية و كان ذلك أساسا لبرنامج ه إضفاء الطابع الرسمي على اللغة الطبيعية . و يستخدم هذا المصطلح في العصر الحديث للدلالة على معاني أخرى متعددة . تعريف المنطق الفلسفي هو المنطق ويسمى باللغةاليونانية logiké ، و علم المنطق يمكن أن يسمى أيضا علم الميزان ، حيث ب ه توزن الحجج والبراهين ، و كان ابن سينا يسمي ه خادم العلوم ، كما كان الفارابي يسمي ه رئيس العلوم . و جاءت تسمية ه بالمنطق من « النطق » و يطلق على « اللفظ » و على « إدراك الكليات » و على « النفس الناطقة » . أما اصطلاحاً فالمنطق عبارة عن صناعة تمنح جملة القوانين التي من شأن ها أن تقوّم العقل وتدفع الإنسان نحو طريق ال صواب و نحو الحق في كل ما يمكن أن يخطأ في ه من المعقولات . و هو يضع المبادئ العامة ل التفكير الصحيح ، كما يعرف ب أن ه علم قوانين الفكر ، و هي ثلاث : ـ قانون الهوية : و يعني أن ل أي شيء ذاتية خاصة يحتفظ ب ها من دون تغيير ، ف الشيء دائماً هو هو ( أ هو أ ) فالهوية تفترض ثبات الشيء على الرغم من التغيرات التي تطرأ علي ه ، فأنا هو الشخص ذات ه الذي كنته منذ عشرين عاماً على الرغم مما طرأ علي من تغير . ـ قانون عدم التناقض : ينكر هذا القانون إمكان الجمع بين الشيء و نقيض ه ، ف لا يصح أن يصدق النقيضان في الوقت نفس ه و في ظل الظروف نفس ها ، إذ لا يصح القول إن هذا الشيء و في هذا الوقت « أزرق » و ليس « أزرق » [ ( أ ) لا يمكن أن تتصف ب أن ها ( ب ) و ب أن ها ( لا ب ) معاً ] . ـ قانون الثالث المرفوع : و يعني أن أحد المتناقضين لا بد أن يكون صادقاً إذ ليس هناك احتمال ثالث ب جانب المتناقضين يمكن أن يكذب هما معاً ، و لا يوجد وسط بين ها ، فإما أن نثبت محمولاً معيناً لموضوع ما وإما أن ننفي ه عن ه . المنطق الرياضي منطق رياضي أو المنطق الحديث الرمزي هو تطوير و تصويب للمنطق التقليدي ، يقوم على استنباط القوانين المنطقية من أقل عدد من المبادئ ( بديهيات و قوانين ) ب طريقة دقيقة كاملة ، أي إن ه نسق استنباطي ، يبدأ من مقدمات معينة ل ينتهي إلى النظريات اللازمة عن ها ، معتمداً قواعد خاصة ، مستخدماً اللغة المنطقية الرمزية فقط . و يرجع ظهور ه إلى لايبنتيس أولاً ثم جورج بول George Boole ت ( 1815 ـ 1864 ) ، وطور ه فريگه Frege ، وفيتگنشتاين Wittgenstein وكارناپ Carnap و غير هم ، ويسمى أحياناً بالمنطق الرمزي أو الرياضي أو الاستدلالي أوالنظري أو جبر المنطق ، أو المنطق اللوغارتيمي ، أو اللوغسيقا ، ويتوقف الاسم على الهدف من التسمية . و قد اكتمل على يد رسل ووايتهد اللذين حاولا المزج بين المنطق والرياضيات فوصلا إلى المنطق الرمزي ، الذي يستخدم نوعين من الرموز ، و هي الثوابت والمتغيرات ، ويتألف من أربعة مباحث أساسية هي : منطق القضايا يستخدم متغيرات قضوية ، ف يدرس قيمة صدق القضية كوحدة ، من دون النظر إلى مكونات ها ، ثم يبحث الروابط بين ها ، معتمداً ثوابت النفي ، العطف ، الانفصال ، اللزوم وال تكافؤ ، ف يشكل ب ذٰلك « دالات الصدق » ، ويتابع ب دراسة الصلات بين هذه الدالات ليكتمل كنسق استنباطي ، مكونات ه : أفكار أولية ومصادرات وقواعد استنباط خاصة ، ثم يعمد لبرهنة جميع نظريات ه ، كما يدرس الاستدلال بنوعي ه ، من خلال صياغته ب صورة « دالات صدق » ، فيتمكن ب ذٰلك من اختبار صحة ها بقوائم الصدق حيث ميز بعض حالات التقابل غير الصحيحة ، و أيضا بعض الأقيسة الفاسدة ، التي عمد إلى تصويب ها . منطق المحمولات يدرس القضايا مع اعتبار مكونات ها ، مستخدماً ل ذٰلك متغيرات حدية ، ورموزاً لأسوار القضايا ، معتمداً الثوابت المنطقية السابقة ، ليمحص ب هٰذه الأدوات موضوعات المنطق التقليدي ويطور ها . منطق الفئات يدرس القضايا ب اعتبار ها ارتباط فئتين ، فئة يدل علي ها « الموضوع » و أخرى يدل علي ها « المحمول » ، ويصيغ جميع الاستدلالات ب صورة معادلات جبرية ، يختبر صحة ها إما « بأشكال فن » الهندسة ، وإما ببرهان حسابي ، كما يدرس خصائص الفئات و العمليات الجبرية علي ها ( جمع الفئات ، ضرب الفئات ، الاحتواء ، والهوية بين الفئات ) ، و ينتهي إلى بناء نسق استنباطي مكون من مقدمات [ ( أفكار أساسية مثل الفئة الصفرية ، الفئة الشاملة ، والفئة المتممة ) ، و ( بعض التعريفات الخاصة ) و ( المصادرات المأخوذة من العمليات الجبرية على الفئات ) ] ، و يعتمد قواعد اشتقاق خاصة ( الاستبدال الموحد واستبدال التطابق … ) ل يصل من خلال ها إلى برهنة نظريات ه . ومتغيرات هذا النسق متغيرات فئوية ، أي إن كلاً من ها يدل على فئة ، كما أن ل ه رموز ه الخاصة للثوابت . منطق العلاقات يبحث العلاقات من خلال الأفكار الأولية التي تقوم علي ها ، كما يركز على عمليات جمع العلاقات وضرب ها ، وسلب العلاقة وعكس العلاقة والهوية والتضمن بين العلاقات . ويصنف العلاقات نوعياً إلى : انعكاسية ، تماثلية ، متعدية وترابطية . وكمياً وفق عدد حدود ها إلى : علاقة واحد ب كثير ، علاقة كثير بواحد ، علاقة واحد بواحد وعلاقة كثير ب كثير ، و يعتمد متغيرات تدل على علاقات ( ع ، غ ) أما ثوابة ه ف هي الثوابت المنطقية السابقة ( النفي ، الاحتواء ، التضمن ، الاجتماع ، ا الضرب واللزوم ) فيكتمل ب ذٰلك كنسق استنباطي دقيق . انظر أيضا فلسفة العقل المصادر فلسفة المنطق مجموعات مفهرسة مفاهيم في المنطق منطق