أهم 4 أنواع من المنطق (والميزات)
المنطق هو دراسة المنطق والاستدلال . إنها مجموعة من الأسئلة والتحليلات التي سمحت لنا بفهم مدى اختلاف الحجج الصحيحة عن المغالطات وكيف نصل إليها.
ولهذا السبب ، كان تطوير أنظمة وأشكال مختلفة للدراسة أمراً لا غنى عنه ، مما أدى إلى أربعة أنواع رئيسية من المنطق. سوف نرى أدناه ما يدور حوله كل واحد منهم.
- مقالة مقتبسة: ["10 أنواع من المغالطات المنطقية والجدلية"] (10 أنواع من المغالطات المنطقية والجدلية)
ما هو المنطق؟
كلمة "المنطق" تأتي من "الشعارات" اليونانية التي يمكن ترجمتها بطرق مختلفة: الكلمة ، الفكر ، الحجة ، المبدأ أو العقل هي بعض من أهمها. بهذا المعنى ، المنطق هو دراسة المبادئ والاستدلال.
تهدف هذه الدراسة إلى فهم المعايير المختلفة للاستدلالات وكيفية وصولنا إلى مظاهرات صحيحة ، على النقيض من المظاهرات غير الصحيحة. إذن ، فإن السؤال الأساسي للمنطق هو ما هو التفكير الصحيح وكيف يمكننا التمييز بين حجة صحيحة ومغالطة؟
للإجابة على هذا السؤال ، يقترح المنطق طرقًا مختلفة لتصنيف البيانات والحجج ، سواء كانت تحدث في نظام رسمي أو بلغة طبيعية. على وجه التحديد ، يحلل المقترحات (الجمل التقريرية) التي يمكن أن تكون صحيحة أو خاطئة ، وكذلك المغالطات ، والمفارقات ، والحجج التي تنطوي على السببية ، وبصفة عامة ، نظرية الجدل.
بعبارات عامة ، يجب مراعاة ثلاثة معايير: اعتبار النظام منطقيًا:
- اتساق (لا يوجد تناقض بين النظريات التي تشكل النظام)
- صلابة (لا تتضمن أنظمة الاختبار الاستدلالات الكاذبة)
- كمال (يجب إثبات جميع الجمل الصحيحة)
4 أنواع من المنطق
كما رأينا ، يستخدم المنطق أدوات مختلفة لفهم المنطق الذي نستخدمه لتبرير شيء ما. تقليديا ، يتم التعرف على أربعة أنواع رئيسية من المنطق ، كل مع بعض الأنواع الفرعية والخصوصيات. سنرى أدناه ما يدور حوله كل واحد.
1. المنطق الرسمي
يُعرف أيضًا بالمنطق التقليدي أو المنطق الفلسفي ، تدور حول دراسة الاستدلالات بمحتوى رسمي وصريح بحت . إنه يتعلق بتحليل البيانات الرسمية (المنطقية أو الرياضية) ، التي لا معنى لها جوهريًا لكن رموزها لها معنى بسبب التطبيق المفيد الذي تقدم له. إن التقليد الفلسفي الذي تستمد منه هذه الأخيرة يسمى "الشكلية" بدقة.
في المقابل ، النظام الرسمي هو نظام يستخدم لاستخلاص استنتاج من مكان أو أكثر. قد يكون هذا الأخير بديهيات (افتراضات بديهية) أو نظريات (استنتاجات مجموعة ثابتة من قواعد الاستدلال والمسلمات).
2. المنطق غير الرسمي
من جانبها ، فإن المنطق غير الرسمي هو نظام أكثر حداثة ، والذي دراسة وتقييم وتحليل الحجج المعروضة في اللغة الطبيعية أو اليومية . ومن ثم ، فإنها تتلقى فئة "غير رسمية". يمكن أن تكون إما لغة منطوقة أو مكتوبة أو ، أي نوع من الآلية والتفاعل المستخدم لإيصال شيء ما. على عكس المنطق الرسمي ، والذي ينطبق على سبيل المثال على دراسة وتطوير لغات الكمبيوتر ؛ اللغة الرسمية تشير إلى اللغات واللغات.
وهكذا ، يمكن للمنطق غير الرسمي أن يحلل من المنطق الشخصي والحجج إلى المناقشات السياسية أو الحجج القانونية أو الأماكن التي تنشرها وسائل الإعلام ، مثل الصحف والتلفزيون والإنترنت وما إلى ذلك.
3. المنطق الرمزي
كما يوحي الاسم ، يحلل المنطق الرمزي العلاقات بين الرموز. في بعض الأحيان يستخدم لغة رياضية معقدة ، لأنه مسؤول عن دراسة المشاكل التي يجدها المنطق الرسمي التقليدي معقدة أو يصعب معالجتها. وينقسم عادة إلى نوعين فرعيين:
- المنطق أو الترتيب الأول : هو نظام رسمي يتألف من صيغ ومتغيرات قابلة للقياس الكمي
- اقتراحي : هو نظام رسمي يتألف من المقترحات ، والتي هي قادرة على إنشاء المقترحات الأخرى من خلال الروابط التي تسمى "اتصال ضار منطقي". في هذا لا يوجد تقريبا أي متغيرات قابلة للقياس الكمي.
4. المنطق الرياضي
اعتمادًا على المؤلف الذي يصفه ، يمكن اعتبار المنطق الرياضي نوعًا من المنطق الرسمي. ويرى آخرون أن المنطق الرياضي يشمل كلا من تطبيق المنطق الرسمي على الرياضيات ، وتطبيق المنطق الرياضي على المنطق الرسمي.
بشكل عام ، فإن تطبيق اللغة الرياضية في بناء الأنظمة المنطقية يجعل من الممكن إعادة إنتاج العقل البشري. على سبيل المثال ، كان هذا حاضرا جدا في تطوير الذكاء الاصطناعي وفي النماذج الحسابية لدراسة الإدراك.
وينقسم عادة إلى نوعين فرعيين:
- منطقانية : الأمر يتعلق بتطبيق المنطق في الرياضيات. أمثلة من هذا النوع هي نظرية الإثبات ، نظرية النموذج ، نظرية المجموعات ونظرية التكرار.
- intuitionism : يجادل بأن كل من المنطق والرياضيات هما طريقتان متناسقتان لتطبيقهما لأداء الإنشاءات العقلية المعقدة. ولكنه يقول إن المنطق والرياضيات في حد ذاتها لا يمكن أن يفسران الخصائص العميقة للعناصر التي يحللونها.
الاستقرائية الاستقرائية والاستدلالية
من ناحية أخرى ، هناك ثلاثة أنواع من التفكير يمكن اعتبارها أيضًا أنظمة منطقية . هذه هي الآليات التي تسمح لنا استخلاص النتائج من الأماكن. المنطق الاستنتاجي يجعل هذا الاستخراج من فرضية عامة إلى فرضية معينة. مثال كلاسيكي هو ذلك الذي اقترحه أرسطو: كل البشر هم بشر (هذا هو الفرضية العامة) ؛ سقراط هو إنسان (هو الفرضية الرئيسية) ، وأخيرا ، سقراط هو بشري (وهذا هو الاستنتاج).
من جانبها ، فإن الاستدلال الاستقرائي هو العملية التي يتم من خلالها استخلاص الاستنتاج في الاتجاه المعاكس: من الخاص إلى العام. مثال على ذلك هو "كل الغربان التي أراها سوداء" (فرضية معينة) ؛ ثم ، كل الغربان سوداء (الاستنتاج).
أخيراً ، يستند المنطق أو المنطق الشائع إلى الحجج الاحتمالية ، أي أنها تعبر عن إمكانية (طريقة). إنه نظام منطقي رسمي يتضمن مصطلحات مثل "يمكن" ، "يمكن" ، "يجب" ، "في النهاية".
مراجع ببليوغرافية:
- Groarke، L. (2017). المنطق غير الرسمي. موسوعة ستانفورد للفلسفة. تم استرجاعه في 2 أكتوبر ، 2018. متاح في //plato.stanford.edu/entries/logic-informal/
- المنطق (2018). أساسيات الفلسفة. تم استرجاعه في 2 أكتوبر ، 2018. متاح في //www.philosophybasics.com/branch_logic.html
- Shapiro، S. and Kouri، S. (2018). المنطق الكلاسيكي. تم استرجاعه في 2 أكتوبر 2018. متوفر في المنطق (2018). أساسيات الفلسفة. تم استرجاعه في 2 أكتوبر ، 2018. متاح في //www.philosophybasics.com/branch_logic.html
- جارسون ، جي (2018). منطق مشروط. موسوعة ستانفورد للفلسفة. تم استرجاعه في 2 أكتوبر ، 2018. متاح في //plato.stanford.edu/entries/logic-modal/
