Sematic Web 学习笔记---现代逻辑导论

一、现代逻辑导论

 

1.1 两个经典的例子：

（1）命题1：苏格拉底是人；命题2：人会死；推导出—>苏格拉底会死

（2）命题1：所有希腊人都是人；命题2：人会死；推出—>所有希腊人都会死

在古希腊的形式逻辑里面，这两个例子是不会区分的，但是，它们实际上市不一样的。苏格拉底是个体，所有希腊人是集合。

正确性：如果所有推导出来的都是正确的，那就是正确的。

完备性：想推导的就能推导出来。

1.2 其他逻辑理论

数理逻辑：现代数理逻辑是不完美的

模糊逻辑：提出了隶属度的概念。统计概率的思想。

1.3 现代逻辑

基于可能世界的语义模型所产生的所有逻辑，要用一个标准的符号系统来表示，它必须要有固定的准则。

模型：东西的构成。

句法：即生成规则。

真值条件：寻找映射。（将复杂的分解为简单的进行分析）

命题逻辑模型：是一个关于原始命题集的赋值。

状态：一个公式描述一个状态，它对应着一个可能世界集合，该公式在这个集合的所有可能世界上都成立。

命题（Proposition）：它的真值决定一个可能世界。

模态（Modality）：它的真值决定多个可能世界。

演绎：所有的能使前提成立的模型也都能使结论成立。（前提可以推出结论）

归纳：需要更多的假设，且这些假设已经包含前提了。

单调的：前提的一部分不若能推出结论，则整体必然能推出。

非单调推理：有冲突存在，前提还需要斟酌。

（例子：所有的鸟儿都会飞；企鹅是鸟—>企鹅会飞？）

模态逻辑：可能&必然

时态逻辑：从时间上谈论成立与否。

空间逻辑：在空间上判断

道义逻辑：应该&不应该&义务。。

动态逻辑：做了什么事情，必然/可能产生什么结果

认知逻辑：知道&不知道，相信&不相信