文恩图
指用交叉圆圈来表示词项间外延关系的一种图解。英国数学家和逻辑学家文恩(John Venn)1834—1923所发明。文恩对欧拉图作了改进,用一个矩形来表示论域,用“+”号标志有分子存在,用“-”号标志没有分子存在。使用文恩图可以表示传统逻辑中的四种直言命题。对于全称肯定命题“所有S是P”,文恩图表示如下:
对于全称否定命题“所有S不是P”,文恩图表示如下:
对于特称肯定命题“有的S是P”,文恩图表示如下:
对于特称否定命题“有的S不是P”,文恩图表示如下:
使用文恩图还可以表示三段论的推理,并且比较容易地判明一个三段论式是否有效。例如对于第一格的AAA式即“所有M是P并且所有S是M ...... (共375字) [阅读本文]>>