المنطق الرسمي: موضوع الدراسة ، الخصائص والأمثلة - فلسفة - 2026

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

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

كان ألفريد نورث وايتهيد أحد مؤيدي المنطق الرسمي. المصدر: Wellcome Trust

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

بشكل عام ، يدرس المنطق شكل الفكر. نُسبت الأعمال الأولى التي نُفِّذت فيما يتعلق بالمنطق إلى الفيلسوف اليوناني أرسطو ، ولهذا السبب عُرف بأنه الأب المؤسس لهذا المجال من الفكر.

على مر التاريخ ، دافع العديد من الفلاسفة وعلماء الرياضيات والمنطقين عن المنطق الرسمي. من بينها يمكننا تسمية عالم الرياضيات والمنطق ألونزو الكنيسة ؛ الفيلسوف وعالم الرياضيات والمنطق جوتلوب فريجه ؛ وكذلك عالم الرياضيات والفيلسوف ألفريد نورث وايتهيد.

ألفريد تارسكي ، كورت جودل ، برتراند راسل وويلارد فان أورمان كوين ، من بين آخرين ، كانوا أيضًا مدافعين عظماء.

موضوع الدراسة

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

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

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

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

إن إجراء دراسة شاملة لأنماط المنطق الرسمي سيسمح لكل فرد بمعرفة الإجراءات المرتبطة بتفكيره بالضبط.

مميزات

فيما يلي الخصائص الأكثر تحديدًا التي تميز المنطق الرسمي عن الأنواع الأخرى للمنطق:

- هو علم يدرس شكل الفرضية ، على عكس أنواع المنطق الأخرى التي تدرس المادة فقط.

-هي هيكل بدون مادة.

- تم إنشاؤه في إطار مجموعة فرعية من الأنظمة الرسمية.

- تطبيق طرق فعالة للغاية بحيث يمكنك من خلال المنطق الرسمي التمييز بين الخطأ والصحيح.

- تنشأ استنتاجات الاستدلال الصحيح أو الصحة بسبب تحليل بنية المقدمات الحقيقية.

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

- تتميز بكونها رمزية.

- من وجهة نظر العلم الرسمي ، يلعب دورًا مهمًا في الرياضيات والفلسفة وعلوم الكمبيوتر والإحصاء.

- يتعلق بالقواعد بسبب دراسة الدلالات.

-دراسة الهياكل ، وهذا هو سبب مقارنتها بالرياضيات.

- يرتبط أيضًا بعلم النفس لأنه يركز على دراسة فكر كل فرد.

أنواع

منطق ديونتيك

وهي مشتقة من اليونانية القديمة δέον déon وتعني "ما هو مستحق" أو "ما هو ضروري". المنطق النمساوي ألويس هوفلر هو رائد هذا المفهوم ، الذي يشير إلى دراسة وتحليل المعايير.

منطق ثنائي التكافؤ

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

تستند مبادئها على المنطق الأرسطي ، وهو الهوية وعدم التناقض والطرف الثالث المستبعد.

منطق متعدد التكافؤ أو متعدد الأغراض

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

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

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

أمثلة

من خلال المنطق الصوري ، من الممكن إضافة قيمة الحقيقة أو الباطل إلى تفكير محدد.

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

- بوينوس أيريس هي عاصمة الأرجنتين. إذن ، كل من ولد في بوينس آيرس أرجنتيني.

-جواو يتحدث / تتحدث البرتغالية. ولد جواو في البرتغال. الجميع في البرتغال يتحدثون البرتغالية.

- الأبقار تعطي الحليب. الأبقار من الثدييات. جميع الثدييات تعطي الحليب.

-بيدرو أبيض وماريا سمراء ، لذلك هناك أشخاص بيض وبنيون.

- ماريا تعزف في أوركسترا الروك. الموسيقيون هم من يعزفون في أوركسترا الروك. ماريا موسيقي.

- جوزيه لديه شعر أسود. إيلينا لديها شعر بني. يمكن أن تولد ابنتهم بشعر أسود أو بني.

-القدم خمسة أصابع. البشر لديهم قدم اليمنى والقدم اليسرى. كل شخص لديه عشرة أصابع.

-إسبانيا بلد. تبقى إسبانيا في أوروبا. جميع الإسبان أوروبيون.

- آنا هي كائن حي. آنا مميتة. كل الكائنات الحية مميتة.

- جوسيه تبلل بالماء. يبلل الماء.

- ماريا أكلت طعامها الساخن. أصيبت ماريا بحروق وهي تأكل طعامها الساخن. حروق الطعام الساخن.

- الأرض جزء من الكون. في الكون هناك كواكب. الأرض كوكب.

- يضيء الضوء الكهربائي. يوجد ضوء كهربائي في الشوارع. ضوء كهربائي يضيء الشوارع.

المراجع

1. "المنطق الرسمي" في موسوعة العالم الجديد. تم الاسترجاع في 21 أبريل 2019 من موسوعة العالم الجديد: newworldencyclopedia.org.
2. مورتون إل شاجرين جي هيوز "المنطق الرسمي" تم استرداده في 21 أبريل 2019 من بريتانيكا: britannica.com.
3. "المنطق وتصنيفه" في الأكاديمية. تم الاسترجاع في 23 أبريل 2019 من Academia: academia.edu.
4. "المنطق الرسمي" في القاموس الفلسفي. تم الاسترجاع في 23 أبريل 2019 من القاموس الفلسفي: الفلسفة.
5. "المنطق متعدد التكافؤ" في القاموس الفلسفي. تم الاسترجاع في 23 أبريل 2019 من القاموس الفلسفي: الفلسفة.
6. "الجوانب العامة للمنطق" في Club Essays (18 أغسطس 2013). تم الاسترجاع في 23 أبريل 2019 من محاكمات النادي: clubensayos.com.
7. "منطق ديونتيك" فى ويكيبيديا . تم الاسترجاع في 23 أبريل 2019 من ويكيبيديا: es.wikipedia.org.
8. منطق متعدد الأغراض في ويكيبيديا . تم الاسترجاع في 23 أبريل 2019 من ويكيبيديا: es.wikipedia.org.
9. منطق ثنائي التكافؤ في ويكيبيديا . تم الاسترجاع في 23 أبريل 2019 من ويكيبيديا: es.wikipedia.org