Artikel ini dikhususkan untuk analisis komparatif entitas logis dari karya filsuf Jerman Georg Wilhelm Friedrich Hegel “Ilmu Logika” dengan analoginya atau ketidakhadirannya dalam pemrograman.

Entitas dari Ilmu Logika dicetak miring untuk menghindari kebingungan dengan definisi yang diterima secara umum dari kata-kata ini.

Makhluk murni

Jika Anda membuka definisi makhluk murni di dalam buku, Anda akan melihat baris menarik “tanpa definisi lebih lanjut”. Namun bagi yang belum membaca atau belum paham, jangan buru-buru menuduh penulisnya demensia. Makhluk murni - ini adalah konsep dasar dalam logika Hegel, yang berarti bahwa suatu objek ada, mohon jangan bingung dengan keberadaan suatu objek, objek tersebut mungkin tidak ada dalam kenyataan, tetapi jika kita mendefinisikannya dalam logika kita, maka objek tersebut ada. Kalau dipikir-pikir, memang ada hal-hal seperti itu makhluk murni tidak mungkin untuk memberikan definisi, dan upaya semacam itu akan berujung pada fakta bahwa Anda hanya akan merujuk pada sinonim atau antonimnya. Makhluk murni konsep yang begitu abstrak sehingga dapat diterapkan pada apa pun, termasuk dirinya sendiri. Dalam beberapa bahasa berorientasi objek, dimungkinkan untuk merepresentasikan apa pun sebagai objek, termasuk operasi pada objek, yang pada prinsipnya memberi kita tingkat abstraksi seperti itu. Namun dalam pemrograman analog langsung makhluk murni TIDAK. Untuk memeriksa keberadaan suatu benda, kita perlu memeriksa ketidakhadirannya.

if(obj != null);

Anehnya, gula sintaksis seperti itu belum ada, mengingat cek ini sangat populer.

Tidak ada

Bagaimana Anda bisa menebaknya tidak ada apa-apa adalah ketiadaan apa pun. Dan analognya bisa disebut NULL. Perlu diperhatikan hal itu dalam ilmu logika tidak ada apa-apa adalah makhluk murni, karena itu juga ada. Ini sedikit sulit; kita tidak dapat mengakses NULL sebagai objek dalam bahasa apa pun, meskipun pada dasarnya objek tersebut juga merupakan objek.

Formasi dan momen

Menjadi adalah transisi dari tidak ada apa-apa в sedang dan dari sedang в tidak ada apa-apa. Itu memberi kita dua saat, yang pertama dipanggil munculnyadan yang kedua lewat. Jalan disebut demikian, bukannya menghilang, karena esensi logis pada hakikatnya tidak dapat hilang kecuali kita telah melupakannya. Penarikan dengan demikian kita dapat memanggil prosedur penugasan. Jika objek kita diinisialisasi, maka momen terjadinya, dan jika menetapkan nilai lain atau NULL momen lewat.

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

Adanya

Pendeknya adanya adalah suatu benda yang tidak mempunyai definisi yang jelas, namun mempunyai kepastian. Apa artinya. Contoh kanoniknya adalah kursi biasa. Jika Anda mencoba memberikan definisi yang jelas, Anda akan menemui banyak kesulitan. Misalnya, Anda mengatakan: “ini adalah perabot yang dirancang untuk duduk”, tetapi kursi juga dibuat untuk itu, dll. Namun kurangnya definisi yang jelas tidak menghalangi kita untuk menyorotinya dalam ruang dan menggunakannya ketika mengirimkan informasi tentangnya, hal ini karena di kepala kita ada kepastian kursi. Mungkin beberapa orang sudah menduga bahwa jaringan saraf diciptakan untuk mengisolasi objek tersebut dari aliran data. Jaringan saraf dapat dilambangkan sebagai fungsi yang mendefinisikannya kepastian, tetapi tidak ada jenis objek yang menyertakan definisi jelas dan kabur, oleh karena itu objek tersebut tidak dapat digunakan pada tingkat abstraksi yang sama.

Hukum peralihan perubahan kuantitatif menjadi kualitatif

Hukum ini dirumuskan oleh Friedrich Engels sebagai hasil penafsiran logika Hegel. Namun, hal itu terlihat jelas pada volume pertama bab selanjutnya paling sedikit. Esensinya adalah itu kuantitatif perubahan pada suatu objek dapat mempengaruhinya kualitas. Misalnya, kita mempunyai benda es; dengan akumulasi suhu, benda itu akan berubah menjadi air cair dan berubah bentuk Kualitas. Untuk mengimplementasikan perilaku ini pada suatu objek, terdapat pola desain Negara. Munculnya solusi seperti itu disebabkan oleh tidak adanya pemrograman seperti pondasi untuk kejadian obyek. Alasan menentukan kondisi di mana suatu objek dapat muncul, dan dalam algoritma kita sendiri yang memutuskan pada titik mana kita perlu menginisialisasi objek tersebut.

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

Sumber: www.habr.com