Αυτό το άρθρο είναι αφιερωμένο σε μια συγκριτική ανάλυση λογικών οντοτήτων από το έργο του Γερμανού φιλοσόφου Georg Wilhelm Friedrich Hegel «Science of Logic» με τα ανάλογα τους ή την απουσία τους στον προγραμματισμό.

Οι οντότητες από την Επιστήμη της Λογικής είναι με πλάγιους χαρακτήρες για να αποφευχθεί η σύγχυση με τους γενικά αποδεκτούς ορισμούς αυτών των λέξεων.

Καθαρή ύπαρξη

Αν ανοίξετε τον ορισμό αγνό ον στο βιβλίο, θα δείτε μια ενδιαφέρουσα γραμμή «χωρίς περαιτέρω ορισμό». Αλλά για όσους δεν έχουν διαβάσει ή δεν καταλαβαίνουν, μην βιαστείτε να κατηγορήσετε τον συγγραφέα για άνοια. Καθαρή ύπαρξη - αυτή είναι μια βασική έννοια στη λογική του Χέγκελ, που σημαίνει ότι κάποιο αντικείμενο υπάρχει, παρακαλώ μην το συγχέετε με την ύπαρξη ενός αντικειμένου, το αντικείμενο μπορεί να μην υπάρχει στην πραγματικότητα, αλλά αν το ορίσαμε με κάποιο τρόπο στη λογική μας, υπάρχει. Αν το σκεφτείς, υπάρχουν πραγματικά τέτοια πράγματα όπως αγνό ον είναι αδύνατο να δώσουμε έναν ορισμό, και οποιαδήποτε τέτοια προσπάθεια καταλήγει στο γεγονός ότι θα αναφερθείτε απλώς στα συνώνυμα ή τα αντώνυμα του. Καθαρή ύπαρξη μια τόσο αφηρημένη έννοια που μπορεί να εφαρμοστεί σε απολύτως οτιδήποτε, συμπεριλαμβανομένου του εαυτού του. Σε ορισμένες αντικειμενοστρεφείς γλώσσες, είναι δυνατό να αναπαραστήσουμε οτιδήποτε ως αντικείμενο, συμπεριλαμβανομένων των πράξεων σε αντικείμενα, κάτι που καταρχήν μας δίνει ένα τέτοιο επίπεδο αφαίρεσης. Ωστόσο, στον προγραμματισμό του άμεσου αναλογικού αγνό ον Οχι. Για να ελέγξουμε την ύπαρξη ενός αντικειμένου, πρέπει να ελέγξουμε για την απουσία του.

if(obj != null);

Είναι περίεργο που δεν υπάρχει ακόμη τέτοια συντακτική ζάχαρη, δεδομένου ότι αυτός ο έλεγχος είναι πολύ δημοφιλής.

Τίποτα

Πώς θα μπορούσες να μαντέψεις τίποτα είναι η απουσία οτιδήποτε. Και το ανάλογό του μπορεί να ονομαστεί NULL. Αξίζει να σημειωθεί ότι στην επιστήμη της λογικής τίποτα είναι αγνό ον, γιατί υπάρχει κι αυτό. Αυτό είναι κάπως περίεργο· δεν μπορούμε να έχουμε πρόσβαση στο NULL ως αντικείμενο σε οποιαδήποτε γλώσσα, αν και στην ουσία είναι και αυτό.

Σχηματισμός και στιγμές

Να γίνει είναι μια μετάβαση από τίποτα в να εισαι και από να εισαι в τίποτα. Αυτό μας δίνει δύο στιγμή, το πρώτο λέγεται εμφάνιση, και δεύτερο πέρασμα. Πέρασμα λέγεται έτσι αντί για εξαφάνιση, γιατί η λογική ουσία ουσιαστικά δεν μπορεί να εξαφανιστεί αν δεν την έχουμε ξεχάσει. Απόσυρση ως τέτοια μπορούμε να ονομάσουμε τη διαδικασία ανάθεσης. Εάν το αντικείμενο μας είναι αρχικοποιημένο, τότε στιγμή του συμβάντος, και σε περίπτωση εκχώρησης άλλης τιμής ή NULL στιγμή του πέρασμα.

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

Υπαρξη

Εν συντομία ύπαρξη είναι ένα αντικείμενο που δεν έχει σαφή ορισμό, αλλά έχει βεβαιότητα. Τι σημαίνει. Το κανονικό παράδειγμα είναι μια συνηθισμένη καρέκλα. Αν προσπαθήσετε να του δώσετε έναν σαφή ορισμό, θα συναντήσετε πολλές δυσκολίες. Για παράδειγμα, λέτε: "αυτό είναι ένα έπιπλο σχεδιασμένο για καθιστικό", αλλά η καρέκλα έχει δημιουργηθεί επίσης για αυτό, κ.λπ. Αλλά η έλλειψη σαφούς ορισμού δεν μας εμποδίζει να το επισημάνουμε στο διάστημα και να το χρησιμοποιήσουμε κατά τη μετάδοση πληροφοριών σχετικά με αυτό, αυτό συμβαίνει επειδή στο κεφάλι μας υπάρχει βεβαιότητα καρέκλα. Ίσως κάποιοι να έχουν ήδη μαντέψει ότι τα νευρωνικά δίκτυα δημιουργήθηκαν για να απομονώσουν τέτοια αντικείμενα από τη ροή δεδομένων. Ένα νευρωνικό δίκτυο μπορεί να χαρακτηριστεί ως συνάρτηση που το καθορίζει βεβαιότητα, αλλά δεν υπάρχουν τύποι αντικειμένων που να περιλαμβάνουν σαφείς και ασαφείς ορισμούς, επομένως τέτοια αντικείμενα δεν μπορούν να χρησιμοποιηθούν στο ίδιο επίπεδο αφαίρεσης.

Ο νόμος της μετάβασης των ποσοτικών αλλαγών σε ποιοτικές

Αυτός ο νόμος διατυπώθηκε από τον Φρίντριχ Ένγκελς ως αποτέλεσμα της ερμηνείας της λογικής του Χέγκελ. Ωστόσο, μπορεί να φανεί ξεκάθαρα στον πρώτο τόμο στο κεφάλαιο για τουλάχιστον. Η ουσία του είναι αυτή ποσοτικός αλλαγές σε ένα αντικείμενο μπορεί να το επηρεάσουν ποιότητα. Για παράδειγμα, έχουμε ένα αντικείμενο πάγου· με τη συσσώρευση θερμοκρασίας, θα μετατραπεί σε υγρό νερό και θα αλλάξει Ποιότητα. Για την εφαρμογή αυτής της συμπεριφοράς σε ένα αντικείμενο, υπάρχει ένα μοτίβο σχεδίασης κατάστασης. Η εμφάνιση μιας τέτοιας λύσης προκαλείται από την απουσία στον προγραμματισμό ενός τέτοιου πράγματος όπως θεμέλια για περιστατικό αντικείμενο. θεμέλιο καθορίζει τις συνθήκες κάτω από τις οποίες μπορεί να εμφανιστεί ένα αντικείμενο και στον αλγόριθμο εμείς οι ίδιοι αποφασίζουμε σε ποιο σημείο πρέπει να αρχικοποιήσουμε το αντικείμενο.

PS: Εάν αυτές οι πληροφορίες είναι ενδιαφέρουσες, θα εξετάσω άλλες οντότητες από την Επιστήμη της Λογικής.

Πηγή: www.habr.com