أحكام في المنطق. ما هو حكم، وأنواع الأحكام

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

أمثلة من عبارات: "يتدفق نهر الفولغا في بحر قزوين"، "AS كتب بوشكين قصيدة "الفارس البرونزي"، "يتم سرد النمور السيبيرية في الكتاب الأحمر"، وغيرها

هيكل الحكم

ويشمل الحكم على العناصر التالية: هذا الموضوع، والمسند، ومحدد الكمية الرباط.

1. الموضوع (subjektum اللات - «الكامنة») - وهذا، كما جاء في الحكم، وموضوعه ( «S»).
2. المسند (praedicatum اللاتينية - «سعيد") - انعكاس للعلامة كائن، ما يقال في موضوع الحكم ( "P").
3. حزمة - النسبة بين الموضوع ( «S») والمسند ( "P"). يحدد وجود / غياب موضوع الملكية كنسبة المسند. ربما يعني، ويدل على ذلك "داش" أو عبارة "" ( "ليست")، "قد"، "قد"، "مادة"، وغيرها.
4. محدد الكمية (كلمة محدد الكمية) تحدد نطاق هذا المفهوم، الذي موضوع الحكم. أنه واقف أمام هذا الموضوع، ولكن قد يكون أيضا غائبة في الحكم. الرمز بواسطة كلمات مثل "جميع"، "كثير"، "بعض" أو "لا" أو "لا"، وغيرها.

بيانات صحيحة وكاذبة

حكم صحيح في حالة وجود أي إشارة، والخصائص والعلاقات البنود المعتمدة / نفى في الحكم، صحيح. على سبيل المثال: "كل يبتلع - الطيور"، "9 أكثر من 2"، وهلم جرا ..

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

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

الأحكام على نوع من بيان

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

في المقابل، فإن الجملة الاستفهام يحتوي على السؤال، والحصول على الإجابة على: "ما الذي يحمله المستقبل بالنسبة لي"، وفي الوقت نفسه لا يقول شيئا ولا ينكر. وتبعا لذلك، فإن الادعاء بأن مثل هذا الحكم هو السؤال بشكل غير صحيح. الجملة الاستفهام، من حيث المبدأ، لا يحتوي على أي حكم لأن السؤال لا يمكن التمييز على أساس الحقيقة / الزيف.

يتم تشكيل نوع حافز العقوبة في الحالة التي يكون فيها هناك بعض الحوافز للعمل، طلب الحظر: "قوموا يا أيها النبي وفيد، وحضور ل". وفيما يتعلق الحكم، في رأي بعض الباحثين، لا يتم احتواؤها في مقترحات من هذا النوع. ويعتقد آخرون أنه من مجموعة متنوعة من الأحكام مشروط.

الحكم جودة

من حيث الجودة، قد يكون الحكم إما بالإيجاب (S هو P)، والسالب (S ليس P). في حالة الحكم الإيجابي، عبر المسند موضوع تعلق على ممتلكات معينة (-wa). على سبيل المثال: "ليوناردو دا فينشي - الايطالية رسام، مهندس معماري ونحات والعلماء، والطبيعة، ومخترع والكاتب، أكبر ممثل فن عصر النهضة".

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

التوصيف الكمي

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

الأحكام البسيطة والمعقدة

اعتمادا على هيكل، قد يكون حكم نوع من بسيطة أو معقدة. ويشمل هيكل حكم بسيط مفهومين مترابطة (SP): «كتاب - مصدرا للمعرفة". وهناك أيضا الأحكام مع مفهوم واحد - عند الثانية يعني فقط: "إنه تم الحصول على الظلام» (P).

ويتكون شكل معقد من خلال الانضمام إلى العديد من حكم بسيط.

تصنيف الأحكام بسيطة

قد تكون الأحكام بسيطة في المنطق من الأشكال التالية: عزوي، والحكم مع العلاقات، وجوديا، مشروط.

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

في الأحكام فيما يتعلق بالعلاقات الخاصة بين الكائنات. قد يكون لديهم سياق المكانية والزمانية، السببية، الخ على سبيل المثال :. "الصديق القديم أفضل من اثنين من جديد"، "الهيدروجين غاز ثاني أكسيد الكربون أخف وزنا بنسبة 22 مرات."

الحكم الوجودي - وهذا تأكيد وجود / الفناء من هذا الموضوع (المادية والمثالية): "لا يوجد نبي في بلده"، "القمر هو القمر الصناعي للأرض."

مشروط اقتراح - شكل من أشكال الموافقة، والتي تضمنت وجود مشغل الوسائط معين (الحاجة الخير / الشر، ثبت المعروف / غير معروف، يحظر، في اعتقادي، وغيرها). على سبيل المثال:

• "روسيا تحتاج إلى إجراء إصلاح التعليم" (طريقة alethic - الاحتمال، ضرورة شيء).
• "لكل شخص الحق في الأمان على شخصه" (طريقة deontic - القواعد الأخلاقية للسلوك الاجتماعي).
• "إهمال ممتلكات الدولة يؤدي إلى خسارتها" (axiologic طريقة - تتعلق المادية والقيم الأخلاقية).
• "نحن نؤمن براءتك" (طريقة المعرفية - موثوقية المعرفة).

الأحكام المعقدة وأنواع الوصل المنطقية

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

• جنبا إلى جنب (أ ʌ ب - ربط الأحكام). الأحكام-conjuncts لديها مجموعة من "و"، "تنفيذ حقوق وحريات الإنسان والمواطن لا يجوز أن تنتهك حقوق الآخرين وحرياتهم".
• انفصال (AVB - تقسيم الأحكام). كما يتم استخدام العناصر المكونة للحكم، كما بنود الموثق - العطف "أو". على سبيل المثال: "إن المدعي الحق في زيادة أو إنقاص حجم المطالبة".
• المعنى الضمني (أ → ب - حكم والنتيجة). إذا تم تخصيص نشر في بنية معقدة الحكم وبالتالي، يمكن القول أن مثل هذا الحكم يتعلق المترتبة عليه. كما الموثق المستخدمة في شكل جمعيات مثل "إذا ... ثم". على سبيل المثال: "إذا من خلال موصل ليغيب عن تيار كهربائي، وسلك مع ارتفاع درجات الحرارة"، "هل تريد أن تكون سعيدا - يكون سعيدا".
• التكافؤ (أ ≡ ب - حكم مماثل). فإنه يأخذ مكان في الحالة التي يكون فيها قيم a و b هي نفسها (إما على حد سواء الحقيقية أو كليهما كاذبة): "وخلق الإنسان عن السعادة، مثل طائر أن يطير".
• نفي (¬a، ā - حكم انعكاس). ويرتبط كل مصدر من مجمع البيان البيان أن ينكر الأصلي. باستخدام "وليس" باقة. وفقا لذلك، إذا يتبع البيان الأصلي على النحو التالي: "الثور يتفاعل مع الضوء الأحمر" (أ) - إنكار أن يبدو مثل: "الثور لا يستجيب للضوء أحمر" (¬A).