【SEP】斯坦尼斯瓦夫·莱希涅夫斯基（一） (6-1)

斯坦尼斯瓦夫·莱希涅夫斯基 Stanisław Leśniewski

原作者：Simons, Peter

URL:

Translator: Demian

Proofreader：Demian

斯坦尼斯瓦夫·莱希涅夫斯基（1886-1939年）是两次世界大战之间在华沙兴起的逻辑学派的主要创始人和推动者之一。他是以三个形式系统为基础的非正统数学基础系统的创始人：原论，一种命题及其函数的逻辑；本体论：一种名称逻辑和任意顺序的函数；以及整分论，一种关于部分和整体的一般理论。他对逻辑的形式化和执行的极度严谨的关注，加上对抽象实体的唯名论排斥，导致了一种精确但极不寻常的元逻辑。他对正确区分表达式的使用和提及的严格要求、他的正确定义准则以及他的整分论，都为主流逻辑提供了参考，但他的大多数逻辑观点和创新并未被广泛采纳。尽管如此，他作为教师和逻辑创新推动者的影响力还是得到了广泛认可。他仍然是逻辑学最具原创性的人物之一。

目录：

1.生活

2.早期工作

3.莱希涅夫斯基逻辑体系的发展

3.1早期的整分论

3.2本体论

3.3原论

4.莱希涅夫斯基逻辑的哲学方面

4.1语义范畴

4.2定义

4.3唯名论

4.4量化

4.5莱希涅夫斯基对语义学的反感

5.成熟的系统

6.个性与遗产

6.1莱希涅夫斯基本人

6.2莱希涅夫斯基的遗产

1.生平

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