1,Richard M. Martin对部分学的应用.pptx

内容：

1，RichardM.Martin对部分学的应用

1.1，OrdinalMereology（序部分学）

1.2，HomogeneousLogic（同质逻辑）

1.3，FormologicalInterpretation（相论上的解释）

2，KenAkiba对模糊性问题的一种解决方法;1，RichardM.Martin对部分学的应用;他坚定地把逻辑学方法用到哲学上，这里有两句他的话：

“Overtheportalsoftheentrancetocontemporaryphilosophyiswrit:Enterherefullyequippedwiththetoolsofthenewlogic.”Intension,p.153.

“Godmadefirst-orderlogicandalltherestisthehandiworkofman.”Semiotics,p.xv.

;什么能作为数学的基础？

集合论？

其他途径？例如部分学？;RichardM.Martin在1992年出版的LogicalSemioticsandMereology中对部分学作了一些实际的应用，这里主要说一下他在数学基础和柏拉图的相论上作的工作。Martin提出了至少三种基于部分学的系统，分别是OrdinalMereology、HomogeneousLogic和关于柏拉图相论的系统。

;这三种系统大同小异，不同点基本上是在哲学观点上。它们都包含部分学最基本的三条原理：

自反性原理；

传递性原理；

反对称性原理。

在此之外还引入了其他初始的词项。;1.1OrdinalMereology;公理和定义（Pr指Principle，D指Definition）;D2.‘(x∪y)’是’(z1(zPx∨zPy))’的缩写

D3.‘(x∩y)’是’(z1(zPx.zPy))’的缩写

D4.‘-x’是’(y1~yPx)’的缩写

D5.‘W’是’(x1xPx)’的缩写，“全”的定义

D6.‘N’是’-W’的缩写，“空”的定义

D7a.‘OrdIndx’是’(Ey)(Ez)(xOrdy,z)’的缩写，这是序个体（OrdinalIndividual）的定义。

D7b.‘CardIndx’是’xP(y1~OrdIndy)’的缩写，这是基个体（CardinalIndividual）的定义

D8.‘Unitx’是’(~xPN.(y)((~yPN.yPx)?xPy))’的缩写，这是单元的定义

Pr6a.|-(x)(CardIndx?(xP(y1(CardIndy.--y--))≡(y)((Unity.CardIndy.yPx)?--y--)))

Pr6b.|-(x)(CardIndx?((y1(CardIndy.--y--))Px≡(y)((Unity.CardIndy.--y--)?yPx)))

这条原则说的是布尔和的性质。

Pr7.|-(Ex)(CardIndx.Unitx)，存在性的原理，相当于集合论中的存在公理

;D9a.‘xOrdy,z,w’指‘(Eu)((uOrdy,z.xOrdu,w)∨(uOrdz,w.xOrdy,u))’,etc.这条指的是多成员的序。

D10a.‘(xordy)Pz’指‘(Ew)(wOrdx,y.wPz)’,etc.,

Pr8.|-(x)(y)((CardIndx.CardIndy)?(Ez)zOrdx,y)，二成员的序个体???生成公理，从基个体可以生成序个体。

Pr9.|-(x)(y)…(z)((CardIndx.CardIndy.….CardIndz)?(Ew)wOrdx,y,…,z),对量词数≥3.多个成员的序实体的生成公理

Pr10.|-(x)(y)(z)(xOrdy,z?(~xPy.~xPz))

Pr11.|-(x)(y)(z)(xOrdy,z?~(~yPN.yPx).~(~zPN.zPx))

Pr12.|-(x)(y)((OrdIndx.~yPN.yPx)?xPy)，10、11这两条公理说的是通过Ord关系生成的实体和其成员的关系，12则说明，序个体是单元。

D11.‘xSucy’指‘(CardIndx.CardIndy.(Ez)(CardIndz.Unitz.(y∩z)PN.x=(y∪z)))’，后继的定义。

Pr13.|-(x)(CardIndx?(Ey)y