Artikel ini dikhususkan untuk analisis komparatif entitas logis dari karya filsuf Jerman Georg Wilhelm Friedrich Hegel's "Ilmu Logika" dengan analog mereka atau ketidakhadiran mereka dalam pemrograman.

Entitas dari Ilmu Logika ditampilkan dalam huruf miring sehingga tidak ada kebingungan dengan definisi kata-kata ini yang diterima secara umum.

Wujud murni

Jika Anda membuka definisi makhluk murni dalam sebuah buku, Anda akan melihat baris yang menarik "tanpa definisi lebih lanjut". Tetapi bagi mereka yang belum membaca atau mengerti, jangan buru-buru menyalahkan penulis karena demensia. Makhluk murni adalah konsep dasar dalam logika Hegel yang berarti bahwa ada beberapa jenis objek, tolong jangan bingung dengan keberadaan objek, objek mungkin tidak ada dalam kenyataan, tetapi jika kita entah bagaimana mendefinisikannya dalam logika kita, itu. Jika Anda memikirkannya, benar-benar mustahil untuk mendefinisikan sesuatu sebagai makhluk murni , dan segala upaya semacam itu akan mengarah pada fakta bahwa Anda hanya akan merujuk pada sinonim atau antonimnya. Makhluk murni adalah konsep abstrak yang dapat diterapkan pada apa pun, termasuk dirinya sendiri. Dalam beberapa bahasa berorientasi objek, dimungkinkan untuk mewakili apa pun yang Anda sukai sebagai objek, termasuk operasi pada objek, yang pada prinsipnya memberi kami tingkat abstraksi yang sedemikian rupa. Namun, dalam pemrograman tidak ada analog langsung dari makhluk murni . Untuk memverifikasi keberadaan objek, kita perlu memverifikasi ketidakhadirannya.

if(obj != null); 

Sungguh aneh bahwa tidak ada gula sintaksis seperti itu, mengingat bahwa pemeriksaan ini sangat populer.

Tidak ada

Seperti yang mungkin sudah Anda duga, tidak ada yang absen dari apa pun. Dan analognya bisa disebut NULL. Perlu dicatat bahwa dalam sains, logika, tidak ada yang murni , karena ia juga ada. Ini sedikit halangan, kita tidak bisa menyebut NULL sebagai objek dalam bahasa apa pun, meskipun pada dasarnya itu juga satu.

Menjadi dan momen

Menjadi adalah transisi dari tidak ada menjadi ada dan menjadi tidak ada . Ini memberi kita dua poin , yang pertama disebut penampakan , dan yang kedua adalah bagian . Transisi dinamakan demikian alih-alih kepunahan, karena entitas logis pada dasarnya tidak dapat menghilang kecuali kita melupakannya. Penarikan seperti itu bisa disebut prosedur penugasan. Dalam kasus kita menginisialisasi objek, saat kejadian terjadi , dan dalam kasus menetapkan nilai lain atau NULL, momen bagian .

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

Uang tunai

Singkatnya, wujud adalah objek yang tidak memiliki definisi yang jelas, tetapi memiliki kepastian . Apa artinya itu? Contoh kanonik adalah tinja biasa. Jika Anda mencoba memberikan definisi yang jelas, Anda akan menghadapi banyak kesulitan. Misalnya, Anda berkata: "ini adalah perabot yang dirancang untuk tempat duduk," tetapi kursi juga dibuat untuk ini, dll. Tetapi kurangnya definisi yang jelas tidak menghalangi kita untuk menyorotnya di ruang dan menggunakannya ketika mengirimkan informasi tentang itu, ini karena ada kepastian kursi di kepala kita. Mungkin beberapa sudah menduga bahwa jaringan saraf diciptakan untuk mengisolasi objek seperti itu dari aliran data. Jaringan saraf dapat ditunjuk sebagai fungsi yang mendefinisikan kepastian ini, tetapi tidak ada jenis objek yang akan menyertakan definisi yang jelas dan kabur, sehingga objek tersebut tidak dapat digunakan pada tingkat abstraksi yang sama.

Hukum transisi dari perubahan kuantitatif ke kualitatif

Hukum ini dirumuskan oleh Friedrich Engels sebagai hasil dari interpretasi logika Hegel. Namun, itu bisa dilihat dalam volume pertama dalam bab tentang ukuran . Esensinya terletak pada kenyataan bahwa perubahan kuantitatif pada objek dapat mempengaruhi kualitasnya . Misalnya, kita memiliki objek es, dengan akumulasi suhu itu akan berubah menjadi air cair dan mengubah kualitasnya . Untuk menerapkan perilaku ini, Templat desain "Negara" ada di objek. Munculnya solusi semacam itu disebabkan oleh tidak adanya pemrograman hal semacam itu sebagai dasar untuk munculnya suatu objek. Basis menentukan kondisi di mana objek dapat terjadi, dan dalam algoritma kita memutuskan pada titik apa kita perlu menginisialisasi objek.

PS: Jika informasi ini menarik, saya akan meninjau entitas lain dari Ilmu Logika.