いつ アリストテレス 人間を言葉を与えられた動物として定義しました（ロゴ）、彼は私たちだけが物理的な世界の抽象化のプロセスを実行できることを意味しました 言語. 言語は、私たちがコミュニケーション、抽象的な思考、物や物の命名、科学的研究、芸術の創造、そして私たちの世界の社会的および政治的組織全体を可能にします。 ただし、正しく機能するためには、言語にもルールが必要です。
そしてその 言語論理、哲学に固有の研究分野であり、正式な言語組織に焦点を当て、 言語自体がそれぞれの場合に正しく機能できるように、必要なモードを確立します 明確な。 言語だけでなく、理解としての論理と 合理的な組織 of Formsは、数学における因果関係の確立にも取り組んでいます。 つまり、数学計算の結果が正しいためには、数学者または実行するマシン 操作は、合理的なルールを尊重する正式な標準に準拠する必要があります。 数理論理学.
アリストテレスプラトンの弟子である、は歴史上最初の哲学者であり、 言語論理の基礎、後世のために知られている一連の著作を残します アリストテレスの論理 または古典論理。 これらの文章では、私たちは理解する方法を見つけることができます 推論 言語における演繹的および帰納的 三段論法、そして私たちが見つけたのは アリストテレス広場、これは、特定の方法で組み合わされて、たとえばスピーチの一致または不一致を引き起こす言語要素の説明と認定のためのフレームワークです。
今やめないで... 広告の後にもっとあります;）
THE 論理、有効で正しい形式の言語の研究と識別として、持っていないものの識別と認定にも専念しています 正式な有効性 まとまりがあり、正しい。 言語によって発音されたものの形の修正されていないこれらの状況に名前を付ける言葉は 誤謬. 誤謬は、大まかに言えば、意味のない命題であり、述べられた事実の間に論理的なリンクがないか、または 文のステートメントに現れる効果を完全かつ正しい方法で説明する因果関係のリンク 分析した。
19世紀、ドイツの哲学者 ゴットロープ・フレーゲ 論理学のより深い数学的理解の必要性に対処することにより、既存の論理に革命をもたらしました。 彼はと呼ばれる方法を開発しました 述語の計算、数学的演繹プロセスを通じて言語命題を分析します。
言語の論理と哲学へのフレーゲの貢献は、 今日、それらがなければ、翻訳可能なコンピュータープログラミングコードを作成することはできなかったでしょう。 サイコロ
暗号化 他のマシンによって。 これは、フレーゲが残した論理的な理論的装置がなければ、英国の数学者が アランチューリング、情報学とコンピューターの「父」と見なされていたが、最初のものを構築することはできなかった コンピューター 歴史の。*画像クレジット： Lenscap写真 / Shutterstock.com
フランシスコ・ポルフィリオ
哲学を卒業
学校や学業でこのテキストを参照しますか？ 見てください：
ポルフィリオ、フランシスコ。 "ロジックとは何ですか？"; ブラジルの学校. で利用可能： https://brasilescola.uol.com.br/filosofia/o-que-logica.htm. 2021年6月27日にアクセス。
コンピューティング
暗号化、暗号化とは何か、暗号化の使用、暗号化キー、対称暗号化キー、非対称暗号化キー、暗号化機能。
数理論理学、数理論理学についての古い概念、数理論理学についての新しい概念、数理論理学の進化、数理論理学の主な特徴。
