论文部分内容阅读
从1995年开始,张清宇在《哲学研究》上发表了一系列的论文,为经典命题逻辑提出了一种括号记法并做了较系统的研究。在这一记法中,括号兼具了命题联接词的作用:给定任意有限多个命题,可以把它们并置起来成为一个序列,并在这个序列的两端加上一对括号,以构造出一个形如“[A,B,…,C]”的新命题。这一命题的直观意思是说,括号中的这有限多个命题并非都为真,即至少有一个为假,当然也可以全部为假。