Philosophical Logic

ウィキペディア

哲学的論理学

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/06/01 03:17 UTC 版)

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

哲学的論理学（英: Philosophical logic）は、論理学の方法を用いて哲学的な問題を扱う論理学の一分野である。

論理学の哲学が論理学についての考察であれば、哲学的論理学は認識論的、形而上学的な問題について論理学の知識をもとに検討するものと考えることができる。しかし哲学的論理学は立場が曖昧で、とくに日本では「哲学的論理学」という用語でもって特別の分野を意味することは少ない。また哲学的論理学は、19世紀末フレーゲに始まる数理論理学の発達以前の、ギリシアより続く伝統的な論理学の伝統を継続するものと考えることもできる。

関連項目

• 非形式論理学
• ゲーム意味論
• メレオロジー
• 誤謬
• 自然演繹
• 存在グラフ
• 矛盾許容論理
• 様相論理学
• 量化
• 論理学の哲学
• 論理哲学論考
• コリン・マッギン
• デイヴィド・ルイス
• エリザベス・アンスコム
• バス・ファン・フラーセン

外部リンク

• Journal of Philosophical Logic, Springer SBM

表 話 編 歴 哲学
西洋哲学 - 東洋哲学
歴史	古代哲学 インド哲学 ヒンドゥー哲学 ジャイナ哲学 仏教哲学 中国哲学 ギリシア哲学 ヘレニズム哲学 ローマ哲学 ペルシア哲学 中世哲学 キリスト教哲学 スコラ学 イスラーム哲学 初期イスラーム哲学（英語版） ユダヤ哲学 ユダヤ・イスラーム伝統哲学（英語版） 近世哲学 経験論 合理論 現代哲学 大陸哲学 分析哲学
一覧	概要 一覧（英語版） 学派（英語版） 用語（英語版） 哲学者 運動（英語版）
分野	形而上学 存在論 認識論 論理学 テーマ別 行動 芸術 生物学 化学 映画（英語版） 教育 経済学 環境 地理 情報 医療（英語版） 歴史 人類学 ユーモア（英語版） 言語 法 文学（英語版） 数学 心 音楽 存在 哲学 物理学 政治 心理学 宗教 科学 社会科学 テクノロジー 戦争
学派	ソクラテス以前 アカデメイア派 プラトニズム 新プラトン主義 逍遙学派 アリストテレス主義 ストア派 キュニコス派 懐疑論 エピクロス派 アヴェロエス主義（英語版） アヴィケンナ主義（英語版） スコラ学 トマス主義 ユマニスム 義務論 快楽主義 功利主義 倫理的利己主義 個別主義 フランス・スピリチュアリスム ニヒリズム 実存主義 ヒューマニズム 博愛主義 フェミニズム哲学 フェミニズム 反出生主義 一元論 二元論 独我論 実在論 理神論 唯物論 ヘーゲル学派 現象学 解釈学 新カント派 京都学派 法実証主義 論理実証主義 古典的自由主義 マルクス主義 唯物弁証法 アナキズム 新哲学者 批判理論 モダニズム 自然主義（英語版） 精神分析学 日常言語学派 ポストヒューマニズム（英語版） プラグマティズム プロセス哲学 相対主義 脱構築主義 ポストモダニズム 構造主義 ポスト構造主義 随伴現象説 機能主義 スコットランド常識学派 アメリカ合衆国の哲学 アフリカーナ哲学 一覧（英語版）
ポータル カテゴリ 関係記事履歴

表 話 編 歴 分析哲学
関連記事	重点分野 認識論 言語哲学 数理哲学 科学哲学 転回 徳論的転回 言語論的転回 論理 古典論理 逸脱論理 数理論理 非古典論理 矛盾許容論理 哲学的論理
理論	反実在論 オーストラリア実在論 指示の因果説 記述主義 情動説 フェミニズム 機能主義 論理的原子論 論理実証主義 マルクス主義 神経哲学 日常言語学派 プラグマティズム キエティスム 構造主義科学論 感覚与件
概念	分析（分析のパラドックス） 分析と合成の区別 反事実的条件法 自然種 反射的均衡 付随性 モダリティ アクチュアリズム 形而上学的必然性 可能性 可能世界論 実在論 固定指示子
哲学者	ノーム・チョムスキー ウィリアム・レーン・クレイグ キース・ドネラン ポール・ファイヤアーベント ゴットロープ・フレーゲ エドマンド・ゲティア ヤーッコ・ヒンティッカ ジュゼッペ・ペアノ カール・ポパー ネイサン・サーモン ラス・シェーファー＝ランダウ アーネスト・ソーサ バリー・ストラウド アルフレト・タルスキ ヤン・ウカシェヴィチ マイケル・ウォルツァー ニコラス・ウォルターストルフ オーストラリア学派 デイヴィッド・マレット・アームストロング デイヴィッド・チャーマーズ J・L・マッキー ピーター・シンガー J・J・C・スマート ケンブリッジ学派 アリフ・アーメド チャーリー・ブロード カシミール・レヴィー ノーマン・マルコム G・E・ムーア グレアム・プリースト バートランド・ラッセル フランク・P・ラムゼイ ヘンリー・シジウィック ルートヴィヒ・ウィトゲンシュタイン オックスフォード学派 （日常言語学派） G・E・M・アンスコム J・L・オースティン マイケル・ダメット アントニー・フリュー フィリッパ・フット ピーター・ギーチ ポール・グライス R・M・ヘア アラスデア・マッキンタイア デレク・パーフィット ギルバート・ライル ジョン・サール P・F・ストローソン リチャード・スウィンバーン チャールズ・テイラー バーナード・ウィリアムズ ティモシー・ウィリアムソン 論理実証主義 A・J・エイヤー アーネスト・ナーゲル ベルリン学団 カール・グスタフ・ヘンペル ハンス・ライヘンバッハ ウィーン学団 ルドルフ・カルナップ クルト・ゲーデル オットー・ノイラート モーリッツ・シュリック ハーバード学派 ロデリック・チザム ドナルド・デイヴィッドソン ダニエル・デネット ネルソン・グッドマン クリスティン・コースガード トーマス・クーン トマス・ネーゲル ロバート・ノージック ヒラリー・パトナム W・V・O・クワイン ジョン・ロールズ ノートルダム学派 ロバート・アウディ ピーター・ヴァン・インワーゲン アルビン・プランティンガ ピッツバーグ学派 ロバート・ブランダム パトリシア・チャーチランド ポール・チャーチランド アドルフ・グリュンバウム ジョン・マクダウェル ルース・ミリカン アレクサンダー・プルス ニコラス・レッシャー ウィルフリド・セラーズ バス・ファン・フラーセン プラグマティズム スーザン・ハーク ニコラス・レッシャー モートン・ホワイト プリンストン学派 アロンゾ・チャーチ ジェリー・フォーダー デイヴィド・ルイス ジェグォン・キム（金在権） ソール・クリプキ リチャード・ローティ キエティスム ジェイムス・F・コナント アリス・クラリー コーラ・ダイアモンド スタンフォード学派 ナンシー・カートライト ジョン・デュ・プレ ピーター・ガリソン イアン・ハッキング パトリック・サップス
カテゴリ Index

表 話 編 歴 論理学
関連項目 学術的領域 議論学 価値論 批判的思考 再帰理論 形式意味論 論理史 非形式論理学 計算機科学における論理学（英語版） 数理論理学 数学 メタ論理学 メタ数学 モデル理論 哲学的論理学 哲学 論理学の哲学 数学の哲学 証明論 集合論 論理学の歴史 基本概念 アブダクション 分析的と総合的の区別（英語版） 二律背反 アプリオリ 演繹 定義(内包と外延) 記述 帰納 推論 論理的帰結 論理形式（英語版） 論理的含意（英語版） 論理的真理 名前 必要十分条件 意味 パラドックス 可能世界論 前提 確率 理性 推理 参考 意味論 命題 サブスティトゥーション（英語版） 統語論（英語版） 真理 真理値 妥当性 数学記号の表
哲学的論理学 批判的思考と非形式論理学 分析 曖昧 信念 信用性（英語版） 根拠 説明 説明力（英語版） 事実 誤謬 探究 意見 節約 根拠 プロパガンダ 思慮分別（英語版） 推理 関連 修辞学 厳格 漠然（英語版） 論理学の哲学 構成主義 真矛盾主義 虚構主義（英語版） 有限主義（英語版） 形式主義 直観主義 論理的原子論（英語版） 論理主義 唯名論 プラトニック実在論（英語版） プラグマティズム 実在論
メタ論理学と超数学 カントールの定理 決定問題 チャーチのテーゼ 無矛盾性 実効的方法（英語版） 数学基礎論 ゲーデルの完全性定理 ゲーデルの不完全性定理 健全性 完全性 決定可能性 解釈 レーヴェンハイム-スコーレムの定理 メタ定理（英語版） 充足可能性 独立性（英語版） 独立 タイプとトークンの区別 使用と言及の区別
数理論理学 基幹 形式言語 構成規則 形式体系 演繹システム（英語版） 形式的証明 形式意味論 論理式 集合 元 クラス 古典論理 公理 自然演繹 推論規則 有限関係（英語版） 定理 論理的帰結 公理系 型理論 記号 統語論（英語版） 理論（英語版） 名辞論理学（英語版） 命題 推論 論証 妥当性 三段論法 反対の正方形 ベン図 命題論理とブール論理 ブール関数 命題論理 論理演算 真理値表 原子論理式 リテラル 述語論理 量化 全称記号 存在記号 一階述語論理 二階述語論理 高階述語論理 単項述語計算（英語版） 標準形 連言標準形 選言標準形 否定標準形 冠頭標準形 スコーレム標準形 節標準形 集合論 集合 空集合 数え上げ 外延 有限集合 関数 部分集合 冪集合 可算集合 帰納的集合 定義域 値域 順序対 非可算集合 モデル理論 モデル（英語版） 解釈（英語版） 超準モデル 有限モデル理論 真理値 妥当性 証明論 形式的証明 演繹システム（英語版） 形式体系 定理 論理的帰結 推論規則 統語論（英語版） 再帰理論 再帰 帰納的集合 帰納的可算集合 決定問題 チャーチ＝チューリングのテーゼ 計算可能関数 原始再帰関数 表現 真理値表 クワイン・マクラスキー法 カルノー図 存在グラフ 概念地図 オイラー図 ベン図 スパイダー図 タブローの方法 Xバー理論 構文木 構文解析
非古典論理 様相論理学 真理様相（英語版） 価値様相（英語版） 義務論理 信念様相（英語版） 認識論理 時相論理 線形時相論理 直観主義 直観論理 構成的解析（英語版） ハイディング算術（英語版） 直観主義型理論 構成的集合論（英語版） ファジィ論理 真理の程度（英語版） ファジィルール（英語版） ファジィ集合 ファジィ有限要素（英語版） ファジィ集合演算（英語版） 部分構造論理 構造規則（英語版） 適切さの論理 線形論理 矛盾許容論理 真矛盾主義 様相記述論理（英語版） 存在論 オントロジー言語（英語版）
論理学者 アンダーソン アリストテレス イブン・ルシュド イブン・スィーナー ベイン（英語版） バーワイズ（英語版） ベルナイス ブール ブーロス（英語版） カントール カルナップ チャーチ クリュシッポス カリー ド・モルガン フレーゲ ギーチ ゲンツェン ゲーデル ヒルベルト クリーネ クリプキ ライプニッツ レーヴェンハイム（英語版） ペアノ パース パトナム クワイン ラッセル シュレーダー（英語版） スコトゥス スコーレム スマリヤン タルスキ チューリング ホワイトヘッド オッカムのウィリアム ウィトゲンシュタイン ツェルメロ
カテゴリ

Weblio日本語例文用例辞書

「Philosophical logic」の例文・使い方・用例・文例

• 【学術名】 logic, music, rhetoric.