乌苏拉州Wybraniec-Skardowska 关于元知识和真理。 （英文） Zbl 1162.03007号 戴维·梅金森（编辑）等人，《走向数学哲学》。2006年9月1日至4日在波兰托伦举行的Studia Logica会议《逻辑四的趋势》上发表的论文。柏林：施普林格出版社（ISBN 978-1-4020-9083-7/hbk；978-1-4020-9084-4/电子书）。逻辑趋势——Studia Logica Library 28，319-343（2009）。 小结：本文讨论了语言知识与现实认知的逻辑充分性问题。本文对作为一种编纂知识的语言知识概念进行了逻辑解释。关于元知识（关于语言知识的逻辑知识）和真理的概念的形式化考虑是根据作者早期论文中提出的一些观点发展起来的[例如，语言句法理论。范畴方法。Dordrecht:Kluwer（1991）；Synthese 116，No.2，231-277（1998；Zbl 0937.03039号); 螺柱日志。85，第105-132号（2007年；兹伯利1117.03014); 螺柱日志。85，第2期，261–274页（2007年；Zbl 1117.03015号)]处理意思,外延和真实性任何给定范畴语言的格式良好的表达（wfes）。本文考虑了与语言编码知识相关的三个方面，包括：1）句法和两种语义：内涵和外延，2）三种非标准语言模型，以及3）wfes真实性的三个概念。在这三种模型中，语言知识对认知对象的充分性被理解为句子真实性的一致性。关于整个系列，请参见[Zbl 1153.03004号]. 引用于1审查引用于4文件 MSC公司： 03A05号 逻辑和基础的哲学和批判性方面 03B65型 自然语言逻辑 关键词：元知识;范畴语法;意思;外延;范畴语义学;非标准型号;真实性;语言知识充分性 引文：Zbl 0937.03039号;Zbl 1117.03014号;Zbl 1117.03015号 PDF格式BibTeX公司 XML格式引用 \textit{U.Wybraniec-Skardowska}，in：走向数学哲学。2006年9月1日至4日在波兰托伦举行的Studia Logica会议《逻辑四的趋势》上发表的论文。柏林：斯普林格。319--343（2009年；Zbl 1162.03007） 全文： 内政部 参考文献： [1] Ajdukiewicz，K.，1931年，“O znaczeniu”（“表达的意义”），Księga Pamiątkowa Polskiego Towarzystwa Filozoficznego we Lwowie，Lwów， [2] Ajdukiewicz，K.，Sprache und Sinn，Erkentnis，IV，100-138（1934）·doi:10.1007/BF01793486 [3] Ajdukiewicz，K.，Die syntaktische Konnexität，Studia Pholosophica，利奥波利，1，1-27（1935） [4] Ajdukiewicz，K.，Związki składniowe między cz \322»onami zdan oznajmuj \261»cych（“陈述句成分之间的句法关系”），Studia Filozoficzne，6，21，73-86（1960） [5] Bar-Hillel，Y.，《句法范畴论》，《符号逻辑杂志》，第15期，第1-16页（1950年）·Zbl 0036.00604号 ·doi:10.2307/2268436 [6] Bar-Hillel，Y.，句法描述的准算术表示法，《语言》，63，47-58（1953）·兹伯利0156.25402 ·doi:10.2307/410452 [7] Bar-Hillel，Y.，《语言与信息》，《理论与应用文选》（1964年），马萨诸塞州阅读：艾迪生-韦斯利出版公司，马萨诸塞诸塞州·Zbl 0158.24102号 [8] Buszkowski，W.，1988，“范畴语法的三种理论”，收录于Buszkovski，W.Marciszewski，W。，van Benthem，J.（编辑），第57-84页·Zbl 0693.03012号 [9] Buszkowski，W.，Logiczne Podstawy Gramatyk Kategorialnych Ajdukiewicza-Lambeka（Ajdukewicz的分类语法的逻辑基础），Logika i jej Zastosowania（1989），华沙：PWN，华沙 [10] Buszkowski，W。；Marciszewski，W。；van Benthem，J.，《分类语法》（1988），阿姆斯特丹-希拉里菲亚出版社：约翰·本杰米斯出版公司·Zbl 0691.00002号 [11] 克雷斯韦尔，M.J.，《逻辑与语言》（1973），伦敦：马图恩，伦敦 [12] 克雷斯韦尔，M.J.，分类语言，Studia Logica，36，257-269（1977）·Zbl 0393.03017号 ·doi:10.1007/BF02120664 [13] Carnap，R.，《意义和必要性》（1947），芝加哥：芝加哥大学出版社，芝加哥·Zbl 0034.00106号 [14] 乔姆斯基，N.，《句法结构》（1957年），《海牙：穆顿公司》，《海牙》 [15] Frege，G.，1879年，《Begriffsschrift，eine der arithmetischen nachbildete Formelsprache des reinen Denkens》，哈雷；转载于Frege，G.，Begriffsschrift und andere Ausätze，Angelleli，I.（编辑），Wissenschaftliche-Buchgesellschaft/G.Olms，Darmstadt-Hildesheim，1964年。 [16] Frege，G.，Die Grundlagen der Arithmetik。Eine logisch-mathematische Untersuchungüber den Begriff der Zahl（1884），布雷斯劳：W.Koebner，布雷斯劳·Zbl 0041.14701号 [17] 弗雷格，G.，《尤伯·辛恩与贝德通》，《哲理与哲学》，克里蒂克，10025-50（1892） [18] 弗雷格，G。；Angelleli，I.，Begriffsschrift und andere Ausätze（1964），达姆施塔特-希尔德斯海姆：维森施塔夫利希-布赫盖塞尔沙夫/G.奥姆斯，达姆斯塔特-希尔德斯海姆 [19] Gerhard，C.I.，《死亡哲学》，Schriften von Wilhelm Leibniz，第7卷（1890年），柏林：魏德曼舍·巴赫汉德隆，柏林 [20] Gödel，K.，《数学与物理学原理》，Monatsheft für Mathematik und Physik，38，173-198（1931）·doi:10.1007/BF01700692 [21] Hendriks，H.，2000，“成分和模型理论解释”，人工智能预印本系列，预印本编号020。 [22] 霍奇斯，W.，《不完全信息语言的合成语义》，《IGPL逻辑杂志》，5，4，539-563（1996）·Zbl 0945.03034号 ·doi:10.1093/jigpal/5.4.539 [23] 霍奇斯，W.，《成分不是问题》，《逻辑与逻辑哲学》，6，7-33（1998）·Zbl 0978.03024号 [24] Hodges，W.，2001年，“组合的形式特征”，《逻辑、语言与信息杂志》10，第7-28页，克鲁沃学术出版社·Zbl 0963.03050号 [25] Hussell，E.，1900-1901，《逻辑Untersuchungen》，第一卷，《Halle 1900》，第二卷，《Halle》，1901年。 [26] 杨森，T.M.V。；van Benthem，J。；ter-Muelen，A.，《逻辑和语言手册》，417-473（1996），阿姆斯特丹-罗珊-纽约：爱思唯尔科学，阿姆斯特达-罗珊-纽约 [27] Janssen，T.M.V.，Frege，语境和组合，《逻辑、语言和信息杂志》，10115-136（2001）·Zbl 0961.03003号 ·doi:10.1023/A:1026542332224 [28] Lambek，J.，句子结构的数学，《美国数学月刊》，65，154-170（1958）·Zbl 0080.00702号 ·数字对象标识代码：10.2307/2310058 [29] Lambek，J。；雅各布森，R.，《句法类型演算、语言结构及其数学方面》（1961年），罗德岛州普罗维登斯：AMS，普罗维登斯·罗德岛 [30] Le she niewski，S.，Grundzüge eines neuen Systems der Grundlagen der Mathematik，《数学基础》，14，1-81（1929） [31] Leśniewski，S.，1930年，《本体论Grundlagen der Ontologie》，《科学社会与瓦尔索维快报》，第二类，第23卷，Warszawa，第111-132页。 [32] Marciszewski，W。；Buszkowski，W.，《范畴文法编年史》，《范畴语法》，7-22（1988），阿姆斯特丹-菲律宾：约翰·本杰米斯出版公司，阿姆斯特丹-菲律宾·Zbl 0691.00002号 [33] Montague，R.，《普遍语法，理论》，36，373-398（1970）·Zbl 0243.0202号 ·doi:10.1111/j.1755-2567.1970.tb00434.x [34] 蒙塔古，R。；Thomason，R.H.，《形式哲学》，理查德·蒙塔古论文集（1974），康涅狄格州纽黑文：耶鲁大学出版社 [35] 乙方，B.H。；特梅伦，A。；Wall，R.E.，《语言学中的数学方法》（1990），多德雷赫特：Kluwer学术出版社，多德雷赫特·Zbl 0722.68089号 [36] 皮尔斯，Ch.S.，1931-1935，查尔斯·桑德斯·皮尔斯论文集，哈特肖恩C.，梅斯P.（编辑），卷。马萨诸塞州剑桥1-5。 [37] Simons，P.，组合词和范畴语法，《圣母院形式逻辑杂志》，30，2，241-261（1989）·Zbl 0689.03015号 ·doi:10.1305/ndjfl/1093635081 [38] Stanosz，B。；Nowaczyk，A.，Logiczne Podstawy Języka（语言的逻辑基础）（1976） [39] Suszko，R.，“句法结构和语义参考”，《逻辑研究》，8，213-144（1958）·doi:10.1007/BF02126751 [40] Suszko，R.，《句法结构和语义参考》，《逻辑研究》，第9期，第63-93页（1960年）·Zbl 0143.01802号 ·doi:10.1007/BF02548469 [41] Suszko，R.，1964年，“O kategoriach syntaktycznych i denotacjach wyrażw językach sformalizowanych”（“关于形式化语言中表达式的句法类别和外延”），摘自《逻辑论文》（Rozprawy Logiczne）（为了纪念Kazimierz Ajdukiewicz），华沙，第193-204页。 [42] Suszko，R.，《维特根斯坦领域中的本体论》，圣母院形式逻辑期刊，9，7-33（1968）·兹比尔0198.32001 ·doi:10.1305/ndjfl/109393349 [43] Van Benthem，J.，1980年，“泛代数和模型理论”。边境上的两次远足”，报告ZW-7908。格罗宁根大学数学系。 [44] Van Benthem，J.，1981年，“为什么语义是什么？”，Groenendijk，J.、Janssen，T.、Stokhof，M.（编辑），《语言研究中的形式方法》，数学中心第135卷，阿姆斯特丹，第29-49页·Zbl 0464.03007号 [45] Van Benthem，J。；兰德曼，F。；Veltman，F.，《语义学的逻辑》，《形式语义学多样性》，55-80（1984），多德雷赫特：福利斯·兹伯利0564.03026 [46] 范·本特姆，J.，《逻辑语义学论文》（1986），多德雷赫特：雷德尔，多德莱赫特·Zbl 0619.03021号 [47] 维特根斯坦，L.，《哲学研究》（1953），牛津：布莱克威尔，牛津 [48] Wybraniec-Skardowska，U.，Rogalski，A.K.，1999，“论普遍语法及其形式化”，《第20届世界哲学大会论文集》，波士顿，1998年，http://www.bu.edu/wcp/Papers/Logi/LogiWybr.htm。 [49] Wybraniec-Skardowska，U.，Teoria Języków Syntaktycznie Kategorialnych（句法-范畴语言理论）（1985），Wrocław-Warszawa:PWN，Wroc-aw-Warszawa [50] Wybraniec-Skardowska，U.，《论理想语言实体的可消除性》，Studia Logica，48，4，587-615（1989）·Zbl 0704.03010号 ·doi:10.1007/BF00370210 [51] Wybraniec-Skardowska，U.，《语言句法理论》。《分类方法》（1991），多德雷赫特-博斯顿-伦敦：Kluwer学术出版社，多德雷赫特-伯斯顿-伦敦 [52] Wybraniec-Skardowska，U.，《语言某些方法中的逻辑和哲学思想》，《综合》，116,2,231-277（1998）·Zbl 0937.03039号 ·doi:10.1023/A:1005098325137 [53] Wybraniec-Skardowska，U.，2001a，《论量词的外延》，载于Omyła，M.（ed.），《罗曼·苏斯科的逻辑思想》，《世界逻辑史会议录》（纪念罗曼·萨斯科），克拉科夫1999，华沙大学哲学和社会学系，华沙，第89-119页。 [54] Wybraniec-Skardowska，U.，《组合的三个原则》，《符号逻辑公报》，7，1，157-158（2001） [55] Wybraniec-Skardowska，U.，2005年，“意义和解释”，摘自Beziau，J.Y.，Costa Leite，A.（编辑），《第一届世界大会和学校通用逻辑手册》，Unilog’05，Montreux，Switzerland，104·Zbl 1117.03015号 [56] Wybraniec-Skardowska，美国。；Jadacki，J。；Pa si niczek，J.，《关于经典范畴语法的形式化》，《利沃夫-瓦沙学派-新一代》，269-288（2006），纽约州阿姆斯特丹市：罗德比，纽约州 [57] Wybraniec-Skardowska，U.，《意义与解释》，《逻辑研究》，85，107-134（2007）·Zbl 1117.03015号 [58] Wybraniec-Skardowska，U.，“意义和解释”，《逻辑研究》，85，263-276（2007）·Zbl 1117.03015号 [59] Wybraniec Skardowska，美国。；巴兹，M。；Preining，N.，《三个层次的知识，哥德尔百年庆典2006：海报》，87-91（2007），维也纳：库尔特·哥德尔学会，维也纳 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。