哲学研究
哲學研究
철학연구
Philosophical Researches
2008年
9期
113~119
,共null页
命题逻辑 括号 《哲学研究》 有限 序列
命題邏輯 括號 《哲學研究》 有限 序列
명제라집 괄호 《철학연구》 유한 서렬
从1995年开始,张清宇在《哲学研究》上发表了一系列的论文,为经典命题逻辑提出了一种括号记法并做了较系统的研究。在这一记法中,括号兼具了命题联接词的作用:给定任意有限多个命题,可以把它们并置起来成为一个序列,并在这个序列的两端加上一对括号,以构造出一个形如“[A,B,…,C]”的新命题。这一命题的直观意思是说,括号中的这有限多个命题并非都为真,即至少有一个为假,当然也可以全部为假。
從1995年開始,張清宇在《哲學研究》上髮錶瞭一繫列的論文,為經典命題邏輯提齣瞭一種括號記法併做瞭較繫統的研究。在這一記法中,括號兼具瞭命題聯接詞的作用:給定任意有限多箇命題,可以把它們併置起來成為一箇序列,併在這箇序列的兩耑加上一對括號,以構造齣一箇形如“[A,B,…,C]”的新命題。這一命題的直觀意思是說,括號中的這有限多箇命題併非都為真,即至少有一箇為假,噹然也可以全部為假。
종1995년개시,장청우재《철학연구》상발표료일계렬적논문,위경전명제라집제출료일충괄호기법병주료교계통적연구。재저일기법중,괄호겸구료명제련접사적작용:급정임의유한다개명제,가이파타문병치기래성위일개서렬,병재저개서렬적량단가상일대괄호,이구조출일개형여“[A,B,…,C]”적신명제。저일명제적직관의사시설,괄호중적저유한다개명제병비도위진,즉지소유일개위가,당연야가이전부위가。