程式設計中的邏輯科學

程式設計中的邏輯科學

本文致力於對德國哲學家格奧爾格·威廉·弗里德里希·黑格爾《邏輯科學》著作中的邏輯實體與其類似物或它們在程式設計中的缺失進行比較分析。

邏輯科學中的實體以斜體顯示,以避免與這些詞的普遍接受的定義混淆。

純粹的存在

如果你打開定義 純粹的存在 在書中,你會看到一句有趣的台詞「沒有進一步的定義」。 但沒讀過或不懂的人,先別急著指責作者癡呆。 純粹的存在 -這是黑格爾邏輯中的一個基本概念,意味著某個對象存在,請不要將它與對象的存在混淆,該對象可能在現實中不存在,但如果我們以某種方式在我們的邏輯中定義它,它就存在。 如果你仔細想想,確實有這樣的事情 純粹的存在 給出定義是不可能的,任何此類嘗試都將歸結為您將簡單地引用其同義詞或反義詞。 純粹的存在 這是一個抽象的概念,它可以應用於絕對任何事物,包括它本身。 在一些物件導向的語言中,可以將任何東西表示為對象,包括對物件的操作,原則上這給了我們這樣一個抽象層級。 然而,在程式設計時直接模擬 純粹的存在 不。 為了檢查一個物件是否存在,我們需要檢查它是否不存在。

if(obj != null);

奇怪的是,鑑於這種檢查非常流行,這樣的語法糖還不存在。

沒有什麼

你怎麼能猜到 沒有什麼 就是什麼都沒有。 它的類似物可以稱為NULL。 值得注意的是,在邏輯科學中 沒有什麼純粹的存在,因為它也存在。 這有點麻煩;我們不能在任何語言中將 NULL 作為物件來訪問,儘管本質上它也是一個。

陣型和時刻

成為 是一個過渡 沒有什麼 в 存在存在 в 沒有什麼。 這給了我們兩個 片刻,第一個稱為 緊急狀況和第二 透過. 頻道 之所以這樣稱呼它而不是消失,是因為邏輯本質本質上不會消失,除非我們忘記了它。 退出 因此我們可以調用賦值過程。 如果我們的物件被初始化,那麼 發生的時刻,並且在分配另一個值或 NULL 的情況下 路過的瞬間.

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

存在

簡而言之 存在 是沒有明確定義的對象,但有 肯定。 這是什麼意思。 典型的例子就是一張普通的椅子。 如果你試著給它一個明確的定義,你會遇到很多困難。 例如,你說:“這是一件專為坐而設計的家具”,但椅子也是為此而設計的,等等。 但缺乏明確的定義並不妨礙我們在空間中突出它並在傳遞有關它的信息時使用它,這是因為在我們的頭腦中存在著 肯定 椅子。 也許有些人已經猜測神經網路的創建是為了將此類物件與資料流隔離。 神經網路可以表示為定義此的函數 肯定,但不存在包含清晰和模糊定義的物件類型,因此此類物件不能在同一抽象層級上使用。

量變向質變轉變的規律

這定律是弗里德里希·恩格斯對黑格爾邏輯進行解釋後提出的。 但從第一卷的章節中可以清楚地看到 至少。 其本質是 定量的 對物件的更改可能會影響它 質量。 例如我們有一個冰物體,隨著溫度的積累,它會變成液態水,改變它的性質。 品質。 為了在物件中實現此行為,有一個狀態設計模式。 這種解決方案的出現是由於編程中缺乏這樣的東西造成的 基金會緊急狀況 目的。 基金會 確定物件可以出現的條件,並且在演算法中我們自己決定何時需要初始化物件。

注: 如果這些資訊有趣,我將回顧邏輯科學中的其他實體。

來源: www.habr.com

添加評論