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

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

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

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

1) "Democritus ليس مثاليًا" - حكم بسيط.

2) "إذا هطل المطر ، فإن الأسطح رطبة" أمر صعب.

الحكم هو فكرة كاملة نسبيًا تعكس الأشياء وظواهر العالم الحقيقي بخصائصها وعلاقاتها. الحكم له هيكل معين. عناصرها هي موضوع ، مسند ، ضام ، وفي بعض الحالات كلمات كمية (كمية).

الموضوع - هو معرفة بموضوع الحكم (موضوع منطقي). تم تعيينه بالحرف S.

المسند - هناك معرفة حول ما تم تأكيده أو رفضه حول موضوع الحكم (المسند المنطقي). تم تعيين R.

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

الاقتران - يثبت أن ما يمكن تصوره في المسند متأصل أو غير متأصل في موضوع الحكم. في بعض الأحيان يكون الاتصال ضمنيًا فقط.

يسمى الموضوع والمسند شروط الحكم.

يتكون كل حكم من ثلاثة عناصر - فترتين ومجموعة. كل من أعضاء الحكم هؤلاء موجودون بالضرورة أو ضمنيًا في هذه الأحكام.

تشمل أحكام الدمج ما إذا كان عنصر ما ينتمي إلى فئة من العناصر أو فئة واحدة تنتمي إلى فئة أخرى من العناصر. على سبيل المثال: "CHVVAKUSH هي مؤسسة تعليمية عسكرية عليا."

تكوين اقتراح بسيط

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

هيكل مجرد حكم يحتوي على:

أولا ، واحد أو أكثر مواضيع الحكم أو مواضيع منطقية – هذه هي الأجزاء التي تمثل الأشياء التي يتم تأكيد شيء ما أو رفضه في الحكم.

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

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

إلا الموضوعات والحكم المسند يحتوي على حزمة ، والتي ، كقاعدة عامة ، يتم التعبير عنها بالكلمات "هو" ، "الجوهر" ، "هو" ، "يكون".

لنلقِ نظرة على مثالين لتوضيح هيكل الحكم:

في الاقتراح "الشمس جرم سماوي ملتهب" موضوعات واحد هو الشمس فاعل - "جرم سماوي ساخن" ، و حزمة التي عبرت عنها كلمة "هو".

في الاقتراح "الأرض تدور حول الشمس" اثنان موضوعات - "الأرض" و "الشمس" ، و فاعل هي العلاقة "بالتناوب".

اعتمادًا على وظائف الاتحادات المنطقية ، يتم تمييز الأحكام المرتبطة ، المنفصلة ، الضمنية ، المكافئة ، السلبية والمجمعة (الشكل 4.4).

أرز. 4.4

حرف عطف (ضام) يتكون الاقتراح من اثنين أو أكثر من الافتراضات البسيطة المتصلة بالاتحاد المنطقي "و".

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

قد تتضمن صيغة الحكم المتصل المزيد من المتغيرات المنطقية. على سبيل المثال ، بيان الكاتب الألماني ل. برن: "الحكومة - الأشرعة (w) ، الناس - الرياح (الرياح) ، الدولة - السفينة (ع) ، الوقت - البحر ($)" ، في التدوين الرمزي يبدو كما يلي:

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

يمكن التعبير عن العبارة الموصولة كقضية ذات موضوع بسيط ومسند معقد. على سبيل المثال: "مفتاح القيادة الناجحة (5) هو رؤية المستقبل متعدد المتغيرات (ص) ، القدرة على توقع أحلك السيناريوهات (R) " (و. شكسبير). هنا ، فيما يتعلق بموضوع منطقي واحد (5) ، يتم التعبير عن فكرتين (مسندان آر إكس و P ، المتصلة بالاتحاد المنطقي "و"). يمكن تمثيل هيكل هذا الحكم كـ

دلالة (5 - ف) مع الرمز "T" ، (5 - R) الرمز "P" ، نحن نحصل ر ل ص.

حكم مرتبط بموضوع معقد وخبر بسيط: "الإمبراطوريات (5)) والعقول غير المهمة (52) لا تختلط جيدًا مع بعضها البعض (P)" (إي. بيرن). هنا ، كائنين من موضوعات التفكير (المسند المنطقي 5! و 5 |) يتم تخصيص خاصية مشتركة واحدة (المسند المنطقي Р):

دلالة ^ - ص) الرمز "w" ، (52 - ص) رمز ف نحن نحصل ر ل ص.

حكم اقتران مع موضوع معقد ومسند معقد. لنستخدم كمثال تصريح الفيلسوف الروسي ن. أ. بيردييف (187-1-1948): "فصل الاقتصاد عن الروح (5)) ، بناء الاقتصاد في المبدأ الأسمى للحياة (52) يحول الاقتصاد والاقتصاد إلى اقتصاد وهمي (P]) ، مملكة ميكانيكية (P) ". الهيكل المنطقي لهذا الحكم هو:

موسع:

طباقي يتكون الاقتراح (الانفصالي) من عدة افتراضات بسيطة مرتبطة بالاتحاد المنطقي "أو". وهو ، كما هو معروف (انظر الفصل 1 ، الفقرة 1.2) ، يؤدي وظيفة الفصل بطرق مختلفة. في حالة واحدة ، هذا هو سند فاصل ، فصل غير حصري ؛ يسمى هذا الانفصال الضعيف وغير الصارم. خلاف ذلك ، فإن التقسيم هو حصري ؛ هذا فصل قوي صارم.

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

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

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

1) تكوين بدائل لاستخدام الفرص ؛
2) تكوين بدائل للقضاء على الأخطار التي تهدد البيئة الخارجية ؛
3) تكوين بدائل للمحافظة على نقاط القوة في المؤسسة واستخدامها ؛
4) تشكيل بدائل للقضاء على نقاط الضعف في المؤسسة ؛
5) التحليل النوعي لمحفظة البدائل الاستراتيجية.

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

يمكن التعبير عن الأحكام المنفصلة ، مثل الأحكام المتصلة ، في شكل جملة بسيطة ممتدة مع مجموعات مختلفة من المصطلحات البسيطة والمعقدة. أعلاه كان بيان أ. كامو بموضوع بسيط وخبر معقد. يمكنك إضافة واحدة أخرى مرتبطة مباشرة بفن الإدارة. هذا هو اعتراف نابليون: "أنا (5) إما ثعلب (Р |) ، أو أسد (ص). السر الكامل للإدارة هو معرفة متى تكون هذا أو ذاك ".

وهنا مثال على حكم مفصول بصرامة مع موضوع معقد وخبر بسيط: "العار (5)) أو المجد (52) هو غبار دنيوي فقط (R) " ("الأمثال من الصين القديمة").

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

غير مكتمل يسمى اقتراحًا منفصلاً ، حيث لا يتم سرد جميع المواقف الممكنة. لنأخذ كمثال السطور المأخوذة من القصيدة الهزلية للفيلسوف الديني الروسي في.س. سولوفيوف (1853-1900) "متشكك":

"أي طريق يجب أن أختار؟ من أحب ، ما الذي أبحث عنه؟ هل يجب أن أذهب إلى الهيكل - للصلاة إلى الله ، أم إلى الغابة - لقتل المارة؟"

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

في اللغة الطبيعية ، يتم التعبير عن عدم اكتمال الانفصال بالكلمات: "إلخ" ، "إلخ" ، "إلخ" ، "الآخرين". رمزياً ، يمكن كتابتها باستخدام علامة الحذف:

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

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

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

ومثال آخر. الكاتب المسرحي اليوناني القديم ميناندر لديه خطوط وثيقة الصلة بهذا اليوم:

"عندما تضاف القوة إلى المال السهل (ت).

حتى الشخص الذي اشتهر بذكائه سيصاب بالجنون (ف) ". في التدوين الرمزي:

مثال آخر ، باستخدام سلسلة من الشروط: "إذا كان الهدف نفسه سيئًا (T) ، هذا يعني أنها غبية (ف) ، وحيث لا يوجد عقل (ع) ، لا توجد عظمة (R) " (ج. لا برويير):

ما يعادل يتكون الحكم (التكافؤ) من أحكام بسيطة مرتبطة بالاتحاد المنطقي "إذا ، وفقط إذا ... ، إذن ...". يوفر هذا الاتحاد علاقة شرطية مباشرة وعكسية ، وهذا هو سبب تسميته بالتضمين المزدوج. خذ قول سولون: "عندها فقط خذ السلطة (T) ، عندما تتعلم الانصياع (ف) ". كلمة تكييف متبادل للأحكام "فقط" اكتب. في الواقع ، يمكن التعبير عن هذا البيان دون تشويه المعنى بطريقتين: "إذا تعلمت أن تطيع (و) ، يمكنك قبول السلطة (أنا؟)". "إذا كنت على استعداد لتولي السلطة (T) ، يعني أنه تعلم أن يطيع ("") ". في التدوين الرمزي: ر = ن أو تي<->ص.

نفي تمت صياغة الحكم باستخدام النقابة "ليس صحيحًا أن ..." ، والتي تدل عليها العلامة "^". باستخدام هذه العلامة ، يمكن تمثيل الحكم السلبي على أنه صيغة "--i" (تقرأ "ليس صحيحًا أن" a ") ، حيث "لكن" - حكم بسيط. وهنا قد يطرح السؤال - أين الجزء الثاني من الحكم المعقد الذي يُرمز إليه بالرمز / ؟؟ يوجد بالفعل حكمان بسيطان في السجل - أحدهما إيجابي والآخر سلبي. مثال على الحكم السلبي: "من الخطأ الافتراض أن أصحاب الثروات الكبيرة هم دائمًا سعداء" (د. روكفلر). يسمى النفي بالرابط الأحادي لأنه ينطبق على اقتراح واحد. تسمى بقية الروابط التي تم اعتبارها ثنائية ، لأنها تربط حكمين أو أكثر.

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

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

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

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

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

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

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

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

مجمع الأحكام وأنواعها

مركبيسمى حكمًا يتكون من عدة أحكام بسيطة متصلة بواسطة روابط منطقية.

هناك ارتباط (اتصال) ، فصل (فصل) ، ضمني (شرطية) وتكافؤ (هوية).

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

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

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

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

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

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

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

ف. من كتاب المنطق: مذكرات المحاضرة المؤلف شادرين د

المحاضرة رقم (11) أحكام بسيطة. المفهوم والأنواع 1. مفهوم وأنواع الأحكام البسيطة كما تعلم ، يمكن تقسيم جميع الأحكام إلى بسيطة ومعقدة. تقريبا جميع الأحكام المذكورة أعلاه بسيطة. يمكن تحديد الأحكام البسيطة على النقيض من الأحكام المعقدة.

من كتاب المنطق المؤلف شادرين د

المحاضرة رقم (12) أحكام معقدة. تشكيل أحكام معقدة 1. مفهوم الأحكام المعقدة يرتبط مفهوم الأحكام المعقدة ارتباطًا وثيقًا بالاقتران ، والفصل ، والتضمين ، والتكافؤ ، والنفي ، وهي ما يسمى بالروابط المنطقية. يتم استخدامها ك

من كتاب مقدمة في المنطق والمنهج العلمي المؤلف كوهين موريس

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

من كتاب كتاب المنطق مؤلف شيلبانوف جورجي إيفانوفيتش

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

من كتاب المنطق. المجلد 1. عقيدة الحكم والمفهوم والاستنتاج مؤلف سيغوارت كريستوف

§ 3. أحكام عامة مركبة وبسيطة وعامة حتى الآن قمنا بتحليل الأحكام القاطعة فقط. ومع ذلك ، فإن الروابط المنطقية موجودة أيضًا بين أشكال الأحكام الأكثر تعقيدًا. انظر في الأحكام الآتية: 1. الوزن B يساوي الوزن G. 2. مباشر AB و CD

من كتاب المنطق للمحامين: كتاب مدرسي. مؤلف إيفليف يوري فاسيليفيتش

القياس المنطقي المركب متعدد المقاطع هو العديد من القياسات المنطقية مجتمعة في واحد. كقاعدة عامة ، يتحدث العلماء عن تعدد المقاطع. وفي نفس الوقت ، في زوج من منطقتين مترابطتين ، يُطلق على الأول اسم "Prosyllogism" ، والثاني - "Episyllogism". بشكل عام ، اليونانية

من كتاب المنطق: كتاب مدرسي لكليات الحقوق المؤلف Demidov I. V.

§ 12. أحكام حول العلاقات. أحكام الوجود التي تعبر عن أي علاقة بشيء معين تحتوي على تركيب متعدد. بدلاً من وحدة الشيء والممتلكات أو النشاط ، التي تكمن وراء الأحكام الواردة في الفقرة 10 ،

من كتاب المنطق: كتاب مدرسي لطلاب كليات وكليات الحقوق مؤلف إيفانوف يفغيني أكيموفيتش

§ 5. الأحكام المركبة وأنواعها تتكون الأحكام المركبة من عدة أحكام بسيطة. هذا ، على سبيل المثال ، هو بيان شيشرون: "بعد كل شيء ، حتى لو كان التعرف على القانون يمثل صعوبة هائلة ، حتى لو كان الوعي بفائدته الكبيرة قد دفع

من كتاب المنطق للمحامين: كتاب مدرسي المؤلف Ivlev Yu. V.

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

من كتاب المنطق: كتاب مدرسي لكليات الحقوق مؤلف كيريلوف فياتشيسلاف إيفانوفيتش

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

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

2. الأحكام المعقدة وأنواعها هيكل الحكم المعقد 1. اختر أحكامًا بسيطة من الأحكام المعقدة التالية: "العالم كله مسرح ، والناس فيه ممثلون" (و. شكسبير). "الذئب يسقط كل عام ولكن العادة لا تتغير" (أخيرًا). "الإنسان ليس حجرًا ، ولكن حتى الحجر يتغير من وقت لآخر"

من كتاب المؤلف

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

من كتاب المؤلف

الفصل الخامس أحكام معقدة المركب هو حكم يتكون من عدة أحكام بسيطة متصلة بوصلات منطقية. هناك الأنواع التالية من الأحكام المعقدة: 1) التوصيل ، 2) الفصل ، 3) الشرطي ، 4) المكافئ. يتم تحديد حقيقة مثل هذه الأحكام

من كتاب المؤلف

§ 3. أحكام معقدة مجمعة تستخدم الأحكام المركبة - المتصلة ، والفصل ، والمشروطة ، والمكافئة - في الاستدلال العادي والسياقات القانونية على حد سواء بشكل مستقل وفي مجموعات مختلفة. على سبيل المثال ، في اقتراح متصل في

من كتاب المؤلف

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

حكم معقد - هذا حكم يتكون من عدة أحكام بسيطة مترابطة بواسطة اتحادات منطقية.

يتم تقسيم الأحكام المعقدة إلى أنواع اعتمادًا على الاتحاد المنطقي المستخدم بينهما.

أنواع الأحكام المعقدة:

1. حكم ضام (بالاقتران).
2. فصل الحكم.
3. اقتراح شرطي (ضمني).

حكم أو اقتران ضام (من اقتران خطي - اتحاد ، اتصال)

يستخدم الاتحاد و، وكذلك النقابات الأخرى بمعنى و ( آه لكن نعمإلخ.).

على سبيل المثال: "إيفانوف وبيتروف طلاب قانون". و: "إيفانوف طالب في كلية الحقوق" ، "بتروف طالب في كلية الحقوق".

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

مخططه: "a Λ in". تتم قراءة الحرفين "أ" و "ب" ، حيث يكون الحرفان "أ" و "ج" أعضاء في أداة الربط.

فصل الحكم أو الفصل (من الفصل اللاتيني - الفصل)

يستخدم الاتحاد او او).

نظرًا لاستخدام الاتحاد أو (أو) في اللغة الطبيعية في معنيين - الربط - المنفصل والفصل الحصري - يجب التمييز بين نوعين من الانفصال:

1. ضعيف (غير صارم) و
2. قوي (صارم).

حكم الفصل الضام (انفصال ضعيف)هو اقتراح مركب لا تكون فيه الافتراضات البسيطة المتضمنة فيه متنافية.

على سبيل المثال: "قد يرتكب الطالب خطأ إملائيًا أو خطأ في علامات الترقيم في الإملاء."

في هذا المثال ، حكمان بسيطان متصلان بالنقابة أو:

"يمكن للطالب أن يرتكب خطأ إملائيًا في الإملاء ،"
"قد يرتكب الطالب خطأ في علامات الترقيم في الإملاء."

نظرًا لأن الطالب يمكن أن يقوم في الإملاء إما بخطأ إملائي فقط ، أو خطأ في علامات الترقيم فقط ، أو كليهما ، فإن هذا الحكم يعد فصلًا ضعيفًا. أعضاء مثل هذا الحكم لا يستبعدون بعضهم البعض.

يُشار إلى الانفصال الضعيف بحرف "v".

مخطط الحكم "a v in" يقرأ "A أو B".

حكم فصل حصري (الفصل التام)هو اقتراح مركب تستبعد فيه الافتراضات البسيطة المدرجة فيه بعضها البعض.

على سبيل المثال: "الشخص إما على قيد الحياة أو ميت".

في هذا المثال ، حكمان بسيطان متصلان بالنقابة أو:

"الرجل حي"
"مات الرجل".

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

الاقتراح الشرطي أو التضمين (من اللاتينية الضمنية - أنا على اتصال وثيق).

عند تمرير شرط في اللغة الطبيعية ، نبدأ بكلمة "if" ، لذلك يتم استخدام أداة العطف في التضمين اذا ثم... .

يشار إليها بعلامة "→".

مخطط الحكم: "أ → ج". يقرأ: "إذا كان أ ، ثم ب".

على سبيل المثال: "إذا قطعت السلك سينطفئ المصباح."

الحكم الأول (القاعدة) "انقطع السلك" ، والثاني (نتيجة) - "انطفأ المصباح."

يُطلق على الحكم "a" الأساس أو السوابق (من السوابق السابقة - السابقة ، السابقة) ، الحكم "c" - نتيجة أو نتيجة (من lat. concequens - نتيجة).

التضمين المزدوج أو التكافؤ

يستخدم الاتحاد إذا وفقط إذا ... ثم … (إذا وفقط إذا …).

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

يشار إلى التكافؤ بعلامة "↔".

المخطط: "أ ↔ ج". يقرأ: "إذا ، وفقط إذا كان أ ، إذن ب."

الفرق بين التضمين والتكافؤ:

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

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