این مقاله به تحلیل تطبیقی ​​موجودات منطقی از کار فیلسوف آلمانی گئورگ ویلهلم فردریش هگل "علم منطق" با آنالوگ های آنها یا عدم وجود آنها در برنامه نویسی اختصاص دارد.

برای جلوگیری از اشتباه گرفتن با تعاریف پذیرفته شده عمومی این کلمات، موجودات علم منطق به صورت مورب نوشته شده اند.

وجود پاک

اگر تعریف را باز کنید وجود پاک در کتاب، یک خط جالب "بدون تعریف بیشتر" را خواهید دید. اما برای کسانی که نخوانده اند یا نمی فهمند، عجله نکنید تا نویسنده را به زوال عقل متهم کنید. وجود پاک - این یک مفهوم اساسی در منطق هگل است، یعنی فلان شی وجود دارد، لطفاً آن را با وجود شیء اشتباه نگیرید، ممکن است شی در واقعیت وجود نداشته باشد، اما اگر به نحوی آن را در منطق خود تعریف کرده باشیم، وجود دارد. اگر در مورد آن فکر کنید، واقعاً چیزهایی مانند وجود پاک ارائه تعریف غیرممکن است و هر تلاشی از این دست به این نتیجه می رسد که شما صرفاً به مترادف یا متضاد آن اشاره می کنید. وجود پاک چنان مفهومی انتزاعی که می توان آن را مطلقاً برای هر چیزی از جمله خودش به کار برد. در برخی از زبان های شی گرا، می توان هر چیزی را به عنوان یک شی نشان داد، از جمله عملیات روی اشیا، که در اصل چنین سطحی از انتزاع را به ما می دهد. با این حال، در برنامه نویسی آنالوگ مستقیم وجود پاک خیر برای بررسی وجود یک شی، باید عدم وجود آن را بررسی کنیم.

if(obj != null);

عجیب است که با توجه به اینکه این چک بسیار محبوب است، هنوز چنین قند نحوی وجود ندارد.

هیچ چی

چطور تونستی حدس بزنی هیچی عدم وجود هر چیزی است و آنالوگ آن را می توان NULL نامید. شایان ذکر است که در علم منطق هیچی آن است وجود پاک، زیرا آن نیز وجود دارد. این کمی مشکل است؛ ما نمی‌توانیم به NULL به عنوان یک شی در هیچ زبانی دسترسی پیدا کنیم، اگرچه در اصل آن نیز یکی است.

شکل گیری و لحظات

تبدیل شدن به انتقالی است از هیچی в بودن و از بودن в هیچی. این به ما دو می دهد لحظه، اولی نامیده می شود خروج، اورژانس، و دوم گذراندن. پاساژ آن را به جای ناپدید شدن چنین می نامند، زیرا جوهر منطقی اساساً نمی تواند ناپدید شود مگر اینکه ما آن را فراموش کرده باشیم. برداشت از حساب به این ترتیب می توانیم رویه انتساب را نام ببریم. اگر شیء ما مقداردهی اولیه شود، پس لحظه وقوعو در صورت تخصیص مقدار دیگر یا NULL لحظه گذشتن.

obj = new object(); //возникновение
obj = null; //прехождение

وجود داشتن

به اختصار وجود داشتن شیئی است که تعریف روشنی ندارد، اما دارد یقین - اطمینان - قطعیت. چه مفهومی داره. مثال متعارف یک صندلی معمولی است. اگر بخواهید تعریف واضحی از آن ارائه دهید، با مشکلات زیادی مواجه خواهید شد. به عنوان مثال، شما می گویید: "این یک تکه مبلمان است که برای نشستن طراحی شده است"، اما صندلی نیز برای این کار و غیره ساخته شده است. اما فقدان یک تعریف واضح مانع از برجسته کردن آن در فضا و استفاده از آن در هنگام انتقال اطلاعات در مورد آن نمی شود، زیرا در ذهن ما وجود دارد. یقین - اطمینان - قطعیت صندلی شاید برخی قبلاً حدس زده باشند که شبکه های عصبی برای جداسازی چنین اشیایی از جریان داده ایجاد شده اند. یک شبکه عصبی را می توان به عنوان تابعی که این را تعریف می کند نشان داد یقین - اطمینان - قطعیت، اما هیچ نوع شی ای وجود ندارد که شامل تعاریف واضح و مبهم باشد، بنابراین چنین اشیایی نمی توانند در همان سطح انتزاع استفاده شوند.

قانون انتقال تغییرات کمی به کیفی

این قانون توسط فردریش انگلس در نتیجه تفسیر منطق هگل تدوین شد. با این حال، می توان آن را در جلد اول در فصل به وضوح مشاهده کرد اندازه گرفتن. ماهیت آن این است کمی تغییرات یک شی ممکن است بر آن تأثیر بگذارد کیفیت. مثلاً یک جسم یخی داریم که با تجمع دما به آب مایع تبدیل می شود و تغییر می کند خصوصیات. برای پیاده سازی این رفتار در یک شی، یک الگوی طراحی State وجود دارد. ظهور چنین راه حلی ناشی از عدم وجود چنین چیزی در برنامه نویسی است پایه برای خروج، اورژانس هدف - شی. بنیاد شرایطی را تعیین می کند که تحت آن یک شی می تواند ظاهر شود و در الگوریتم خود ما تصمیم می گیریم که در چه نقطه ای باید شی را مقداردهی اولیه کنیم.

PS: اگر این اطلاعات جالب باشد، دیگر نهادهای علم منطق را بررسی خواهم کرد.

منبع: www.habr.com