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

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

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

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

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

جدول الحقيقة

يقدم جدول الحقيقة (المعروف أيضًا باسم جدول قيم الحقيقة ) عرضًا مجمعًا وقيمته الحقيقة لكل من التوليفات الممكنة التي يمكن تقديمها مع عناصرها. وكان مؤلفها الفيلسوف والباحث الأمريكي تشارلز ساندرز بيرس ، المعروف أيضا باسم أعلى ممثل للسيميائية الحديثة ، ونشره في منتصف 1880s.

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

والقيمتان الممكنتان اللتان يمكن أن يرماهما جدول الحقيقة هما: true ، الذي يعبر عنه الحرف "V" أو الرقم "1" ويشير إلى أن الدائرة مغلقة ؛ false ، يمثلها الحرف "F" أو الرقم "0" ، عندما تكون الدائرة مفتوحة. تعتبر المقترحات التي سيتم تحليلها هي المتغيرات ، وتقع في الجزء العلوي من الجدول ، وتحتل المكان المستخدم بشكل شائع لأسماء الحقول.

عوامل التشغيل المستخدمة في جدول الحقيقة هي:

* النفي : عند تنفيذه على قيمة صحيحة معينة ، يلقي عكس ذلك (إذا كان صحيحًا في الأصل ، ويعود خطأ ، والعكس بالعكس) ؛

* الاقتران : يتم استخدامه للعمل مع قيمتين للحقيقة ، وهما عادة من مقياسين مختلفين ، ويعودان إلى حقيقة عندما يكونا صحيحين ، وكاذبين لبقية الحالات ؛

* الانفصال : مماثل للارتباط ، ولكن يكفي أن يكون لأحد المقترحين قيمة حقيقية لإرجاع مثل هذه النتيجة ؛

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

* biconditional : يعمل على قيم الحقيقة لاثنين من المقترحات ويعود إلى true إذا كان لكل منهما نفس القيمة والخطأ في الحالة المعاكسة.