Știința logicii în programare

Știința logicii în programare

Acest articol este dedicat unei analize comparative a entităților logice din opera filozofului german Georg Wilhelm Friedrich Hegel „Știința logicii” cu analogii lor sau absența lor în programare.

Entitățile din Știința logicii sunt scrise cu caractere cursive pentru a evita confuzia cu definițiile general acceptate ale acestor cuvinte.

Ființă pură

Dacă deschideți definiția ființă pură în carte, veți vedea o linie interesantă „fără definiții suplimentare”. Dar pentru cei care nu au citit sau nu înțeleg, nu vă grăbiți să acuze autorul de demență. Ființă pură - acesta este un concept de bază în logica lui Hegel, adică un obiect există, vă rog să nu-l confundați cu existența unui obiect, obiectul poate să nu existe în realitate, dar dacă l-am definit cumva în logica noastră, el există. Dacă te gândești la asta, există într-adevăr lucruri precum ființă pură este imposibil să dai o definiție și orice astfel de încercare se va reduce la faptul că te vei referi pur și simplu la sinonimele sau antonimele sale. Ființă pură un concept atât de abstract încât poate fi aplicat la absolut orice, inclusiv însuși. În unele limbaje orientate pe obiect, este posibil să reprezentăm orice ca obiect, inclusiv operațiunile pe obiecte, ceea ce, în principiu, ne oferă un astfel de nivel de abstractizare. Cu toate acestea, în programarea analogului direct ființă pură Nu. Pentru a verifica existența unui obiect, trebuie să verificăm absența acestuia.

if(obj != null);

Este ciudat că un astfel de zahăr sintactic nu există încă, având în vedere că acest cec este foarte popular.

nimic

Cum ai putea ghici nimic este absența a ceva. Și analogul său poate fi numit NULL. Este demn de remarcat faptul că în știința logicii nimic este ființă pură, pentru că și el există. Aceasta este puțin o captură; nu putem accesa NULL ca obiect în nicio limbă, deși în esență este și unul.

Formare și momente

devenire este o tranziție de la nimic в ființă și din fiind в nimic. Asta ne dă două moment, primul se numește aparitieiar a doua trecere. Trecere se numește așa în loc de dispariție, deoarece esența logică în esență nu poate dispărea decât dacă am uitat-o. Retragere ca atare putem numi procedura de atribuire. Dacă obiectul nostru este inițializat, atunci momentul apariției, iar în cazul atribuirii unei alte valori sau NULL momentul trecerii.

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

Existenţă

În scurt existenţă este un obiect care nu are o definiție clară, dar are certitudine. Ce înseamnă. Exemplul canonic este un scaun obișnuit. Dacă încerci să-i dai o definiție clară, vei întâmpina multe dificultăți. De exemplu, spuneți: „aceasta este o piesă de mobilier concepută pentru a ședea”, dar scaunul este creat și pentru asta etc. Dar lipsa unei definiții clare nu ne împiedică să o evidențiem în spațiu și să o folosim atunci când transmitem informații despre ea, asta pentru că în capul nostru există certitudine scaun. Poate că unii au ghicit deja că rețelele neuronale au fost create pentru a izola astfel de obiecte din fluxul de date. O rețea neuronală poate fi desemnată ca o funcție care definește acest lucru certitudine, dar nu există tipuri de obiecte care să includă definiții clare și neclare, prin urmare astfel de obiecte nu pot fi folosite la același nivel de abstractizare.

Legea tranziției modificărilor cantitative în cele calitative

Această lege a fost formulată de Friedrich Engels ca urmare a interpretării logicii lui Hegel. Cu toate acestea, se vede clar în primul volum din capitolul despre cel mai puţin. Esența sa este aceea cantitativ modificările aduse unui obiect îl pot afecta calitate. De exemplu, avem un obiect de gheață; odată cu acumularea temperaturii, se va transforma în apă lichidă și se va schimba Calitate. Pentru a implementa acest comportament într-un obiect, există un model de design de stat. Apariția unei astfel de soluții este cauzată de absența în programare a unui astfel de lucru ca fundație pentru apariția obiect. fundație determină condițiile în care poate apărea un obiect, iar în algoritm decidem noi înșine în ce moment trebuie să inițializam obiectul.

PS: Dacă aceste informații sunt interesante, voi trece în revistă și alte entități din Știința logicii.

Sursa: www.habr.com

Adauga un comentariu