真值论文

语用逻辑真值问题研究
论文摘要语言是人类生活中思想与情感交流最基本的方式。人类日常语言主要包括两种事实,即判断性(陈述性)表达及语用性表达。虽然这两种表达时难以区分,但是在它们中都存在着一个重要的基...
基于运行时验证的列控系统形式分析
论文摘要列车运行控制系统是轨道交通信号系统的重要组成部分之一,是保证列车运行安全的主要因素之一。随着计算机技术在列车运行控制系统中的应用,安全问题显得越发的重要和复杂,传统的测...
虚构的语言哲学研究
论文摘要对虚构的本性研究是哲学、语言学和文学的共同话题。但长久以来,虚构被看作与实在和真实相对的概念,一直没有被纳入哲学正式研究之中。近年来随着哲学中虚构主义的兴起,语言哲学对...