Bu makale, Alman filozof Georg Wilhelm Friedrich Hegel'in "Mantık Bilimi" adlı eserinden mantıksal varlıkların analogları veya programlamadaki yokluklarıyla karşılaştırmalı bir analizine ayrılmıştır.

Mantık Bilimi'ndeki varlıklar, bu kelimelerin genel kabul görmüş tanımlarıyla karışıklığı önlemek için italik yazılmıştır.

Saf varlık

Tanımı açarsanız saf varlık kitapta "daha fazla tanımı olmayan" ilginç bir satır göreceksiniz. Ancak okumayanlar veya anlamayanlar, yazarını demansla suçlamak için acele etmeyin. Saf varlık - Bu Hegel'in mantığında temel bir kavramdır, yani bir nesne vardır, lütfen onu bir nesnenin varlığıyla karıştırmayın, nesne gerçekte var olmayabilir ama onu bir şekilde mantığımızda tanımlarsak vardır. Düşünürseniz gerçekten öyle şeyler var ki saf varlık bir tanım vermek imkansızdır ve böyle bir girişim, yalnızca eş anlamlılarına veya zıt anlamlılarına atıfta bulunacağınız gerçeğine varacaktır. Saf varlık o kadar soyut bir kavram ki, kendisi de dahil olmak üzere kesinlikle her şeye uygulanabilir. Bazı nesne yönelimli dillerde, nesneler üzerindeki işlemler de dahil olmak üzere her şeyi nesne olarak temsil etmek mümkündür ve bu da prensipte bize böyle bir soyutlama düzeyi sağlar. Ancak doğrudan analogun programlanmasında saf varlık HAYIR. Bir nesnenin varlığını kontrol etmek için yokluğunu kontrol etmemiz gerekir.

if(obj != null);

Bu kontrolün çok popüler olduğu göz önüne alındığında, böyle bir sözdizimsel şekerin henüz mevcut olmaması garip.

hiçbir şey

Nasıl tahmin edebildin? hiçbir şey hiçbir şeyin yokluğudur. Ve analogu NULL olarak adlandırılabilir. Şunu belirtmek gerekir ki mantık biliminde hiçbir şey olduğunu saf varlıkçünkü o da mevcut. Bu biraz yanıltıcı bir durum; NULL'a herhangi bir dilde bir nesne olarak erişemiyoruz, ancak özünde o da bir nesnedir.

Oluşum ve anlar

olma bir geçiştir hiçbir şey в varlık Ve gelen olmak в hiçbir şey. Bu bize iki tane verir zaman, ilkinin adı ortaya çıkışve ikinci geçen. Geçit yok olmak yerine buna böyle denir, çünkü mantıksal öz, biz onu unutmadığımız sürece esasen yok olamaz. Para çekme bu şekilde atama prosedürünü çağırabiliriz. Eğer nesnemiz başlatılmışsa, o zaman meydana gelme anı, ve başka bir değer atanması veya NULL olması durumunda geçme anı.

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

Varoluş

Kısacası varoluş Açık bir tanımı olmayan ancak sahip olan bir nesnedir. kesinlik. Bu ne anlama geliyor. Kanonik örnek sıradan bir sandalyedir. Eğer net bir tanım vermeye çalışırsanız birçok zorlukla karşılaşırsınız. Mesela “Bu oturmak için tasarlanmış bir mobilya” diyorsunuz ama sandalye de bunun için yaratılmış vs. Ancak net bir tanımın olmaması, onu uzayda vurgulamamıza ve onun hakkında bilgi aktarırken onu kullanmamıza engel değil, çünkü kafamızda var. kesinlik sandalye. Belki bazıları, bu tür nesneleri veri akışından izole etmek için sinir ağlarının oluşturulduğunu zaten tahmin etmiştir. Bir sinir ağı bunu tanımlayan bir fonksiyon olarak gösterilebilir. kesinlikancak açık ve bulanık tanımlar içeren nesne türleri yoktur, dolayısıyla bu tür nesneler aynı soyutlama düzeyinde kullanılamaz.

Niceliksel değişikliklerin niteliksel olanlara geçiş yasası

Bu yasa, Hegel'in mantığının yorumlanmasının bir sonucu olarak Friedrich Engels tarafından formüle edildi. Ancak birinci ciltte yer alan bölümde açıkça görülmektedir. gibi. Onun özü şudur kantitatif Bir nesnede yapılan değişiklikler onu etkileyebilir kalite. Örneğin bir buz nesnemiz var; sıcaklık birikmesiyle sıvı suya dönüşecek ve şeklini değiştirecek. kalite. Bu davranışı bir nesneye uygulamak için bir Durum tasarım modeli vardır. Böyle bir çözümün ortaya çıkması böyle bir şeyin programlanmasında bulunmamasından kaynaklanmaktadır. vakıf için görünüm nesne. Zemin bir nesnenin görünebileceği koşulları belirler ve algoritmada nesneyi hangi noktada başlatmamız gerektiğine kendimiz karar veririz.

Not: Eğer bu bilgi ilginçse, Mantık Bilimi'ndeki diğer varlıkları da inceleyeceğim.

Kaynak: habr.com