من المعرفة
منطق
| الفلسفة
|
|---|
| بوابة |
المنطق علم فلسفي يبحث في تماسك القضايا والكلام، التعريف الدقيق للمنطق موضع جدال إلا أن هناك اتفاقا على ان المنطق يحاول أن يقدم مؤشرات قد تكون صحيحة أو خاطئة ليميز بين القضايا والحجج الجيدة من السيئة.
كان المنطق يدرس ضمن نطاق الفلسفة حتى منتصف القرن التاسع عشر حيث بدأ يدرس بشكل واسع ضمن الرياضيات، وحاليا يدرس أيضا مع المعلوماتية. كعلم شكلي ، يبحث المنطق في بنية العبارات والحجج و تصنيفها، من خلال دراسة النظم الشكلية للاستدلال inference ومن خلال دراسة الحجج في اللغات الطبيعية.
لذلك فإن مجال تطبيق المنطق واسع جدا ، من المواضيع الجوهرية مثل دراسة المفارقات و fallacies إلى التحليلات المختصة للاستنتاج مثل الاتنتاج المحتمل و الحجج التي تتضمن السببية.
المنطق ببساطة هو كل شىء قريب من العقل وقابل للتصديق وهذا يعني انه نسبي ايضا ، لان الشىء المنطقي اليوم قد يكون غير منطقي غدا وبالعكس وذلك حسب تطور العلم.
فهرست |
الصيغة المنطقية
المنطق فرع من فروع الفلسفة يعنى بقواعد التفكير السليم. ويشتَغِل معظم الدّارسين في مجال المنطق بشكل من التفكير يُسمَّى القضية المنطقيّة. [1].
وتتكون القضية المنطقية من مجموعة من العبارات تُسمَّى المقدمات تتبعها عبارة أخرى يطلق عليها اسم النتيجة. فإذا كانت المقدمات تُؤَيِّد النتيجة، كانت القضية المنطقية صحيحة. وإذا كانت المقدمات لا تُؤيِّد النتيجة، كانت القضية المنطقية خاطئة.
القضية الاستنتاجية والاستقرائية
القضية المنطقية نوعان: قضية استنتاجية، وقضية استقرائية. فالقضية الاستنتاجية تكون صحيحة بالطبع إذا كانت المقدمات والنتائج صحيحة. وإذا كانت النتيجة لا تنشأ بالضرورة عن المقدمات، فإن القضية الاستنتاجية تكون في هذه الحالة غير صحيحة. أما القضية الاستقرائية، فإن صحة النتيجة لا تعتمد اعتمادًا كاملاً على المقدمات. ولأن النتيجة في القضية الاستقرائية لا تنشأ بالضرورة عن المقدمات، فالقضية الاستقرائية لا تكون صحيحة بالمعايير الاستنتاجية. وتختص هذه المقالة بصفة أساسية بالعمليات العقلية الاستنتاجية. وللحصول على مزيد من المعلومات عن العمليات العقلية الاستقرائية، انظر: الاستقراء.
ويُعرّفنا المنطق صحة القضية الاستنتاجية وسلامتها من عدم صحتها. وتعتمد سلامة هذه القضية على شكلها، وليس على صدق مقدماتها. وعلى ذلك، فقد تكون القضية الاستنتاجية صحيحة بينما مقدماتها كاذبة، وقد تكون القضية الاستنتاجية غير صحيحة بينما مقدماتها صادقة.
تعريف المنطق
المعنى المصطلح للكلمة:
لا نريد أن ُنعرّف المنطق تعريفاً دقيقاً -أعني جامعاً ومانعاً- لأنَّه ليس بإمكاننا أن نُعرِّف العلوم تعريفاً لا يشذُّ عنه شيءٌ، ذلك لأنَّ العلوم هيَ مسائلُ مختلفة يجمعها محورٌ واحدٌ وهو الموضوع أو مسائل تنصبُّ في أمرٍ واحد هو الغاية. فكلُّ من يريد تعريف العلم، يحاول أن يأتي بقَولٍ يشتمل على ذلك المحور أو ينتهي إلى تلك الغاية، فنراه لا محالة يزلُّ في بعض الجوانب ويخطأ، فلا يكون تعريفه شاملاً ومستوعباً لكلِّ مسائل العلم أو مانعاً ومُخرجاً للأمور البعيدة عن ذلك العلم. [1].
ومن هنا نقول: إن التعاريف التي ذكرها القوم -رغم الملاحظات الواردة عليها من حيث الاطِّراد والانعكاس- كلّها تستهدف حقيقةً واحدة وهي أنَّ المنطق هو: "قانون التفكير الصحيح"
فإذا أراد الإنسان أن يفكِّر تفكيراً صحيحاً لابدَّ أن يراعي هذا القانون وإلاّ سوف يزلّ وينحرف في تفكيره فيحسب ما ليس بنتيجةٍ نتيجةً أو ما ليس بحُجَّةٍ حجَّةً.
وقد عُرِّف علم المنطق أيضا بأنه :
"علم يبحث عن القواعد العامة للتفكير الصحيح"
فهو يبحث عن القواعد المتعلقة بجميع حقول التفكير الإنساني في مختلف مجالات الحياة، لا ما يخص جانباً معيَّناً، إذ أنَّ هناك قواعد يُحتاج إليها في علم خاص كعلم النحو أو البلاغة أو الأصول أو التفسير فلا علاقة للمنطق بها بما هي قواعد ذلك العلم. نعم للمنطق إشراف دقيق على مدى صحَّتها أو سقمها.
فهو إذاً وسيلةٌ للتفكير الصحيح في كافة مجالات العلوم على اختلافها، ولهذا سمي بالآلة وعُرِّف بأنَّه:
"آلةُ قانونيةُ تعصم مراعاتُها الذهنَ عن الخطأِ في الفكر"( المنظومة ج1 ص6 و الإشارات ص9)
فهو معدود من العلوم الآليَّة لا العلوم الذاتية لأنَّه ليس علماً مستقلاً في قبال العلوم الأخرى بل هو خادم جميع العلوم، فلا يتمكن الإنسان أن يفكِّر في أي علم كان إلاّ مع مراعاة قوانين المنطق وملاحظة قواعده بدقَّة، فحينئذٍ سوف يعتصم ذهنه عن الخطأ في التفكير في تلك العلوم، بل حتَّى في المجالات العرفيَّة والمحادثات يحتاج الإنسان إلى معرفة المنطق وتطبيق قواعده.
من هذا المنطلق يسمَّى هذا العلم بعلم القسطاس (اللمعات المشرقية ص3) والميزان (المنظومة ج1 ص3)، فهو ميزانٌ دقيقٌ مختص بأمورٍ عقليةٍ ومفاهيمَ علمية يقيَّم به وزن المعلومات التي يكتسبها الإنسان ويميَّز به صحة المعلومات وسقمها، وهو المعيار الذي يمكن بواسطته ضمان النتائج السليمة للتفكير.
تاريخ المنطق
إنّ أهم المراحل التاريخية التي مرّ بها هذا العلم فهي:
- أرسطو طاليس (384- 322 ق.م) : لقد كان أرسطو الفيلسوف الإغريقي أول من هذّبَ علم المنطق و رتب مسائله و فصوله، وأول من ألف فيه وتعرف مجموعة ملفاته بـ (الأورغان Organon)، وهي تضم الكتب التالية:( كتاب المقولات - كتاب العبارة - كتاب التحليلات الأولى - كتاب التحليلات الثانية - كتاب الجدل - كتاب السفسطة )، ويضاف إليها: ( كتاب الخطابة - كتاب الشعر ). لقب أرسطو بـ (المعلم الأول)، وذلك بسبب اهتماماته في خدمة هذا العلم. ولقد ترجمت كتب أرسطو في المنطق إلى العربية في القرن الثاني الهجري، وقيل في القرن الأول، من قبل النقلة السريان و أشهرهم إسحاق بن حنين (ت 950 م)وهو الذي ترجم كتاب المقولات.
رسم تخيلي لابن سينا
- فرفوريوس من أهالي مدينة صور الساحلية الواقعة في جنوب لبنان (233- 304 ق.م) : ألف فرفوريوس كتابه الموسوم بـ (إيساغوجي Isagoge) وهي كلمة يونانية تعني (المدخل) وهو الاسم الثاني لهذا الكتاب، لأنه يبحث في الكليّات الخمسة، ونقله إلى العربية أبو عثمان الدمشيقي في القرن التاسع الميلادي، واختصره أثير الدين المفضل بن عمر الأبهري (ت 663 هـ.ق = 1264).
- لقي علم المنطق العناية الفائقة في العالم الإسلامي، وأشهر من أولى المنطق تلك العناية من فلاسفة العرب وأعلامهم أبو نصر الفارابي (950م). ولُقِّب لذلك بـ(المعلم الثاني).
- ينسب إلى جالينوس (ت سنة 160 م)أنه أضاف الشكل الرابع إلى الأشكال الثلاثة.
- تبع الفارابي في اهتمامه بالمنطق الشيخ الرئيس ابن سينا (980-1037 م).
- قام أبو حامد الغزالي (ت سنة 505هـ - 1111 م) بمزج علم المنطق بعلوم المسلمين، حتى صار من مقدّمات الاجتهاد عند الكثير منهم. [1].
علم المنطق الحديث
يمتد علم المنطق الحديث ليشمل آفاقًا أرحب بكثير مما شمله عمل أرسطو. فقد وضع علماء المنطق المُحْدَثون نظريات وأساليب لتناول القضايا الاستنتاجية على نحو يختلف عن الاستقراء المطلق. ومن علماء المنطق الحديث البارزين عالما الرياضيات البريطانيان جورج بُول و أَلْفرد نُورْث وايتهد، ثم الفيلسوف البريطاني بِرْترْاند راسل. وعلى عكس المناطقة التقليديين، فقد استخدم هؤلاء المناطقة مناهج حسابية وأساليب تستخدم الرموز.
ويستخدم علم المنطق اليوم بصفة أساسية لاختبار مدى سلامة القضايا. كما أن له استخدامات مهمة أيضًا في مجال العمل مع أجهزة مثل الحواسيب، والدوائر الكهربائية.
ولاختبار سلامة قضية ما، يقوم عالم المنطق أولاً بتحليل عباراتها، والتعبير عنها في صيغة رموز. ويكون الحرف أو أيّ رمز مُستخدم في القضية رمزًا لكلمة أو عبارة بأكملها في حالات عديدة. فعلى سبيل المثال، يَكْتب المناطقة عبارة مثل: "سقراط حكيم" في هيئة "ح س"، وعبارة "كل إغريقي حكيم" في هيئة معادلة كما يلي: "[س] [غ س¿ح س]". والرمز ¿يعني (إذا كان ¿، إذاً ¿ ). ويقوم عالم المنطق بعد ذلك بتطبيق قواعد الاستنتاج أحيانًا أو قواعد الاستدلال، لتحديد المعادلات الجديدة التي يُمكن استنتاجها من المقدمات الأصلية. فعلى سبيل المثال، هناك قاعدة تسمح باستنتاج العبارة (ك) من العبارات (ب) و "[ب ¿ك]". وعلى ذلك، يمكن الاستدلال على العبارة "تمَّ إلغاء النزهة" من العبارات "السماء تمطر" و "إذا كانت السماء تمطر إذًا تُلغى النزهة ". ويستمر عالم المنطق في استنتاج المعادلات حتى يصل إلى نتيجة.
أهمية المنطق
رغم أن الإنسان مفطور على التفكير، وبه يتميز عن غيره من الكائنات، إلا أنَّه من أجل تصحيح تفكيره من حيث الأسلوب والصورة وكذلك من حيث المحتوى والمادة، يحتاج إلى معرفة قواعد المنطق وقوانينه، وإلا سوف لا يتمكَّن من أن يفكِّر تفكيراً صحيحا، يميِّز به الحق من الباطل فيتورَّط في الخطأ والإنحراف الفكري من غير أن يعرف سبب ذلك.
وبناءً عليه يستخدم هذا العلم في تصحيح عملية التفكير في مجال العلوم الأخرى، فمن لم تكن لديه أية مخزونات علمية، لا يمكنه استخدام قواعد المنطق أصلاً، فهو كالغواص من غير بحر أو كالنجار من غير أخشاب، كما أنَّه لو كان بحراً من العلوم -وهو غير مُطَّلع على قوانين المنطق أو لا يراعيها- فلا ضمان لصحَّة أفكاره أصلاً.
و الحاصل: أنَّ هذا العلم يبرمج ويرتِّب المعلومات الذهنية المسبقة ليستنتج من خلالها نتيجةً صحيحةً مطابقة للواقع. وعلى هذا الأساس، سمِّي بـ(المنطق الصوري) لأنَّه يتعامل مع صورة التفكير وأسلوبه، وأما محتوى التفكير وموادّه فالمنطق يعالجها بنحو عام فحسب في مبحث يسمَّى (الصناعات الخمسة).
هناك أفرع خاصة في علم المنطق مُهمتها توجيه جانب كبير من العمليات العقلية في مجالات العلوم، والقانون، ومجالات أخرى معينة.
كما تقوم أفرع عديدة لعلم المنطق بتوجيه العمليات العقلية المرتبطة بالالتزامات، والعهود، والأوامر، والاستفسارات، وتحديد الأفضليات، والمعتقدات.
إن جانبًا كبيرًا من التفكير الذي يقوم به الناس في حياتهم اليومية تفكير غير استدلالي، بمعنى أنه يؤدي إلى نتائج محتَملة وليس إلى نتائج مؤكدة. فعلى سبيل المثال، يَسْتَخدم الأطباء تفكيرًا غير استدلالي لتشخيص الأسباب المحْتَمَلة للأعراض التي يشكو منها المريض. ويستخدم رجال القانون عادة مناهجَ غير استدلالية لتحديد أيِّ القوانين هو الذي يحكم حالة معينة.
موضوعات في المنطق
المنطق القياسي
Sentential (propositional) logic
القياس المطلق
القياس المطلق
هو أكثر أشكال القضية المنطقية شيوعًا في المنطق الاستنتاجي التقليدي. وقد كان الفيلسوف اليوناني القديم أرِسْطو من أوائل الباحثين الذين قاموا بدراسة منهجيّة للقياس المُطلق.
ويتكون القياس من مقدمتين ونتيجة. والقياس المطلق هو الذي تكون كل عبارة فيه مكوّنة إحدى الصيغ الأربع التالية :
- كل ( أ ) تساوي (ب)
- كل ( أ ) لا تساوي (ب)
- بعض ( أ ) يساوي (ب)
- بعض ( أ ) لا يساوي (ب)
والأحرف أ أو ب أو أية أحرف أخرى قد تُستخدم، وهي تعبيرات تمثل فئات مختلفة من الأشياء، مثل الأرقام، أو الناس، أو الأشياء الصفراء، أو الأصوات البغيضة، أو البقرات البُنية. والقضية التالية مثال لقياس مطلق سليم: "كل الثدييات من ذوات الدم الدافئ. كل الأبقار البنية من الثدييات. إذًا كل الأبقار البنية من ذوات الدم الدافئ. وصيغة هذا الاستقراء هي: "كل أ تساوي ب. كل ج تساوي أ. إذًا كل ج تساوي ب".
أما الاستقراء المطلق التالي، فيمثل قضية غير صحيحة: "كل النجوم ليست كواكب". بعض الأقمار الصناعية ليست كواكب. إذًا بعض الأقمار الصناعية ليست نجومًا. وصيغة هذا الاستقراء هي: "كل أ ليست ب. بعض ج ليست ب. إذًا بعض ج ليست أ". ويمكننا تأكيد أن هذا الاستقراء غير صحيح إذا قورن باستقراء آخر بنفس الصيغة ولكنه يعطي نتيجة غير صحيحة. وقد يكون مثل هذا الاستقراء كما يلي: "كل الأحجار الكريمة ليست رخيصة الثمن [عبارة صادقة]. بعض أحجار الماس ليست رخيصة الثمن [عبارة صادقة]. إذًا بعض أحجار الماس ليست أحجارًا كريمة [عبارة غير صادقة]. هذا القياس لا يستوفي شرط وجوب صدق النتيجة إذا كانت المقدمات صادقة. عليه فلا بد أن يكون هذا الاستقراء غير صحيح.
قواعد الاستقراء. تُمَكِّننا هذه القواعد من اختبار القياس المطلق دون الرجوع إلى أمثلة مماثلة، أو فحص تفاصيل بِنْية القضية المنطقية. وتعتمد هذه القواعد على مقومات معينة توجد في جميع القياسات السليمة وتميزها عن القياسات غير الصحيحة. فعلى سبيل المثال، تنص إحدى هذه القواعد على أن الاستقراء السليم لا تكون له مقدمتان سالبتان. وفي الاستقراء التالي توجد مقدمتان سالبتان: "كلّ النجوم ليست كواكب، بعض الأقمار الصناعية ليست نجومًا. وعليه، فنحن نعلم أن هذا الاستقراء لا يمكن أن يكون سليمًا.
وهناك قواعد أخرى لتكوين استقراءات سليمة.
1- يجب أن يكون للاستقراء ثلاثة حدود بالضبط. فعلى سبيل المثال تأمل هذا الاستقراء غير الصحيح: "كل القوانين تضعها الحكومة. و(V=at) هو قانون الأجسام الساقطة. إذًا الحكومة هي التي وضعت (V=at). إن كلمة قانون هنا ليست واضحة، فهي قد تعني قانونًا طبيعيًا مثل قانون الأجسام الساقطة، أو تعني قانونًا تشريعيًا. وتبعًا لذلك فقد صار لهذا الاستقراء أربعة حدود بدلاً من ثلاثة حدود، وصار الاستقراء فاسدًا.
2- يجب أن تنشأ عن المقدمتين السالبتين نتيجة سالبة.
3- إذا كانت إحدى المقدمتين سالبة والأخرى موجبة، يجب أن تكون النتيجة سالبة.
4- يجب تقييد الحد الذي يظهر في المقدمتين كلتيهما بكلمة كل أو كل ـ ليس مرة واحدة على الأقل.
5- الحد المقيد بـ كل أو كل ـ ليس في النتيجة يجب أن يكون مقيدًا بـ كل أو كل ـ ليس في إحدى المقدمتين.
Predicate logic
Modal logic
المنطق الم
المنطق الرياضي
المنطق الفلسفي
المنطق والحساب
الجدل حول المنطق
هل المنطق تجريبي؟
Implication: strict or material?
Tolerating the impossible
رفض الحقيقة المنطقية
انظر أيضا
|
المصادر
- Nuel Belnap, (1977). A useful four-valued logic. In Dunn & Eppstein, Modern uses of multiple-valued logic. Reidel: Boston.
- Brookshear, J. Glenn (1989). Theory of computation: formal languages, automata, and complexity. Redwood City, Calif.: Benjamin/Cummings Pub. Co.. ISBN 0805301437.
- Cohen, R.S, and Wartofsky, M.W. (1974). Logical and Epistemological Studies in Contemporary Physics. Boston Studies in the Philosophy of Science. D. Reidel Publishing Company: Dordrecht, Netherlands. ISBN 90-277-0377-9.
- Finkelstein, D. (1969). "Matter, Space, and Logic". in R.S. Cohen and M.W. Wartofsky (eds. 1974).
- Gabbay, D.M., and Guenthner, F. (eds., 2001–2005). Handbook of Philosophical Logic. 13 vols., 2nd edition. Kluwer Publishers: Dordrecht.
- Hilbert, D., and Ackermann, W, (1928). Grundzüge der theoretischen Logik (Principles of Mathematical Logic). Springer-Verlag. OCLC 2085765
- Susan Haack, (1996). Deviant Logic, Fuzzy Logic: Beyond the Formalism, University of Chicago Press.
- Hodges, W., (2001). Logic. An introduction to Elementary Logic, Penguin Books.
- Hofweber, T., (2004), Logic and Ontology. Stanford Encyclopedia of Philosophy. Edward N. Zalta (ed.).
- Hughes, R.I.G., (1993, ed.). A Philosophical Companion to First-Order Logic. Hackett Publishing.
- Kline, Morris (1972). Mathematical Thought From Ancient to Modern Times. Oxford University Press. ISBN 0-19-506135-7.
- Kneale, William, and Kneale, Martha, (1962). The Development of Logic. Oxford University Press, London, UK.
- Logikos. A Greek-English Lexicon. Perseus Project. وُصِل لهذا المسار في 5 مايو 2009.
- Mendelson, Elliott, (1964). Introduction to Mathematical Logic. Wadsworth & Brooks/Cole Advanced Books & Software: Monterey, Calif. OCLC 13580200
- Harper، Robert (2001). Logic. Online Etymology Dictionary. وُصِل لهذا المسار في 5 مايو 2009.
- Smith, B., (1989). "Logic and the Sachverhalt". The Monist 72(1):52–69.
- Whitehead, Alfred North and Bertrand Russell, (1910). Principia Mathematica. Cambridge University Press: Cambridge, England. OCLC 1041146
وصلات خارجية وقراءات إضافية
تعريفات قاموسية في ويكاموس
كتب من معرفة الكتب
اقتباسات من معرفة الاقتباس
نصوص مصدرية من معرفة المصادر
صور و ملفات صوتية من كومونز
أخبار من معرفة الأخبار.
- Wikia has a wiki on this subject: LogicWiki
- Introductions and tutorials
- An Introduction to Philosophical Logic, by Paul Newall, aimed at beginners.
- forall x: an introduction to formal logic, by P.D. Magnus, covers sentential and quantified logic.
- Logic Self-Taught: A Workbook (originally prepared for on-line logic instruction).
- Nicolas Rescher. (1964). Introduction to Logic, St. Martin's Press.
- Essays
- "Symbolic Logic" and "The Game of Logic", Lewis Carroll, 1896.
- The limits of reason, by Gregory Chaitin
- Math & Logic: The history of formal mathematical, logical, linguistic and methodological ideas. In The Dictionary of the History of Ideas.
- Reference material
- Translation Tips, by Peter Suber, for translating from English into logical notation.
- Ontology and History of Logic in Western Thought. An Introduction Annotated bibliography
- Reading lists
- The London Philosophy Study Guide offers many suggestions on what to read, depending on the student's familiarity with the subject:
| ||||||||||||||||||||||||||||||||||
