谢凯利（Székely，Gergely） 孪生佯谬及其变体的几何特征。 （英语） Zbl 1204.83011号 螺柱日志。 95，编号1-2，161-182（2010）. 摘要：本文的目的是在一阶逻辑框架内对孪生佯谬（TwP）定理进行基于逻辑的概念分析。给出了TwP及其变体的几何特征。结果表明，TwP在逻辑上并不等同于时钟运动速度减慢的假设，而TwP的缺乏在逻辑上也不等同于牛顿的绝对时间假设。文中还研究了广义相对论的对称公理与TwP之间的逻辑联系。 引用于2文件 MSC公司： 83A05号 狭义相对论 03B80号 逻辑的其他应用 83立方厘米 广义相对论和引力理论中的运动方程 关键词：孪生悖论;几何特征;逻辑基础;公理化;狭义相对论 PDF格式BibTeX公司 XML格式引用 \textit{G.Székely}，Stud.Log。95，编号1--2，161-182（2010；Zbl 1204.83011） 全文： 内政部 arXiv公司 参考文献： [1] Andréka，H.、J.X.Madarász和I.Németi，《相对论的逻辑结构》，作者：A.Andai、G.Sági、I.Sain和Cs。托克。研究报告，匈牙利阿尔弗雷德·雷尼数学研究所。阿卡德。科学。，布达佩斯，2002年。http://www.math-inst.hu/pub/algebraic-logic/Contents.html . [2] Andréka H.，Madarász J.X.，Németi I.：“文献中时空样本的逻辑公理化”。摘自：Prékopa，A.，Molnár，E.（编辑）《非核素几何》，第155-185页。Springer-Verlag，纽约（2006年）·Zbl 1102.03037号 [3] Andréka H.，Madarász J.X.，Németi I.：“时空逻辑和相对论”。摘自：Aiello，M.、Pratt-Hartmann，I.、Benthem，J.（编辑）《空间逻辑手册》，第607-711页。施普林格·弗拉格，多德雷赫特（2007） [4] Ax J.：“时空的基本基础”。已找到。物理学。8(7-8), 507–546 (1978) ·doi:10.1007/BF00717578 [5] Benda T.：“时空流形的正式构造”。J.Phil.逻辑学37（5），441-478（2008）·Zbl 1175.03007号 ·doi:10.1007/s10992-007-9075-x [6] Chang C.C.，Keisler H.J.：模型理论。北荷兰出版公司，阿姆斯特丹（1990年）·Zbl 0697.03022号 [7] Corry，L.，“关于希尔伯特第六个问题的起源：物理学和经验主义公理化方法”，载于Marta Sanz-Solé等人（编辑），《国际数学家大会论文集》，马德里，2006年，第3卷，苏黎世，欧洲，第1679-1718页·Zbl 1100.01004号 [8] 爱因斯坦A.：“Zur Elektrodynamik Beegter Körper”。Annalen der Physik，17891–921（1905）·doi:10.1002/和p.19053221004 [9] 福克五世：空间、时间和引力理论。佩加蒙出版社，纽约（1959年）·Zbl 0085.42301号 [10] Goldblatt R.：正交性和时空几何。Springer-Verlag，纽约（1987）·Zbl 0622.51001号 [11] Gömöri m.和L.E.Szabó。，相对论原理与电动力学一致吗？《走向物理理论的逻辑-经验主义重建》，2009年。arXiv:0912.4388v1。 [12] Guts A.K.：“相对论公理化理论”。俄罗斯数学。调查。37(2), 41–89 (1982) ·Zbl 0504.53017号 ·doi:10.1070/RM1982v037n02ABEH003942 [13] Madarász，J.X.，《逻辑与相对论》（根据可定义理论），博士论文，埃特沃斯·洛兰大学，布达佩斯，2002年。http://www.math-inst.hu/pub/algebraiclogic/Contents.html . [14] Madarász、J.X.、I.Németi和G.székely，“双胞胎悖论和相对论的逻辑基础”，发现。物理学。36(5):681–714, 2006. ·Zbl 1117.83304号 ·doi:10.1007/s10701-005-9041-9 [15] Madarász、J.X.、I.Németi和G.székely，《广义相对论时间扭曲效应的逻辑分析》，2007年。arXiv:0709.2521。 [16] Mundy，B.，“Minkowski时空几何的光学公理化”，Philos。科学。53(1):1–30, 1986. ·doi:10.1086/289289 [17] Mundy，B.，“闵可夫斯基几何的物理内容”，《英国科学哲学杂志》37（1）：25-541986年·Zbl 0589.51025号 ·doi:10.1093/bjps/37.1.25 [18] Pambuccian，V.，“用可定义性表示的Alexandrov-Zeeman型定理”，Aequationes Math。74(3):249–261, 2007. ·Zbl 1141.03007号 ·doi:10.1007/s00010-007-2885-7 [19] Robb，A.A.，《时间与空间理论》，剑桥大学出版社，剑桥，1914年。 [20] 舒茨，J.W.，《狭义相对论基础：闵可夫斯基时空的运动学公理》，施普林格-弗拉格出版社，柏林，1973年·Zbl 0275.50005号 [21] Schutz，J.W.，“Minkowski时空的公理系统”，J.Math。物理学。22(2):293–302, 1981. ·Zbl 0457.70017号 ·doi:10.1063/1.524877 [22] Schutz，J.W.，Minkowski时空的独立公理，Longoman，伦敦，1997·Zbl 0891.51012号 [23] Sfarti，A.，“单一假设狭义相对论”，摘自《相对论解释中的数学、物理和哲学》，布达佩斯，2007年。http://www.phil-inst.hu/\（\sim\）szekely/PIRT布达佩斯/ft/Sfattulyl.pdf [24] Suppes，P.，“科学形式化的可取性”，J.Philos。27:651–664, 1968. ·doi:10.2307/2024318 [25] Suppes，P.，“空间和时间哲学中的一些开放问题”，Synthese 24:298–3161972·Zbl 0272.02001 ·doi:10.1007/BF00540153 [26] Szabó，L.E.，“空间和时间的经验基础”，载于M.Suárez、M.Dorato和M.Rédei（编辑），EPSA07：欧洲科学哲学协会的启动，斯普林格，2009年。 [27] Székely，G.，“一阶逻辑方法中的孪生悖论”，TDK论文，埃特沃斯·洛兰大学，布达佩斯，2003年。匈牙利语。网址：http://www.renyi.hu/\（\sim\）turms/tdk.pdf [28] Székely，G.，《孪生悖论及其相关主题的一阶逻辑研究》，硕士论文，埃特沃斯·洛兰大学，布达佩斯，2004年。网址：http://www.renyi.hu/\（\sim\）turms/master-thesis.pdf [29] Székely，G.，相对论的一阶逻辑研究，重点是加速观测者，博士论文，Eötvös Loránd大学，布达佩斯，2009年。网址：http://www.renyi.hu/\（\sim\）turms/phd.pdf [30] Székely，G.，“物理中的Why-问题”，收录于F.Stadler（编辑），Wiener Kris und Ungarn，Veröffentlishungen des Institutes Wiener kris，维也纳，2009年。要显示，请在以下位置预打印：http://philcicial archive.pitt.edu/archive/00004600/ . [31] Väänänen J.：“二阶逻辑和数学基础”。牛市。符号逻辑7（4），504–520（2001）·Zbl 1002.03013号 ·doi:10.2307/2687796 [32] Vroegindewey P.G.：“塞曼定理的代数推广。印度。数学。36(1), 77–81 (1974) ·Zbl 0273.50008号 [33] Vroegindewey，P.G.，V.Kreinovic和O.M.Kosheleva，“a.D.Aleksandrov定理对一类偏序域的扩展”，Indag。数学。41(3):363–376, 1979. ·兹伯利0411.51008 [34] Woleñski，J.，“一阶逻辑：（哲学）正反”，载于V.F.Hendricks等人（编辑），《重新审视一阶逻辑》，《逻各斯·弗拉格》，柏林，2004年，第369–398页·Zbl 1102.03005号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。