所谓“逻辑量词”

数理逻辑一阶谓词演算中,作为一种逻辑词采用的量词,不是传统逻辑中的量词,更不是语言中的量词。F中的全称量词任意x的语义为“对于论域中的每一个个体”,存在量词 x的语义为“论域中至少有一个个体”。人类在求取关于不可逐一列举（有限的或无限的）个体域的作为一般性原理的真知的过程中,事实上从来也不曾在逻辑上使用过这样的量词。这样的量词对人类提出要去逐一确定不可逐一列举的个体域的每一个个体具有什么性质。这样的指令,人类是无法执行的。这样的对外延的无限要求是超乎人类的有限能力和生命的。难怪,A．Church证明了关于,的不可判定定理。     

逻辑:科技期刊编辑者的基本功

从命题结构及其真假,逻辑推理与证明,逻辑量词的运用三个方面出发,结合《数学教学研究》杂志稿源中常见的错误,说明扎实的逻辑功底是科技期刊编辑者的基本素养。     

浅谈"简易逻辑"中的"否命题"与"非P"

在简易逻辑中"否定"有两种形式一种是否命题,一种是非P(记作"、P").如果原命题是"若p则q",那么这个原命题的否命题是"若非p则非q",即否命题是对一个原命题的条件和结论都加以否定;"非P"也叫做命题p的否定,它则是"若p则非q",即非P是对原命题的结论加以否定.它实际上只给出了命题P的否定和它的否命题的一个简单定义,但是其定义的内涵深沉,值得我们推敲.     

浅谈“简易逻辑“中的“否命题“与“非P“

在简易逻辑中“否定”有两种形式:一种是否命题,一种是非P(记作“「P”)。如果原命题是“若p则q”,那么这个原命题的否命题是“若非p则非q”,即否命题是对一个原命题的条件和结论都加以否定;“非P”也叫做命题p的否定,它则是“若p则非q”,即非P是对原命题的结论加以否定。它实际上只给出了命题P的否定和它的否命题的一个简单定义,但是其定义的内涵深沉,值得我们推敲。     

浅谈“简易逻辑”中的“否命题”与“非P”

在简易逻辑中“否定”有两种形式:一种是否命题,一种是非P(记作“「P”)。如果原命题是“若p则q”,那么这个原命题的否命题是“若非p则非q”,即否命题是对一个原命题的条件和结论都加以否定;“非P”也叫做命题p的否定,它则是“若p则非q”,即非P是对原命题的结论加以否定。它实际上只给出了命题P的否定和它的否命题的一个简单定义,但是其定义的内涵深沉,值得我们推敲。     

浅谈“简易逻辑“中的“否命题“与“非P“

在简易逻辑中“否定”有两种形式:一种是否命题,一种是非P(记作“┌P”)。如果原命题是“若p则q”,那么这个原命题的否命题是“若非p则非q”,即否命题是对一个原命题的条件和结论都加以否定;“非P”也叫做命题p的否定,它则是“若p则非q”,即非P是对原命题的结论加以否定。它实际上只给出了命题P的否定和它的否命题的一个简单定义,但是其定义的内涵深沉,值得我们推敲。     

基于广义量词理论的亚氏三段论

揭示了如何从广义量词理论的角度来理解三段论推理。有效的亚氏三段论可以通过作为广义量词特例的亚氏量词的语义定义加以证明。从亚氏量词的语义性质,比如单调性、对称性可以说明亚氏三段论的有效性。亚氏三段论的可化归性反映了亚氏量词与其三种否定量词的语义性质(比如单调性)之间的可转换性。     

关于数学分析中否定命题的教学

在数学分析教学中,使学生正确地掌握数学命题的否定,进而会运用反证法并会论证某一对象不满足某一定义,是很基本而重要的.例如,数列{x_n}以 A 为极限的定义,数列{x_n}收敛的柯希准则,函数级数 sum from n=1 to ∞ u_n(x)在[a,b]上一致收敛的定义,函数f(x)在[a,b]上一致连续的定义等的否定,都是需要很好掌握的.从数理逻辑来看,这些命题都表现为所谓“前束范式”的形式,就是说,所有“量词”都集中在命题的最前面.例如,数列{x_n}以 A 为极限的定义可以写成下面的形式:     

“金沙江文化”特色栏目征稿公告

<正>"金沙江文化"栏目,为《攀枝花学院学报》特色栏目。自2008年本栏目创办以来,引起了社会的广泛关注,获得了社会的好评。2010年7月。"金沙江文化"栏目被全国高等学校文科学报研究会评为"全国地方高校学报特色栏目";2013年8月,因"金沙江文化"特色栏目《攀枝花学院学报》被四川省     

学术带头人何青教授

何青,男,1951年出生,汉族,重庆市人,中国致公党员,《攀枝花学院学报》主编、教授,攀枝花学院中国语言文学学科带头人,校学术委员会委员,致公党攀枝花市委副主委,市第五、六、七届政协委员。     

学术带头人何青教授

何青,男,1951年出生,汉族,重庆市人,中国致公党员,《攀枝花学院学报》主编、教授,攀枝花学院中国语言文学学科带头人,校学术委员会委员,致公党攀枝花市委副主委,市第五、六、七届政协委员。     

“金沙江文化”特色栏目征稿公告

<正>"金沙江文化"栏目,为《攀枝花学院学报》特色栏目。自2008年本栏目创办以来,引起了社会的广泛关注,获得了社会的好评。2010年7月,"金沙江文化"栏冃被全国高等学校文科学报研究会评为"全国地方高校学报特色栏目";2013年8月,因"金沙江文化"特色栏目,《攀枝花学院学报》被四川省社会科学界联合会、四川省社会科学学     

“金沙江文化”特色栏目征稿公告

<正>"金沙江文化"栏目,为《攀枝花学院学报》特色栏目。自2008年本栏目创办以来,引起了社会的广泛关注,获得了社会的好评。2010年7月,"金沙江文化"栏目被全国高等学校文科学报研究会评为"全国地方高校学报特色栏目";2013年8月,因"金沙江文化"特色栏目,《攀枝花学院学报》被四川省社会科学界联合会、四川省社会科学学术期刊协会评为"第一届四川省社会科学特色学术期刊"。     

传统直言命题的制的逻辑剖析(英文)

传统直言命题A、E、I、O作为“命题形式”其逻辑语义没有规定清楚，逻辑结构尚未完全定型，因而至今还存在种种逻辑理论上的问题．我们根据主词S外延的不同将传统直言命题二分为外延命题和内涵命题两大类．当直言命题的主词S的外延是可进一列举的有限集时为外延命题．与A、E、I、O相对应的外延命题依次为：P(e1)ΛP(e2)Λ…ΛP(ei)Λ…ΛP(em),P(e1)ΛP(e2)Λ…ΛP(ei)Λ…ΛP(em),P(e1)∨P(e2)∨…∨P(ei)∨…∨P(em)，P(e,)∨P(e2)∨…∨P(ei)∨…∨P(em)．当主词S的外延是无限集、不可进一列举的有限集或空集时为内涵命题．与A、E、I、O相对应的内涵命题依次为：S（x）P（x）、S（x）P（x）、S（x）！P（x）、S（x）！P（x）．已经验证了，四种外延命题和主调可空而不自相矛盾的四种内涵命题全都满足传统的推理格式．     

“金沙江文化”特色栏目征稿公告

<正>"金沙江文化"栏目,为《攀枝花学院学报》特色栏目。自2008年本栏目创办以来,引起了社会的广泛关注,获得了社会的好评。2010年7月,"金沙江文化"栏目被全国高等学校文科学报研究会评为"全国地方高校学报特色栏目";2013年8月,因"金沙江文化"特色栏目,《攀枝花学院学报》被四川省社会科学界联合会、四川省社会科学学术期刊协会评为"第一届四川省社会科学特色学术期刊"。"金沙江文化"栏目,主要刊载关于金沙江流域的历史、文化、民族特色、地域经     

汉语量词重叠能力不平衡性现象考察

现代汉语具有丰富的量词,其语法功能之一是可以重叠,重叠后表示多种语法意义,但是,并不是所有量词都能重叠。是故,以《现代汉语八百词》和《汉语口语语法》中列举的量词为基础,以北京大学汉语语言学研究中心(CCL)网上语料库中的现代汉语语料为考察对象,考察和分析了汉语量词的重叠规律和重叠能力的不平衡性。     

中介逻辑的谓词演算系统（Ⅱ）

本文为参考文献[7]的续篇,在此继续生成中介逻辑的谓词演算系统MF的形式定理。定理10 MF:[1]x～A(x)～xA(x),[2]～xA(x)x～A(x)[3]～xA(x)x～A(x). 定理11 F:[1]x[A(x)→B(x)],xA(x)xB(x),[2]x[A(x)→B(x)],～xA(x)xB(x),[3]x[A(x)→B(x)],x～A(x)(x)B(x),[4]x[A(x)→B(x)],xA(x)xB(x),[5]x[A(x)→B(x)],x～A(x)xB(x),[6]x[A(x)→B(x)],xA(x)xB(x). 定理12 MF:[1]xA(x)∧Bx[A(x)∧B],x不在B中出现,[2]xA(x)∧BxA(x)∧B],x不在B中出现.[3]xA(x)∨Bx[A(x)∨B],x不在B中出现.[4]xA(x)∨Bx[A(x)∨B],x不在B中出现. 定理14 MF:[1]xA(x)∧xB(x)x[A(x)∧B(x)],[2]xA(x)∨xB(x)x[A(x)∨B(x)],[3]xA(x)∨xB(x)x[A(x)∨B(x)],[4]x[A(x)∧B(x)]xA(x)∧xB(x). 定理17 MF:[1]x[A(x)B(x)],x[B(x)C(x)x[A(x)C(x)],[2]x[A_1(x)B_1(x)],x[A_2(x)B_2(x)]x[A_1(x)∧A_2(x)B_1(x)∧B_2(x)],[3]x[A_1(x) B_1(x)],x[A_2(x)B_2(x)]x[A_1(x)∨A_2(x)B_1(x)∨B_2(x)].     

与李茗公先生商榷“逻辑”——兼解“李约瑟难题”

拙作是对《反思启蒙:中国呼唤"逻先生"》一文中"中国传统无逻辑"、中国儒家经典中存在"大量自相矛盾的逻辑错误"的"反逻辑传统"、"中国无科学"等观点的反驳。以近代西方关于"逻辑"、"科学"的标准来衡量古代中国是不公正的。近代科学兴起的根本原因是思维方式、方法的差异,直接原因是望远镜、显微镜等一系列观察工具的发明,由此宏观世界和微观世界的奥秘才被发现。     

注重从理论逻辑与历史逻辑相统一深化改革发展史的研究

《泰山学院学报》关于改革发展史研究的栏目很有特色,这就是注重把握理论逻辑与历史逻辑相统一的创新。     

改版公告

<正>为提高《攀枝花学院学报》期刊质量和影响因子,满足作者的分版出刊意愿,从2015年起《攀枝花学院学报》改版出刊,分为哲学社会科学版和自然科学版。每年的1、3、4、6期为哲学社会科学版(出刊实践分别为每年的2月、6月、8月、12月),每年的2、5期为自然科学版