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

一、现代逻辑导论

 

1.1 两个经典的例子:

(1)命题1:苏格拉底是人;命题2:人会死;推导出—>苏格拉底会死

(2)命题1:所有希腊人都是人;命题2:人会死;推出—>所有希腊人都会死

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

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

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


1.2 其他逻辑理论

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

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


1.3 现代逻辑

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

模型:东西的构成。

句法:即生成规则。

真值条件:寻找映射。(将复杂的分解为简单的进行分析)

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

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

命题(Proposition):它的真值决定一个可能世界。

模态(Modality):它的真值决定多个可能世界。

演绎:所有的能使前提成立的模型也都能使结论成立。(前提可以推出结论)

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

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

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

(例子:所有的鸟儿都会飞;企鹅是鸟—>企鹅会飞?)

模态逻辑:可能&必然

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

空间逻辑:在空间上判断

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

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

认知逻辑:知道&不知道,相信&不相信

你可能感兴趣的:(Web)