Philosophy of Logic

ウィキペディア

論理哲学

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/07/27 00:30 UTC 版)

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "論理哲学" – ニュース · 書籍 · スカラー · 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バー理論 構文木 構文解析
非古典論理 様相論理学 真理様相（英語版） 価値様相（英語版） 義務論理 信念様相（英語版） 認識論理 時相論理 線形時相論理 直観主義 直観論理 構成的解析（英語版） ハイディング算術（英語版） 直観主義型理論 構成的集合論（英語版） ファジィ論理 真理の程度（英語版） ファジィルール（英語版） ファジィ集合 ファジィ有限要素（英語版） ファジィ集合演算（英語版） 部分構造論理 構造規則（英語版） 適切さの論理 線形論理 矛盾許容論理 真矛盾主義 様相記述論理（英語版） 存在論 オントロジー言語（英語版）
論理学者 アンダーソン アリストテレス イブン・ルシュド イブン・スィーナー ベイン（英語版） バーワイズ（英語版） ベルナイス ブール ブーロス（英語版） カントール カルナップ チャーチ クリュシッポス カリー ド・モルガン フレーゲ ギーチ ゲンツェン ゲーデル ヒルベルト クリーネ クリプキ ライプニッツ レーヴェンハイム（英語版） ペアノ パース パトナム クワイン ラッセル シュレーダー（英語版） スコトゥス スコーレム スマリヤン タルスキ チューリング ホワイトヘッド オッカムのウィリアム ウィトゲンシュタイン ツェルメロ
カテゴリ

この項目は、哲学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（Portal:哲学）。

• 表示
• 編集

Weblio日本語例文用例辞書

「Philosophy of logic」の例文・使い方・用例・文例

• Microsoftがβ版をランチするのは「NetShow streaming server」で動画や音声をオンデマンドで提供する。
• 《主に米国で用いられる》 ＝ 《主に英国で用いられる》 an admiral of the fleet 海軍元帥.
• 篏入的 r 音 《英音の India office /ndiərfɪs/の /r/の音》.
• ＝《口語》 These kind of stamps are rare. この種の[こういう]切手は珍しい.
• (英国の)運輸省. the Ministry of Education(, Science and Culture) (日本の)文部省.
• は of の誤植です.
• を off と誤植する.
• あいまい母音 《about, sofa などの /ə/》.
• 副詞的小詞 《on, in, out, over, off など》.
• 迂言的属格 《語尾変化によらず前置詞によって示す属格; たとえば Caesar's の代わりの of Caesar など》.
• çon of garlic [humor]. それにはガーリック[ユーモア]がちょっぴり必要だ.
• 《主に米国で用いられる》 ＝ 《主に英国で用いられる》 the Speaker of the House of Commons 下院議長.
• 《主に米国で用いられる》 ＝ 《主に英国で用いられる》 the Committee of Ways and Means 歳入委員会.
• 初めて読んだ英文小説は“The Vicar of Wakefield”
• （違法罪―a sin of commission―に対する）怠惰罪
• 『each』、『every』、『either』、『neither』、『none』が分配的、つまり集団の中の1つのものを指すのに対し、『which of the men』の『which』は分離的である
• 『hot off the press（最新情報）』は『hot（最新の）』の拡張感覚を示している
• 『Each made a list of the books that had influenced him』における制限節は、リストに載った本を制限節で定義された特定の本だけに制限する
• 臨床的鬱病を治療するのに用いられる三環系抗鬱薬（商品名ImavateとTofranil）
• 『sunshine-roof』は『sunroof（サンルーフ）』に対する英国の用語である