أهم 4 أنواع من المنطق (والميزات)

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

لهذا كان لا غنى عنه تطوير أنظمة وأشكال مختلفة من الدراسة ، مما أدى إلى أربعة أنواع رئيسية من المنطق. سنرى أدناه ما يدور حوله كل منهم.

• المقالة الموصى بها: ["الأنواع العشرة من المغالطات المنطقية والجدلية"] (الأنواع العشرة من المغالطات المنطقية والجدلية)

ما هو المنطق?

تأتي كلمة "المنطق" من "الشعارات" اليونانية التي يمكن ترجمتها بطرق مختلفة: الكلمة ، أو الفكر ، أو الوسيطة ، أو المبدأ ، أو العقل هي بعض من الكلمات الرئيسية. في هذا المعنى ، المنطق هو دراسة المبادئ والاستدلال.

تهدف هذه الدراسة إلى فهم معايير الاستدلالات المختلفة وكيفية وصولنا إلى المظاهرات الصحيحة ، على عكس المظاهرات غير الصالحة. لذا ، فإن السؤال الأساسي للمنطق هو ما هو التفكير الصحيح وكيف يمكننا أن نفرق بين حجة صحيحة ومغالطة؟?

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

بعبارات عامة ، لكي يعتبر النظام منطقيًا ، يجب أن يستوفي ثلاثة معايير:

• اتساق (لا يوجد أي تناقض بين النظريات التي تشكل النظام)
• صلابة (لا تتضمن أنظمة الاختبار استنتاجات خاطئة)
• كمال (يجب أن تكون جميع الجمل الحقيقية قادرة على إثباتها)

4 أنواع من المنطق

كما رأينا ، يستخدم المنطق أدوات مختلفة لفهم المنطق الذي نستخدمه لتبرير شيء ما. تقليديا ، يتم التعرف على أربعة أنواع رئيسية من المنطق ، ولكل منها بعض الأنواع الفرعية والخصوصيات. سنرى أدناه ماذا عن كل واحد.

1. المنطق الرسمي

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

بدوره ، النظام الرسمي هو النظام الذي يتم استخدامه لاستخلاص نتيجة من مبنى أو أكثر. هذا الأخير يمكن أن يكون البديهيات (اقتراحات بديهية) أو نظريات (استنتاجات مجموعة ثابتة من قواعد الاستدلالات والبديهيات).

2. المنطق غير الرسمي

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

وبالتالي ، يمكن للمنطق غير الرسمي أن يحلل من التفكير والحجج الشخصية إلى المناقشات السياسية أو الحجج القانونية أو المباني التي تنشرها وسائل الإعلام مثل الصحف والتلفزيون والإنترنت ، إلخ..

3. المنطق الرمزي

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

• المنطق التقديري أو الدرجة الأولى: إنه نظام رسمي يتكون من الصيغ والمتغيرات القابلة للقياس الكمي
• اقتراحي: إنه نظام رسمي يتكون من المقترحات ، والتي هي قادرة على إنشاء مقترحات أخرى من خلال موصلات تسمى "الاتصال المنطقي". في هذا هناك تقريبا أي متغيرات قابلة للقياس الكمي.

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

اعتمادًا على المؤلف الذي يصفه ، يمكن اعتبار المنطق الرياضي نوعًا من المنطق الرسمي. يرى آخرون أن المنطق الرياضي يشمل تطبيق المنطق الرسمي على الرياضيات وتطبيق المنطق الرياضي على المنطق الرسمي..

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

عادة ما يتم تقسيمها إلى نوعين فرعيين:

• منطقانية: إنه حول تطبيق المنطق في الرياضيات. أمثلة على هذا النوع هي نظرية الاختبار ، نظرية النماذج ، نظرية المجموعات ونظرية العودية.
• intuitionism: يجادل بأن كلا من المنطق والرياضيات هما طريقتان يكون تطبيقهما متسقًا لأداء المنشآت العقلية المعقدة. لكنه يقول إنه في حد ذاته ، لا يمكن للمنطق والرياضيات شرح الخصائص العميقة للعناصر التي يحللونها.

الاستقرائي ، الاستنتاجي والمنطقي

من ناحية أخرى, هناك ثلاثة أنواع من التفكير يمكن اعتبارها أيضًا أنظمة منطقية. هذه هي الآليات التي تسمح لنا لاستخلاص النتائج من أماكن العمل. الاستنتاج المنطقي يجعل مثل هذا الاستخراج من فرضية عامة إلى فرضية معينة. مثال كلاسيكي هو الذي اقترحه أرسطو: جميع البشر مميت (هذا هو الفرضية العامة) ؛ سقراط إنسان (إنه الفرضية الرئيسية) ، وأخيراً ، سقراط مميت (هذا هو الاستنتاج).

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

أخيرًا ، المنطق المنطقي أو المنطقي يعتمد على الحجج الاحتمالية ، أي أنها تعبر عن احتمال (طريقة). إنه نظام منطقي رسمي يتضمن مصطلحات مثل "could" و "can" و "should" و "في نهاية المطاف".

المراجع الببليوغرافية:

• Groarke، L. (2017). المنطق غير الرسمي. موسوعة ستانفورد للفلسفة. تم استرجاعه في 2 أكتوبر ، 2018. متاح على https://plato.stanford.edu/entries/logic-informal/
• المنطق (2018). أساسيات الفلسفة. تم استرجاعه في 2 تشرين الأول (أكتوبر) 2018. متاح على https://www.philosophybasics.com/branch_logic.html
• Shapiro، S. and Kouri، S. (2018). المنطق الكلاسيكي. تم استرجاعه في 2 أكتوبر ، 2018. متوفر في المنطق (2018). أساسيات الفلسفة. تم استرجاعه في 2 تشرين الأول (أكتوبر) 2018. متاح على https://www.philosophybasics.com/branch_logic.html
• غارسون ، J. (2018). منطق مشروط. موسوعة ستانفورد للفلسفة. تم استرجاعه في 2 أكتوبر 2018. متاح على https://plato.stanford.edu/entries/logic-modal/