形式真理与逻辑科学

命题就是语句表达的对可能世界对象的情况进行断定并且至少具有可能确定真值的思维形态。按照所包含的形式概念是否相同,命题区分为不同的类。形式命题的实质是具体命题的类。通过形式命题可以实现认识具体命题一般属性的目的。普遍有效式是所代表的具体命题个个都具有真的真值。满足关系是当理由型的具体命题真时论断型的具体命题一定真的形式命题关系。形式真理是断定形式命题具有普遍有效性或者满足关系的真实命题。逻辑科学的惟一对象和全部使命是形式真理,逻辑学的发展始终要以追求形式真理为正确方向。     

基本命题和事态:一幅完全的逻辑图像

在《逻辑哲学论》中一般图像论成立必须满足两个要求,一是形式意义上图像中的诸要素合乎逻辑的排列对应于被图示者的要素的合乎逻辑的排列,二是实质意义上图像和被图示者的诸要素严格一一对应.在维特根斯坦所企图建构的语言图像论之中,命题的意义与语言图像论的形式要求是相关联的,命题的真假与语言图像论的实质要求是密切相关的.事实上,语言图像论的实质要求通过对语言进行逻辑分析而得以达成,即在一个完全分析了的命题中,一个名称有且仅指称唯一的一个对象,其形式关联是通过其中的诸元素合乎逻辑的配置而得以实现.严格来说,为了满足图像论的两个要求,只有在基本命题和事态这一层面上,维特根斯坦才得以建立有意义命题的逻辑图像.     

传统逻辑教科书中的"概念"与"词项"之取舍

逻辑学界关于传统逻辑教科书中“概念”与“词项”的取舍问题一直存在分歧。从“概念”与“词项”内涵与外延的上，以及传统逻辑学的学科特征和研究方法来看，概念是思维的基本形式，属于哲学认识论的范畴，而词项是语词在命题中的逻辑内容，是构成逻辑形式的基本要素，属于逻辑学的范畴。传统逻辑教科书中用“词项”更准确。     

逻辑与非逻辑的划界标准

逻辑与非逻辑的划界标准是元逻辑的根本问题之一.流行的四种标准全都认定逻辑基础是逻辑.在展开正统的两个演算时所采用的能从已知定理去得出新定理的真正的逻辑事实上并不符合正统数量逻辑.鉴于正统的两个演算只以真值函数、个体-真值函数为研究对象,故而属于离散数学.因此需提出能鉴别这种真正的逻辑的第五种标准--逻辑是人类在认识宇宙时从已知进入新知(从已有客观事件必然过渡到新客观事件的认识)的普遍有效的工具.     

专统逻辑向何处去

从主导思想上说,传统逻辑和数理逻辑殊异。实质蕴涵因其刻划真值函数关系故此并非传统逻辑表示充分条件关系的“若,则”的逻辑抽象。基于实质蕴涵的数理逻辑并非传统逻辑的现代发展,也不是什么现代的形式逻辑。只有在坚持传统逻辑深刻正确主导思想,并借鉴数理逻辑提供的严格精密的数学方法的基础上,才能真正实现传统逻辑的现代发展。     

"说谎者悖论"剖析--思辩逻辑是产生"悖论"的根源

思辩逻辑认为逻辑的研究对象是思维或语言；而客体逻辑则主张逻辑科学研究独立于人的认识的客观世界原本具有的客观的逻辑结构和规律。剖析“说谎悖论”的关键是鉴别“命题”及其“真假”的标准：思辩逻辑认同语言标准；而客体逻辑则坚持客体标准。“说谎悖论”的真相是：向壁虚构的构造们不要物证、不顾时空地将几个同音同形然而不同义的语句叠合在一起，从而将语句的“虚”与“真假”根本不同的值纯思辩地混沌杂揉。从实事求是的客体逻辑出发，任何人构造不出任何一个在事实上满足“自我悖反”的“悖论”。     

白马堪做蝴蝶飞--白马非马论题和庄周梦蝶反映的逻辑和想象力反变关系研究

文学真实是文学作品的真实,它既要部分地符合生活逻辑,又要对现实生活具有超越性,因此,抽象的逻辑思维和形象的想象力必然包含其中.通过对"非马喻马"的命题和庄周梦蝶的想象进行分析,我们会发现逻辑和想象力在文学作品中往往呈现反变关系.这正是抽象思维和形象思维在文本中不同程度显现的反映.     

言说世界,何以可能——《逻辑哲学论》的命题语言学说

在《逻辑哲学论》中,维特根斯坦从言说的自明性探讨言说的实质,认为语言与世界共有在先的逻辑形式,它们完全同型同构。一方面,简单对象的特定配置方式构成基本事态或事态,存在的事态是事实,事实的总和就是世界;另一方面,名称的特定结合方式构成基本命题,基本命题的真值函项得到复合命题,命题的总和就是语言。而思想既是有意义的命题也是实在的逻辑图像。这样,作为思想表达的言说就是关于世界的言说,是作为命题的总和的语言图像世界;世界就是被言说的世界,世界依赖于言说。因而,世界必定可以被言说,言说必然是关于世界的言说。于是,语言的界限就是世界的界限。界限之内的是可以言说的,而且都能够说清楚。     

弗雷格涵义指称理论评述

弗雷格认为语词指称的是特定对象,涵义则是所指对象的呈现方式。涵义决定指称,语词可以无指称;他率先将语词的指称理论推及至语句,阐述了语句的内涵即思想、外延即真值的观点。其涵义指称理论存在诸多缺失,但不能抹灭其整体意义。     

数学归纳法教学中的逻辑因素分析

数学归纳法应用非常广泛,但实际教学中学生难于掌握,本文试图通过分析,理清逻辑思路,借助多米诺骨牌游戏,将抽象的数学知识直观地反映出来,帮助学生弄清数学归纳法的本质。     

学科逻辑起点的问题与体育休闲学研究

学科的逻辑起点是学科理论构建的关键概念。在梳理对学科逻辑起点已有的认识基础上,确立了学科逻辑起点的概念,并对马克思在政治经济学中对逻辑起点的规定性上做了一些补充。进而通过对新兴学科“休闲体育”的概念问题及其逻辑起点考察认为,体育休闲的称谓更符合形式逻辑的规范,最后得出体育休闲学的逻辑起点为身体娱乐的结论。     

皮亚杰心理逻辑与一般意义上逻辑的区别

皮亚杰的心理逻辑所刻画的是心理运算.这种逻辑在产生的目的、特点以及作用等方面都与一般意义上的逻辑不同.     

习近平关于教育重要论述的理论逻辑与实践逻辑

习近平关于教育的重要论述作为马克思主义教育理论中国化的最新成果,是理论逻辑与实践逻辑的统一体。就理论逻辑而言,它有宏观微观相结合、层次分明的结构逻辑,又有历史继承与时代创新相结合、承继鲜明的关系逻辑;就实践逻辑而言,它以发现问题、分析问题、解决问题为演进,形成了问题导向的实践纲领。     

论文章逻辑结构的分析

“章的逻辑结构”有三种含义：(1)篇章的逻辑结构(包含任何体)；(2)客观历史过程在人的思维中反映，又表现在献中的结构；(3)议论或其他体议论部分的逻辑论证结构。分析章逻辑结构的步骤：第一步，分析整体结构；第二步，分析部分结构；第三步，分析章的论证性。分析章逻辑结构的方法有找中心论题的方法、找主要论据的方法、确定论证方式的方法等。     

论横向学历主义的思维逻辑与伦理逻辑

横向学历主义,即以横向学历衡量人,将“重点/非重点”“名校/非名校”作为选人、用人标准而逐渐形成的一种社会性的习惯、思路、原则或制度。横向学历主义的思维逻辑,即学校出身与学生质量正相关,学校出身越好的学生质量就越高;伦理逻辑首先是天道酬勤(一时之勤),其次是天道酬能(一面之能)。横向学历主义的思维逻辑与伦理逻辑存在明显失当,两者无法相互支撑。横向学历主义是大众社会的逻辑、消费文化的逻辑、行政干预的逻辑,其思维逻辑与伦理逻辑理应回归教育发展的逻辑,要“既勤又能”且“多勤多能”。     

对象失范：武术概念争议的困局

武术概念争议的实质是武术概念如何获得共识的问题,而概念对象的明晰性与一致性是概念公共性的前提条件。文章分析了对象对于概念的重要性,并从概念的外延、内涵、语词与对象的关系、对象的历时性、对象的共时性、对象的集体规范六方面对概念对象的明晰性提出质疑,进一步运用逻辑分析法论证了对象模糊的根源,认为：拳种与拳种运动形式关系的混淆、拳种与拳种运动形式形成的运动关系的混淆、拳种与拳种运动形式形成的运动的价值关系的混淆、拳种之前的武术与拳种及拳种之后的武术的同质性割裂,是武术概念对象失范的逻辑根源。武术概念争议因对象失范而陷入无法解决的困局。     

英汉互译中的逻辑转换

英汉民族的逻辑思维差异给英汉互译造成很大困难,因此译者需进行逻辑转换.这种逻辑转换主要体现在词语、句子和篇章三个层面.词语层面,要在选择词义、分析词语中存在的隐性关系时进行逻辑转换;句子层面.在分析英语主语省略或非谓语结构、处理肯定与否定、显性与隐性关系、主被动语态及整体句子结构时需进行逻辑转换;篇章层面,翻译时应根据中英文对各种衔接手段的侧重,实现显性与隐性逻辑关系、"竹节"型与"流水"型语篇之间的转换.     

浅谈高中生物中的概念教学

概念是客观事物本质属性在人脑中的反映,是一种理性认识,人们正是依赖概念的这种性质而展开思维和行动的。从一定意义上说,学生学习知识主要是掌握概念和由概念组成的系统。学生技能的形成是以掌握概念和规则为基础的,规则中包含了概念,一条规则总是由若干概念通过一定关系构成的。     

广松涉:从黑格尔逻辑学到物象化理论

黑格尔的“自在自为之有”和“纯有”这两个概念,是潜在地包含着能够体现现实各种关系的“关系实体”概念,其逻辑的展开,表现了它们所隐含的具体生动的辩证法思想。不过,黑格尔的所谓“由客观逻辑到主观逻辑的辩证逻辑”,只是从抽象思维的绝对观念到具体的对象意识和观念、最后再回到抽象思维的绝对观念;与其相应,他所坚持的哲学思想方法及其异化观也不过是“从思维的抽象到思维的具体、再到思维的抽象”这样一种纯主观逻辑方法,由以决定着他的辩证法只能是抽象思辨的唯心主义辩证法。广松涉认为在黑格尔的“实体即主体”的关系主义逻辑和异化观中所包含的辩证法思想,正是马克思、恩格斯的历史唯物主义及其物象化思想所要批判地继承的东西。但马克思主义的历史唯物主义绝不是只通过克服“主客”二元对立就可以实现,也不是用“关系本体论”的关系主义就可以表述清楚的。马克思以实践为基础的唯物辩证法或历史唯物主义思维方式,与黑格尔的唯心主义辩证法有着根本的对立。广松涉在认识两者的关系时,既有重要的贡献,也有严重的失误。     

体育行为:体育法学理论体系的逻辑起点

确定了体育法学理论体系的逻辑起点——体育行为,它是体育法学理论体系赖以建立的最基本的、可以统帅和建构体育法学理论体系的范畴或概念,并以此为起点,进行了逻辑推演。在确定逻辑起点的过程中对"一般起点"(研究起点)与逻辑起点的关系进行了识别;还提出了考虑体育法学自身的实际情况,包括体育法学与法学的关系、体育法学理论与实践的关系、体育法学的发展程度等因素。