Artykuł ten poświęcony jest analizie porównawczej bytów logicznych z dzieła niemieckiego filozofa Georga Wilhelma Friedricha Hegla „Nauka o logice” z ich odpowiednikami lub ich brakiem w programowaniu.

Jednostki z Science of Logic zapisano kursywą, aby uniknąć pomyłek z ogólnie przyjętymi definicjami tych słów.

Czysta istota

Jeśli otworzysz definicję czysta istota w książce zobaczysz interesującą linijkę „bez dalszej definicji”. Ale ci, którzy nie czytali lub nie rozumieją, nie spieszcie się z oskarżeniem autora o demencję. Czysta istota - to podstawowe pojęcie w logice Hegla, które oznacza, że ​​jakiś przedmiot istnieje, proszę nie mylić tego z istnieniem przedmiotu, przedmiot może w rzeczywistości nie istnieć, ale jeśli go jakoś zdefiniujemy w naszej logice, to istnieje. Jeśli się nad tym zastanowić, naprawdę istnieją takie rzeczy jak czysta istota nie da się podać definicji, a każda taka próba będzie się sprowadzać do tego, że po prostu odniesiesz się do jego synonimów lub antonimów. Czysta istota tak abstrakcyjną koncepcję, że można ją zastosować do absolutnie wszystkiego, łącznie z nim samym. W niektórych językach obiektowych można przedstawić wszystko jako obiekt, łącznie z operacjami na obiektach, co w zasadzie daje nam taki poziom abstrakcji. Jednak w programowaniu bezpośredniego analogu czysta istota NIE. Aby sprawdzić istnienie obiektu, musimy sprawdzić jego nieobecność.

if(obj != null);

Dziwne, że taki cukier syntaktyczny jeszcze nie istnieje, biorąc pod uwagę, że ten czek jest bardzo popularny.

Nic

Jak mogłeś zgadnąć nic jest brak czegokolwiek. A jego analog można nazwać NULL. Warto zauważyć, że w nauce logiki nic jest czysta istota, bo też istnieje. To mały haczyk; nie możemy uzyskać dostępu do NULL jako obiektu w żadnym języku, chociaż w istocie on też nim jest.

Formacja i momenty

Formacja jest przejściem od nic в istnienie i od bycie в nic. To daje nam dwa za chwilę, pierwszy nazywa się powstanie, i drugi przechodzący. Przejście nazywa się to zamiast znikania, ponieważ istota logiczna zasadniczo nie może zniknąć, chyba że o niej zapomnimy. Wycofanie w związku z tym możemy wywołać procedurę przypisania. Jeśli nasz obiekt zostanie zainicjowany, to moment wystąpienia, a w przypadku przypisania innej wartości lub NULL chwila przemijania.

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

Istnienie

W skrócie istnienie jest przedmiotem, który nie ma jasnej definicji, ale ma pewność. Co to znaczy. Kanonicznym przykładem jest zwykłe krzesło. Jeśli spróbujesz podać jasną definicję, napotkasz wiele trudności. Mówisz na przykład: „to mebel przeznaczony do siedzenia”, ale krzesło też jest do tego stworzone itp. Ale brak jasnej definicji nie stoi na przeszkodzie, abyśmy podkreślali go w przestrzeni i używali przy przekazywaniu informacji na jego temat, dzieje się tak dlatego, że w naszej głowie znajduje się pewność krzesło. Być może niektórzy już domyślili się, że sieci neuronowe stworzono po to, by izolować takie obiekty od strumienia danych. Sieć neuronową można oznaczyć jako funkcję, która to definiuje pewność, ale nie ma typów obiektów, które zawierałyby jasne i niejasne definicje, dlatego takich obiektów nie można używać na tym samym poziomie abstrakcji.

Prawo przejścia zmian ilościowych na jakościowe

Prawo to zostało sformułowane przez Fryderyka Engelsa w wyniku interpretacji logiki Hegla. Widać to jednak wyraźnie w pierwszym tomie rozdziału nt najmniej. Jego istotą jest to ilościowo zmiany w obiekcie mogą mieć na niego wpływ jakość. Na przykład mamy obiekt lodowy, który wraz ze wzrostem temperatury zamieni się w ciekłą wodę i zmieni swoją Jakość. Aby zaimplementować to zachowanie w obiekcie, istnieje wzorzec projektowy State. Pojawienie się takiego rozwiązania spowodowane jest brakiem w programowaniu czegoś takiego jak fundacja dla występowanie obiekt. Zmielony określa warunki, w jakich może pojawić się obiekt, a w algorytmie sami decydujemy, w którym momencie musimy zainicjować obiekt.

PS: Jeśli ta informacja będzie interesująca, dokonam przeglądu innych bytów z Nauki Logiki.

Źródło: www.habr.com