Mae'r erthygl hon wedi'i neilltuo i ddadansoddiad cymharol o endidau rhesymegol o waith yr athronydd Almaeneg Georg Wilhelm Friedrich Hegel “Science of Logic” gyda'u analogau neu eu habsenoldeb mewn rhaglennu.

Mae endidau o Wyddoniaeth Rhesymeg mewn italig er mwyn osgoi dryswch â'r diffiniadau a dderbynnir yn gyffredinol o'r geiriau hyn.

Bod pur

Os byddwch yn agor y diffiniad bod pur yn y llyfr, fe welwch linell ddiddorol “heb ddiffiniad pellach”. Ond i'r rhai nad ydynt wedi darllen neu nad ydynt yn deall, peidiwch â rhuthro i gyhuddo'r awdur o ddementia. Bod pur - mae hwn yn gysyniad sylfaenol yn rhesymeg Hegel, sy'n golygu bod rhywfaint o wrthrych yn bodoli, peidiwch â'i gymysgu â bodolaeth gwrthrych, efallai nad yw'r gwrthrych yn bodoli mewn gwirionedd, ond os ydym yn ei ddiffinio rywsut yn ein rhesymeg, mae'n bodoli. Os ydych chi'n meddwl amdano, mae yna bethau fel bod pur mae'n amhosibl rhoi diffiniad, a bydd unrhyw ymgais o'r fath yn dibynnu ar y ffaith y byddwch yn cyfeirio'n syml at ei gyfystyron neu wrthonymau. Bod pur cysyniad mor haniaethol fel y gellir ei gymhwyso i unrhyw beth o gwbl, gan gynnwys ei hun. Mewn rhai ieithoedd gwrthrych-ganolog, mae'n bosibl cynrychioli unrhyw beth fel gwrthrych, gan gynnwys gweithrediadau ar wrthrychau, sydd mewn egwyddor yn rhoi'r fath lefel o haniaeth i ni. Fodd bynnag, wrth raglennu'r analog uniongyrchol bod pur Nac ydw. I wirio am fodolaeth gwrthrych, mae angen i ni wirio am ei absenoldeb.

if(obj != null);

Mae'n rhyfedd nad yw siwgr cystrawen o'r fath yn bodoli eto, o ystyried bod y gwiriad hwn yn boblogaidd iawn.

Dim byd

Sut allech chi ddyfalu dim byd yw absenoldeb unrhyw beth. A gellir galw ei analog yn NULL. Mae'n werth nodi bod yn y wyddoniaeth o rhesymeg dim byd yn bod pur, oherwydd ei fod hefyd yn bodoli. Mae hyn yn dipyn o dal; ni ​​allwn gael mynediad at NULL fel gwrthrych mewn unrhyw iaith, er ei fod yn un yn ei hanfod hefyd.

Ffurfiant ac eiliadau

Dod i yn bontio o dim byd в bod ac oddi yno o fod в dim byd. Mae hynny'n rhoi dau i ni hyn o bryd, gelwir yr un cyntaf ymddangosiada'r ail pasio. Tramwyfa fe’i gelwir felly yn lle diflaniad, oherwydd yn y bôn ni all yr hanfod rhesymegol ddiflannu oni bai ein bod wedi ei anghofio. Tynnu'n ôl fel y cyfryw gallwn alw y drefn aseiniad. Os dechreuir ein gwrthddrych, yna eiliad o ddigwydd, a rhag ofn pennu gwerth arall neu NULL eiliad o basio.

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

Bodolaeth

Yn fyr bodolaeth yn wrthrych nad oes ganddo ddiffiniad clir, ond sydd wedi sicrwydd. Beth mae'n ei olygu. Yr enghraifft ganonaidd yw cadair gyffredin. Os ceisiwch roi diffiniad clir iddo, byddwch yn dod ar draws llawer o anawsterau. Er enghraifft, rydych chi'n dweud: "mae hwn yn ddarn o ddodrefn sydd wedi'i gynllunio ar gyfer eistedd," ond mae'r gadair hefyd yn cael ei chreu ar gyfer hyn, ac ati. Ond nid yw diffyg diffiniad clir yn ein hatal rhag ei ​​amlygu yn y gofod a'i ddefnyddio wrth drosglwyddo gwybodaeth amdano, mae hyn oherwydd yn ein pen ni mae sicrwydd cadair. Efallai bod rhai eisoes wedi dyfalu bod rhwydweithiau niwral wedi'u creu i ynysu gwrthrychau o'r fath o'r llif data. Gellir dynodi rhwydwaith niwral fel swyddogaeth sy'n diffinio hyn sicrwydd, ond nid oes unrhyw fathau o wrthrychau a fyddai'n cynnwys diffiniadau clir a niwlog, felly ni ellir defnyddio gwrthrychau o'r fath ar yr un lefel o dynnu.

Y gyfraith o drosglwyddo newidiadau meintiol i rai ansoddol

Ffurfiwyd y gyfraith hon gan Friedrich Engels o ganlyniad i ddehongli rhesymeg Hegel. Fodd bynnag, gellir ei weld yn glir yn y gyfrol gyntaf yn y bennod ar mesur. Ei hanfod yw hynny meintiol gall newidiadau i wrthrych effeithio arno ansawdd. Er enghraifft, mae gennym wrthrych iâ; gyda thymheredd yn cronni, bydd yn troi'n ddŵr hylif ac yn newid ei rhinweddau. Er mwyn gweithredu'r ymddygiad hwn mewn gwrthrych, mae patrwm dylunio Gwladol. Mae ymddangosiad datrysiad o'r fath yn cael ei achosi gan absenoldeb y fath beth â rhaglennu sylfaen gyfer digwyddiad gwrthrych. Sefydliad yn pennu o dan ba amodau y gall gwrthrych ymddangos, ac yn yr algorithm rydym ni ein hunain yn penderfynu ar ba bwynt y mae angen i ni gychwyn y gwrthrych.

PS: Os yw'r wybodaeth hon yn ddiddorol, byddaf yn adolygu endidau eraill o'r Science of Logic.

Ffynhonnell: hab.com