自然語言邏輯研究的對象及其與形式邏輯的關(guān)系資料

1、 性 的 統(tǒng)一 。 因此 , 現(xiàn) 有的 形式 邏 輯 , , 相對 于歷 史 上 , 四 由上 可 知 , 出現(xiàn) 的 一 個(gè) 個(gè) 邏 輯體 系 來說 它 已 經(jīng) 上 升 為 思 維具 現(xiàn)有 的 形 式 邏 輯指 的 是 相 對 來 說 ( 已 經(jīng) , 體 。 但是 , , 人 類 的 自然 語 言是 無 限 復(fù) 雜 的 優(yōu) 較 系 統(tǒng)的 、 比 較 成 熟 的 邏輯 科學(xué) , 它 是 以往 人 類 形 式邏輯遠(yuǎn) 遠(yuǎn) 未能 窮盡 自然 語 言 中所 包 含 的各 種 思 維形式 因此 , , 對 自然 語 言 的 邏 輯 總結(jié) 而 自然語 言 邏 輯 則是 對 形 這 個(gè)思 維 具 體 形 式

2、邏 輯體 系 ( 在 , 式 邏 輯 尚未 研 究 或尚未 精確 研 究 的思 維 形 式 的 探 討 , 新 的認(rèn) 識 過 程 中 作為 新 的 認(rèn) 識 的 起 點(diǎn) , 又 轉(zhuǎn)化 為 它是 現(xiàn) 代 人 正 在 進(jìn) 行 的 和 即 將進(jìn) 行 的 對 自然 語 。 思維抽象 并且 , , 為 了更 加全 面地 反 映 自然 語 言 這 模 。 、 、 言 的邏 輯 總 結(jié) 不 系 統(tǒng)的 、 相對 來 說 , 。 , 自然 語 言 邏 輯 還 是 比 較 , 個(gè)具 體 對 象 態(tài) 邏輯 、 就 又 出 現(xiàn) 了 各 種 自然 語 言 的 邏 輯 命令邏輯 。 不 成 熟的 或 者 說 它 們 還 沒

3、有 形 成 一 個(gè) 傳 統(tǒng) 形式 邏 輯 和 數(shù) 、 問題 邏 輯 修 辭 邏 輯等 等 這 它 比 較 穩(wěn)定 的 系 統(tǒng) 一 從現(xiàn) 代 來 看 , 些邏 輯 又 都是 研 究 系 比 較成 熟 , 、 反 映 自然 語 言 的 一 個(gè) 方 面 , , 理 邏 輯 中 的標(biāo) 準(zhǔn) 邏 輯部分 指 命 題 演算 謂詞演算 、 們又 都 屬 于 思 維抽象 , 一 旦 各個(gè) 自然 語 言邏 輯 的 體 等 ( 屬 于 形式 邏 輯 、 而 模態(tài) 邏 輯 , 、 問 題邏 輯 時(shí)態(tài) 我們 。 比較穩(wěn) 定以 后 , 它 們 就 和 現(xiàn)有 的形 式 , 邏輯 認(rèn)為 命 令邏 輯 等 等 , 都 屬 于 自

4、然 語 言邏 輯 。 邏 輯 統(tǒng) 一 起來 納 入形 式 邏 輯 的總 的科 學(xué)體 系 。 這 , 這 就 是 形式 邏 輯 和 自然 語 言 邏 輯 的 區(qū) 別 。 樣 這 些 自然 語 言 邏輯也 就 轉(zhuǎn) 化為 形 式 邏 輯 , 當(dāng)時(shí) 但是 自然 語 言邏 輯 和 形 式 邏 輯 的 這 種 區(qū) 分 并 , 的形 式 邏 輯體 系 較 之 現(xiàn)有 的 形 式 邏 輯 就 更 加具體 地 反 映 了 自然 語 言 的 多 方 面規(guī) 定 性 的統(tǒng) 一 時(shí) 的形 式 邏 輯 又 再 次 上 升 為思 維具 體 , , 。 不 是 絕 對 的 正 象辯 證邏 輯 所 指 出 的 識 的 發(fā)展 走

5、的 是 具 體 4 今 思 維抽 象 確 整個(gè)人類認(rèn) 思 維具體 , 因此 , , 當(dāng) 象4 一 語 言是 一 個(gè) 大 的 具 體 具體 . ! 的道 路 。 一 整 個(gè) 人類 邏 輯 科 學(xué) 的 發(fā) 展 , 。 但 是 自然 語 一 走 的也 是 。 思維抽 今 思 維 具體 的 道 路 自然 言 是無 限 豐富 的 世 界 在 發(fā)展 認(rèn) 識 在 發(fā) 展 自然 , 語言 也在 不 地永 和 發(fā)展 因 此 自 然 語 言 甲厲 富 蠶 , 這 個(gè) 無 限 復(fù) 雜 的具 體 在 認(rèn) 識 人 們 只可 能 一 個(gè) 局 。 包 含 的思 維 形 式 也 是 不可 能 窮 盡 的 愈來 愈接 近 這

6、個(gè)具體 個(gè) 具體 , , 。 邏 輯科 學(xué) 可 以 , 上 是 不可 能 一 下 子 予 以 窮 盡 的 部 如 , 但 是 永遠(yuǎn) 不 可 能完 全 再現(xiàn) 這 原有 , 方 面 ( 一 個(gè) 局 部 地加 以 研 究 每 一 個(gè) 相對 獨(dú) 立 。 因此 , 整 個(gè) 邏 輯科 學(xué) 在 不 斷地 發(fā)展 。 的 邏 輯體 系 都 可 以 說 是 對 它 的 一 個(gè)方 面 的 研 究 , 登 斯 的 自然語 言邏 輯 轉(zhuǎn) 化 為 形 式 邏 輯 各 種 新 的 自然 語 。 亞里 斯 多德 邏 輯就 是關(guān) 于 直 言命 題 的 邏 輯 , 、 言 邏輯 又 將涌 現(xiàn) 出來 結(jié) , 整 個(gè) 邏 輯科 學(xué)

7、的發(fā) 展 不 會(huì) 完 多 噶 派 則是 關(guān) 于 復(fù)合 命 題 的 邏 輯 歸 納 推理 的邏 輯 傳 統(tǒng)邏 輯 所 未 曾 研 究 的 關(guān) 系 命 題 培 根 邏 輯是 關(guān) 于 就 這 些 一個(gè) 個(gè) 的 自然 語 言邏 輯 的研 究 任 務(wù) 也 永 遠(yuǎn) 不 會(huì) 完 結(jié) 而標(biāo) 準(zhǔn) 的數(shù) 理 邏 輯 則 研 究 了 以 往 。 這 里 的 形式 邏 輯指 傳 統(tǒng) 邏 輯 和數(shù) 理 邏 輯 的 基 礎(chǔ) 題 演算 , 2 命 邏 輯體 系 來 說 , 它 們對 整個(gè) 的 自然 語 言 都 是 一 個(gè) 個(gè) 、 謂詞演算 ! 標(biāo)準(zhǔn)邏輯 。 的思維抽象 研究 反 映它 的 一 個(gè) 側(cè) 面 ( “ , 而它

8、們 間題 1 關(guān) 于 什 么 是 思 維 形 式 及 其 與語 言 形 式 的 聯(lián)系 , 、 區(qū)別 的 綜 合 即現(xiàn) 代 稱 為 形式 邏 輯 ” 的 科 學(xué)體 系 ( 則 請參看拙作. 論 思 維 形式 和語 言 形 式 。 , 載 邏 比 較 具 體 地再 現(xiàn) 了 自然 語 言 中邏 輯 形 式 的 多 種規(guī) 定 輯 與語 言 研 究 第 二 期 著名紅學(xué)家 古典文學(xué)研究專家李希凡 等同志來鄭講學(xué) 、 河 南 省 社 會(huì)科 學(xué) 院 , 、 河 南 省 社 聯(lián) 于 四 月二 十 至 二 十 二 日 在 鄭 州 聯(lián)合舉 行 中 國古典 小 三 說 學(xué) 術(shù)報(bào)告會(huì) 志 , 邀 請來 我 省 洛 陽 參 加第 二屆 、 、 、 國 演 義 學(xué)術(shù) 討 論 會(huì) 暨