从与翻译的相关性来看，根据目前的情况，基于数学逻辑的形式语言推导程式对人工翻译没有实际的参考意义。原因是语言是人文现象，不是仪表数据或数学公式可以记录的自然现象。原因可以详细说明如下：首先，在上海翻译机构看来，翻译的主要任务是语言符号的语义解码和文本解释。无论逻辑解释程序多么精确和精致，它只能被视为锦上添花。如果意义问题不能解决，翻译任务就不能完成。第二，它是一个非常复杂的多维实体，涉及概念、背景、意图和文化背景（包括浅层文化结构和深层文化结构）、审美(知、情、志所寄寓的意象)等。这些主导表达式的因素不可能被赋予逻辑符号程式。意义拒绝定量分析和定性分析；拒绝语境对语义变化的“色谱分析”和“坐标定位”：意义永远只是人类心理活动的产物，所以只由人脑控制。第三，原文是作者心迹的记录，无论多么详细，都永远不可能是一个完整、准确的记录。文本记录的只是作者所有思想、感受和经历的一小部分，所以它一定是一个充满孔隙和疏忽的意义网络。翻译原文是对原作者心灵的跟踪，即所谓的“mind reading”。总之，瑞科翻译公司表示，文本只是作者忽略的心迹图:图下隐藏着无尽的言下之意和言下之意，是作者知识、感情、志向的潜流，隐藏在日常语言下。
上海瑞科翻译公司是一家具有二十年行业经验的专业翻译公司公司位居“亚太地区语言服务提供商前列是一家通过iso质量管理体系认证的知名的翻译公司.专注于文档翻译、网站翻译,认证翻译、本地化翻译、口译、软件本地化翻译、桌面排版(dtp)、母语审校、创译、语言资产管理以及翻译技术研发和培训等专业语言服务是专业的英语翻译公司,瑞科上海翻译公司可以提供中文、英语、日语、韩语、德语、法语、泰语、俄语等全球多语种的翻译,瑞科翻译机构是中国翻译协会(tac)理事单位,美国翻译协会(ata)会员,全球化与本地化协会(gala)会员欧洲语言行业协会会员上海瑞科翻译公司翻译服务热线：021-63760188
