私たちは、論理が何であるか、哲学的、アリストテレス的、数学的、計算的、形式的、非公式の論理の特徴を説明します。
¿ロジックとは何ですか？
論理は形式的な科学であり、哲学と数学の一部です。 それは、思考の有効かつ無効な手順、すなわち、実証、推論または控除などのプロセスだけでなく、誤謬、パラドックス、真実などの概念の研究に焦点を当て
論理は非常に古代の規律であり、中国、ギリシャ、インドなどの偉大な古典文明と古代文明の思想家の間で独立して生まれました。 最初から、その正式な妥当性を確認するための思考を判断する方法、すなわち実際に真実につながる推論の理想的な手順が何であるかを認識する
しかし、20世紀以来、後者の応用が産業的、社会的、技術的に非常に重要になったため、数学に関連する分野と考えられてきました。
“論理”という言葉は、ギリシャ語のlogiké（”理性に恵まれた”）に由来し、”言葉”や”思考”に相当するlogosという言葉に由来しています。
しかし、日常の言葉では、この言葉を”常識”の同義語として、つまり、価値のあるまたは価値のある考え方で、それぞれの可能な文脈で使用します。 また、”スポーツロジック”、”軍事ロジック”などを参照するときのように、”考え方”の同義語としても使用されます。
も参照: 数学的思考
哲学的論理
この用語は、論理の方法が特定の哲学的ジレンマを解決または前進させるために使用され、考慮された伝統的な論理、または逆に非古典的な論理の中で管理することができる哲学の分野を指す。 つまり、哲学の枠組みの中の論理です。
それは言語の哲学に非常に近い規律であり、本質的には思考と自然言語を中心とした古代の論理の継続です。 私たちは一般的に、より最近の数学的論理と区別するためにこの名前を使用します。
アリストテレス論理
哲学的論理の中で、アリストテレス論理は、論理の西洋の創始者であり、世界の哲学的伝統の最も重要な著者の一人と考えられているギリシャの哲学者Stagyraのアリストテレス（紀元前384年-紀元前322年）の作品から始まる思考の伝統として知られている。
アリストテレスの論理に関する主な作品は、数世紀後にロードスのアンドロニコスによって編纂された彼のオルガノン（ギリシャの”楽器”から）に集められている。 彼らは中世の後までヨーロッパと中東で非常に影響力のあった全体の論理システムを表示します。
この作品では、さらに、アリストテレスは論理の基本的な公理を仮定しました:
- 非矛盾の原則。 それによれば、何かが同時に存在することはできず、同時に存在することはできません（AとAは同時に真になることはできません）。
- 同一性の原則。 それによれば、何かが常にそれ自身と同一である（Aは常にAに等しい）。
- 除外された第三者の原則。 それによれば、可能な階調（Aまたはa）がなくても、何かが真実であるかそうでないか。
数学的論理
記号論理、形式論理、理論論理、ロジスティクスとも呼ばれる数学的論理は、数学と科学の特定の分野への論理的思考の適用です。
これは、命題論理、モーダル論理、一階論理などの形式的な表現システムを通じて推論のプロセスを研究することを含み、厳密なデモンストレーションを開発するために自然言語の数学的言語への”翻訳”を可能にする。
数学的論理は、次の四つの主要な領域を包含する。:
- モデル理論。 これは、グループ、ボディまたはグラフとして知られている数学的構造を介して公理理論と数学的論理の研究を提案し、したがって、論理の純粋に形式的な構
- 証明理論。 証明理論とも呼ばれ、論理的な問題を検証する方法として、数学的対象と数学的手法を使用した証明を提案しています。 したがって、モデル理論が論理の形式的構造に意味論（意味）を与えることに関係している場合、証明理論はむしろその構文（順序付け）に関係しています。
- 集合論。 オブジェクトの抽象的なコレクションの研究に焦点を当て、オブジェクトとして理解され、その基本的な操作と相互関係に焦点を当てました。 数学的論理のこの枝は、それが任意の数学理論の基本的なツールを構成するように、そんなに存在する最も基本的なの一つです。
- 計算可能性の理論。 数学と計算の間の共有領域では、アルゴリズム（チューリングマシンに相当）が直面する可能性のある決定問題を研究しています。 これを行うために、彼は集合論を使用して、それらを計算可能または非計算可能な集合として理解します。
計算論理
計算論理は同じ数学的論理ですが、計算の分野、つまり計算回路、論理プログラミング、アルゴリズムの管理など、さまざまな基本的なレベルの計算に適用されます。 また、この地域では比較的最近の分野である人工知能も含まれています。
大まかに言えば、計算論理は、人間の思考のさまざまな可能性を数学的な言語で表現する論理構造を通してコンピュータシステムを供給し、インテリジェントなコンピュータシステムを作成することを目指していると言える。
形式論理と非公式論理
また、文が表現される言語に対するアプローチに基づいて、形式論理と非公式論理の二つの別々の分野を区別することも多い。
- 形式論理。 それは形式的な言語、すなわちその内容を表現する方法、あいまいさなしに厳密に使用する方法であり、演繹的な道をその形式の妥当性（したがってその名）から分析することができるものである。
- 代わりに、彼は論理的な形式や形式言語に関係なく、与えられた情報から有効な形式と無効な形式を区別して、彼の議論を事後的に研究します。 この変種は、20世紀半ばに哲学の中の規律として現れました。
続きを読む: 認識論
参考文献:
- “ウィキペディアの”論理”。
- “ロジックとは何ですか？”（ビデオ）学校ゾーンで。
- “ロジックとは何ですか？”（ビデオ）に出演した。
- “論理入門”カルロス-ムニョス-グティエレスによるマドリード大学Complutense de Madridでの”論理入門”。
- “論理とは何か、それは何のためのものですか？”南の科学で。
- ブリタニカ百科事典の”論理”。
最終編集：2020年9月22日。 どのように引用する：”論理”。 著者：マリア-エステラ-ラフィーノ アルゼンチン出身。 へ:Concepto.de….. https://concepto.de/logica/ 取得：月25、2021。