×
乌苏拉州Wybraniec-Skardowska

一阶量词的类别。 （英文） Zbl 1522.03106号

Garrido，Angel（编辑）等人，《利沃夫-瓦沙学校》。过去和现在。查姆：Birkhäuser。通用螺栓。日志。，763-777 (2018).
小结：关于量词，特别是一阶量词，一个众所周知的问题与它们的句法类别和外延有关。在形式化的一阶语言中，建立量词的句法和本体范畴的努力并不令人满意，可以通过罗曼·苏斯科（Roman Suszko）提出的所谓范畴相容原则来解决，引用了格特洛布·弗雷格的一些创新思想，可见语言表达的句法和语义兼容性。本文介绍了Ajdukiwicz经典范畴语法生成范畴语言的原理。一阶量词通常是模糊的。类型为\（k>0\）的每一个一阶量词都被视为一个双参数函子函数，该函数定义在位于该量词及其范围的变量上（具有精确\（k\）自由变量的句子函数，包括由该量词绑定的变量）；定义在两个参数的外延上的二进制函数是它的外延。句子功能的表示，因此也包括量词，在弗雷琴语义学和情景语义学中分别定义。它们属于本体论范畴，与这些句子功能的句法范畴和所考虑的量词相对应。本文的主要结果是根据范畴相容性原则解决了一阶量词的范畴问题。
关于整个系列，请参见[兹比尔1403.01005].

引用于1文件

MSC公司：

03C07号机组 一阶语言和结构的基本性质
03A05号 逻辑和基础的哲学和批判性方面
05年3月 数学中的非标准模型

关键词：

一阶量词;范畴语言;句法范畴;外延;本体范畴;指称语义学;成分性;类别相容性
PDF格式BibTeX公司 XML格式引用
\textit{U.Wybraniec-Skardowska}，收录于：Lvov-Warsaw学校。过去和现在。查姆：Birkhäuser。763--777（2018；Zbl 1522.03106）
全文： DOI程序 链接

参考文献：

[1] Ajdukiewicz，K.：《Konnexität》。螺柱.菲洛斯。1，1-27（1935）[英语翻译：句法连接。In:McCall，S.（ed.）Polish Logic 1920-1939，pp.202-231。牛津克拉伦登出版社（1967）]
[2] Ajdukiewicz，K.：Związki składniowe miedzy cz \322»onami zdan oznajmuj \261»cych[陈述句成分之间的句法关系]。Stud.Filozoficzne 6（21），73-86（1960）[首次在1958年9月27日至10月2日于埃尔福特举行的国际语言学研讨会上以英语发表]
[3] Bochennski，J.M.：关于句法范畴。新经院哲学23，257-280（1949）·doi:10.5840/newscholas194923347
[4] M.J.克里斯韦尔：《逻辑学与语言》。伦敦Mathuen有限公司（1973年）
[5] H.B.库里：Grundlagen der kombinatorischen Logik。美国数学杂志。52, 509-536, 789-834 (1930) ·doi:10.307/2370716
[6] Curry，H.B.：语法结构的一些方面。摘自：Jakobson，R.（编辑）《语言结构及其数学方面》，第12卷，第57-68页。意大利普罗维登斯AMS（1961）·Zbl 0111.16102号
[7] Curry，H.B.，Feys，R.：组合逻辑，第1卷。北荷兰，阿姆斯特丹（1958年）·Zbl 0081.24104号 ·doi:10.1016/S0049-237X（08）72029-9
[8] 弗雷格，G.：Begrifschrift，eine der arithmetischen nachbildete Formalsprache des reinen Denkens。Halle（1879）[英译：Geach，P.T.，Black，M.（编辑）《Gottlob Frege哲学著作的翻译》。Blackwell，Oxford（1970）]
[9] Frege，G.：Die Grudlagen der Arithmetik:eine logische-mathematische Untersuchungenüber den Begriff der Zahl。布雷斯劳（1884）[英译：算术基础：对数字概念的逻辑数学探究]·Zbl 0037.00602号
[10] Frege，G.：《新与贝多通》。Zeitschrift für Philosophie und pilosophishe Kritik 100，25-50（1892年）[英译：Feigel，H.，Sellars，W.（编辑）《哲学分析读物》，《阿普尔顿世纪克罗夫茨》，纽约（1949年），以及《Beaney，B.（编辑）The Frege Reader》，第151-171页。牛津大学布莱克威尔分校（1997）]
[11] 辛提卡，J.：《重温数学原理》。剑桥大学出版社，剑桥（1996）·Zbl 0869.03003号
[12] 胡塞尔（Husserl，E.）：《逻辑》（Logische Untersuchungen）。第一卷，哈雷（1900），第二卷，哈勒（1901）
[13] Le she niewski，S.：Grundzüge eines neuen Systems der Grundlagen der Mathematik。芬丹。数学。14, 1-81 (1929) ·doi:10.4064/fm-14-1-1-81
[14] Le she niewski，S.：《本体论的格兰德拉赫德》。《社会科学与瓦尔索维信件》，第二类23、111-132页（1930年）
[15] Lindström，P.：带有广义量词的一阶谓词逻辑。理论32，186-195（1966）·Zbl 1230.03072号
[16] 蒙塔古：通用语法。Theoria理论36，373-398（1970）·Zbl 0243.0202号 ·doi:10.1111/j.1755-2567.1970.tb00434.x
[17] 蒙塔古：《形式哲学：理查德·蒙塔古论文集》。耶鲁大学出版社，康涅狄格州纽黑文（1974）。编辑和介绍。R.H.托马森
[18] Mostowski，A.：关于量词的泛化。芬丹。数学。44, 12-36 (1957) ·Zbl 0078.24401号
[19] Nowaczyk，A.：范畴语言和变量绑定运算符。《逻辑学研究》37，27-39（1978）·Zbl 0414.03003号 ·doi:10.1007/BF202123611
[20] 西蒙斯，P.：组合词和范畴语法。圣母院J.表格日志。30 (2), 241-261 (1989) ·Zbl 0689.03015号 ·doi:10.1305/ndjfl/1093635081
[21] Simons，P.：带有可变绑定操作符的语言：范畴语法和组合语义。收录：Jadacki，J.，Pa she niczek，J.（编辑）《利沃夫-瓦沙学校-新一代》。波兹南科学和人文哲学研究，第89卷，第239-268页。罗德比，阿姆斯特丹/纽约（2006年）
[22] Suszko，R.：句法结构和语义参考，第一部分，《逻辑学研究》8，213-144（1958）
[23] Suszko，R.：句法结构和语义参考，第二部分。《逻辑学研究》9，63-93（1960）·Zbl 0143.01802号
[24] Suszko，R.:O kategoriach syntaktycznych i denotacjach wyrażen w jezykach sformalizowanych[关于形式化语言中表达式的句法类别和表示]。参见：Rozprawy logiczne[Logical Dissertations to the Memory of Kazimierz Ajdukiewicz]，第193-204页。PWN，华沙（1964）
[25] Suszko，R.：《维特根斯坦手稿中的本体论》。圣母院J.Form.Log。9, 7-33 (1968) ·兹比尔0198.32001 ·doi:10.1305/ndjfl/109393349
[26] 塔斯基：真理的语义概念：以及语义学的基础。菲洛斯。现象学。第4（3）号决议，341-376（1944）·Zbl 0061.00807号
[27] van Benthem，J.：逻辑语义学论文。多德雷赫特·雷德尔（1986）·Zbl 0619.03021号
[28] van Benthem，J.：类型世界中的量词。收录：van der Does，J.，van Eijck，J.（编辑）《量词、逻辑和语言》，第47-61页。斯坦福大学，加利福尼亚州斯坦福（1996）·Zbl 0966.03025号
[29] van Benthem，J.，Westerstáhl，D.：广义量词理论中的方向。《逻辑研究》53，389-419（1995）·Zbl 0840.03029号
[30] Wybraniec-Skardowska，U.：语言句法理论。分类方法。Kluwer学术，多德雷赫特/波士顿/伦敦（1991年）·Zbl 1462.03015号 ·数字对象标识代码：10.1007/978-0-585-26680-03
[31] Wybraniec Skardowska，U.：某些语言方法中的逻辑和哲学思想。合成116（2），231-277（1998）·Zbl 0937.03039号 ·doi:10.1023/A:1005098325137
[32] Wybraniec-Skardowska，U.：关于量词的指称。在：Omyła，M.（编辑）《罗马苏兹科的逻辑思想》，第89-119页。华沙大学哲学和社会学学院，华沙（2001年）
[33] Wybraniec Skardowska，U.：关于古典范畴语法的形式化。收录：Jadacki，J.，Pa she niczek，J.（编辑）《利沃夫-瓦沙学校-新一代》。波兹南科学和人文哲学研究，第89卷，第269-288页。罗德比，阿姆斯特丹/纽约（2006年）
[34] Wybraniec-Skardowska，U.：关于语言的充分性。螺柱日志。语法修辞。40 (53), 257-292 (2015)
[35] Wybraniec-Skardowska，U.：一阶量词的分类。牛市。符号。日志。22(3), 427-428 (2015). https://doi.org/doi:10.1017/bsl.2016.22·Zbl 1364.00054号 ·doi:10.1017/bsl.2016.22
[36] Wybraniec-Skardowska，U.：一阶量词的范畴相容性。非班级。日志。理论应用。8, 134-140 (2016)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。