المنطق هو مجال الفلسفة الذي يهدف إلى دراسة الهيكل الرسمي للبيانات (الافتراضات) وقواعدها. باختصار ، يعمل المنطق على التفكير بشكل صحيح ، وبالتالي فهو أداة للتفكير الصحيح.
المنطق يأتي من الكلمة اليونانية الشعارات، وهو ما يعني العقل أو الحجة أو الكلام. تفترض فكرة الحديث والجدل أن ما يقال له معنى بالنسبة للمستمع.
يعتمد هذا المعنى على البنية المنطقية ، فعندما يعني الشيء "له منطق" أنه منطقي ، فهو حجة عقلانية.
المنطق في الفلسفة
كان الفيلسوف اليوناني أرسطو (384 م. ج - 322 أ. ج) الذي ابتكر دراسة المنطق ، سماها التحليلي.
بالنسبة له ، فإن أي معرفة تتظاهر بأنها صحيحة وعالمية يجب أن تحترم بعض المبادئ والمبادئ المنطقية.
أصبح المنطق (أو التحليلات) يُفهم على أنه أداة للتفكير الصحيح وتعريف العناصر المنطقية التي تكمن وراء المعرفة الحقيقية.
المبادئ المنطقية
تطور أرسطو ثلاثة مبادئ أساسية التي توجه المنطق الكلاسيكي.
1. مبدأ الهوية
الكائن دائمًا ما يكون مطابقًا لنفسه: ال é ال. إذا استبدلنا ال بالنسبة لماريا ، على سبيل المثال ، هي: ماريا هي ماريا.
2. مبدأ عدم التناقض
من المستحيل أن تكون أو لا تكون في نفس الوقت ، أو أن يكون كيان واحد نقيضه أيضًا. من المستحيل ذلك
ال يكون ال و لا ، في نفس الوقت. أو باتباع المثال السابق: يستحيل أن تكون مريم مريم وألا تكون مريم.3. مبدأ الطرف الثالث المستبعد أو الطرف الثالث المستبعد
في القضايا (الموضوع والمسند) ، هناك خياران فقط ، إما إيجابًا أو سلبيًا: ال é x أو ال é لا س. ماريا معلمة او ماريا ليست معلمة. لا يوجد احتمال ثالث.
نرى أيضا:المنطق الأرسطي.
التقدم للخطبة، الاقتراح، المقترح
في الحجة ، يسمى ما يقال وله شكل الفاعل والفعل والمسند اقتراحًا. المقترحات هي بيانات أو تأكيدات أو نفي ، ويتم تحليل صحتها أو زيفها منطقياً.
من تحليل المقترحات ، تصبح دراسة المنطق أداة للتفكير الصحيح. إن التفكير الصحيح يحتاج إلى مبادئ (منطقية) تضمن صحته وحقيقته.
كل ما يقال في الحجة هو خاتمة لعملية عقلية (فكر) تقيم وتحكم على بعض العلاقات القائمة المحتملة.
القياس
من هذه المبادئ ، لدينا تفكير منطقي استنتاجي ، أي من يقينين سابقين (افتراضات) يتم التوصل إلى نتيجة جديدة ، والتي لا يشار إليها مباشرة في المباني. وهذا ما يسمى القياس المنطقي.
مثال:
كل إنسان هالك. (فرضية 1)
سقراط رجل. (المقدمة 2)
لذلك ، سقراط مميت. (استنتاج)
هذا هو الهيكل الأساسي للقياس المنطقي وأساس المنطق.
يمكن تصنيف المصطلحات الثلاثة للقياس المنطقي وفقًا لكميتها (عالمية أو خاصة أو فردية) ونوعيتها (إيجابية أو سلبية)
قد تختلف المقترحات من حيث جودتها في:
- تأكيدات: S هي P. كل إنسان فاني ، مريم عاملة.
- السلبيات: S ليس P.سقراط ليس مصرياً.
يمكن أن تختلف أيضًا في كميتها في:
- المسلمات: كل S هي P.كل الرجال بشر.
- خاص: بعض S هو P. بعض الرجال يونانيون.
- الفردي: هذا S هو P.سقراط يوناني.
هذا هو أساس المنطق الأرسطي ومشتقاته.
نرى أيضا: ما هو القياس؟
منطق رسمي
في المنطق الرسمي ، ويسمى أيضًا المنطق الرمزي ، يتم اختزال الافتراضات إلى مفاهيم محددة جيدًا. وبهذه الطريقة فإن ما يقال ليس أهم شيء بل هو شكله.
يتم عمل الشكل المنطقي للبيانات من خلال التمثيل (الرمزي) للمقترحات بالحروف: ص, ماذا او ماو ص. سوف يبحث أيضًا في العلاقات بين المقترحات من خلال عوامل التشغيل المنطقية: الاقترانات, مفارقات و تكييف.
المنطق الاقتراحي
بهذه الطريقة ، يمكن العمل على المقترحات بطرق مختلفة وتكون بمثابة أساس للتحقق الرسمي من البيان.
تؤسس العوامل المنطقية العلاقات بين القضايا وتجعل التسلسل المنطقي لهياكلها ممكنًا. بعض الأمثلة:
إنكار
إنه عكس المصطلح أو الاقتراح ، ويمثله الرمز ~ أو ¬ (نفي ص هو ~ ص أو ¬ ص). في الجدول ، بالنسبة لـ p true ، لدينا ~ p false. (الجو مشمس = ص، ليس مشمسًا = ~ ص أو ¬ ص).
بالاشتراك
إنه الاتحاد بين القضايا ، فالرمز ∧ يمثل كلمة "و" (اليوم ، الجو مشمس و اذهب الى الشاطئ، ص ∧ ماذا او ما). لكي يكون الربط صحيحًا ، يجب أن يكون كلاهما صحيحًا.
انفصال
إنه الفصل بين القضايا ، يمثل الرمز v "أو" (أنا ذاهب إلى الشاطئ أو البقاء في المنزل، ص الخامس ماذا او ما). للصلاحية ، واحدة على الأقل (أو آخر) يجب أن يكون صحيحًا.
الشرط
إنه إنشاء علاقة سببية أو شرطية ، يمثل الرمز ⇒ "إذا... ومن بعد..." (إذا ان تمطر، ومن بعد سأبقى في المنزل ، ص ⇒ ماذا او ما).
تكافؤ
إنها إقامة علاقة شرطية ثنائية الاتجاه ، وهناك تأثير مزدوج ، يمثل الرمز ⇔ "إذا وفقط إذا،". (أذهب إلى الفصل فقط إذا لم أكن في إجازة ، ص ⇔ ماذا او ما).
بالتطبيق على جدول الحقيقة ، لدينا:
| ص | ماذا او ما | ~ ص | ~ ماذا | ص ∧ ماذا او ما | ص الخامس ماذا او ما | ص ⇒ ماذا او ما | ص ⇔ ماذا او ما |
|---|---|---|---|---|---|---|---|
| الخامس | الخامس | F | F | الخامس | الخامس | الخامس | الخامس |
| الخامس | F | F | الخامس | F | الخامس | F | F |
| F | الخامس | الخامس | F | F | الخامس | الخامس | F |
| F | F | الخامس | الخامس | F | F | الخامس | الخامس |
يمكن استبدال الحرفين F و V بصفر وواحد. يستخدم هذا التنسيق على نطاق واسع في المنطق الحسابي (F = 0 و V = 1).
نرى أيضا: جدول الحقيقة.
أنواع أخرى من المنطق
هناك عدة أنواع أخرى من المنطق. هذه الأنواع ، بشكل عام ، هي مشتقات من المنطق الرسمي الكلاسيكي ، وتقدم نقدًا للنموذج التقليدي أو نهجًا جديدًا لحل المشكلات. بعض الأمثلة هي:
1. المنطق الرياضي
يُشتق المنطق الرياضي من المنطق الرسمي الأرسطي ويتطور من علاقات قيمه الخاصة بالمقترحات.
في القرن التاسع عشر ، كان عالما الرياضيات جورج بول (1825-1864) وأوغسطس دي مورغان (1806-1871) هما مسؤول عن تكييف مبادئ أرسطو مع الرياضيات ، مما أدى إلى ظهور مفهوم جديد علم.
في ذلك ، يتم تقييم احتمالات الحقيقة والباطل من خلال شكلها المنطقي. يتم تحويل الجمل إلى عناصر رياضية وتحليلها بناءً على علاقاتها بين القيم المنطقية.
نرى أيضا: المنطق الرياضي.
2. المنطق الحسابي
المنطق الحسابي مشتق من المنطق الرياضي ، ولكنه يتجاوز ذلك ويتم تطبيقه على برمجة الكمبيوتر. بدونها ، سيكون من المستحيل تحقيق العديد من التطورات التكنولوجية ، مثل الذكاء الاصطناعي.
هذا النوع من المنطق يحلل العلاقات بين القيم ويحولها إلى خوارزميات. لهذا ، فإنه يستخدم أيضًا نماذج منطقية تتعارض مع النموذج الذي اقترحه أرسطو في البداية.
هذه الخوارزميات مسؤولة عن عدد من الاحتمالات ، من تشفير الرسائل وفك تشفيرها إلى مهام مثل التعرف على الوجه أو إمكانية السيارات المستقلة.
على أي حال ، العلاقة الكاملة التي تربط المرء بأجهزة الكمبيوتر ، في الوقت الحاضر ، تمر بهذا النوع من المنطق. إنه يدمج أسس المنطق الأرسطي التقليدي مع عناصر ما يسمى بالمنطق غير الكلاسيكي.
3. المنطق غير الكلاسيكي
من خلال المنطق غير الكلاسيكي أو المضاد للكلاسيكية ، يتم التعرف على المنطق سلسلة من الإجراءات المنطقية التي تتخلى عن واحد أو أكثر من المبادئ التي طورها المنطق التقليدي (الكلاسيكي).
على سبيل المثال ، المنطق الضبابي (أجعد) ، المستخدمة على نطاق واسع لتطوير الذكاء الاصطناعي ، لا تستخدم مبدأ الاستبعاد الثالث. يفترض أي قيمة حقيقية بين 0 (خطأ) و 1 (صواب).
أمثلة على المنطق غير الكلاسيكي هي:
- منطق أجعد؛
- المنطق الحدسي
- منطق غير متناسق
- منطق مشروط.
الفضول
قبل وقت طويل من أي نوع من المنطق الحسابي ، كان المنطق بمثابة الأساس لجميع العلوم الموجودة. يجلب البعض هذا المنطق المعبر عنه باسمهم باستخدام اللاحقة "لوجي"، من أصل يوناني.
علم الأحياء وعلم الاجتماع وعلم النفس هي بعض الأمثلة التي تجعل علاقتها مع الشعارات اليونانية ، مفهومة من فكرة الدراسة المنطقية والمنهجية.
التصنيف ، تصنيف الكائنات الحية (المملكة ، والشعبة ، والفئة ، والترتيب ، والعائلة ، والجنس ، والأنواع) ، حتى اليوم ، يتبع نموذجًا منطقيًا للتصنيف إلى فئات اقترحها أرسطو.
نرى أيضا:
- التفكير المنطقي - تمارين
- تمارين الفلسفة
