論理哲学とは - わかりやすく解説 Weblio辞書

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方）
出典検索^?: "論理哲学" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2011年12月）

この記事は英語版の対応するページを翻訳することにより充実させることができます。（2024年6月）

翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。

英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。
万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。
信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。
履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。
翻訳後、{{翻訳告知|en|Philosophy of logic|…}}をノートに追加することもできます。
Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。

論理哲学（ろんりてつがく、英語：philosophy of logic）は、哲学の一領域である。それは論理学の地位や方法論についてのメタ学問である。論理学の哲学とも。

論理哲学は、哲学的問題に形式的論理的技術を応用する哲学的論理学 (philosophical logic, philosophical logics) と混同される。

論理学の哲学に関わる基本問題

唯一の正しい論理があるのか、あるいは複数の論理が同じように正しいのか
（排中律のような）論理的原理が正しいかどうかについて真正な不一致は可能なのか
何がある表現を論理定項にさせているのか
論理的帰結・量化・その他の論理的概念の本来の記述とは何か
論理学の範囲はどのくらいか（数学を包含するのか）
論理は規約の問題か
論理は経験的か
論理的必然性の本性とは何か

関連項目

数学の哲学

表話編歴科学哲学のトピックス
科学と非科学	線引き問題反証可能性科学における不正行為境界科学病的科学疑似科学
帰納の問題	ヘンペルのカラス斉一性の原理グルーのパラドックスイドラ
科学理論	パラダイム通約不可能性ハードコアデュエム-クワイン・テーゼ
観測	観測選択効果人間原理
立場	科学的実在論社会構成主義道具主義反実在論
人物	フランシス・ベーコンイマヌエル・カントエルンスト・マッハチャールズ・サンダース・パースマイケル・ポランニーカール・ポパーネルソン・グッドマントーマス・クーンスティーヴン・トゥールミンラカトシュ・イムレポール・ファイヤアーベントイアン・ハッキングバス・ファン・フラーセン内井惣七村上陽一郎戸田山和久伊勢田哲治野家啓一
分野	物理学の哲学セントラルサイエンス生物学の哲学数学の哲学論理学の哲学
言葉	仮説経験推論論理的推論論証妥当性健全性誤謬モデル数理モデル理論科学理論アドホックな仮説演繹帰納アブダクションオッカムの剃刀検証と反証の非対称性検証反証内部観測自然時間空間
causality（因果性）	先後関係と因果関係決定論と非決定論因果律 EPRパラドックスシュレーディンガーの猫
関連項目	認識論記号論心の哲学プラグマティズム論理学の哲学宗教哲学
Category:科学哲学

論理学

関連項目

学術的領域

基本概念

哲学的論理学

批判的思考と非形式論理学	分析曖昧信念信用性（英語版）根拠説明説明力（英語版）事実誤謬探究意見節約根拠プロパガンダ思慮分別（英語版）推理関連修辞学厳格漠然（英語版）
論理学の哲学	構成主義真矛盾主義虚構主義（英語版）有限主義（英語版）形式主義直観主義論理的原子論（英語版）論理主義唯名論プラトニック実在論（英語版）プラグマティズム実在論

メタ論理学と超数学

数理論理学

基幹	形式言語構成規則形式体系演繹システム（英語版）形式的証明形式意味論論理式集合元クラス古典論理公理自然演繹推論規則有限関係（英語版）定理論理的帰結公理系型理論記号統語論（英語版）理論（英語版）
名辞論理学（英語版）	命題推論論証妥当性三段論法反対の正方形ベン図
命題論理とブール論理	ブール関数命題論理論理演算真理値表原子論理式リテラル
述語論理	量化全称記号存在記号一階述語論理二階述語論理高階述語論理単項述語計算（英語版）
標準形	連言標準形選言標準形否定標準形冠頭標準形スコーレム標準形節標準形
集合論	集合空集合数え上げ外延有限集合関数部分集合冪集合可算集合帰納的集合定義域値域順序対非可算集合
モデル理論	モデル（英語版）解釈（英語版）超準モデル有限モデル理論真理値妥当性
証明論	形式的証明演繹システム（英語版）形式体系定理論理的帰結推論規則統語論（英語版）
再帰理論	再帰帰納的集合帰納的可算集合決定問題チャーチ＝チューリングのテーゼ計算可能関数原始再帰関数
表現	真理値表クワイン・マクラスキー法カルノー図存在グラフ概念地図オイラー図ベン図スパイダー図タブローの方法 Xバー理論構文木構文解析

非古典論理

様相論理学	真理様相（英語版）価値様相（英語版）義務論理信念様相（英語版）認識論理時相論理線形時相論理
直観主義	直観論理構成的解析（英語版）ハイディング算術（英語版）直観主義型理論構成的集合論（英語版）
ファジィ論理	真理の程度（英語版）ファジィルール（英語版）ファジィ集合ファジィ有限要素（英語版）ファジィ集合演算（英語版）
部分構造論理	構造規則（英語版）適切さの論理線形論理
矛盾許容論理	真矛盾主義
様相記述論理（英語版）	存在論オントロジー言語（英語版）