この記事は、ドイツの哲学者ゲオルク・ヴィルヘルム・フリードリッヒ・ヘーゲルの著書『論理の科学』に登場する論理エンティティと、その類似物、またはプログラミングに存在しない論理エンティティの比較分析に特化しています。

Science of Logic のエンティティは、一般に受け入れられているこれらの単語の定義との混同を避けるために斜体で示されています。

純粋な存在

定義を開くと 純粋な存在 この本の中で、「それ以上の定義はなし」という興味深い一文があります。 しかし、読んだことがない人や理解できない人は、急いで著者を認知症だと非難しないでください。 純粋な存在 - これはヘーゲルの論理の基本概念であり、何らかのオブジェクトが存在することを意味します。オブジェクトの存在と混同しないでください。オブジェクトは現実には存在しないかもしれませんが、私たちが論理の中で何らかの形で定義した場合、それは存在します。 よく考えてみると、本当にそういうことあるんですね 純粋な存在 定義を与えることは不可能であり、そのような試みは単にその同義語または反意語を参照することになるでしょう。 純粋な存在 非常に抽象的な概念なので、それ自体を含むあらゆるものに適用できます。 一部のオブジェクト指向言語では、オブジェクトに対する操作を含め、あらゆるものをオブジェクトとして表現することができ、原理的にはそのようなレベルの抽象化が可能になります。 ただし、プログラミングでは直接のアナログ 純粋な存在 いいえ。 オブジェクトの存在を確認するには、そのオブジェクトが存在しないことを確認する必要があります。

if(obj != null);

このチェックが非常に人気があることを考えると、そのような糖衣構文がまだ存在しないのは不思議です。

何もない

どうやって推測できますか 何もない 何もないことです。 そして、その類似物を NULL と呼ぶことができます。 論理科学において注目すべきことは、 何もない です 純粋な存在、それも存在するからです。 これは少し問題があります。本質的には NULL もオブジェクトであるにもかかわらず、どの言語でもオブジェクトとして NULL にアクセスすることはできません。

フォーメーションと瞬間

になる からの移行です 何もない в ある とから ある в 何もない。 これで XNUMX つが得られます その瞬間、最初のものは呼び出されます 出現、XNUMX番目 通過. 通路 論理的本質は本質的に、私たちが忘れない限り消えることはないので、それは消滅ではなくそう呼ばれます。 出金 したがって、割り当てプロシージャを呼び出すことができます。 オブジェクトが初期化されている場合、 発生の瞬間、別の値または NULL を割り当てる場合 通り過ぎる瞬間.

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

存在

要するに 存在 明確な定義はありませんが、 確実。 それはどういう意味ですか。 標準的な例は普通の椅子です。 明確に定義しようとすると、多くの困難に遭遇するでしょう。 たとえば、「これは座るために設計された家具です」と言いますが、椅子もまた座るために作られている、などです。 しかし、明確な定義がないからといって、それを空間で強調したり、それに関する情報を伝達するときにそれを使用したりすることは妨げられません。 確実 椅子。 おそらく、ニューラル ネットワークがそのようなオブジェクトをデータ ストリームから分離するために作成されたとすでに推測している人もいるでしょう。 ニューラル ネットワークは、これを定義する関数として表すことができます。 確実ただし、明確であいまいな定義を含むオブジェクトのタイプは存在しないため、そのようなオブジェクトを同じ抽象化レベルで使用することはできません。

量的変化から質的変化への移行の法則

この法則は、ヘーゲルの論理の解釈の結果としてフリードリヒ・エンゲルスによって定式化されました。 しかし、それは第 XNUMX 巻の章ではっきりと見ることができます。 少なくとも。 その本質は、 定量的 オブジェクトに変更を加えると影響を受ける可能性があります качество。 たとえば、氷のオブジェクトがありますが、温度が蓄積すると液体の水に変わり、その形状が変化します。 品質。 この動作をオブジェクトに実装するには、State デザイン パターンがあります。 このようなソリューションの出現は、プログラミングに次のようなものが欠如しているために引き起こされます。 基礎 のために 出現 オブジェクト。 財団 オブジェクトが出現する条件を決定し、アルゴリズムの中で、どの時点でオブジェクトを初期化する必要があるかを私たち自身が決定します。

PS： この情報が興味深い場合は、論理科学の他のエンティティをレビューします。

出所： habr.com