プログラミングにおける論理の科学

ゲオルク・フリードリヒ・ヴィルヘルム・ヘーゲル







この記事は、ドイツの哲学者ゲオルク・ヴィルヘルム・フリードリッヒ・ヘーゲルの「論理の科学」とその類似物またはプログラミングの不在の作品からの論理的実体の比較分析に捧げられています。







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







純粋な存在



本の中で純粋な存在の定義を開くと、「さらなる定義なしで」興味深い行が表示されます。 しかし、読んだり理解していない人のために、著者を認知症のせいにせずに急いではいけません。 純粋な存在とは、ヘーゲルの論理における基本的な概念であり、ある種のオブジェクトが存在することを意味します。オブジェクトの存在と混同しないでください。オブジェクトは現実には存在しない場合があります。 あなたがそれについて考えるならば、そのようなことを純粋な存在と定義することは本当に不可能であり、そのような試みはあなたがその同義語または反意語を単に参照するという事実に帰着します。 純粋な存在は、それ自体を含む絶対にあらゆるものに適用できるような抽象的な概念です。 一部のオブジェクト指向言語では、オブジェクトに対する操作を含め、オブジェクトとして好きなものを表現することができます。これにより、原則としてこのようなレベルの抽象化が可能になります。 しかし、プログラミングには、 純粋な存在の直接的な類似物はありません。 オブジェクトの存在を確認するには、その不在を確認する必要があります。







if(obj != null);
      
      





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







なし



ご想像のとおり、 何もありません 。 そして、そのアナログはNULLと呼ばれます。 論理の科学では、 純粋な存在何もないということは注目に値します。 これはちょっとした問題で、NULLをどの言語のオブジェクトとしても参照できませんが、本質的にはNULLでもあります。







なると瞬間



なることは、 無から存在そして存在から無への移行です。 これは私たちに2つのポイントを与えます、最初のものは外観と呼ばれ、2番目は通路です。 遷移は、消滅の代わりにそのように命名されます。なぜなら、論理エンティティは、忘れない限り本質的に消えることができないからです。 引き出し自体は、割り当て手順と呼ばれます。 オブジェクトを初期化する場合、 発生瞬間が発生し 、別の値またはNULLを割り当てる場合、遷移瞬間が発生します







 obj = new object(); // obj = null; //
      
      





現金であること



要するに、 存在は明確な定義を持たないが確実性を持つオブジェクトです。 これはどういう意味ですか。 標準的な例は普通のスツールです。 彼に明確な定義を与えようとすると、多くの困難に直面します。 たとえば、「これは座席用に設計された家具です」と言いますが、椅子もこのために作成されます。 しかし、明確な定義がないからといって、空間でそれを強調表示し、それに関する情報を送信するときにそれを使用することを防ぐことはできません。これは、頭の中に椅子が確実にあるからです。 おそらく、そのようなオブジェクトをデータストリームから分離するためにニューラルネットワークが作成されたことを既に推測している人もいます。 ニューラルネットワークは、この確実性を定義する関数として指定できますが、明確でファジーな定義を含むオブジェクトのタイプはないため、そのようなオブジェクトを同じ抽象レベルで使用することはできません。







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



この法律は、ヘーゲルの論理の解釈の結果として、フリードリヒエンゲルスによって策定されました。 ただし、 測定に関する章の最初の巻で見ることができます。 その本質は、オブジェクトの量的な変化がその品質に影響を与える可能性があるということです。 たとえば、氷のオブジェクトがあり、温度が蓄積されると、液体の水に変わり、その品質が変化します。 この動作を実装するために、オブジェクトに「状態」デザインパターンが存在します。 そのような解決策の出現は、オブジェクトの出現の 基礎としてのそのようなもののプログラミングの欠如によって引き起こされます。 基礎は、オブジェクトが発生する条件を決定し、アルゴリズムでオブジェクトを初期化する必要があるポイントを決定します。







PS:この情報が興味深い場合は、Science of Logicの他のエンティティを確認します。








All Articles