此条
目 め 页的
主題 しゅだい 是 ぜ 关于逻辑
和 わ 逻辑
学科 がっか 的 てき 分 ぶん 类、历史
与 あずか 发展。关于
黑 くろ 格 かく 的 てき 作品 さくひん 《逻辑
学 がく 》，請見「
大 だい 」。
邏輯 （logic）又 また 稱 しょう 理 り 則 そく 論理 ろんり 推理 すいり 推論 すいろん 是 ぜ 有效 ゆうこう 或 ある 正 せい 推論 すいろん 的 てき 研究 けんきゅう [ 1] [ 2] 更 さら 地 ち 是 ぜ 分析 ぶんせき 和 わ [ 3] 的 てき 目的 もくてき 可 か 来 らい 他人 たにん 的 てき 或 ある 自己 じこ 论证 的 てき [ 4]
邏輯可分 かぶん 為 ため 形式 けいしき 與 あずか 非 ひ 形式 けいしき
邏輯被 ひ 使用 しよう 在 ざい 大部 たいぶ 智能 ちのう 活動 かつどう 中 ちゅう 但 ただし 主要 しゅよう 在 ざい 心理 しんり 学 がく 哲學 てつがく 語義 ごぎ 學 がく 數學 すうがく 推论统计学 がく 、脑科学 かがく 、法律 ほうりつ 和 わ 計算 けいさん 機 き 科學 かがく 等 とう 領域 りょういき 視 し 為 ため 一門 いちもん 學科 がっか 討論 とうろん 邏輯論證 ろんしょう 一般會呈現的一般形式，哪種形式 けいしき 是 ぜ 有效 ゆうこう 的 てき 的 てき 謬論 。
邏輯推理 すいり 通常 つうじょう 可分 かぶん 為 ため 三 さん 歸納 きのう 推理 すいり 溯 さかのぼ 因 いん 推理 すいり 和 わ 演繹 えんえき 推理 すいり 科學 かがく 方法 ほうほう 都 と 屬 ぞく 歸納 きのう 推理 すいり 沒 ぼつ 有 ゆう 必然 ひつぜん 性 せい 數 かず 學則 がくそく 屬 ぞく 演繹 えんえき 推理 すいり
在 ざい 哲學 てつがく 裡 うら 被 ひ 應用 おうよう 在 ざい 大 だい 多數 たすう 的 てき 主要 しゅよう 領域 りょういき 之 の 中 なか 形 かたち 上 うえ 學 がく 宇宙 うちゅう 論 ろん 本體 ほんたい 論 ろん 知識 ちしき 論 ろん 倫理 りんり 學 がく
在 ざい 數學 すうがく 裡 うら 是 ぜ 指 ゆび 形式 けいしき 和 わ 数理 すうり 形式 けいしき 是 ぜ 研究 けんきゅう 某 ぼう 個 こ 形式 けいしき 語 ご 言 げん 的 てき 有效 ゆうこう 推論 すいろん [ 5] 主要 しゅよう 是 ぜ 演繹 えんえき 推理 すいり 在 ざい 辯證法 べんしょうほう 中 ちゅう [ 6] 数理 すうり 是 ぜ 研究 けんきゅう 抽象 ちゅうしょう 和 わ 数学 すうがく 基本 きほん 的 てき
在 ざい 心理 しんり 脑科学 かがく 、语义学 がく 、法律 ほうりつ 裡 うら 是 ぜ 研究 けんきゅう 人 じん 思想 しそう 推理 すいり 的 てき
在 ざい 学 がく 推论统计学 がく 裡 うら 是 ぜ 研究 けんきゅう 最大 さいだい 可能 かのう 的 てき 主要 しゅよう 是 ぜ 歸納 きのう 推理 すいり 溯 さかのぼ 因 いん 推理 すいり
在 ざい 電腦 でんのう 科學 かがく 裡 うら 是 ぜ 研究 けんきゅう 各 かく 法的 ほうてき 性 せい 可能 かのう 性 せい 和 かず 在 ざい 机 つくえ 器 き 上 じょう 主要 しゅよう 是 ぜ 歸納 きのう 推理 すいり 溯 さかのぼ 因 いん 推理 すいり 也有 やゆう 在 ざい 歸納 きのう 推理 すいり 的 てき 研究 けんきゅう
从古 こ 文明 ぶんめい 古 こ 印度 いんど [ 註 1] 中國 ちゅうごく 古代 こだい [ 註 2] 和 わ 古希 こき 都 みやこ 有 ゆう 對 たい 進行 しんこう 研究 けんきゅう 在 ざい 西方 せいほう 亞 あ 里 さと 德 とく 將 はた 建立 こんりゅう 成 なり 一門 いちもん 正式 せいしき 的 てき 學科 がっか 並 なみ 在 ざい 哲學 てつがく 中 ちゅう 給 きゅう 予 よ 一 いち 個 こ 基本 きほん 的 てき 位置 いち
邏輯（英語 えいご logic ）的 てき 字 じ 根 ね 來 き 自 じ 古希 こき λογική ，羅 ら 馬 うま 化 か logikḗ ），意 い 具有 ぐゆう 理由 りゆう 的 てき 知 ち 的 てき 的 てき 又 また 与 あずか 邏各斯 （古希 こき λόγος ，羅 ら 馬 うま 化 か lógos ）同 どう 源 みなもと 意 い 詞 し 語 ご 思想 しそう 概念 がいねん 理念 りねん 论据 、論點 ろんてん 理由 りゆう 原 はら 推理 すいり [ 7] 譯 やく 為 ため 法語 ほうご logique ，再 さい 發展 はってん 為 ため 英語 えいご 的 てき 歐 おう 洲 しゅう 語 ご 言 げん 均 ひとし 雷同 らいどう 語 ご 意 い 大利 おおとし 西 にし 班 はん 牙 きば 葡萄 ぶどう 牙 きば 等 とう
李 り 之 の 藻 も 与 あずか 人 ひと 翻 こぼし 一本 いっぽん 学 がく 著作 ちょさく 名 めい 理 り 探 さがせ 清朝 せいちょう 末 まつ 年 ねん 有 ゆう 著作 ちょさく 年 ねん 嚴 いむ 復 ふく 譯 わけ 穆 きよし 學 がく 時 じ 將 はた 譯 やく 為 ため 名 な 但 ただし 合 あい 名家 めいか 或 ある 者 もの 名 めい 教 きょう 之 これ 名 めい 學 がく 中 ちゅう 名 な 的 てき 本意 ほんい 同 どう 本 ほん 作中 さくちゅう 第 だい 一 いち 但 ただし 他 た 提 ひさげ [ 8] 梁 りょう 在 ざい 墨 ぼく 子 こ 之 の 学 がく 提 ひさげ 採用 さいよう 和製 わせい 漢語 かんご 的 てき 意譯 いやく 論理 ろんり [ 9] 年 ねん 孫 まご 文 ぶん 在 ざい 文学 ぶんがく 作文 さくぶん 為 ため 證 しょう 提 ひさげ 譯 やく 為 ため 理 り 則 そく [ 10] 年 ねん 章 あきら 士 し 在 ざい 指 ゆび 要 よう 第 だい 一 いち 次 じ 将 はた 作 さく 著作 ちょさく 的 てき 他 た 意 い 法 ほう 精 せい 的 てき 意 い 由 よし 分 ぶん 大 だい 最 さい 作 さく 的 てき 流 りゅう 来 らい [ 11]
邏輯本身 ほんみ 是 ぜ 指 ゆび 是 ぜ 推論 すいろん 和 わ 證明 しょうめい 的 てき 思想 しそう 過程 かてい 是 ぜ 研究 けんきゅう 有效 ゆうこう 推論 すいろん 和 わ 證明 しょうめい 的 てき 原則 げんそく 與 あずか 標準 ひょうじゅん 的 てき 一門 いちもん 學科 がっか 作為 さくい 一 いち 個 こ 形式 けいしき 科學 かがく 透過 とうか 對 たい 推論 すいろん 的 てき 形式 けいしき 系統 けいとう 與 あずか 自然 しぜん 語 ご 言 げん 中 なか 的 てき 論證 ろんしょう 等 ひとし 來 らい 研究 けんきゅう 並 なみ 分類 ぶんるい 命題 めいだい 與論 よろん 證 しょう 的 てき 結構 けっこう [ 12]
逻辑的 てき 是非 ぜひ 常 つね 的 てき 從 したがえ 對 たい 謬論 與 あずか 悖 もと 論 ろん 的 てき 研究 けんきゅう 之 の 類 るい 的 てき 核心 かくしん 議題 ぎだい 到 いた 利用 りよう 機 き 率 りつ 來 らい 推論 すいろん 包含 ほうがん 因果 いんが 論 ろん 的 てき 論證 ろんしょう 等 とう 專業 せんぎょう 的 てき 推理 すいり 分析 ぶんせき 在 ざい 今日 きょう 亦 また 常 つね 被 ひ 使用 しよう 在 ざい 論辯 ろんべん 理論 りろん 之 これ 中 ちゅう 参 まいり 非 ひ 形式 けいしき [ 13]
传统上 じょう 被 ひ 作 さく 哲学 てつがく 的 てき 一 いち 支 ささえ 来 らい 研究 けんきゅう 和 わ 文法 ぶんぽう 與 あずか 修辭 しゅうじ 一同 いちどう 被 ひ 稱 しょう 為 ため 古典 こてん 三 さん 古希 こき 亚里斯多德 とく 系 けい 研究 けんきゅう 了 りょう 系 けい 介 かい 著作 ちょさく 集 しゅう 工具 こうぐ 中 ちゅう [ 14] [ 15] 工具 こうぐ 是 これ 亚里士多 した 德 とく 学派 がくは 的 てき 即 そく 逍遥 しょうよう 学派 がくは 将 はた 他 た 的 てき 六 ろく 篇 へん 逻辑 的 てき 著作 ちょさく 成 なり 的 てき 一部 いちぶ 著作 ちょさく 集 しゅう 名 めい 六 ろく 篇 へん 著作 ちょさく 分 ぶん 范畴篇 へん 》、《解 かい 前 ぜん 分析 ぶんせき 篇 へん 后 きさき 分析 ぶんせき 篇 へん 论辩篇 へん 》和 かず 辨 べん
自 じ 十 じゅう 九 きゅう 世紀 せいき 中葉 ちゅうよう 形式 けいしき 已 やめ 被 ひ 作為 さくい 數學 すうがく 基礎 きそ 研究 けんきゅう 當 とう 中 ちゅう 經常 けいじょう 被 ひ 稱 しょう 之 の 為 ため 符號 ふごう 年 ねん 阿 おもね 弗 どる 烈 れつ 諾 だく 夫 おっと 懷 ふところ 海 うみ 德 とく 與 あずか 伯 はく 特 とく 蘭 らん 羅 ら 素 もと 寫 うつし 成 なり 了 りょう 数学 すうがく 原理 げんり 試 ためし 圖 ず 將 はた 形式 けいしき 地 ち 建立 こんりゅう 成 なり 數學 すうがく 的 てき 基 もと 石 せき [ 16] 不 ふ 過 か 除 じょ 了 りょう 基本 きほん 的 てき 以外 いがい 當時 とうじ 的 てき 系統 けいとう 已 やめ 不 ふ 再 さい 被 ひ 使用 しよう 大部 おおぶ 被 ひ 集合 しゅうごう 論 ろん 所 ところ 取 と 代 だい 當 とう 對 たい 形式 けいしき 的 てき 研究 けんきゅう 漸 やや 漸 やや 地 ち 擴張 かくちょう 了 りょう 之 これ 後 ご 研究 けんきゅう 再 さい 只 ただ 基礎 きそ 的 てき 議題 ぎだい 之 これ 後 ご 的 てき 各個 かっこ 數學 すうがく 領域 りょういき 被 ひ 合 ごう 稱 たたえ 為 ため 數理 すうり 形式 けいしき 的 てき 發展 はってん 和 わ 電腦 でんのう 上 じょう 的 てき 應用 おうよう 是 ぜ 電腦 でんのう 科學 かがく 的 てき 基礎 きそ [ 17] 戈 ほこ 特 とく 弗 どる 里 さと 德 とく 尼 あま 茨 いばら 乔治·布 ぬの 、戈 ほこ 特 とく 洛 らく 布 ぬの 弗 どる 雷 かみなり 格 かく 大 だい 希 まれ 特 とく 库尔特 とく ，等 とう 等 とう 都 と 在 ざい 過程 かてい 中 ちゅう 非常 ひじょう 重要 じゅうよう [ 18]
经典逻辑 经典逻辑 的 てき 系 けい 理化 りか 的 てき 传统逻辑 的 てき 四 よん 基本 きほん 思 おもえ 律 りつ 同 どう 一律 いちりつ 排中律 はいちゅうりつ 无矛盾 むじゅん 律 りつ (也被称 しょう 矛盾 むじゅん 律 りつ 和 わ 充足 じゅうそく 理由 りゆう 律 りつ 和 かず 经典逻辑 特有 とくゆう 的 てき 特 とく 征 せい 经典逻辑#特 とく 征 せい ）[ 14] [ 19] 经典逻辑 是 ぜ 和 わ 世 せい 士多 した 德 とく 的 てき 传统逻辑 具有 ぐゆう 更 さら 的 てき 能 のう 士多 した 德 とく 的 てき 传统逻辑 表 おもて 述 じゅつ 例 れい 同 どう 一律 いちりつ 排中律 はいちゅうりつ 无矛盾 むじゅん 律 りつ 由 ゆかり 亚里士多 した 德 とく 提出 ていしゅつ 伯 はく 特 とく 在 ざい 他 た 的 てき 著作 ちょさく 哲学 てつがく 中 ちゅう 了 りょう 三 さん 思 おもえ 律 りつ
非 ひ 与 あずか 经典逻辑 公理 こうり 化 か 假 かり 经典逻辑#特 とく 征 せい ）有 ゆう 矛盾 むじゅん 的 てき 系 けい 例 れい 拒 こばめ 无矛盾 むじゅん 律 りつ 的 てき 所有 しょゆう 的 てき 次 じ [ 20] [ 21] 包括 ほうかつ 相 あい 干 ひ [ 22] 双 そう 面 めん 真理 しんり [ 23] 等 ひとし 等 ひとし 的 てき 形式 けいしき 化 か 次 じ 既 すんで 属 ぞく 非 ひ 形式 けいしき
形式 けいしき 是 ぜ 或 ある 断然 だんぜん 使用 しよう 的 てき 句 く 子 こ 和 わ 演 えんじ 抽象 ちゅうしょう 研究 けんきゅう [ 24] 是 ぜ 研究 けんきゅう 純 じゅん 形式 けいしき 的 てき 推論 すいろん 的 てき 一門 いちもん 學科 がっか 是 ぜ 確 かく 的 てき 若 わか 即 そく 不 ふ 只 ただ 是 ぜ 和 わ 任 にん 的 てき 一 いち 個 こ 特定 とくてい 應用 おうよう 論 ろん 擁 よう 有 ゆう 純 じゅん 形式 けいしき 形式 けいしき 的 てき 規則 きそく 由 ゆかり 亞 あ 里 さと 德 とく 最 さい 先 さき 寫 うつし 成 なり [ 25] 在 ざい 許多 きょた 的 てき 定義 ていぎ 中 ちゅう 推論 すいろん 與 あずか 帶 おび 有 ゆう 純 じゅん 形式 けいしき 的 てき 推論 すいろん 會 かい 是 ぜ 同 どう 一種 いっしゅ 概念 がいねん 但 ただし 表示 ひょうじ 非 ひ 形式 けいしき 的 てき 概念 がいねん 是 ぜ 空洞 くうどう 的 てき 因 いん 為 ため 沒 ぼつ 有 ゆう 任 にん 何 なん 形式 けいしき 是 ぜ 的 てき 核心 かくしん 但 ただし 在 ざい 形式 けいしき 中 ちゅう 對 たい 形式 けいしき 使用 しよう 時 じ 常 つね 不 ふ 確 かく 因 いん 述 じゅつ 變 へん 得 とく 解 かい 符號 ふごう 形式 けいしき 的 てき 一 いち 種類 しゅるい 型 がた 形式 けいしき 的 てき 種類 しゅるい 型 がた 只 ただ 處理 しょり 直言 ちょくげん 命題 めいだい 的 てき 三 さん 段 だん 論 ろん 不同 ふどう [ 26]
符號 ふごう 捕獲 ほかく 了 りょう 推論 すいろん 的 てき 形式 けいしき 特徵 とくちょう 並 なみ 將 はた 抽象 ちゅうしょう 化 か 為 ため 符號 ふごう 的 てき 研究 けんきゅう [ 16] [ 27] 符號 ふごう 通常 つうじょう 分 ぶん 為 ため 兩個 りゃんこ 分 ぶん 支 ささえ 命題 めいだい 和 わ 謂 いい 詞 し 形式 けいしき 通常 つうじょう 作 さく 號 ごう 的 てき 同義 どうぎ 詞 し 但 ただし 廣義 こうぎ 地 ち 來 らい 說 せつ 形式 けいしき 是 ぜ 古老 ころう 的 てき 可 か 追 おい 溯 さかのぼ 至 いたり 兩 りょう 千 せん 年 ねん 以前 いぜん 號 ごう 則 そく 相對 そうたい 只 ただ 有 ゆう 一 いち 個 こ 世紀 せいき 左右 さゆう 的 てき 歷史 れきし
數理 すうり 是 ぜ 符號 ふごう 在 ざい 領域 りょういき 中 ちゅう 的 てき 延伸 えんしん 特別 とくべつ 是 ぜ 模型 もけい 論 ろん 證明 しょうめい 論 ろん 集合 しゅうごう 論 ろん 和 わ 遞歸論 ろん 的 てき 研究 けんきゅう
非 ひ 形式 けいしき [ 28] 是 ぜ 研究 けんきゅう 自然 しぜん 語 ご 言 げん 論證 ろんしょう 的 てき 一門 いちもん 學科 がっか 与 あずか 批判 ひはん 性 せい 思 おもえ 相 あい 被 ひ 理解 りかい 為 ため 不 ふ 包含 ほうがん 符號 ふごう 抽象 ちゅうしょう 化 か 的 てき 任 にん 何 なん 一 いち 種 しゅ 推論 すいろん 由 よし 形式 けいしき 語 ご 言 げん 和 かず 形式 けいしき 理論 りろん 中 ちゅう 類推 るいすい 的 てき 用法 ようほう
沒 ぼつ 有 ゆう 任 にん 何 なん 明 あきら 了 りょう 非 ひ 形式 けいしき 研究 けんきゅう 存在 そんざい 的 てき 必要 ひつよう 性 せい 但 ただし 非 ひ 形式 けいしき 典型 てんけい 特 とく 征 せい 是 ぜ 不 ふ 形式 けいしき 善 ぜん 分析 ぶんせき 柏 かしわ 拉 ひしげ 圖 ず 的 てき 作品 さくひん [ 29] 是非 ぜひ 形式 けいしき 的 てき 一 いち 重要 じゅうよう 例 れい 子 こ 對 たい 謬論 的 てき 研究 けんきゅう 是非 ぜひ 形式 けいしき 中 ちゅう 尤 ゆう 重要 じゅうよう 的 てき 一 いち 個 こ 分 ぶん 支 ささえ 史 し 可 か 追 つい 古希 こき 期 き 亚里斯多德 とく 的 てき 著作 ちょさく 辨 べん
哲学 てつがく 是 ぜ 指 ゆび 上 じょう 使用 しよう 公 こう 方法 ほうほう 来 らい 解 かい 哲学 てつがく 的 てき 哲学 てつがく 是 ぜ 特定 とくてい 学 がく 的 てき 方面 ほうめん 的 てき 研究 けんきゅう 理解 りかい 包含 ほうがん 注 ちゅう 尽 つき 管 かん [ 30] 约翰·P·伯 はく 吉 きち 的 てき 哲学 てつがく [ 31] 介 かい 非 ひ 的 てき 五 ご 中心 ちゅうしん 分 ぶん 支 ささえ 时间逻辑 、模 かたぎ 条件 じょうけん 相 あい 干 ひ 和 わ 直 ちょく 重点 じゅうてん 形式 けいしき 化 か 模型 もけい 和 かず 直 ただし 机 つくえ 之 の 存在 そんざい 的 てき [ 32] [ 33]
经典逻辑的 てき 四 よん 基本 きほん 公理 こうり
同 どう 一律 いちりつ 事物 じぶつ 自身 じしん 相等 そうとう 同 どう 自己 じこ 不能 ふのう 不 ふ 是 ぜ 自己 じこ 無矛盾 むむじゅん 律 りつ 事物 じぶつ 不能 ふのう 同時 どうじ 是 ぜ 不 ふ 是 ぜ 是 ぜ 不 ふ 是 ぜ 是 ぜ 排中律 はいちゅうりつ 事物 じぶつ 只 ただ 能 のう 有 ゆう 是 ぜ 或 ある 不 ふ 是 ぜ 兩 りょう 種 たね 狀態 じょうたい 不 ふ 存在 そんざい 中間 なかま 狀態 じょうたい 充足 じゅうそく 理由 りゆう 律 りつ 任 にん 何 なん 事物 じぶつ 都 と 有 ゆう 存在 そんざい 的 てき 充足 じゅうそく 理由 りゆう 只 ただ 与 あずか 非 ひ 有 ゆう 公理 こうり
函 はこ 中 ちゅう 律 りつ 事物 じぶつ 不 ふ 是 ぜ 或 ある 不 ふ 是 ぜ 兩 りょう 種 たね 狀態 じょうたい 還 かえ 存在 そんざい 非 ひ 是 ぜ 非 ひ 不 ふ 是 ぜ 的 てき 狀態 じょうたい 屬 ぞく 間 あいだ 辯 べん 證 しょう 和 わ 對立 たいりつ 統一 とういつ 規律 きりつ
在 ざい 辯 べん 證 しょう 中 なか 允許 いんきょ 矛盾 むじゅん 的 てき 存在 そんざい 並 なみ 接 せっ 納 おさめ 對立 たいりつ 統一 とういつ 規律 きりつ 在 ざい 辯 べん 證 しょう 中 ちゅう 認 みとめ 為 ため 社會 しゃかい 和 わ 思想 しそう 領域 りょういき 中 ちゅう 的 てき 任 にん 何 なん 事物 じぶつ 事物 じぶつ 之 の 間 あいだ 都 と 包含 ほうがん 着 ぎ 矛盾 むじゅん 性 せい 事物 じぶつ 矛盾 むじゅん 雙方 そうほう 又 また 統 すべ 變化 へんか 和 わ 發展 はってん 對立 たいりつ 統一 とういつ 規律 きりつ 認 みとめ 為 ため 矛盾 むじゅん 雙方 そうほう 的 てき 同 どう 矛盾 むじゅん 的 てき 普遍 ふへん 性 せい 與 あずか 特殊 とくしゅ 性 せい 事物 じぶつ 發展 はってん 過程 かてい 中 ちゅう 的 てき 矛盾 むじゅん 矛盾 むじゅん 雙方 そうほう 發展 はってん 的 てき 不 ふ 平衡 へいこう 性 せい 辯證法 べんしょうほう 是 ぜ 解決 かいけつ 矛盾 むじゅん 的 てき 方法 ほうほう 論 ろん 形式 けいしき 系統 けいとう 可 か 具有 ぐゆう 的 てき 重要 じゅうよう 属性 ぞくせい 包括 ほうかつ
有效 ゆうこう 性 せい 依 よ 系統 けいとう 的 てき 推理 すいり 規則 きそく 若 わか 所有 しょゆう 前提 ぜんてい 皆 みな 為 ため 真 しん 則 のり 結論 けつろん 真 しん 保 ほ 真 しん 所有 しょゆう 命題 めいだい 之 これ 前提 ぜんてい 皆 みな 語義 ごぎ 結論 けつろん 自 じ 洽 ひろし 性 せい 系統 けいとう 中 ちゅう 任 にん 矛盾 むじゅん 不 ふ 存在 そんざい 命題 めいだい 和 わ 非 ひ 皆 みな 可 か 在 ざい 系統 けいとう 中 ちゅう 證明 しょうめい 可 か 靠 もたれ 性 せい 系統 けいとう 中 ちゅう 所有 しょゆう 定理 ていり 有效 ゆうこう 證明 しょうめい 的 てき 命題 めいだい 皆 みな 為真 ためざに 可 か 靠 もたれ 性 せい 與 あずか 完備 かんび 性 せい 逆 ぎゃく 命題 めいだい 完備 かんび 性 せい 系統 けいとう 中 ちゅう 不 ふ 存在 そんざい 無法 むほう 證明 しょうめい 或 ある 證 あかし 否 ひ 的 てき 有效 ゆうこう 命題 めいだい 系統 けいとう 中 ちゅう 真 ま 命題 めいだい 皆 みな 可 か 證明 しょうめい 真 ま 命題 めいだい 皆 みな 為 ため 定理 ていり 命題 めいだい 皆 みな 可 か 證 しょう 否 いな 表 おもて 系 けい 可 か 概念 がいねん 一 いち 邏輯系統 けいとう 不 ふ 擁 よう 有 ゆう 上述 じょうじゅつ 所有 しょゆう 性質 せいしつ 比 ひ 庫 くら 爾 なんじ 特 とく 爾 なんじ 的 てき 哥德爾 しか 不 ふ 完備 かんび 定理 ていり 證明 しょうめい 了 りょう 沒 ぼつ 有 ゆう 任 にん 何 なん 一 いち 個 こ 皮 かわ 亞 あ 諾 だく 公理 こうり 的 てき 算術 さんじゅつ 形式 けいしき 系統 けいとう 可 か 時 じ 滿足 まんぞく 自 じ 洽 ひろし 性 せい 和 わ 完備 かんび 性 せい [ 27] 同時 どうじ 他 た 的 てき 針 はり 對 たい 沒 ぼつ 有 ゆう 通過 つうか 特定 とくてい 公理 こうり 為 ため 帶 たい 有 ゆう 等式 とうしき 的 てき 算術 さんじゅつ 形式 けいしき 系統 けいとう 的 てき 一 いち 階 かい 謂 いい 詞 し 的 てき 定理 ていり 證 あかし 實 じつ 了 りょう 可 か 時 じ 滿足 まんぞく 自 じ 洽 ひろし 性 せい 和 わ 完備 かんび 性 せい [ 34]
邏輯產 さん 生 せい 論證 ろんしょう 正確 せいかく 性的 せいてき 關 せき 注 ちゅう 是 ぜ 對 たい 論證 ろんしょう 的 てき 研究 けんきゅう 概念 がいねん 在 ざい 歷史 れきし 上 じょう 是 ぜ 基本 きほん 的 てき 不同 ふどう 傳統 でんとう 的 てき 創立 そうりつ 者 しゃ 柏 かしわ 拉 ひしげ 圖 ず 和 わ 亞 あ 里 さと 德 とく 所 ところ 設 しつらえ 想 そう 的 てき 現代 げんだい 的 てき 邏輯學 がく 家 か 通常 つうじょう 會 かい 希望 きぼう 確保 かくほ 對 たい 的 てき 研究 けんきゅう 只 ただ 適度 てきど 所 しょ 斯坦福 ぶく 哲學 てつがく 百科 ひゃっか 》所 しょ 稱 たたえ 沒 ぼつ 有 ゆう 有效 ゆうこう 推理 すいり 的 てき 整 せい 個 こ 課題 かだい 那 な 是 ぜ 理性 りせい 理論 りろん 的 てき 工作 こうさく 更 さら 明確 めいかく 地 ち 說 せつ 處理 しょり 一 いち 種 しゅ 推論 すいろん 有效 ゆうこう 性 せい 可 か 追 おい 溯 さかのぼ 至 いたり 推論 すいろん 中 ちゅう 的 てき 表 ひょう 述 じゅつ 的 てき 形式 けいしき 特徵 とくちょう 語 ご 言 げん 的 てき 心理 しんり 的 てき 或 ある 的 てき 表 ひょう 述 じゅつ [ 5]
相對 そうたい 地 ち 伊 い 爾 なんじ 康德 やすのり 了 りょう 他 た 主張 しゅちょう 應 おう 當 とう 被 ひ 設 しつらえ 想 そう 為 ため 判斷 はんだん 的 てき 科學 かがく 想 そう 法被 はっぴ 戈 ほこ 特 とく 洛 らく 布 ぬの 弗 どる 雷 かみなり 格 かく 採納 さいのう 寫 うつし 入 にゅう 他 た 的 てき 哲學 てつがく 著作 ちょさく 之 の 中 なか 思 おもえ 德 とく 語 ご Gedanke ）這一詞取代了康德的判斷（德 とく 語 ご Urteil ）。在 ざい 點 てん 下 か 有效 ゆうこう 的 てき 推論 すいろん 是 ぜ 源 げん 判斷 はんだん 或 ある 思 おもえ 結構 けっこう 特徵 とくちょう
演繹 えんえき 推理 すいり 關 せき 注 ちゅう 給 きゅう 定 じょう 的 てき 前提 ぜんてい 下 か 有 ゆう 什麼 いんも 是 ぜ 可 か 得 とく 出 で 的 てき 歸納 きのう 推理 すいり 從 したがえ 觀察 かんさつ 中 ちゅう 推論 すいろん 出 で 可 か 靠 もたれ 廣義 こうぎ 化 か 的 てき 過程 かてい 有 ゆう 時 じ 包含 ほうがん 在 ざい 對 たい 的 てき 研究 けんきゅう 中 ちゅう 相對 そうたい 應 おう 地 ち 必須 ひっす 要 よう 區分 くぶん 出 で 演繹 えんえき 有效 ゆうこう 性 せい 和 わ 歸納 きのう 有效 ゆうこう 性 せい 一 いち 個 こ 推論 すいろん 是 ぜ 演繹 えんえき 有效 ゆうこう 的 てき 若 わか 若 わか 不可能 ふかのう 存在 そんざい 所有 しょゆう 前提 ぜんてい 皆 みな 為真 ためざに 但 ただし 結論 けつろん 為 ため 假 かり 的 てき 狀況 じょうきょう 對 たい 式 しき 的 てき 系統 けいとう 演繹 えんえき 有效 ゆうこう 性 せい 的 てき 概念 がいねん 可 か 語義 ごぎ 學 がく 中 ちゅう 已 やめ 明確 めいかく 理解 りかい 的 てき 概念 がいねん 嚴格 げんかく 地 ち 陳述 ちんじゅつ 出来 でき 方面 ほうめん 歸納的 きのうてき 有效 ゆうこう 性 せい 則 のり 要求 ようきゅう 必須 ひっす 定義 ていぎ 對 たい 某 ぼう 一 いち 觀察 かんさつ 集合 しゅうごう 的 てき 可 か 靠 もたれ 廣義 こうぎ 化 か 定義 ていぎ 可 か 各種 かくしゅ 不同 ふどう 的 てき 方式 ほうしき 來 らい 達成 たっせい 有 ゆう 的 てき 方式 ほうしき 會 かい 比 ひ 的 てき 方式 ほうしき 不 ふ 那 な 式 しき 化 か 有 ゆう 定義 ていぎ 會 かい 用 よう 到 いた 機 き 率 りつ 的 てき 數學 すうがく 模型 もけい [ 35]
许多文化 ぶんか 都 と 采 さい 用 よう 的 てき 推理 すいり 系 けい 最初 さいしょ 並 なみ 持 じ 那 な 前 まえ 世 せい 印度 いんど 前 ぜん 世 せい 中国 ちゅうごく 和 かず 前 ぜん 世 せい 前 ぜん 世 せい 的 てき 希 まれ
现代逻辑的 てき 形式 けいしき 明 あきら 自 じ 希 まれ 但 ただし 是 ぜ 有人 ゆうじん 提出 ていしゅつ 布 ぬの 的 まと 先 さき 可能 かのう 知道 ともみち 印度 いんど 希 まれ 自身 じしん 来 き 自 じ 亚里士多 した 德 とく 的 てき 伊 い 哲学 てつがく 家 か 和 わ 中世 ちゅうせい 家 か 的 てき 欧 おう 洲 しゅう 以外 いがい 的 てき 没 ぼつ 有 ゆう 存 そん 活 かつ 到 いた 在 ざい 中国 ちゅうごく 学 がく 研究 けんきゅう 在 ざい 韩非 的 てき 法家 ほうか 哲学 てつがく 之 の 后 きさき 秦 はた 朝 ちょう 在 ざい 伊 い 世界 せかい 艾 もぐさ 里 さと 派 は 的 てき 了 りょう 的 てき 原始 げんし 工作 こうさく
但 ただし 是 ぜ 在 ざい 印度 いんど 学派 がくは 正 せい 理 り 派 は 的 てき 持 じ 世 せい 期 き 有 ゆう 存 そん 活 かつ 到 いた 殖民 しょくみん 地 ち 在 ざい 世 せい 西方 せいほう 哲学 てつがく 家 か 和 わ 探究 たんきゅう 了 りょう 印度 いんど 学 がく 的 てき 某 ぼう 面 めん
中世 ちゅうせい 期 き 在 ざい 亚里士多 した 德 とく 的 てき 想 そう 法 ほう 与信 よしん 仰 おおせ 大量 たいりょう 兼 けん 容 よう 之 の 后 きさき 他 た 的 てき 被 ひ 更 さら 大 だい 强 きょう 在 ざい 中世 ちゅうせい 后 きさき 期 き 成 なり 他 た 注 ちゅう 哲学 てつがく 的 てき 分析 ぶんせき
^ logic, britannica.com . [2021-06-27 ] . （原始 げんし 内容 ないよう 存 そん ^ Richard Henry Popkin; Avrum Stroll. Philosophy Made Simple . Random House Digital, Inc. 1 July 1993: 238 [5 March 2012] . ISBN 978-0-385-42533-9原始 げんし 内容 ないよう 存 そん ^ Gensler, Harry J. Chapter 1: Introduction. Introduction to logic 3rd. New York: Routledge. 2017: 1 [2002]. ISBN 9781138910591OCLC 957680480 doi:10.4324/9781315693361 ^ Hurley, Patrick J. A Concise Introduction to Logic, 10th Edition . The United States of America: Thomson Wadsworth. 2008: 1 . ISBN 978-0-495-50383-5 ^ 5.0 5.1 Hofweber, T. Logic and Ontology . Zalta, Edward N (编). Stanford Encyclopedia of Philosophy. 2004 [2006-01-20 ] . （原始 げんし 内容 ないよう 存 そん ^ Cox, J. Robert; Willard, Charles Arthur (编). Advances in Argumentation Theory and Research. Southern Illinois University Press . 1983. ISBN 978-0809310500 ^ Liddell, Henry George, and Robert Scott. "Comp. Greek-English lexicon (LSJ)." (1996).
^ "逻辑最初 さいしょ 固陋 ころう 所 しょ 者 しゃ 有明 ありあけ 季之 としゆき 名 めい 理 り 探 さがせ 之 の 藻 も 所 しょ 今日 きょう 税 ぜい 皆 みな 不 ふ 是 ぜ 本学 ほんがく 之 の 深 ふか 之 これ 相 しょう 副 ふく 姑 しゅうと 学 がく
^ "吾 われ 中国 ちゅうごく 将来 しょうらい 之 の 学界 がっかい 日本 にっぽん 学界 がっかい 有 ゆう 密 みつ 切 きり 之 の 故 こ 今 こん 多 た 采 さい 之 の 免 めん 使 し 与 あずか 方 かた 来 らい 之 の 生 せい 参差 しんし
^ 建国 けんこく 方略 ほうりゃく 之 の 一 いち 文学 ぶんがく 第 だい 三 さん 章 しょう 作文 さくぶん 主要 しゅよう 著述 ちょじゅつ 中山 なかやま 故 こ 居 きょ 山 やま [2022-07-27 ] . （原始 げんし 内容 ないよう 存 そん 然 しか 物 ぶつ 当 とう 何 なん 名 めい 作者 さくしゃ 有 ゆう 所 しょ 商 しょう 涉 わたる 者 しゃ 不知 ふち 之 の 思想 しそう 行 ぎょう 人 ひと 之 の 不知 ふち 者 しゃ 中国 ちゅうごく 今 いま 尚 なお 未 み 有 ゆう 吾 われ 当 とう 理 り 者 しゃ 夫 おっと 斯学 しがく 至 いたり 今 いま 尚 なお 未 み 大 だい 明 あきら 故 こ 者 しゃ 所持 しょじ 之 の 亦 また 一 いち 是 ぜ 外 がい 学者 がくしゃ 之 の 理 り 学 がく 都 と 之 の 不 ふ 求 もとめ 惟 おもんみ 人 じん 方寸 ほうすん 自 じ 具有 ぐゆう 理 り 感 かん 故 こ 能文 のうぶん 之 の 士 し 研 けん 精 きよし 作成 さくせい 不朽 ふきゅう 之 の 文章 ぶんしょう 不 ふ 暗合 あんごう 道 どう 亦 また 不 ふ 自 じ 知 ち 由也 よしや ^ 中国 ちゅうごく 社会 しゃかい 科学 かがく 之 の 中 ちゅう 考 こう 意 い 音 おん 回 かい 媒体 ばいたい 南 みなみ 南 みなみ 学 がく [27 July 2022] . ^ J. Bruno Leclercq et Laurence Bouquiaux, Logique formelle et argumentation , Édition 3, De Boeck Université, 2017 ISBN 978-2-8073-1446-7 , ISBN 978-2807314467
^ J. Robert Cox and Charles Arthur Willard, eds. Advances in Argumentation Theory and Research , Southern Illinois University Press, 1983 ISBN 978-0-8093-1050-0 , ISBN 978-0809310500
^ 14.0 14.1 Smith, Robin. Aristotle’s Logic . 2000-03-18 [2021-05-09 ] . （原始 げんし 内容 ないよう 存 そん ^ 亚里士多 した 德 いさお 著 ちょ 余 あまり 等 とう 翻 こぼし 工具 こうぐ 上下 じょうげ 中国 ちゅうごく 人民 じんみん 大学 だいがく 出版 しゅっぱん 社 しゃ 出版 しゅっぱん ^ 16.0 16.1 Alfred North Whitehead and Bertrand Russell, Principia Mathematical to *56 , Cambridge University Press, 1967, ISBN 978-0-521-62606-4
^ J. Dirk W. Hoffmann, Grenzen der Mathematik: Eine Reise durch die Kerngebiete der mathematischen Logik , Auflage: 3, Springer Spektrum, 2018 ISBN 978-3-6625-6616-9 , ISBN 978-3662566169
^ J. Martin Davis, The Universal Computer. The Road from Leibniz to Turing , A K Peters and CRC Press, 2011 ISBN 978-1-4665-0520-9 , ISBN 978-1466505209
^ Shapiro, Stewart; Kouri Kissel, Teresa. Classical Logic . 2000-09-16 [2021-05-09 ] . （原始 げんし 内容 ないよう 存 そん ^ Priest, Graham; Tanaka, Koji; Weber, Zach. Paraconsistent Logic. Zalta, Edward N. (编). The Stanford Encyclopedia of Philosophy Summer 2018. Metaphysics Research Lab, Stanford University. 2018 [2021-05-09 ] . （原始 げんし 内容 ないよう 存 そん ^ 桂 かつら 起 おこり 直 じき 朱 しゅ 福 ぶく 喜 き 次 つぎ 人工 じんこう 智能 ちのう 作 さく 武 たけ 学 がく 出版 しゅっぱん 社 しゃ ^ Mares, Edwin, "Relevance Logic", The Stanford Encyclopedia of Philosophy (Winter 2020 Edition), Edward N. Zalta (ed.) . [2021-06-27 ] . （原始 げんし 内容 ないよう 存 そん ^ Priest, Graham, Francesco Berto, and Zach Weber, "Dialetheism", The Stanford Encyclopedia of Philosophy (Fall 2018 Edition), Edward N. Zalta (ed.) . [2021-06-27 ] . （原始 げんし 内容 ないよう 存 そん ^ Formal logic, Encyclopædia Britannica . [2021-06-27 ] . （原始 げんし 内容 ないよう 存 そん ^ Aristotle, The Basic Works , Richard Mckeon , editor, Modern Library, 2001, ISBN 978-0-375-75799-0 , see especially, Posterior Analytics
^ J. Antonio Joaquín Roldán Marco, Lógica: 1º Bachillerato , publicado de forma independiente, 2018 ISBN 978-1-9806-4558-0 , ISBN 978-1980645580
^ 27.0 27.1 For a more modern treatment, see A. G. Hamilton, Logic for Mathematicians , Cambridge, 1980, ISBN 978-0-521-29291-7
^ Informal Logic . informallogic.ca. [2021-05-09 ] . （原始 げんし 内容 ないよう 存 そん ^ Plato, The Portable Plato , edited by Scott Buchanan, Penguin, 1976, ISBN 978-0-14-015040-7
^ John P. Burgess . Philosophical logic . Princeton University Press. 2009: vii–viii [2021-07-01 ] . ISBN 978-0-691-13789-6原始 げんし 内容 ないよう 存 そん ^ John P. Burgess, Philosophical Logic , Princeton University Press: 2009.
^ Lou Goble (ed.), The Blackwell Guide to Philosophical Logic 页面存 そん ，存 そん 互联网档案 あん ）, Oxford: Blackwell : 2009 (ISBN 0-631-20693-0 ).
^ Gabbay, Dov M.; Guenthner, Franz (编), Handbook of Philosophical Logic , [2021-07-01 ] , （原始 げんし 内容 ないよう 存 そん ^ Mendelson, Elliott. Quantification Theory: Completeness Theorems. Introduction to Mathematical Logic . Van Nostrand. 1964. ISBN 0412808307 ^ J. Jörg Hardy und Christoph Schamberger, Logik der Philosophie: Einführung in die Logik und Argumentationstheorie , UTB GmbH, 2017 ISBN 978-3-8252-4897-0 , ISBN 978-3825248970
G. Birkhoff and J. von Neumann, 1936. 'The Logic of Quantum Mechanics'. Annals of Mathematics
D. Finkelstein, 1969. 'Matter, Space and Logic'. In R. S. Cohen and M. W. Wartofsky, (eds.), Proceedings of the Boston Colloquium for the Philosophy of Science , Boston Studies in the Philosophy of Science, vol 13. ISBN 978-90-277-0377-4 .
D. M. Gabbay and F. Guenthner (eds.) 2001-2005. Handbook of philosophical logic (2nd ed.). 13 volumes. Dordrecht, Kluwer.
D. Hilbert and W. Ackermann, 1928. Grundzüge der theoretischen Logik (Principles of Theoretical Logic ). Springer-Verlag, ISBN 978-0-8218-2024-7 .
W. Hodges, 2001. Logic. An introduction to elementary logic . Penguin Books.
T. Hofweber, 2004. Logic and Ontology （页面存 そん ，存 そん 互联网档案 あん ）. In the Stanford Encyclopedia of Philosophy .
R. I. G. Hughes (editor), 1993. A Philosophical Companion to First-Order Logic . Hackett.
W. Kneale and M. Kneale, 1962/1988. The Development of Logic . Oxford University Press, ISBN 978-0-19-824773-9 .
G. Priest, 2004. Dialetheism （页面存 そん ，存 そん 互联网档案 あん ）. In the Stanford Encyclopedia of Philosophy .
H. Putnam, 1969. Is Logic Empirical? . Boston Studies in the Philosophy of Science, vol V.
B. Smith, 1989. 'Logic and the Sachverhalt', The Monist , 72(1):52-69.
D. Vernant, 2018. 'Questions de Logique et de Philosophie'. Mimesis, ISBN 978-8-8697-6102-7
