美国哲学家、逻辑学家刘易斯(Clarence Irving Lewis,1883~1964)首先提出的与“必然”、“可能”、“不可能”等模态概念有联系的命题间的蕴涵关系。与实质蕴涵不同之处在于它要求命题“A”与命题“B”之间有某种必然联系时,即“A”真而“B”假为不可能是,“A”严格蕴涵“B”;而“A”实质蕴涵“B”则仅仅表示“‘A’真而‘B’假”这一命题是假命题。
笑话军事旅游美容女性百态母婴家电游戏互联网财经美女干货家饰健康探索资源娱乐学院 数码美食景区养生手机购车首饰美妆装修情感篇厨房科普动物植物编程百科知道汽车珠宝 健康评测品位娱乐居家情感星座服饰美体奢侈品美容达人亲子图库折扣生活美食花嫁风景 | 首页 |
美国哲学家、逻辑学家刘易斯(Clarence Irving Lewis,1883~1964)首先提出的与“必然”、“可能”、“不可能”等模态概念有联系的命题间的蕴涵关系。与实质蕴涵不同之处在于它要求命题“A”与命题“B”之间有某种必然联系时,即“A”真而“B”假为不可能是,“A”严格蕴涵“B”;而“A”实质蕴涵“B”则仅仅表示“‘A’真而‘B’假”这一命题是假命题。