C语言的公理语义(1)──控制结构

由于篇幅的缘故，本义从公理语义的角度主要讨论了C语言的流程控制结构的语义，而关于该语言的函数和对象的公理语义将在后续的各文章中陆续给出。     

论法的目的——以康德目的论哲学为视角

有关法的目的之论说是法理学中的一个核心命题。法的目的指向法律秩序本身,并决定法律秩序的精神品质。依据康德的目的论哲学,法的目的可以区分为法的外在目的和法的内在目的。前者在经验意义上探究法律秩序何以成为人类生存之必需的问题;后者在先验意义上揭示一切经验性法律存在的客观必然性和内在根据。而对于法的内在目的之讨论严格来说源自近代,它由两个部分构成,其一是个体的道德权利,其二是为确保个体的道德权利获得实现的普遍性方面。     

论法的安定性

法的安定性是建设法治国家的基本要求,法律要具有权威性,要得到人民的普遍信赖就必须保持法的安定特性。本文拟从法的安定性的概念、影响因素开始讨论,进而得出研究法的安定性的意义,再提出提升法的安定性的一些措施,以供参考。     

论法的合法性

法的合法性来源于理性与信仰,是以现实社会为基础的,其中潜含了人们对法治观念的认可度,为此分析了韦伯与哈贝马斯关于法的合法性所进行的思辨中包含了对“亚里士多德法治公式”的共识及理性与信仰的辩证关系,提出了如何构建对法的合法性研究体系。     

论宪政秩序下的人权保障与和谐社会的构建

构建社会主义和谐社会与宪政秩序、人权保障有着不可分割的联系.只有在宪政秩序下,才有可能谈到人权保障与和谐社会的构建,人权保障是和谐社会的前提和目标,而和谐社会又是宪政秩序和人权保障的社会基础与必要条件.在构建社会主义和谐社会的过程中,应该完善宪政秩序,尊重与保障人权,以实现社会和谐.     

马克思论法的人文主义哲学基础

长期以来,关于立法的哲学基础一直是人们争论的焦点。坚持“自然为社会立法”观点的人们,混淆了“自然规律”与“社会理性”的差异,它不仅造成了法律在形式上的机械、死板和不近人情,而且在实践上也导致了许多非生态行为。与此相反,坚持“人为社会立法”观点的人们,则常常陷入“动物自然性”和“应有”的主观主义误区。马克思的法哲学为解决上述二律背反提供了重要的卓有成效的方法论基础。     

拓扑分子格的远域系公理和远域基公理

本文在拓扑分子格中讨论了基与远域基的关系,给出了拓扑分子格的远城系公理和远城基公理,得到分子格上余拓扑的两种刻划。     

宪法保障与人权发展

宪法保障和人权发展二者相互促进。人权是公民最基本的权利 ,各国宪法都有所规定 ,我国宪法从生存权和发展权等方面给予了切实保障。完善违宪审查、宪法诉讼、宪法解释和宪法修改制度以及设立宪法法院都是实现人权的措施     

关于传统逻辑的公理

传统逻辑的公理不是传统逻辑的三段论的公理,也不是同一律、矛盾律、排中律和充足理由律,还不是亚里士多德系统中第一格的两个全称式。传统逻辑的公理应具有自明性、不矛盾性和独立性。“并非p”、“p并且q”、“p或者q”、“如果p则q”、“当且仅当p才q”这5个基本命题形式是作为经典逻辑理论出发点的命题形式。它们之所以具有公理的性质,是因为人们在长期的经验中没有发现以它为前提衍生出假结论的事例。     

论法的价值

法真实、潜在的社会作用就是法的价值所在。本文将从法起源的原因、法发展运动的方向来探求现实法背后所蕴含的自然法的价值取向     

关于罗素的类型论和还原公理

类型论是为解决悖论问题提出的.通过对命题函项的分层以及对类型的限制,许多悖论就可以避免,类型论的限制很强,罗素又引入还原公理使数学成为可能.类型论可以解决日常语言与传统哲学中的许多问题,还原公理则使日常语言成为可能.但是,类型论面临现实中的复杂情况所带来的困难,还原公理则面临自身存在的合法性的困难,而罗素没有完全解决这些困难.     

几个可数性公理的关系

本文在已知的可数性公理的基础上,通过给出不同的反例得到几个可数性公理的关系,从而加深了对拓扑空间的可数性质的理解.     

生成语言学的公理演绎思想

乔姆斯基的转换生成语法将演绎思想引入语言学研究,对其后的语言学研究产生了革命性的影响,这是生成语言学的伟大贡献之一。演绎思想使得语言研究从经验主义向理性主义转变,并促使语言学开始向一门真正的自然科学转型。但是演绎思想在转换生成语法的不同理论阶段中的地位和影响并不相同,因而也影响着生成语言学的自然科学属性。     

法治护航精准扶贫：理论、实践及路径选择——以安徽省13地市为调研对象

脱贫攻坚离不开法治保障,"法治护航精准扶贫"不仅有宪法人权保障理论和共同富裕思想的正当基础,也是依法治国战略的客观要求和破解扶贫实践难题的需要。对安徽省13个地市的实证调研表明,当前"法治护航精准扶贫"工作在顶层制度设计、具体服务落实和后期保障机制方面均取得了一定成效,但也面临法治理念淡薄、缺少规范性文件指导全局工作,无力应对疑难法律纠纷和制度前瞻性考量不足等问题。应坚持法治理念指导扶贫实践,健全精准扶贫法治化工作机制,制定精准扶贫法律规范文件,构建多元社会合作机制,实现法治助力精准扶贫,未来服务乡村振兴。     

试论法的本质——兼论法的功能建构基准

依据法的本质决定法的功能的理论,将法的本质归结为统治阶级的意志指出了法的思想意志根源和政治功能,理性是促使统治阶级意志必须接受或者反映所谓被统治阶级及社会公众的意志和利益的历史动因,国家功能的多样化促使人们思索符合社会发展规律的社会与法律建构;文明的社会发展史证明明智的统治阶级总是以寻求和谐的社会运作模式为法的功能建构基准。     

论法对社会关系的确认、抽象和概括

法孽生在人类社会自身之中，作为对现实社会关系抽象与确认的产物，它在人的主观能动的介入下，将一般社会关系明晰为权利义务关系，并在政治、经济、财产、家庭、契约等各个方面，揭示出每一类关系的共通特征，并确定其中所属的各主体行为的属性及其模式，制定成行为准则，使社会得以按照理性的价值目标运转和发展，从而使得人类社会成员得以生活于法的环境之中。本文认为，法在确认、抽象和概括社会关系方面必须基于社会发展需要，遵循社会演进规律，尊重人类传统习俗和道德伦理。     

凯尔森论法的效力与实效

法的效力是法的生命之所在,也是各法学流派之间分歧的主战场。凯尔森开创的纯粹法学对于法的效力与实效的区分,秉承了其新康德主义代表的特色,延续着实证主义对于应然与实然的两分,将法的效力与实效放在不同层面来进行比较研究。对于法效力基础的追问最能体现凯尔森的新康德主义特征,"先天范畴"在康德哲学里体现为一系列的知性纯粹概念,这些范畴构成一个从低到高、层次井然的严密系统,即"先验逻辑"系统。凯尔森借鉴了康德哲学的这一构想,将"基础规范"引入其法效力体系。     

非良基公理的本质及其应用

精确图就是具有单射装饰的可达点图.非良基公理可以归结到对精确图外延的确定上.不同的非良基公理对应了不同种类的精确图,进而形成不同的非良基集合论.尽管近些年来AFA吸引了众多人的注意力,但是巴威斯( Barwise)和莫斯(Moss)在证明AFA(每个图有唯一装饰)的合理性和方程解的唯一性中有乞题之嫌;使用AFA处理自指悖论也过于勉强.相比较而言,FAFA是最自然的非良基集合论系统.     

刑法双重机能之关系检讨

秩序保护机能与人权保障机能是刑法机能中最重要的组成部分,如同刑法的两翼,过分强调或缺少任何一个机能都会引起刑法失衡。秩序保护机能是刑法机能的根本,体现了刑法的根本属性,即秩序保护性;人权保障机能是刑法机能的关键,体现了刑法的现代性,即人权保障性。刑法双重机能之间的关系不是非此即彼的取舍关系,而是不可偏废的并重关系。简言之,是表象冲突、内在一致的关系征表。