نفسر ما هو المنطق وخصائص المنطق الفلسفي والأرسطي والرياضي والحسابي والصوري وغير الرسمي.
ما هو المنطق؟
المنطق هو العلوم الرسمية، وهو جزء من فلسفة و الرياضيات. يركز على دراسة الإجراءات الصحيحة وغير الصالحة فكر، أي في عمليات مثل العرض أو الاستدلال أو الاستنتاج ، وكذلك في مفاهيم مثل المغالطات ، مفارقات و ال حقيقة.
المنطق هو انضباط قديمة للغاية ، ولدت بشكل مستقل بين مفكري العظماء الحضارات الكلاسيكية والقديمة، مثل الصينيين أو اليونانيين أو الهنود. منذ بداياته ، كان يُفهم على أنه طريقة للحكم على الفكر للتحقق من صحته الشكلية ، أي للتعرف على الإجراء المثالي لـ منطق، الذي يقودنا حقًا إلى الحقيقة.
ومع ذلك ، اعتبارًا من القرن العشرين فصاعدًا ، تم اعتباره مجالًا أقرب إلى الرياضيات ، حيث اكتسبت تطبيقات الأخيرة أهمية صناعية واجتماعية وتكنولوجية كبيرة.
كلمة "منطق" أصلها من الصوت اليوناني لوجيك ("وهب مع العقل") ، من المصطلح الشعارات، تعادل "كلمة" أو "فكر" على حد سواء.
ومع ذلك ، في اللغة اليومية ، نستخدم هذه الكلمة كمرادف لـ "الفطرة السليمة" ، أي بطريقة تفكير قيّمة أو قيّمة ، في كل منها السياقات المستطاع. كما أنها تستخدم كملف مرادف "طريقة التفكير" ، كما هو الحال عند الإشارة إلى "منطق الرياضة" و "المنطق العسكري" وما إلى ذلك.
المنطق الفلسفي
بهذا المصطلح نسمي مجالات الفلسفة التي فيها طرق المنطق لحل أو دفع بعض المعضلات الفلسفية ، والقدرة على التعامل معها ضمن المنطق التقليدي المدروس أو ، على العكس من ذلك ، المنطق غير الكلاسيكي. بمعنى آخر ، المنطق في إطار الفلسفة.
إنه تخصص قريب جدًا من فلسفة لغة، وهو في الأساس استمرار لمنطق العصور القديمة ، الذي يتمحور حول الفكر واللغة الطبيعية. نستخدم هذا الاسم بشكل شائع لتمييزه عن أحدث منطق رياضي.
المنطق الأرسطي
ضمن المنطق الفلسفي ، يُعرف التقليد الفكري الذي يبدأ بأعمال الفيلسوف اليوناني أرسطو دي إستاجيرا (384-322 قبل الميلاد) ، الذي يُعتبر المؤسس الغربي للمنطق وأحد أهم المؤلفين ، بالمنطق الأرسطي. التقليد الفلسفي في العالم.
جمعت أعمال أرسطو الرئيسية عن المنطق في كتابه عضو (من "الآلة" اليونانية) ، جمعها أندرونيكوس رودس بعد عدة قرون من كتابته. في نفوسهم ، يتكشف نظام منطقي كامل كان له تأثير كبير في أوروبا والشرق الأوسط حتى بعد العصور الوسطى.
علاوة على ذلك ، افترض أرسطو في هذا العمل البديهيات الأساسية للمنطق:
- مبدأ عدم التناقض. وفقًا لشيء لا يمكن أن يكون ولا يكون في نفس الوقت (لا يمكن أن يكون A و A صحيحين في نفس الوقت).
- مبدأ الهوية. وفقًا لشيء ما يكون دائمًا متطابقًا مع نفسه (A يساوي دائمًا A).
- مبدأ الثلث المستبعد. وفقًا لشيء ما صحيح أو غير صحيح ، بدون أي تدرجات محتملة (A أو بعد ذلك A).
المنطق الرياضي
يُعرف بالمنطق الرياضي ، ويسمى أيضًا المنطق الرمزي ، أو المنطق الرسمي ، أو المنطق النظري أو اللوجيستي ، لتطبيق التفكير المنطقي إلى مجالات معينة من الرياضيات و علم.
وهذا يعني دراسة عملية الاستدلال ، من خلال أنظمة التمثيل الرسمية ، مثل المنطق الافتراضي أو المنطق الشرطي أو منطق الدرجة الأولى ، والتي تسمح "بترجمة" اللغة الطبيعية إلى لغة رياضية من أجل تطوير عروض توضيحية صارمة.
يشمل المنطق الرياضي أربعة مجالات رئيسية هي:
- نظرية النموذج. الذي يقترح دراسة النظريات البديهية والمنطق الرياضي من خلال الهياكل الرياضية المعروفة باسم المجموعات أو الأجسام أو الرسوم البيانية ، وبالتالي ينسب المحتوى الدلالي إلى التركيبات الشكلية البحتة للمنطق.
- نظرية المظاهرة. تسمى أيضًا نظرية الإثبات ، وهي تقترح البراهين عن طريق الأشياء الرياضية و التقنيات الرياضيات كطريقة للتحقق من مشاكل المنطق. وهكذا ، حيث تتعامل نظرية النموذج مع إعطاء أ دلالات (معنى) بالنسبة إلى الهياكل الرسمية للمنطق ، فإن نظرية الإثبات تتعامل بدلاً من ذلك مع بناء الجملة (ترتيبها).
- نظرية مجموعات. تركز على دراسة المجموعات المجردة من الأشياء ، التي تُفهم في حد ذاتها على أنها أشياء ، بالإضافة إلى العمليات الأساسية والعلاقات المتبادلة. هذا الفرع من المنطق الرياضي هو أحد أكثر فروع المنطق الأساسي وجودًا ، لدرجة أنه يشكل أداة أساسية لأي نظرية رياضية.
- نظرية الحوسبة. مساحة مشتركة بين الرياضيات و الحوسبة أو الحوسبة، يدرس مشاكل القرار التي أ الخوارزمية (ما يعادل آلة تورينج) يمكنه التعامل. للقيام بذلك ، يستخدم نظرية المجموعات ، ويفهمها على أنها مجموعات قابلة للحساب أو غير قابلة للحساب.
المنطق الحسابي
المنطق الحسابي يخلق أنظمة الحوسبة الذكية.المنطق الحسابي هو نفس المنطق الرياضي ولكنه ينطبق على مجال الحوسبة ، أي على مستويات أساسية مختلفة من الحوسبة: الدوائر الحسابية ، برمجة المنطق ، وخوارزميات الإدارة. الذكاء الاصطناعي ، وهو مجال حديث نسبيًا في المنطقة ، هو أيضًا جزء منه.
يمكن القول إن المنطق الحسابي ، بشكل عام ، يطمح إلى تغذية نظام الكمبيوتر من خلال الهياكل المنطقية التي تعبر بلغة رياضية عن الاحتمالات المختلفة للفكر البشري ، وبالتالي إنشاء أنظمة كمبيوتر ذكية.
المنطق الرسمي وغير الرسمي
غالبًا ما يتم التمييز بين حقلين منفصلين للمنطق: الرسمي وغير الرسمي ، بناءً على مقاربتهم للغة التي يتم التعبير عنها في العبارات.
- منطق رسمي. إنه الشخص الذي يهتم باللغة الرسمية ، أي طريقة التعبير عن محتوياتها ، باستخدامها بدقة ، دون غموض ، بحيث يمكن تحليل المسار الاستنتاجي من صحة محتوياته. الأشكال (ومن هنا اسمها).
- المنطق غير الرسمي. بدلاً من ذلك ، قم بدراسة ملفات الحجج لاحق ، يميز بين الأشكال الصالحة وغير الصالحة من المعلومات المقدمة ، بغض النظر عن شكلها المنطقي أو لغتها الرسمية. ظهر هذا البديل في منتصف القرن العشرين كتخصص في الفلسفة.