論理学の哲学

ウィキペディア

論理学の哲学

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2026/07/13 17:37 UTC 版)

論理学の哲学（ろんりがくのてつがく、英語: philosophy of logic）は、論理学の範囲と性質を研究する哲学の一分野である。論理学の理論やその応用においてしばしば暗黙裏に機能している前提といった、論理学が提起する哲学的問題を探究する。これには論理学をどのように定義すべきか、また異なる論理体系がどのように相互に関係するかという問いが含まれる。論理学が使用する基本概念の性質の研究と、論理学と他の諸学との関係も含まれる。一般的な特徴づけによれば、哲学的論理学は論理学の哲学の一部であり、しばしば様相論理学のような拡張された論理体系の形で、哲学的問題への論理的手法の適用を研究する。しかし他の論者は論理学の哲学と哲学的論理学の区別を異なる仕方で引くか、まったく引かない。メタ論理学は、無矛盾性や完全性などの形式的な論理体系の性質を研究する学問として、論理学の哲学と密接に関連する。

論理学の性質についての様々な特徴づけが学術文献に見られる。論理学は正しい推論・妥当な推論・論理的帰結の研究と見なされることが多い。これは形式科学であり、議論している具体的な主題とは独立したトピック中立な仕方で、前提から結論がどのように帰結するかを探究する。論理学の性質を探究するひとつの形式は、様々な論理的形式体系に共通するものと、それらが非論理的形式体系と異なる点に焦点を当てる。この点での重要な考慮事項は、問題の形式体系が根本的な論理的直観と相容れるかどうか、また完全かどうかである。論理学の異なる概念は、論理学を妥当な推論の研究として定義するか、論理的真理の研究として定義するかによって区別できる。論理学の概念のさらなる区別は、妥当な推論と論理的真理の基準を構文論的に規定するか意味論的に規定するかに基づく。

論理学の種類はしばしば区別される。論理学は通常形式論理学として理解され、本記事のほとんどもそのように扱う。形式論理学は形式言語で表現された論証の形式のみに関心を持ち、演繹的推論に焦点を当てる。非形式論理学は一方で、非演繹的論証を含む自然言語でも見られるはるかに広い範囲の論証を扱う。論証の正しさはその形式以外の要因、たとえば内容や文脈にも依存しうる。20世紀には様々な論理的形式体系や論理学が開発されており、それらを分類し、相互の関係を示し、普遍的に真な唯一の論理学ではなく多様な論理学がありうるという問題を扱うのが論理学の哲学の課題である。これらの論理学は古典論理学（通常一階論理と同一視される）・拡張論理・逸脱論理に分けられる。拡張論理は古典論理学の基本的な形式主義と公理を受け入れるが、新たな論理的語彙で拡張する。逸脱論理は一方で、古典論理学のある中核的な仮定を否定するため古典論理学と相容れない。

論理学の哲学はまた、論理学の基本概念の性質と哲学的含意も探究する。これには真理の問題、特に論理的真理の問題が含まれる。論理的真理は使用された論理的用語の意味のみに依存する真理として定義されうる。別の問いは、前提と結論の性質に関わる。すなわちそれらを思考・命題・文のいずれとして理解すべきか、またそれらが単純な構成要素からどのように構成されるかである。前提と結論はともに推論を構成する。推論は、必然的に真理を保存するかどうか、あるいは新たな（おそらく偽な）情報を導入するかによって、演繹的または拡充的のいずれかになりうる。論理学における中心的な関心は、演繹的推論が妥当かどうかにある。妥当性はしばしば必然性の観点で定義される。すなわち前提が真で結論が偽であることが不可能な場合に限り推論は妥当である。誤った推論と論証はその結論を支持することに失敗する。それらは形式論理学か非形式論理学に属するかに応じて、形式的誤謬または非形式的誤謬として分類できる。論理学は主に定義規則、すなわちどの推論規則が論証を妥当にするかという問いに関心を持ってきた。論理学の別の探究トピックは戦略規則に関わる。これは一定の前提が与えられたときに意図した結論に到達する方法を支配する規則、すなわちそこに到達するためにどのような推論が必要かという問いである。

論理学の形而上学は、論理学の法則と対象の形而上学的な地位に関わる。この分野における重要な論争は、論理学は心から独立した存在を持つ事実に基づくと主張する実在論者と、論理学の法則は言語使用を支配する慣習に基づくと主張する規約主義者のような反実在論者との間のものである。論理学は様々な学問と密接に関連する。存在論との関係において中心的な問題は、たとえば単称語や存在量化子の使用に付随する存在論的コミットメントに関わる。数学における重要な問いは、すべての数学的真理が論理学の公理と集合論とによって基礎づけられるかどうかである。他の関連分野にはコンピューター科学と心理学がある。

定義と関連諸学

論理学の哲学は、論理学の性質を研究する哲学の分野である。 他の多くの学問と同様に、論理学は様々な哲学的前提を含んでおり、それが論理学の哲学によって扱われる。 論理学の哲学は学問特有の哲学の他の分野と類比的に理解できる。科学哲学が科学の提起する哲学的問題を探究するように、論理学の哲学は論理学の提起する哲学的問題を探究する。

論理学の哲学が研究する重要な問いは、論理学をどのように定義すべきか、たとえば妥当な推論の観点か論理的真理の観点で定義すべきかである。 これには論理的形式体系を非論理的形式体系とどのように区別するかという問題が含まれる。 これは特に、古典的および非古典的な様々な提案された論理体系の関係を明確にし、それらすべてが実際に論理体系として適格かどうかを評価する上で重要である。 論理学の哲学はまた、真理・前提・結論・推論・論証・妥当性などの論理学の最も根本的な概念をどのように理解すべきかも探究する。 それは論理学と存在論・数学・心理学などの分野との関係を明確にしようとする。

論理学の哲学は哲学的論理学と密接に関連するが、これら二つの学問がどのように関係するかについての一般的な合意はない。 これら二つの用語を同一の学問に対して用いる論者もいれば、別個の学問と見る論者もいる。 後者の見方によれば、哲学的論理学は論理学の哲学とは対照的に、しばしば逸脱論理や拡張論理を開発することによって哲学的問題に論理的手法を適用するものと見なされる。 この意味で哲学的論理学は論理学の哲学内の一探究分野、すなわち論理学が提起する哲学的問題の一般的研究の一部である。 しかしこうした区別の形式は普遍的に受け入れられているわけではなく、一部の著者は異なる特徴づけを提案している。 論理学と哲学の密接なつながりは、多くの著名な論理学者が哲学者でもあったという事実にも反映されている。 論理学の哲学はメタ論理学とも密接に関連するが同一ではない。メタ論理学は形式的な論理体系の性質、たとえば与えられた論理体系が無矛盾かどうか・完全かどうかを探究する。 メタ論理学は通常、形式言語と形式体系の意味論と構文論の研究を含む。

論理学の性質

「論理学」という用語はギリシャ語の「logos」に基づいており、理性・言説・言語など様々な異なる意味と結びついている。論理学とは何か、どのように定義されるべきかについては多くの意見の相違がある。 論理学には一般的に様々な特性が帰せられる。たとえば前提と結論の関係を研究し、それをトピック中立な仕方で行うことなどである。論理学の哲学の重要な課題は、形式体系が論理学として数えられるべき基準を探究することである。 論理学の異なる概念は、それを妥当な推論に基づくものとして理解するか、論理的真理に基づくものとして理解するかによって異なる。妥当な推論と論理的真理の基準はそれ自体、構文論的または意味論的考察に基づいて異なる仕方で規定されうる。

一般的特性

伝統的に、論理学はしばしば思考の法則を探究する学問として理解されてきた。 この特徴づけに対するひとつの問題は、論理学が実際の人間の思考に見られる規則性を研究する経験的学問ではないことである。それは心理学の領域に属する。 これはより適切に、文献に時折見られる別の特徴づけ、すなわち論理学は正しい思考の、より具体的には正しい推論の法則に関わるという特徴づけで捉えられる。 これは、良い推論を行い可能な誤りを認識することによって自身の推論を改善するための道具としての論理学の実践的意義を反映する。 論理学はまた、妥当な論証の科学として定義されることもある。 これは推論による定義と呼応する。論証は内なる推論の外的表現として理解されうるためである。

論理学はしばしばあらゆる知識の形式的な基礎と見なされる。 形式科学として、それは物理学や生物学のような物質的または経験的科学と対照をなす。論理学は主に命題間の含意関係に関心を持つが、これらの命題が実際に真かどうかには関心を持たないためである。 たとえば「すべての月はチーズでできている」という命題から「地球の月はチーズでできている」を演繹することは妥当な推論である。この例での誤りは、経験的天文学に属する偽な前提によるものである。

論理学の中心的な特徴は、それがトピック中立であることだ。 これは論理学がその論証の主題とは独立して論証の妥当性に関心を持つことを意味する。 この意味で、通常の科学は特定の探究領域における正しい推論に関心を持つ一方、論理学はこれらすべての学問に適用可能な一般的な正しい推論に関心を持つ。 この特徴づけのひとつの問題は、「トピック中立」や「主題」という用語をこの文脈でどのように理解するかが必ずしも明確でないことである。 密接に関連した別の特徴づけは、論理学が論証の内容ではなく形式に関心を持つというものである。この見方では、論理学は前提からいかに結論を導くかを研究する。しかしこの特徴づけも形式と内容の区別に困難があるため問題がある。 これらの困難から、論理学が明確に規定可能な範囲や本質的な性格を持つかどうかを疑う論者もいる。

論理学が規範的学問であることについては広い合意がある。これは論理学が探究する法則が人々がどのように考えるべきかを決定し、それらの法則に違反することは不合理であることを意味する。 しかしこの考えに対する個別の挑戦もあった。たとえばギルバート・ハーマンは、演繹論理学は正しい推論ではなく命題間の関係を探究すると主張する。彼はこれらの関係が人々の信念変化の方法を直接決定しないと論じる。

論理的形式体系と非論理的形式体系

論理学の性質を決定するひとつのアプローチは、「論理学」と呼ばれる異なる形式体系を研究してそれらすべてに本質的なもの、すなわちそれらを論理学たらしめるものを決定することである。 論理学の形式体系は、公理と呼ばれる特定の原理に基づく論理的真理の体系化である。 形式論理学について、論理学の哲学の中心的な問いは何が形式体系を論理の体系にするか、すなわち記号の単なる集まりとその操作規則ではなく論理体系にするかである。 その記号とその操作の仕方が、妥当な論証に関する基本的な直観を反映するように解釈されうることが中心的な要件のひとつであると論じられてきた。これはたとえば、真理値があり一部の記号の振る舞いが否定や連言のような論理演算子に対応することを意味する。

メタ論理学者は時として、論理的完全性が論理体系の必要条件であると主張する。 形式体系はその公理からそれに属するすべての定理を導出できる場合に完全である。 これは完全な形式体系のみが論理体系を構成すると理解されるべきであることを意味する。この見方によれば一階論理は論理体系を構成する。 しかしこれはまた、高階「論理学」が不完全であるために厳密な意味では論理学ではないことも意味する。

妥当な推論または論理的真理に基づく概念

論理学はしばしば妥当または正しい推論の研究として定義される。 この概念では、正しい推論と誤った推論の差異についての一般的な説明を提供することが論理学の課題である。推論は前提と結論のセットである。前提の真が結論の真を確保する場合、すなわち結論が前提から帰結する場合に推論は妥当である。 論理学を定義する別の方法は、論理的真理の研究としての定義である。 論理的真理は特別な形の真理であり、物事のあり方、すなわちどの可能世界が現実であるかに依存しない。論理的に真な命題はすべての可能世界で真である。 その真理はそれが含む用語の意味のみに基づき、いかなる経験的事実の問題からも独立している。 これら二つの概念の間には重要な連関がある。前提から結論への推論は、前提から結論への実質条件法が論理的に真である場合に妥当である。

構文論または意味論に基づく概念

論理学が妥当な推論または論理的真理の研究として定義されても、それらの正確な基準については開かれたままである。これらの基準を規定する重要な二つの方法がある。構文論的アプローチと意味論的アプローチである。これらはそれぞれ演繹論的アプローチとモデル論的アプローチとも呼ばれる。 構文論的アプローチは、前提と結論の構文論的または形式的な特徴のみに基づいてこれらの特徴を捉えようとする。 これは通常、自然言語の曖昧さや不規則性から独立してこれらの特徴を明示的にするために形式的記号論で表現することによって達成される。 この形式主義では、論証の妥当性は論証の構造、具体的には前提と結論で使用される論理定項にのみ依存する。 この見方では、命題はそれらの構成要素を同様のカテゴリーに属する要素で置換しても論理定項を保持したまま、真な前提と偽な結論を生み出すことができない場合に限り、命題の群から論理的に帰結する。 演繹は推論規則を用いることによって行われる。

構文論的アプローチの問題は、形式言語の使用がその中心にあることだ。しかし論理学の問題、すなわち妥当な推論と論理的真理の問題は形式言語だけでなく自然言語にも見られる。 また、論理的記号と非論理的記号をどのように区別するかが必ずしも明確でないという困難もある。この区別は妥当な推論または論理的真理の定義におけるその役割により、構文論的アプローチの中心に位置する。

意味論的アプローチは一方で、言語と現実の関係に焦点を当てる。論理学では、この関係の研究はしばしばモデル理論と呼ばれる。 アルフレッド・タルスキによって当初考案されたこのアプローチは、論理的真理を文で使用される論理定項ではなく、それらの文を解釈するために用いられる集合論的構造に基づいて特徴づける。 このアプローチの背後にある考えは、文はそれ自体で真または偽なのではなく、解釈との関係においてのみ真または偽であるというものだ。 解釈は通常、文で使用される記号と対象の領域との間の関数として集合論的に理解される。こうした関数は個別定数を領域の個別要素に、述語を領域の要素のタプルに割り当てる。 文（または様々な文からなる理論）の解釈は、この解釈に従って文が真である場合にその文のモデルと呼ばれる。 文はすべての解釈で真である場合、すなわちすべての解釈がその文のモデルである場合に論理的に真である。

論理学の種類

競合する多数の論理体系から選択しなければならないという問題は比較的最近のことである。ジョージ・ブール・ベルナルト・ボルツァーノ・フランツ・ブレンターノ・ゴットロープ・フレーゲらの業績まで、二千年以上にわたってアリストテレスの三段論法が論理学の規範として扱われ、実質的な改善はほとんどなかった。 これらの発展はしばしば論理学の表現の柔軟性を高め、特定の使用領域に適応させる必要性によって促された。 論理体系の現代的な増殖によって提起された論理学の哲学の中心的な問題は、これらの体系が互いにどのように関連しているかを説明することである。 これはなぜこれらのすべての形式体系が「論理学」という称号を持つのかという問いをもたらす。別の問いは、これらの体系のうち一つだけが正しいかどうか、それとも唯一の普遍的論理学の代わりに複数の論理体系の多元性が可能かである。

形式論理学と非形式論理学

論理学と論理学の哲学は伝統的に主に形式的論証、すなわち形式言語で表現された論証に焦点を当ててきた。しかし自然言語に見られる非形式的論証の研究も含んでいる。 形式論理学は通常、論理学の典型的な形式と見なされるが、様々な現代的発展は形式論理学だけではすべての問題を解決できない多くの実践的目的のために非形式論理学の重要性を強調してきた。

形式論理学は推論または論証の妥当性に、その形式のみに基づいて、すなわち具体的な内容や使用される文脈とは独立して関心を持つ。 形式論理学の重要な特徴は、妥当な論証についてその前提の真がその結論の真を確保すること、すなわち前提が真で結論が偽であることは不可能であることである。

非形式論理学は一方で、特定の論証の事例が良いか悪いかを評価しようとするより具体的な方向性を持つ。 これは問題の論証の一般的な形式だけでなく、論証の前提として用いられる内容と論証が用いられる文脈も研究する必要をもたらす。 非形式論理学が研究する論証は通常自然言語で表現される。

これらの評価に失敗した論証は誤謬（fallacy）と呼ばれる。形式的誤謬は形式論理学の範囲内の誤謬であり、非形式的誤謬は非形式論理学に属する。

古典論理学と非古典論理学

形式論理学の領域内で、重要な区別は古典論理学と非古典論理学の間にある。古典論理学という用語は主として命題論理と一階論理を指す。 それは大多数の論者に受け入れられ使用される支配的な論理体系である。しかし論理学の哲学は非古典論理学または代替論理学にも関心を持つ。 これらは拡張論理と逸脱論理に分けられることがある。拡張論理は古典論理学の拡張であり、古典論理学の基本的な形式主義と公理を受け入れるが、様相論理学における「可能性」と「必然性」の記号や時制論理学における「いつか」と「常に」の記号のような新たな論理的語彙で拡張する。 逸脱論理は一方で、古典論理学のある中核的な仮定を否定する。 それらは古典論理学とは異なる公理を使用し、しばしばどの推論が妥当かについてより制限的である。それらは古典論理学と相容れないという意味で「逸脱」しており、その競合者と見なされうる。

古典論理学

古典論理学という用語は主として命題論理と一階論理を指す。 通常哲学者によって論理学の典型的な形式として扱われ、様々な分野で用いられる。これは少数の中心的な論理概念に関心を持ち、これらの概念が妥当な推論において果たす役割を規定する。 これらの核心的概念には、「すべて」や「ある」などの考えを表現する量化子と、「かつ」「または」「ならば」などの命題結合子が含まれる。

拡張論理

拡張論理は古典論理学の公理と核心的語彙を受け入れる。これは古典論理学の定理がそれらでも妥当であることに反映される。しかしそれらは追加の新記号と定理を含めることで古典論理学を超える。 これらの変更の目的は通常、論理的扱いを新たな領域に適用するか、より高い水準の抽象化を導入することである。この意味で逸脱論理は通常古典論理学の競合者と見なされ、拡張論理は古典論理学の補足と見なされる。 拡張論理の重要な例には様相論理学と高階論理が含まれる。

逸脱論理

逸脱論理は、どの推論が妥当かの説明を与えるという古典論理学と同じ目標を持つという意味で論理学の形式である。それらは異なる説明を与えることで古典論理学と異なる。直観論理は、たとえば古典論理学では妥当な推論の形式である排中律を否定する。 自由論理は存在論的前提が少ない点で古典論理学と異なる。多値論理は「真」と「偽」以外の追加の真理値を許す論理学であり、真理の二値性の原理を否定する。

基本概念

真理

論理学において真理は通常、命題または文の性質として見なされる。それは論理学において中心的な役割を果たす。妥当性はしばしば真理の観点で定義されるためである。推論は、前提が真で結論が偽であることが不可能な場合に限り妥当である。 真理の理論は真理の性質を特徴づけようとする。 対応説によれば、命題は現実に対応する場合、すなわち物事を実際のあり様で表現する場合に真である。整合説は一方で真理を整合性と同一視する。真理の実用説によれば、命題が真かどうかは実践との関係に依存する。デフレ主義は真理をそれ自体に興味ある性質を欠いた比較的空虚な概念と見なす。この見方では、命題が真であると主張することはその命題そのものを主張することと同じである。 論理学の哲学における真理に関わる他の重要なトピックは、真理の価値・嘘つきのパラドックス・真理の二値性の原理などである。

論理的真理

論理学において中心的なのは論理的真理の概念である。論理的真理はしばしば分析・総合の区別の観点で理解される。命題はその真理が構成する用語の意味のみに依存する場合に分析的に真である。総合的命題は一方で、その真理が非論理的または経験的要因に依存することによって特徴づけられる。 これは分析的真理がトートロジーであり、その否定が矛盾を含意するのに対し、総合的命題は真または偽でありうると述べることで表現されることがある。 この区別が支持可能かどうかは問題にされてきた。たとえばウィラード・ヴァン・オーマン・クワインは純粋な分析的真理はなく、すべての命題はある程度経験的であると論じた。

論理的真理が分析的真理と同一視できるかは必ずしも受け入れられない。異なるアプローチは、論理的真理をすべての用語の意味の小さなサブセット、いわゆる論理定項に関して特徴づける。 これらには「かつ」や「ならば」のような命題結合子、「ある」や「すべて」のような量化子、そして同一性が含まれる。

前提と結論

前提と結論の性質についての様々な議論がある。それらは真理の担い手でなければならない、すなわち真または偽でなければならないことは広く合意されている。 これはそれらが論理的役割を果たすために必要である。 伝統的にそれらは思考または命題として、すなわち精神的または抽象的対象として理解されてきた。このアプローチは、こうした種類の実体に明確な同一性基準を規定することが困難であることから、様々な哲学者に否定されてきた。 代替的なアプローチは、文のみが前提と結論として機能できると主張する。

命題と文の重要な側面は、それらが単純または複雑でありうることだ。 複合命題は命題結合子によって互いに結びついた単純命題から構成される。単純命題はその部分として他の命題を持たない。しかしそれらは通常他の実体、すなわち単称語や述語のような命題より小さな部分によっても構成されると理解される。

推論と論証

推論は前提から結論へ至る推理の過程である。 前提と結論の関係は「含意」または「論理的帰結」と呼ばれる。論証は前提・結論・それらの間の関係から構成される。推論と論証は正しくも誤っていてもよい。これは前提が実際に結論を支持するか、すなわち結論が前提から帰結するかによる。

推論の重要な区別は演繹的推論と拡充的推論（単調的推論と非単調的推論とも呼ばれる）の間にある。 アルフレッド・タルスキによれば、演繹的推論には三つの中心的特徴がある。(1) 形式的である、すなわち前提と結論の形式のみに依存する。(2) ア・プリオリである、すなわちそれが成立するかどうかを決定するために感覚経験は必要ない。(3) 様相的である、すなわち他のいかなる状況とも独立して与えられた命題に必然的に成立する。 演繹的推論は必然的に真理保存的である。前提がすべて真であれば結論は偽にならない。

拡充的推論は一方で、新たな情報を提供することで情報を与えることを目的とする。これは必然的に真理保存的な性質を失う代償において行われる。 拡充的推論の最も顕著な形式は帰納である。演繹的推論は推論の典型的な形式であり論理学の主要な焦点である。しかし経験科学や日常的言説で行われる多くの推論は拡充的推論である。

妥当性と誤謬

論理学の中心的な問題は正しいまたは妥当な論証と誤りまたは無効な論証をどのように区別するかである。 特に興味深いのは、いわゆる誤謬（fallacy）であり、正しいように見えるが誤った論証である。 それらは誤りであるのは前提が想定された仕方で結論を支持しないためである。

誤謬の重要な区別は形式的誤謬と非形式的誤謬の間に引くことができる。形式的誤謬は形式論理学に関わり、無効な推論規則を用いることによって形式のみの誤りを含む。 非形式的誤謬は非形式論理学に属し、その主な誤りの源は内容と文脈の水準に見られる。

定義規則と戦略規則

論理学の規則における重要な区別は、定義規則と戦略規則の間のものである。 推論規則は定義規則であり、どの推論が妥当かを支配する。論理学の主要な目的が妥当な推論と無効な推論を区別することである一方、論理学にはしばしば副次的な目的も結びつけられる。一定の前提集合に基づいて与えられた命題を証明または反証するためにどの推論ステップが必要かを決定することである。 これは戦略規則の領域である。定義規則と戦略規則の違いは論理学だけでなく様々なゲームにも見られる。チェスでは定義規則がビショップは斜めにのみ動けると規定し、戦略規則は許可された手が勝利のためにどのように使われるかを述べる。

論理学の形而上学

論理学の哲学は多くの点で数学の哲学、特にその形而上学的側面に密接に関連する。 論理学の形而上学は、その対象とそれらを支配する法則の形而上学的地位に関わる。論理学の形而上学内の理論は大まかに実在論と非実在論の立場に分けられる。

論理的実在論者は論理学の法則が客観的であり、すなわち人間とその思考方法から独立していると主張する。 この見方では、論理学に見られる構造は世界それ自体の構造である。 論理的実在論はプラトン主義の観点から、すなわち論理学の対象を含む抽象的対象の可知的領域があるという観点から解釈されることが多い。 この見方では、論理学は発明されるのではなく発見される。

論理的実在論は反実在論者によって否定される。反実在論者は論理学が現実の客観的特徴を記述しないと主張する。論理学についての反実在論はしばしば概念主義または心理主義の形をとる。ここでは論理学の対象が精神的概念から構成されるか、論理法則が心理法則と同一視される。

規約主義（conventionalism）は別の形の反実在論であり、論理的真理はそこで用いられる用語の意味に依存し、それが今度は一群の行為者によって採択された言語的慣習に依存するとされる。

他の諸学との関係

存在論

存在論における中心的な問題は存在の問題、すなわち実体または特定の種類の実体が存在するかどうかである。 存在の問題は名前のような単称語と存在量化子（ $\exists x$カテゴリ