Nakala hii imejitolea kwa uchambuzi wa kulinganisha wa vyombo vya mantiki kutoka kwa kazi ya mwanafalsafa wa Ujerumani Georg Wilhelm Friedrich Hegel "Sayansi ya Mantiki" na analogi zao au kutokuwepo kwao katika programu.

Huluki kutoka kwa Sayansi ya Mantiki ziko katika italiki ili kuepuka kuchanganyikiwa na fasili zinazokubalika kwa ujumla za maneno haya.

Utu safi

Ukifungua ufafanuzi mtu safi katika kitabu, utaona mstari wa kuvutia "bila ufafanuzi zaidi." Lakini kwa wale ambao hawajasoma au hawaelewi, usikimbilie kumshtaki mwandishi wa shida ya akili. Utu safi - hii ni dhana ya msingi katika mantiki ya Hegel, ikimaanisha kuwa kitu fulani kipo, tafadhali usichanganye na uwepo wa kitu, kitu hicho kinaweza kuwa haipo kwa ukweli, lakini ikiwa tumeifafanua kwa njia fulani katika mantiki yetu, iko. Ikiwa unafikiria juu yake, kuna mambo kama hayo mtu safi haiwezekani kutoa ufafanuzi, na jaribio lolote kama hilo litakuja kwa ukweli kwamba utarejelea tu visawe au antonyms zake. Utu safi dhana ya kufikirika ambayo inaweza kutumika kwa chochote kabisa, pamoja na yenyewe. Katika lugha zingine zinazoelekezwa kwa kitu, inawezekana kuwakilisha kitu chochote kama kitu, pamoja na operesheni kwenye vitu, ambayo kimsingi inatupa kiwango kama hicho cha uondoaji. Walakini, katika kupanga analog ya moja kwa moja mtu safi Hapana. Ili kuangalia uwepo wa kitu, tunahitaji kuangalia kutokuwepo kwake.

if(obj != null);

Inashangaza kwamba sukari kama hiyo ya kisintaksia haipo bado, kutokana na kwamba hundi hii ni maarufu sana.

Hakuna

Ungewezaje kukisia chochote ni kutokuwepo kwa chochote. Na analog yake inaweza kuitwa NULL. Ni muhimu kuzingatia kwamba katika sayansi ya mantiki chochote ni mtu safi, kwa sababu pia ipo. Hiki ni kitu kidogo; hatuwezi kufikia NULL kama kitu katika lugha yoyote, ingawa kimsingi ni moja pia.

Malezi na nyakati

Kuwa ni mpito kutoka chochote в kuwa na kutoka kuwa в chochote. Hiyo inatupa mbili wakati, ya kwanza inaitwa kuibuka, na pili kupita. Kifungu inaitwa hivyo badala ya kutoweka, kwa sababu kiini cha kimantiki kimsingi hakiwezi kutoweka isipokuwa tumeisahau. Uondoaji kwa hivyo tunaweza kuita utaratibu wa kazi. Ikiwa kitu chetu kimeanzishwa, basi wakati wa kutokea, na katika kesi ya kugawa thamani nyingine au NULL wakati wa kupita.

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

Kuwepo

Kwa kifupi kuwepo ni kitu ambacho hakina ufafanuzi wazi, lakini kina uhakika. Ina maana gani. Mfano wa kisheria ni mwenyekiti wa kawaida. Ikiwa utajaribu kutoa ufafanuzi wazi, utapata shida nyingi. Kwa mfano, unasema: "hii ni kipande cha samani kilichopangwa kwa kukaa," lakini mwenyekiti pia ameundwa kwa hili, nk. Lakini kukosekana kwa ufafanuzi ulio wazi hakutuzuii kuangazia katika nafasi na kuitumia wakati wa kusambaza habari juu yake, hii ni kwa sababu kichwani mwetu kuna. uhakika mwenyekiti. Labda wengine tayari wamekisia kuwa mitandao ya neural iliundwa kutenga vitu kama hivyo kutoka kwa mkondo wa data. Mtandao wa neva unaweza kuashiria kama kazi inayofafanua hili uhakika, lakini hakuna aina za vitu ambazo zitajumuisha ufafanuzi wazi na usio na fuzzy, kwa hiyo vitu hivyo haviwezi kutumika kwa kiwango sawa cha uondoaji.

Sheria ya mpito ya mabadiliko ya kiasi kuwa yale ya ubora

Sheria hii ilitungwa na Friedrich Engels kama matokeo ya tafsiri ya mantiki ya Hegel. Hata hivyo, inaweza kuonekana waziwazi katika juzuu la kwanza katika sura ya kidogo. Asili yake ni hiyo kiasi mabadiliko kwa kitu yanaweza kuathiri ubora. Kwa mfano, tuna kitu cha barafu; na mkusanyiko wa joto, itageuka kuwa maji ya kioevu na kubadilisha yake sifa. Ili kutekeleza tabia hii katika kitu, kuna muundo wa muundo wa Jimbo. Kuibuka kwa suluhisho kama hilo kunasababishwa na kutokuwepo kwa programu ya kitu kama hicho msingi kwa tukio kitu. Msingi huamua hali ambayo kitu kinaweza kuonekana, na katika algorithm sisi wenyewe tunaamua ni wakati gani tunahitaji kuanzisha kitu.

PS: Ikiwa habari hii inavutia, nitakagua vyombo vingine kutoka kwa Sayansi ya Mantiki.

Chanzo: mapenzi.com