形式論理とその基本的な法則

ロジック - メソッド、法律や思考の形の科学。 正式なロジックが長く、古代ギリシャ人によって開発されてきた 私たちの時代の前に。 意思決定や法律は、公共の会議で採択された民主的な社会を構築するために最初にギリシャ人でした。 彼らは、導電性の原始的な科学に作成トライアルを。 貴族の若者のお気に入りの気晴らしは、哲学者との議論がありました。 したがって、理論的な科学の発展の普遍的な愛。 ギリシャ人は単に科学的証拠とする方法について教えていました。

アリストテレスによって開発された論理回路の基礎の最初のコース。 彼はすべての引数は、一般的な法則に基づいているという事実に注意を促したの違反が誤った結論につながります。 正式な アリストテレスの論理は 、そのような法律に基づいていました。

1. 判決は、それらを作るために何を、肯定的であるならば結論は否定することはできません。
2. 文の場合は、1つは負であり、そして一般的な結論は常に負です。

したがって、それは、その正式なロジックを表示されます- 知識である 効果的な原則と法律の、その構造の形状（一般的な考慮事項の個々の部品を接続するための方法）に関して推論を適切に構築。

すべての現象とオブジェクトの関係を持っています。 リンクは、客観的または主観的、一般またはプライベート、必要または偶発することができます。 これらの結合の最も重要な法律と呼ばれています。 それらはすべて同じ現実を反映し、そのため、互いに矛盾ことはできません。 自然の法則に関連した人間の思考のすべての法律。

思考の法則は、思考の間に安定した内部接続されています。 男は彼の考えを結ぶことができない場合、彼は右の結論に達していなかったし、他の人にそれを持参することはできません。

正式なロジックの基本的な法則 -一貫性、アイデンティティ、除外ミドルとの法律 十分な理由の法則。 ライプニッツ - 最初の3の開発は、アリストテレスやプラトン、最後に属します。 これらの法律の違反（特に最初の3つは）それが不可能虚偽から真実を区別すること、矛盾につながります。 最終法令少ない規制、より限定された使用。

ロジックの非中核法律 - これらは、帰納的推論や結論traduktivnogo文字の確率を高め、三段論法で真の結論を得、オペレーティング提案や概念のルールです。

一貫性の法則は、思考が物議をすべきではないことを意味するが、特定の物事の質を反映する必要があります。

除外された中央の法律はない相反するが、真の文の間で求めることが第三で、そのうちの一つだけの真実を認識するように規定しています。 矛盾の構成要素の一つ - 確かに真。

アイデンティティ形式論理の法則は、あなたが正確にその定義や意味を理解する必要がある任意の用語の下で、すなわち、精密な思考の要件として解釈します。 概念や判断の本質は意志で歪むことはできません。

正当な理由の法律が必要な任意の真の思考が相手の本当の考えを正当化するために、偽のアイデアを正当化できないということです。 判決の開発で因果関係を反映すべきです。 この場合にのみ、それはその信頼性を証明することができます。

「IF ... THEN ...」論理的思考および単語を含む論理的な用語で表さ全て思考の形を決定する方法の形態「とは、」、「または」拒否「が真実ではないこと」（「NO」） 、単語「いくつかの」、「すべて」（「なし」）、（「ある」の意味における）「本質」の束など 判決の論理形式は、この判断の言語表現に含まれている非論理的の用語の意味から、気を取らことができます特定します。 つまり、形式論理思考の構造を表現します。 論理形式は、常に有益で有意義です。

概念、推論や判断：思考の自分の形に応じてクラス分けされています。 コンセプト - 彼らの基本的な特性に基づいてオブジェクトを一般のアイデア。 判決 - アイデア、状況の存在（不在）をアサート。 推論 - 思想は、知識の獲得を反映し、他の知識の判断において発現しました。