Logika ve vědě o programování

Logika ve vědě o programování

Tento článek je věnován srovnávací analýze logických entit z díla německého filozofa Georga Wilhelma Friedricha Hegela „Vědy logiky“ a jejich analogiím nebo absenci v programování.

Entity z „Vědy logiky“ jsou vyznačeny kurzívou, aby nedošlo k záměně s běžně uznávanými definicemi těchto slov.

Čisté bytí

Pokud otevřete definici čistého bytí v knize, uvidíte zajímavou větu „bez dalšího určení“. Ale pro ty, kteří ji nečetli nebo nepochopili, nespěchejte obviňovat autora z demence. Čisté bytí — je to základní pojem v Hegelově logice, znamenající, že nějaký objekt existuje, prosím, nemylete si to s existencí objektu, objekt nemusí existovat v reálném světě, ale pokud jsme ho nějak definovali v naší logice, je tu. Když se nad tím zamyslíte, opravdu takové věci jako čistého bytí nemožné definovat, a jakýkoli takový pokus se bude zjednodušovat na to, že se budete odkazovat na jeho synonyma nebo antonyma. Čisté bytí je tak abstraktní pojem, že se může vztahovat naprosto na cokoliv, včetně sebe sama. V některých objektově orientovaných jazycích existuje možnost reprezentovat jako objekt cokoliv, včetně operací nad objekty, což v podstatě dává nám tento úroveň abstrakce. Nicméně, v programování neexistuje přímý analog čistého bytí . Abychom ověřili existenci objektu, musíme zkontrolovat jeho nepřítomnost.

if(obj != null);

Divné, že takové syntaktické cukrovinky ještě neexistují, vezmeme-li v úvahu, že tato kontrola je docela oblíbená.

Nic

Jak se dalo očekávat, nic je nepřítomnost čehokoliv. Jeho analogem může být NULL. Je třeba poznamenat, že v logice vědy nic je čisté bytí, protože také existuje. V tom je určité úskalí, k NULL se nemůžeme obrátit jako na objekt za žádného jazyka, i když v podstatě jím také je.

Stavění a momenty

Stavění — je to přechod od nic v bytí a od bytí. v nicTo nám dává dva momenty, první se nazývá vznikáním, a druhý přechodem.. Přechod je nazvaný tak místo zmizení, protože logická entita ve své podstatě nemůže zmizet, jen pokud jsme na ni zapomněli. Zrušení jako takové můžeme nazvat proces přiřazení. V případě, že se inicializuje objekt, dochází okamžik vzniku, a v případě přiřazení jiné hodnoty nebo NULL okamžik přechodu.

obj = new object(); // vznik
obj = null; // přechod

Existující bytí

Pokud bych to shrnul existující bytí — to je objekt, který nemá jasnou definici, ale má určitost. Co to znamená. Kanonickým příkladem je obyčejná židle. Pokud se pokusíte dát jí jasnou definici, narazíte na mnoho obtíží. Například řeknete: „je to kus nábytku určený k sezení“, ale křeslo je také vytvořeno pro toto atd. Ale nedostatek jasné definice nám nebrání ji vyčlenit v prostoru a používat při předávání informací o ní, protože v naší hlavě existuje určitost židle. Možná, že někteří už tuší, že pro vyčlenění takových objektů z toku dat byly vytvořeny neuronové sítě. Neuronovou síť lze označit jako funkci, která určuje tuto určitost, ale druhy objektů, které by zahrnovaly jasné a nejasné definice, neexistují, proto takové objekty nelze používat na jedné úrovni abstrakce.

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

Tento zákon byl formulován Friedrichm Engelsem v důsledku interpretace Hegelovy logiky. Nicméně, lze ho docela jasně vidět v prvním díle v kapitole o míře. Podstata spočívá v tom, že kvantitativní změny v objektu mohou ovlivnit jeho kvalitu. Například, máme objekt led, při akumulaci teploty se promění v kapalnou vodu a změní své kvality. Aby se takové chování v objektu realizovalo, existuje návrhový vzor „Stav“. Vznik takového řešení byl způsoben absencí v programování takové věci, jako je základ pro vzniku objektu. Nadace určuje podmínky, za nichž může objekt vzniknout, a v algoritmu sami rozhodujeme, v který okamžik potřebujeme objekt inicializovat.

PS: Pokud bude tato informace zajímavá, provedu přehled dalších bytostí z „Vědy logiky“.

Zdroj: habr.com

Koupit spolehlivý hosting pro webové stránky s ochranou proti DDoS, VPS VDS servery 🔥 Koupit spolehlivý hosting pro webové stránky s ochranou proti DDoS, VPS VDS servery | ProHoster