质疑双生子佯谬的一阶逻辑系统

摘要：

双生子佯谬是狭义相对论中的典型效应,匈牙利学者Madarász等人在《双生子佯谬及相对论的逻辑基础》一文中首先阐述了双生子佯谬与狭义相对论的一阶逻辑基础的关系.本文将通过分析和比较该文中提及的两个公理系统Specrel和AccRel,分别从物理和逻辑两个角度提出了这两个系统中存在的问题.

关键词：狭义相对论、双生子佯谬、一阶语言、公理化

所属期刊栏目：29

分类号：N031(科学的方法论)

资助基金：国家自然科学基金10975017

在线出版日期：2013-06-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：114-119