علم المنطق في البرمجة

جورج فريدريش فيلهلم هيجل


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


يتم عرض الكيانات من علم المنطق بخط مائل بحيث لا يوجد خلط بين التعاريف المقبولة عمومًا لهذه الكلمات.


الوجود النقي


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


if(obj != null); 

من الغريب أنه لا يوجد مثل هذا السكر النحوي ، بالنظر إلى أن هذا الفحص شائع للغاية.


لا شيء


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


تصبح واللحظات


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


 obj = new object(); // obj = null; // 

النقدية يجري


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


قانون انتقال التغييرات الكمية إلى النوعية


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


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

Source: https://habr.com/ru/post/ar448948/


All Articles