（额外篇章）逻辑文章 (13-12)

Lewis，D.1979。《迪克托与德塞的态度》，《哲学评论》，88:4。

Lewis，P.2016。量子本体论。牛津大学出版社。

Maddy，P.1988，a。相信公理：《符号逻辑杂志》，53:2。

Maddy，P.1988，b。相信公理二。符号逻辑杂志，53:3。

Marcus，G.，2001。代数思维：连接主义与认知的整合

科学麻省理工学院出版社。

McKinsey，J.和A.Tarski。1944.拓扑代数。编年史

数学，第二辑，45:1。

皮诺，G.1889/1967。算术原理，由一种新方法提出

（文·范）。在范海耶诺德（1967）。

Putnam，H.1980。模型与现实。符号逻辑杂志，45:3。

奎因，W.V.1968。命题对象。Crtica，2:5。

Rasiowa，H.1963。模态理论。《哲学学报》，16。

Raatikainen，P.2022。哥德尔的不完全性定理。斯坦?福特哲学百科全书（2022年春季版），E.N.Zalta

（编辑），URL=＜不完全性/＞。

Reinhardt，W.1974。关于反思原则、大红雀和

基本嵌入。T.Jech（编辑），《纯粹的专题讨论会论文集》

数学，第13卷，第2部分：公理集理论。美国数学

社会

Reinhardt，W.1986。认识论与哥德尔《In》的解读?完备性定理。《哲学逻辑杂志》，15:4。

Rescorla，M.2015。计算的代表性基础。

《数学哲学》，doi:10.1093/philmat/ncv009。

Rutten，J.2019。Coalgebra方法。CWI。

桑德斯，S.和D.华莱士。2008年，分支与不确定性。英国期刊

科学哲学，59。

夏皮罗，S.1991。没有基础主义的基础。牛津大学

按

夏皮罗，S.1998。逻辑后果：模型和模态。在M.Schirn

（编辑），《今日数学哲学》。牛津大学出版社。

竹内，M.1985。拓扑代数。代数杂志，97。

Uzquiano，G.2015。不确定可拓性的变种。圣母院杂志

形式逻辑，58:1。

Venema，Y.2007。代数和代数。在P.Blackburn，J.van Benthem，

F.Wolter（编辑），《模态逻辑手册》。爱思唯尔。

Venema，Y.2012。模态µ-微积分讲座。

Venema，Y.2013。圆柱模态逻辑。在H.Andrka、M.Ferenczi和I。

Nmeti（编辑），类圆柱代数与代数逻辑。Jnos Bolyai Mathe?数学学会和施普林格出版社。

Venema，Y.2020。模态µ-微积分讲座。

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。