lesniewski（一）

Stanisławleśniewski（1886-1939）是逻辑学院的主要创始人和搬运工之一，在两次世界大战之间的华沙蓬勃发展。 他是数学基础的非正统系统的发起人，基于三个正式的系统：质子，命题逻辑及其功能; 本体：任意顺序的名称逻辑和函数; 和情境，一般理论的一般理论。 他对逻辑正规化和执行的最大严格的关注，再加上一个标称的抽象实体，导致了一个精确但高度不寻常的Metalogic。 他对正确区分的狭隘信息从提到表达式，他的正确定义和他的模特学，以及他的信息，都告知了逻辑主流，但他的大部分逻辑观和创新尚未得到广泛采用。 尽管如此，他作为老师的影响以及逻辑创新的电机被广泛承认。 他仍然是逻辑最原始的数字之一。

1.生命

2.早期作品

3.leśniewski的逻辑系统的开发

3.1早期情境

3.2本体论

3.3质子

4.leśniewski逻辑的哲学方面

4.1语义类别

4.2定义

4.3名义义

4.4量化

4.5leśniewski厌恶语义

5.成熟系统

6.人格和遗产

6.1leśniewski作为一个人

6.2leśniewski的遗产

参考书目

主要来源：由leśniewski作品

选定的二级来源

学术工具

其他互联网资源

相关条目

1.生命

StanisławKazimierzleğniewski于1886年3月28日出生于莫斯科附近的塞尔库克霍夫，一名工程师，一名努力建造跨西伯利亚铁路，Helena，NéePalczewska。 他在圣彼德堡圣斯坦尼斯拉岛教堂受洗。 他的母亲当他年轻的时候去世了，他的父亲再婚。 他参加了西伯利亚伊尔库茨克的古典Gimnazjum（语法学校学习古典语言）。 1904年至1910年间Ležniewski在德国，瑞士和俄罗斯学习哲学和数学，在莱比锡，苏黎世，海德堡，圣彼得堡和慕尼黑，他听到讲座由Hans Cornelius，Moritz Geiger和AlexanderPfänder。 1910年，他作为Lwów大学的博士生，然后在奥地利匈牙利，当天最重要的波兰哲学家，Kazimierz Twardowski是Franz Brentano的学生，是教授，并正在建立一个优秀的年轻哲学家的干部。 1912年，他通过论文PRZYCZYNEK Do AnalizyZdańGezystencjalnych[对存在命题分析的贡献]。 这发布了前一年的领先波兰语哲学杂志filozoficzny。 在战争爆发之前，据袭击了几个进一步的出版物，其中在波兰科学院在莫斯科教学数学中度过了。 在此期间，他开发了后来被称为模特的东西。 在俄罗斯的Bolshevik革命之后，leśniewski离开了俄罗斯波兰。 在1919-21波兰 - Bolshevik战争期间，他在L中将Jan Kowalewski担任波兰一般人员密码部分的码扣，部分原因是他对俄罗斯的知识，帮助波兰在俄罗斯幸存下来重新调查它。 他试图在Lwów获得他的住身，在那里他被封锁，而是在华沙大学，1919年，他成为数学基础的（特别是助理），一个特别为他创造的职位。 从那时起直到他的最终疾病leśniewski定期讲授逻辑和数学主题，并建立了他的逻辑系统。 虽然他的逻辑从未被广泛接受过，但即使在波兰，JanŁukasiewicz也被尊重为华沙逻辑学院的联合创始人之一。 leśniewski唯一的博士生Alfred Tarski（leśniewski曾经吹嘘100％的天才作为博士生）加入他们在白球之时形成了世界上杰出的数学逻辑中心。 leśniewski于1936年被教授。始终是吸烟者，他收缩甲状腺癌，1939年5月13日在53岁时去世。他的论文被委托给他的学生Bolsławsobociński，包括在内未完成的逻辑逆向和许多值逻辑的作品。 在1944年的华沙上升期间，所有这些论文都被摧毁。

2.早期作品

leśniewski的早期作品是逻辑和语言哲学课程的课题，关注真理，表示和内涵，逻辑定律的地位和罗素的抗棘手的问题。 这个时期的主要影响是John Stuart Mill，Anton Marty和Edmund Husserl：他自己描述了作为语法的作品。 虽然leśniewski后来拒绝了他的早期作品，但它们含有许多他后来利益，态度和工作实践的种子。 从一开始，在开发逻辑原则中存在一个痴迷的严谨性，包括本能地清晰和一致的使用/提到区别的标记，即以语言与谈论语言的语言区分谈话。 leśniewski的早期作品主要是由他人工作的反应，无论是Brentano和Cornelius是否存在于存在的主张，Łukasiewicz在矛盾的原则上，排除在普遍的互联网上，或者Kotarbiński在真理的永恒性。

这个时期的转折点来自1911年leśniewski读取Łukasiewicz的突破性1910张照片o zasadziesprzecznościuarystotelesa [关于矛盾原则亚里士多德]，一种激进的重新思考依赖现代逻辑矛盾原则的地位。 这项工作载有一个附录，其中在Couturat的答案中，在Couturat的符号中阐述了现代符号逻辑，并在第18章简要讨论了罗素的套装的依据，这些套装不是自己的成员。 leśniewski最初认为Russell Antinomy易于修复 - 而试图解决它在俄罗斯改变电台时错过了一次一日星。 他度过了下年完善他的解决方案，事实上，他的余生致力于为数学提供严格的，无言语的基础，这避免了普林尼亚的邋，以及他认为标准集理论的虚构。

根据leśniewski的论文和第一论文，所有积极存在的命题都是分析的。 这听起来很荒谬，但leśniewski有理由。 喜欢磨坊，他区分了一个术语的表示，这是它代表的对象或对象，它的内涵是它的属性或属性它归于某种东西。 如果它是（1）以正对象谓词形式（1），则定义一个命题，并且（2）含有未被受试者内涵的谓词内涵性质。 如果是（1）阳性，并且（2）含有一些谓词含有由受试者而言未含有的属性的序列是合成的。 与磨坊相反，谁说“”是“意识到现有的财产，leśniewski认为谓词”存在“并不意味着任何属性。 Fortiori，'存在'用作谓词incot，没有包含在主题中的财产。 除了这样的主题内涵不存在之外，具有“x�形式”是非存在“的负存在命题是合成的。 '一个方形圆圈不存在'没有，所以它是合成的，但'所有不存在的对象都是非现有的'是分析的。 所有负面存在的命题都是矛盾的，因为每个主题都意味着表单的某些形式“，其具有属性A，B，C，d�，�，�，�等”的分析负片存在具有矛盾的主题。 所以而不是说'xū存在'我们应该，表达我们想要成为合成和偶然的命题，而是说'有些是对象X¼'。

leśniewski节省了外观，即一些存在的命题是真实的，其他人是假的，通过提出命题应该履行意图是正确表达的规范性模式。 每个命题都代表由谓词内涵的特性主体表示的对象的具有对象。 未能符合此规范的句子是不正确或不充分的，并且应该被适当的替代品所取代。 例如，“人存在”，这是真的，但旨在是合成的，应该表达为“有些人是人”，而“不存在的方形圈子”应该被“不存在是一个方形圈”表示。 这是一些等价性的表：

不足的表达式交替替代对象a�存在的物体是对象a�objects存在的众生是对象a�objecta�存在（一定）是对象a�objecta�不存在

对象a�不存在是一个/对象a�

在“尝试矛盾的证据证明”（1912）leśniewski认为“没有对象能够成为b�，而不是-b-〗'是真的，但不同意同比（现在普遍接受）'没有a�是b�'等同于'如果某些东西是a�然后它不是b¼'。 这篇文章是批评Łukasiewicz的一些思想，它为两名后来的同事的第一次个人会议提供了奖励。 Łukasiewicz在1949年5月9日的巨大日记入口后面描述了几十年的会议：

昨天是主教的圣斯坦尼斯拉州的盛宴。 这是leśniewski的名字日。 在他的最后一个，他已经在同一所在医院撒谎，其中五天后他就死了。 我在1912年在Lwów遇到了Ležniewski。我住在10号叔叔，在10，Chmielowski街。 有一个下午有人在入口门响了。 我打开了门，我看到一个有轻的年轻人，尖头留着胡子，一顶帽子宽阔，黑色毛衣而不是领带。 这个年轻人礼貌地鞠躬和问：“Łukasiewicz教授住在这里吗？” 我回答说，这是如此。 “你是Łukasiewicz教授吗？” 问陌生人。 我回答说，这是如此。 “我是leśniewski，我来向你展示我对你写的文章的证据。” 我邀请那个男人进入我的房间。 事实证明，leśniewski在filozoficzny发表了一篇文章，该文章在亚里士多德矛盾的矛盾原则上批评了一些我的观点。 这种批评是用这种科学精确写的，即我找不到我可以与他一起接受的任何点。 我记得，经过几个小时的讨论时，Ležniewski从我那里分开，我像往常一样去了Kawiarnia szkocka [苏格兰咖啡馆，在Lwów的学者最喜欢的会议场所]，我宣布给我同事在那里等我必须放弃我的逻辑兴趣。 一家公司涌现，我无法面对的比赛。 [由Arianna Betti和Owen Leblanc翻译; 查看波兰语哲学页面：Stanislaw Lesniewski，在下面的其他Internet Resources部分]

在“被排除的中间的逻辑原则的批判”（1913）leśniewski区分了本体原则 - 每个对象都是a�与否 - 以及两个矛盾的命题的逻辑原则 - 至少一个人必须是真的。 他拒绝后者，因为他采取了“每一个半人马有尾巴”，“一些半人马没有尾巴”是矛盾的，但两者都是虚假的，因为主题“半人马”是空的。 这显然取决于普遍的综合性导入。 如果为普遍使用“任何半人马有尾巴”，那么如果没有半人马，那么我们确实得到了与真实值相对的矛盾对。

在本文的过程中，leśniewski反对Twardowski的一般物体理论和Meinong的无可可能的物体理论，以及为Gringling和骗子的悖论提供解决方案。 本文是他早期的“Logico-语法”的最富有作品。 针对Twardowski的论点如下。 调用一个具有所有和仅由某些组对象共享的属性的对象。 例如，普通马拥有所有和只有所有马匹共享的属性：它既不是黑色也不是棕色也不是白色，既不是男性也不是女性，既不是年轻人也不是老人，但它是无可争议的马，哺乳动物，以及两只马父母的毫无疑问。 leśniewski现在减少了荒谬的定义。 任何至少两个对象的组，都会有一些属性，其中一些人有其他人没有。 例如，有些马是黑色的，其他马不是黑色。 所以一般马不是黑色的，因为有些马不是黑色; 但也不是黑色，因为有些马不是黑色。 因此，一般马既不是黑色也不是黑色，这是一个矛盾。 因此，不止一件事的组没有一般对象。 leśniewski非常喜欢这一论点，甚至在否定他早期工作的所有其他部分时，即使仍然依赖他的忠诚; 他始终如一地拒绝了祖先。 但是该论点不会影响普通师的理论，这很乐意接受普遍的普遍可能拥有他们的实例，例如被实例化或重复。

“是真理只是永恒的或永恒的，没有一个开始？” （1913）他争论针对Kotarbiński的永恒二极管的观点，即未来的截止命题缺乏决定性的真实价值。 本文说服了Kotarbiński他出错了。 交易所非常值得注意的是，在第一次世界大战之前，已经在第一次世界大战之前已经在Lwów讨论了对未来的偶然命题的逻辑状态，这激发了Łukasiewicz的逻辑状态，这激发了ŁukaSiewicz。

“是类的课程不是从属于自己的课程？” （1914）leśniewski提供了对Russell的悖论的第一个公布分析，声称“A的类别”是指的是一个独特的A1S信息总和，因此由于每个对象都是从属于自己，因此没有对象的任何类都不从属于自己而且罗素的悖论未能出现。 他从Łukasiewicz的非标准术语“从属于”，由leśniewski定义如下。 一个物体p�是k�，如果只有a，k�是一类a�s（像我们将看到的一类），并且p�是a�的。 让p�是球体q�的半球形部分。 Qū的所有半球的课程都是leśniewski的理解，简单地是q�本身，所以p�是从属于q�。 实际上，根据这个视图，任何对象都是一个类，并且从属于自己。 leśniewski在整个生命中保留了对课程的“具体”的理解，声称它符合Cantor自己的陈述。 其他设定的理论给出了不同的事情的东西在leśniewski的看法中，而不是他的问题。

在第二次世界大战期间，当莱赫韦斯基生活在莫斯科时，他完成了“一般套装理论的基础”（1916）。 尽管使用了“Mnogoë”一词（集），这是第一个严谨的零件，惠尔和具体收藏理论的严谨演绎展示。 leśniewski后来掉了“Mnogoë”一词，而是发明了“模特科”一词，意思是“零件理论”，来自希腊μερος的一个不规则的币，部分，以便将他的观点与他讽刺地称为他的观点来区分“官方”集理论。 在本文中，语言是一种高度团制的波兰语，补充了变量，因为在leśniewski不信任象征方法，发现白头和罗素的Principia Mathematica的使用/提及混淆，并假设任何符号逻辑都必须这样。 只有稍后才能发现弗赖奇的更加潮汐作品，此后他作为该日期的象征性逻辑的最重要典范。 leśniewski是最早的逻辑学家之一，非常欣赏Frege逻辑工作的优点，主要独立于其不一致。 在以后，leśniewski证明，弗雷格的“出路”涉及限制致命抽象原则基本法诉的悖论，具有不可接受的后果，即可能不止一个对象。 这项工作没有公布，但在索维卡斯基（1949年）之后是第二次世界大战后重建的。

3.leśniewski的逻辑系统的开发

重要的是了解leśniewski的发展和他对逻辑系统的态度，从开始的意义赋予意义，而不是无意义的正式游戏，以知道他按照逻辑优先顺序的顺序按顺序按顺序在他的系统中开发。 逻辑上，质疑前面的本体论，与本体在整体内容，但他从模特开始工作，通过本体学习，完成质量。 与自然语言的不适当和脱脂纤维有沮丧，作为一个工作的媒介，在1920年，leśniewski让自己被莱昂Chwistek说服，克服他对象征主义和制定他的令人厌恶并制定他的使用符号的逻辑思想。 在1916年已经形成的情况相当良好的成交，到象征主义的过渡在那里直截了当。 公理化首先出现的事实，并且已经遵循了已经公正的理论的象征，随后给了leśniewski对从形式主义中解散使用正式方法的强烈理由，根据哪种公式没有解释。 leśniewski的公式从一开始就有预期的解释。

3.1早期情境

原始（1916）对情境的制定，尚未被称为特殊符号，尚未正式化，具有原始概念“部分”，四个公理和三种定义。 他们是：

公理I.如果对象A1是对象b�的一部分，那么b�不属于A的一部分

Axiom II。 如果对象A1是对象B的一部分，并且对象b�是对象c�的一部分，那么a�是C的一部分。

这些分别指定了零件关系的不对称性和传递性。

定义I.表达式A1'的成分用于表示a�，以及A1的每个部分。

也就是说：对象b�是物体A的成分，如果只有Bb�是a∈或b�的一部分。 如今，“成分”术语通常简单地呈现为“部分”，而leśniewski的“部分”被称为“适当的部分”。

定义II。 物体m�'的表达式[mnogość]用于表示每个物体A1，使得如果Bb�是A1的任何成分，则一些成分的b�是一些m�的成分，并且该m�是A1的成分。