可能性的对当关系直言直接推理

#
我们 将前提断 定 了
推理归 为 ; 类
∋∀
、
;
与 & 非 包 含 于关 系 的上述 类包 括前 面所 说 的 推 理 形 式 ! ∀
、
5
,
#
,
#
,
#
,
− + ∀ 面沪 , 可 能 ∃
# #
&
,
. ∀
,
#
/ 甲 一 可能 亏 0百
, ,
#
1 ∀ 瓦护一 可 能 )2& 3 ∀
4∀
#
百币一 可 能 5 6 (
#
,
而 凡 类
∀
推理的 前提对此毫无作 用 它 断 定 至少 有一 个
’ 子 是 # 因 此 我 们要 想 确定
,
,
分
法确 定 , 的可靠 性 + 5 在思 维实 际 中 当我 们 知 道 ∀ 部 分分 子 不 具 有 性质 # 时 自然会想 到是否所 有 类分子 都 不 是 # ∀ ∋ 类其 他分子 中有 无 一 个 是 # 前 一 个 问 题 是 . , 类 ∋
。 、
, ,
,
进行 . 或 氏 那样 的 推理 最后 运 用 归纳 办法考 察 & 结 论 的 可 靠 性 就 会 做很 多 无谓 的劳 动 总之 如 果 可 能性 的 对 当关 系 直 言直 接 推 理对 思维 实 际 有 意 义 就应 有办 法对 其 结 论 的 可 靠性 进 行 考 察 就得运 用 归纳或 具体考察 某 类 分 子 的办 法 而 运 用 上 述 办法 又可 以 独立 地 得 出可 能 性对 当 关 系 直言直 接 推理所 要 推 出 的东 西 而 且 还能 得 出这 种 推理所 推不 出 的东 西 因 此 我 们 得 出 了 这样 的结 论 可 能性对 当关系直言 直 接 推 理虽 然 形 式 上 成 立 但 无 实 际 意 义 也 许 有 人 会 问 必然 性 的 对当关 系 直 言 直 接推 理 如 一 − 其结论 运 用 归 纳 或 具 体考 察某 类分 子 的办法 也 可 得 出 为 何 不 用后 者代替 前 者 ∋ 请不 要 忘 记前者 可 以 得 出对实 际 有 用的 实然 性
∃ ,
,
∃%
”
,
是 真 如 不 能进 行
,
否是 真 的 如 果进 行 的 是 不 完 全 归纳 那 么 就 可 以 知道 / 真 是 可 能 的 并 且 知 道 可 能 性 有 多 大 . & &
,
。
,
。
但可 以 根 据 归 纳 的 ∃ 具体情 况 推 测 可 能性 有多 大 而 要 确定 , 即 ∀ 包 含 于 # 的 可 靠性 我们 直接用 归 纳就行 了 又 何 必 先 进行 一番 & 类 的 推 理 呢 ∋ & 类推 理结论 可靠 性 的 确定要 依靠 归 纳 但对 归纳 又 没 有 任 何 帮 助 其前 ’ 提 断定 了 至 少 有 一 个 ∀ 分 子是 # 据 此我 们 不 知 道哪 些 ∀ 的 分子 是 # 有 多少 ∀ 的 分子 是 # ( 气 类 推 理从 ∀ 与 # 的相 容 关 系 推 出 了 ∀ 弱 非
,
, ,
,
。
,
,
。
,
& / ∗ 吮 4 可能 / +
∀
包含于
#
是可能 的 气 类 推 理 实质 上 是 这 样 一 种形
,
与
即从 ∀ 与 # 或 是 全 异 关 系或是 弱相 容 关 系推 出 # 可 能 是 弱相 容 关 系 要 确定 这样 一 种 结论 的
,
,
式
∃)
+ ∗ 几 一 可能 ∃
,
可 靠 性 办法 也 只 有一 个 即具 体 考 察一 下 ∀ 类分 子 看有 无 一 个 ∀ 的 分 子 是 # 只 要 存 在 这 样 一 个 ∀ 类
间 的 某种 关系
、
。
两 概念 之 间 的 关系具 体讲 有 五 种
、
、
,
6
二 6 类推 理 是 没 有 意 义 的 类 推理 的 前提 断定 了 5 与 & 的相 容 关 系 相
、
,
即 全 同 关 系 真 包 含 于 关 系 真 包含关 系 交 叉 关 系 和全 异关系 不 相 容关 系
。
容关 系包 括 两种 情 况 一 是
,
,
表示
。
− 6 类 推 理 实 际 上 是 这样 一种 推 理 < 一 = 、一 可 能 < >
。
两种 关 系概括 为一种 关 系 并 将其 命名为 弱 非包 含
于 关系
” ,
,
“
以 此与包 含有 全 异关 系 的非 包 含 关 系 相 区
, ,
别
。
真包 含 和 交 叉 关 系 还 属 于 相 容关 系 出 于 同 样
, ,
这 种 推 理 在 形 式 上有 效也 是 明 显的 但 问题 是 如何确定
,
+ ∃
的可 靠性
。
+ ∃
是说
,
“
∀
只 要 存在 一 个 ∀ 类 分子不 是 # 那
,
+ ∃
’ 弱 非 包含 于 # 就 是 真的 否 则
,
,
分 子 则 / 即 是 真 的 这 样 当我 们 的 目 的 是 确定 + + / 的真 实性 时 可 以 直 接 对 ∀ 类 分子 进行 考 察 而 没
,
丽(一 可 能 攻护 !7 ∀ ∃ −( 一 可 能 弘(
#
根据 ; 类 推 理结论 断 定 的 与 不 同 关 系 还 可 以作 进一 步 . 分类 推 理 形式 − ∀ . ∀ !! 和 ! ∀ 其结 论 断 定 ∀ 了 5 与 & 全异 关系 我 们将 这些形式 归 ; 类 推理
、
+∀
.∀
、
,
,
。
。
,
,
,
。
,
,
,
。
而 这时最
简 便 的 办 法就 是对 ∀ 类 进 行 归 纳 归 纳 的过程 就是 同时解 决 上 述两 个 问 题 的 过 程 最 后 结 果或者 ∀ #
,
真 或 者是
。
,
∀
#
可 能真及 可 能 性 大小 或 者 是 发现
%
,
有 一 个 ∀ 分 子 不 是 # 从 而推 翻 ∀ # 而 得 出 ∀ , # 的 结 论 如 不 是这 样 先 根 据 已 知 的 ∀ 类 部分 分 子 是 # 得 出 ∀ # 或 ∀ # 再 从 此 出 发 进 行类 似 于 , 或 −
。
, , ,
“
∃ ,
“
,
,
类 推理 的 前提 断定 至 少 有一 个 ∀ 分子 不 是 # 据此 我们 无法 知道 哪 些 ∀ 分 子 不 是 # 有 多少 ∀ 分 子 不 是 # 因此对 归 纳 无 任 何 帮 助 因 而 在 确定 / 时 我 们 可 以 直接运 用 归 纳 的 方 法 而没 有 必要 先行 一 & 番 . 那 样 的推 理 氏 类推理 实 际 是 这样 一 种 推理
、 、
,
!)∀ 5 8 &叶 可 能 5 2 &
可 能 刃&
,
!+ ∀ 习 2 &,
可能
5 8&
,
!. ∀ 习2 &叶 可 能 5 8 &
。
叉 关 系 应是 弱 相 容关 系 我 们将断 定 了 5 与 容关 系 的 ; 类推理 作 为 氏 类
, ,
&
弱相
。
以上 推理 的前提 和 结论都断定 了概 念 5 与 & 之
理要 回答 的 后 者 是 人 类 推 理 要 回答 的
,
推理要 解 决 的 后 一 个是 场 类推理 要 解 决 的 这 时 最 简 便 的办 法也 是 对 ∀ 类进 行 归 纳 这 可 以 同 时 解 决上 述 两 个 问 题 归 纳 的 结 果 或 是 ∀ # 真 或 是 ∀ # 可 能 真及 可 能性 有 多大 或 者发 现有 一 ∀ 分子 − 是 # 从 而 得出 ∀ # 真 如 不 是 这 样 先根 据 已 知 的 6 类部分分 子 不 是 # 得 出 ∀ , 7 或 百孑 再 以 此 出发
”
,
“
定
6
#
类推理 结论 的 可靠 性 呢 ? 办 法 只 有 一 个 即 对
,
,
以 此 与 包 含 有 包 含 于 关 系的 相 容 关 系 相 区 郑孟煊 苏 绍 汪 《 绎推 理中 可 能 性 推理 初 探 》 演 9 4 4 可 青海 社 会科学 ∀ ! 3 年 第 ∋ 期 谢 根 成 《 能 性 推 理 的 新 形 式 》 河南师 范 大学学 报 ∀ 4 4 年 第 ∋ 期 − +
,
但 是有 价 值 的可 能性推理应 该 有 办法 确 定 其 结 论 的 可靠 性 这 也 是 类 比推理 和不 完 全归纳推理虽然结 论 是 可 能 性 的 但 仍有 其 巨大 意 义 的原 因 那 么 我 们如何 确
,
这 种推理形式 上有 效是 显 而 易 见的
,
。
的原 因 这两 种关 系 也归 为一 种 并 称 之为 弱 相 容 关系
、 、
、 、 、
6
类 属于
,
,
6
。
。
,
,
,
。
本 文权且 称之 为 可 能 性 的 对 当 关系 直 言 直接 推理 笔 者 认 为 可 能性 的 对 当 关 系 直 言 直 接 推 理在 形 式 上 是成 立的 但在思维 实际 中 没有意义