数学联邦政治世界观
超小超大

【SEP】斯坦尼斯瓦夫·莱希涅夫斯基(二) (6-3)

莱希涅夫斯基和他的学生们再次寻求更简短、更透彻的表述,或者只包含一条公理的表述,尽管后者往往既不简短也不透彻。

随着整分论的推出,莱希涅夫斯基现在可以回顾他的基础体系,发现它由三个体系组成,并以相反的顺序发展:原论引入了连接词、量词和高级函数;本体论引入了新的名称类别和新的基元“是”;整分论以基元整分论函数(如“部分”或“成分”)为基础,但没有引入本体论中尚未预见的新的表达类别。

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

4.1语义范畴

莱希涅夫斯基对逻辑元理论最持久的贡献之一是他的语义范畴理论。这取代了他在1921年提出的简单类型论,关于这一理论,他写道:“即使在我构建类型论的时候,我也认为它只是一个不适当的权宜之计……1922年,我勾勒出一个语义范畴的概念,以取代类型的层次结构,这对我来说是相当不直观的”(《全集》,421)。在类型论中,属于不同逻辑类型的表达式不能相互替代,否则就会把符合语法或格式正确的表达式变成不符合语法或格式错误的表达式。只有格式正确或符合语法的表达式才有意义或含义。该理论由伯特兰·罗素(Bertrand Russell)提出,作为解决集合论悖论的一种方法,尽管恩斯特·施罗德(Ernst Schröder)和戈特洛布·弗雷格(Gottlob Frege)在其著作中也有所提及。在类型论中,通常假定每种类型的变量都涵盖该类型特有的实体域,而且所有这些域都是互不相交的。例如,在弗雷格那里,范畴是不同层次的对象和功能,而在罗素那里,范畴通常是命题功能的层次。这种假定的柏拉图主义和本体论的膨胀立场自然与唯名论者莱希涅夫斯基的观点格格不入,于是他重新调整了范畴的概念,把范畴从实体类(及其附带的表达式)变成了单纯的表达式类。他的灵感部分来自传统的不同语篇句法理论,部分来自胡塞尔在《逻辑研究》中提出的“意义范畴”(Bedeutungskategorien)理论。胡塞尔的范畴是抽象意义的范畴,而勒希涅夫斯基一直是唯名论者,他代之以(具体的)表达范畴。虽然像后来的作家一样,他本可以把表达式的类别称为“句法范畴”,但他特意选择了“语义范畴”这一表述,以强调语法上组合起来的表达式都是有意义的,这与希尔伯特学派的形式主义作家提出的无意义标记不同。

莱希涅夫斯基本人从未明确提出过语义范畴理论,而是满足于在实践中使用它们。他的同代人卡齐米日·阿吉杜凯维茨(Kazimierz Ajdukiewicz)在1935年发表的文章《句法联系》中首次提出了语义范畴理论。阿吉杜凯维茨的文章成为后来分类语法分支学科的源头。修改 阿吉杜凯维茨的符号后,我们可以按照莱希涅夫斯基的用法来解释语义范畴。莱希涅夫斯基认为,这一理论只适用于他的逻辑系统,而不适用于普通语言,因为他对普通语言是否能够准确无误持怀疑态度。后来的研究表明,分类语法可以非常成功地应用于自然语言的语法。

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

相关小说

快穿,清冷男主太爱 连载中
快穿,清冷男主太爱
五月二
傅云被我灼灼的目光盯得有些发毛,他皱起眉头,不耐烦地推了我一把:“你有什么毛病?怎么突然发起脾气来了?”我的心情很复杂,但还是尽力保持着平静......
1.1万字9个月前
双男主:永不满足 连载中
双男主:永不满足
不配留名
禁欲系逃避型人格闷骚死装男X掠夺者自恋型人格美强惨爱如烟海,欲如沟壑,生生世世,永不满足双重生+双男主+1v1+群穿+多身份日更1000+
3.4万字9个月前
红月:死寂 连载中
红月:死寂
深渊教团神魔教主梦
悲惨之人的旅途。(本人涉及多个圈,所以可能会有其他圈人物,开学中之后每周一更)
5.7万字9个月前
萌学国之双身份公主 连载中
萌学国之双身份公主
韵雅蠛蝶
因有奈亚公主使命的乌拉拉而化为一颗宝石,因吸血王蓝宝消失,因蓝宝消失而出走的坚尼,因红月而消失的乌克娜娜又重回萌学园,有着不同的身份。这次,......
3.5万字9个月前
快穿之我要做主角! 连载中
快穿之我要做主角!
善熙呀
【快穿+直播间+金手指作者群+攻略】封面用的是王楚然国风美照噢,她很符合我婉婉形象。穿越后的婉婉左手一扎作者,右手一间直播,依靠这两样法宝游......
17.7万字9个月前
栗物普:孤岛 连载中
栗物普:孤岛
lizpeep
此篇为梦女文,请谨慎观看!本质是我(人鱼莉兹)/俄总统普京(斜杠无任何含义)文中我将称普京为弗拉基米尔or瓦洛佳人设相关:莉兹:永生的人鱼;......
0.1万字9个月前