ツールとしてのロジック：
* 正式なシステム： ロジックは、推論の正式なシステムです。与えられた施設から有効な結論を導き出すためのルールと方法を提供します。これらのルールは、経験的観察や実験に基づいているのではなく、真実と妥当性の抽象的な原則に基づいています。
* 普遍性： ロジックの原則は普遍的であり、さまざまなドメインに適用されます。 経験科学のように特定のデータや主題に依存していません。
* 他の分野の基礎： 論理は、数学、哲学、コンピューターサイエンス、さらには社会科学など、他の多くの分野の基礎ツールとして機能します。それは私たちが明確に推論し、誤りを特定するのに役立ちます。
伝統的な意味での「科学」ではないのはなぜですか：
* 経験的テストなし： 経験科学とは異なり、論理は実験や観察を通じて仮説をテストすることは含まれません。その真実と妥当性は、内部の一貫性と正式な証拠によって確立されます。
* 伝統的な意味での「発見」はありません： 論理は、世界についての新しい事実を「発見」しません。既存の情報を分析し、推論するためのフレームワークを提供します。
代わりに、ロジックはしばしば：と呼ばれます
* 正式な科学： これは、正式なシステムと抽象的な推論に焦点を当てることを強調しています。
* 哲学的規律： 論理は、哲学、特に認識論（知識の研究）と形而上学（現実の性質の研究）の分野に深いルーツを持っています。
結論：
論理は高度に構造化された厳格なシステムですが、伝統的な意味では科学ではありません。多くの分野で厳密な推論のためのフレームワークを提供するツールまたは基礎的な規律と見なす方がより正確です。
