|
| | |
|
作者：王震宇 卢东栋
出版社：机械工业出版社
出版日期：2005年1月
译者：
|
|
ISBN：711115689 |
| 开本： |
|
装帧： |
原价：
22 元 |
|
| | 三星会员：19.13 元 |
二星：19.54 元 |
一星：19.95 元 |
普通：20.57 元 |
|
 
团购服务电话13146064908 价格优惠！ |
|
|
|
模态逻辑是逻辑学中的一个重要分支学科，是一种特殊的逻辑智慧。本书介绍了模态逻辑发展的概况以及传统模态逻辑的基本内容，区分了客观模态与主观模态、逻辑模态与非逻辑模态、从物模态与从言模态、狭义模态与广义模态，特别是详细介绍了真势模态的可能世界语义学理论、命题种类及推理有效式；同时也介绍了规范逻辑（道义逻辑）和时态逻辑以及模态命题逻辑演算的基本理论。本书的最大特点是通俗化，运用大量事例来讲解难懂的模态逻
|
|
| 
|
| 
丛书总序
前言
1.“地球必然围绕太阳旋转”与“地球上可能来过外星人”
——客观模态与主观模态
2.“金属导电或不导电是必然的”与“生物必然要进行新陈代谢”
——逻辑模态与非逻辑模态
3.“物质必然运动”与“物质运动是必然的”有区别吗
——从物模态与从言模态
4.“他必然出庭作证”与“他应当出庭作证”
——狭义模态与广义模态
5.“白丁香必然有香味”与“白丁香不可能没有香味”
|
|
|
| |
