Věda o logice v programování

Věda o logice v programování

Tento článek je věnován komparativní analýze logických entit z díla německého filozofa Georga Wilhelma Friedricha Hegela „Science of Logic“ s jejich analogy nebo jejich absencí v programování.

Entity z Vědy o logice jsou uvedeny kurzívou, aby nedošlo k záměně s obecně přijímanými definicemi těchto slov.

Čistá bytost

Pokud otevřete definici čisté bytí v knize uvidíte zajímavou větu „bez další definice“. Ale pro ty, kteří nečetli nebo nerozumí, nespěchejte s obviňováním autora z demence. Čistá bytost - to je základní pojem v Hegelově logice, to znamená, že nějaký předmět existuje, nepleťte si to prosím s existencí předmětu, předmět ve skutečnosti nemusí existovat, ale pokud jsme ho nějak definovali v naší logice, existuje. Pokud se nad tím zamyslíte, skutečně existují takové věci jako čisté bytí není možné podat definici a každý takový pokus vyústí ve skutečnost, že budete jednoduše odkazovat na jeho synonyma nebo antonyma. Čistá bytost natolik abstraktní pojem, že jej lze aplikovat úplně na cokoli, včetně sebe samého. V některých objektově orientovaných jazycích je možné cokoli reprezentovat jako objekt, včetně operací s objekty, což nám v principu dává takovou úroveň abstrakce. Nicméně při programování přímého analogu čisté bytí Ne. Abychom zkontrolovali existenci objektu, musíme zkontrolovat jeho nepřítomnost.

if(obj != null);

Je zvláštní, že takový syntaktický cukr zatím neexistuje, vzhledem k tomu, že tato kontrola je velmi populární.

Nic

Jak jsi mohl hádat nic je absence čehokoli. A jeho analog lze nazvat NULL. Stojí za zmínku, že ve vědě o logice nic to je čisté bytí, protože také existuje. To je trochu háček, nemůžeme přistupovat k NULL jako k objektu v žádném jazyce, i když v podstatě je to také jeden.

Formace a momenty

Stát se je přechod z nic в bytí a od bytost в nic. To nám dává dva okamžik, první se jmenuje vznika za druhé míjení. Průchod říká se tomu tak místo zmizení, protože logická podstata v podstatě nemůže zmizet, pokud jsme na ni nezapomněli. Vybrání jako takový můžeme nazvat přiřazovací proceduru. Pokud je náš objekt inicializován, pak okamžik výskytu, a v případě přiřazení jiné hodnoty nebo NULL okamžik průchodu.

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

Existence

Ve zkratce existence je objekt, který nemá jasnou definici, ale má jistota. Co to znamená. Kanonickým příkladem je obyčejná židle. Pokud se pokusíte dát mu jasnou definici, narazíte na mnoho potíží. Řeknete například: „toto je nábytek určený k sezení“, ale židle je k tomu také stvořena atd. Ale nedostatek jasné definice nám nebrání v tom, abychom ji zvýraznili v prostoru a použili ji při přenosu informací o ní, protože v naší hlavě existuje jistota židle. Možná už někteří uhodli, že neuronové sítě byly vytvořeny, aby izolovaly takové objekty z datového toku. Neuronovou síť lze označit jako funkci, která toto definuje jistota, ale neexistují žádné typy objektů, které by obsahovaly jasné a nejasné definice, proto takové objekty nelze použít na stejné úrovni abstrakce.

Zákon přechodu kvantitativních změn na kvalitativní

Tento zákon formuloval Friedrich Engels jako výsledek výkladu Hegelovy logiky. Je to však dobře vidět v prvním díle v kapitole o nejméně. Jeho podstatou je to kvantitativní změny objektu jej mohou ovlivnit kvalita. Máme například ledový objekt, který se akumulací teploty promění v kapalnou vodu a změní ji Kvalita. K implementaci tohoto chování v objektu existuje návrhový vzor stavu. Vznik takového řešení je způsoben absencí v programování něčeho jako nadace pro vznik objekt. Ground určuje podmínky, za kterých se objekt může objevit, a v algoritmu se sami rozhodujeme, v jakém bodě potřebujeme objekt inicializovat.

PS: Pokud jsou tyto informace zajímavé, přezkoumám další entity z Vědy o logice.

Zdroj: www.habr.com

Přidat komentář