أهم 4 أنواع من المنطق (والخصائص)

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

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

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

ما هو المنطق؟

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

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

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

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

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

الأنواع الأربعة للمنطق

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

1. منطق رسمي

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

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

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

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

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

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

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

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

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

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

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

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

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

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

الاستدلال الاستقرائي والاستنباطي والوسيطي

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

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

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

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

• جروارك ، ل. (2017). المنطق غير الرسمي. موسوعة ستانفورد للفلسفة. تم الاسترجاع 2 أكتوبر ، 2018. متوفر في https://plato.stanford.edu/entries/logic-informal/
• المنطق (2018). أساسيات الفلسفة. تم الاسترجاع 2 أكتوبر ، 2018. متوفر في https://www.philosophybasics.com/branch_logic.html
• Magnani ، L. (2001). الاختطاف والعقل والعلم: عمليات الاكتشاف والتفسير. نيويورك: Kluwer Academic Plenum Publishers.
• ماكجين ، سي. (2000). الخصائص المنطقية: الهوية ، الوجود ، التوقع ، الضرورة ، الحقيقة. أكسفورد: مطبعة كلارندون.
• كوين ، دبليو. (1986) (1970). فلسفة المنطق. كامبريدج ، ماساتشوستس: مطبعة جامعة هارفارد.
• شابيرو ، س. وكوري ، س. (2018). المنطق الكلاسيكي. تم الاسترجاع 2 أكتوبر ، 2018. متوفر في Logic (2018). أساسيات الفلسفة. تم الاسترجاع 2 أكتوبر ، 2018. متوفر في https://www.philosophybasics.com/branch_logic.html
• جارسون ، ج. (2018). منطق مشروط. موسوعة ستانفورد للفلسفة. تم الاسترجاع 2 أكتوبر ، 2018. متوفر في https://plato.stanford.edu/entries/logic-modal/