论非经典三段论有效推理的量与逻辑特征——兼与程仲棠教授商榷.pdfVIP

第 卷#第 期 宿 州 教 育 学 院 学 报 $ !! %’(!)(! !#年 $月 ’()*+,-(./)01()23)4,56(+7+8565)59*+,($# 论 非 经 典 三 段 论 有 效 推 理 的 量 与 逻 辑 特 征 !!!#$%’()* 王志彬 徐州师范大学 江苏 徐州 !! #$%% !摘 要含有 负名词 的直言命 题变形推 理后 !根据 经典三 段 论的推 导规 则 !能够 合乎逻 辑地进 行推 导 ! 并 由此构建含 有负名词 的非经 典三 段 论系 统 非经典三段 论 突破 了经 典三段 论的有 效推 导模 式 扩大 了直 ! 言三段 论的推 理范 围 使三 段论有 效推 理式 由传统 的 个增 至 个 但 引入 负名词 的非经 典三 段论 的推 ! ! # 导依然要遵循 经典三段 论的推导规则 关键 词 非经典三段 论! 负词 项 有效推理 式 逻辑特征 ! !中图分类 号!#$%#$!文献标 识码%!文 章编 号’’(!)*$+,#’’-’!’’()!(* 传 统逻 辑 学认 为三 段 论 是不含 负名词 的推 理 等 个 强式 和 个 弱 022’023(’203’213’101+,- 但 程仲 棠 先生在 引入 负名词 的三段 论 系统 发表 式 程先生认 为非经典三段 论推 导主要有 下述 两类 $ %# ) 于 $学术研 究%年 期’人大 复印资料 $逻辑%一类 是将经 典式的前提 或结论变形 -一类 是 *从两个 +,,,* +,,,年 *期(一文 中论证 了直 言三段 论可 以引入 负 否定前提推 出结论者 ,#两个 否定命题推 不出结论 名词可 行性 并由此建构了非经 典三 段论 系统 他 指 然而在 非经 典三 段 论 系 统 中除 两个特称 否定命 题 # 出 在三 段 论系 统 的原有基础 上 再 引入 含负名词 外 无论两个 否定前提 的形 式为 或 都 )* * 22’3223 或称 负概念 (的直接 推 理形 式 ++就会 合 乎逻 辑 能推 出含负名词的特称 结论 产 生 非经 典有效式 #, 地推 出一 些不符合三 段 论 定 义和规 则 的新三 段 论 共计 有 +.个 有效推 导式 即)第 一格 有 22314(’ 式 ! 程先生的非经 典三 段论 的提 出 突破了人们对 第 二格 有 第三格 ,# 22112(-22314(’22112(-223 三段 论的传统认识 具有深 刻的逻辑 学意义 综观全 (’(’(’(-(’ #1422112323143211223314231 文程教授 所指认 的非经 典三段 论 的逻 辑特征主要表 12(-第 四 格 有 22314(’22112(’23314(’231 现在 两个 方面 )一是可 以引入 负名词 他认 为 )*每 一 12(等 #显然 引入 负名词后两个 否定前提 非特称 ( 个 非经 典三段 论 式都有 四个或 五个不 同的名词 经过变形推理后 能够得 出一个新 的结论 我们 的问