关于直陈条件句等价论题的哲学思考

传统的观点是把直陈条件句看作是真值函项性的，也就是把直陈条件句等价于实质条件句，这就是所谓等价论题。按照等价论题的观点来处理直陈条件句，会出现一些违反人们直觉的怪论。格赖斯与杰克逊分别运用会话隐涵和约定隐涵对等价论题进行了辩护。尽管等价论题在现实生活的逻辑应用中暴露出自己的许多问题，但是等价论题在历史上的出现有着重要的、积极的意义，它在客观上有助于现代逻辑的发展。     

论科研的心理认知和论题的确立

要进行科学研究,在心理上必须具备“增强信心、善于怀疑和选定目标的认知条件“;在论题的确立上必须掌握“选择论题的诀窍和立意创新的途径“.只有具备了正确的心理认知和掌握了一定的技巧,才能达到自己科研的预定目标.     

间接论证的思想方法

在大学数学和其它学科中,逻辑论证是常用的证明方法.它可分为直接论证和间接论证,一些定理、结论和习题的证明,不是采用直接的论证,而常常需要通过证明其它的论题,来确定原论题的真实性,这种方法,称为间接论证.笔者总结数年的教学经验,从逻辑论证的角度出发,对此方法进行研究、归纳,以期在证明中做到有的放矢,灵活运用.     

论哲学的逻辑建模

哲学的逻辑建模是与我们的直觉和实在经验相符合,能够对一定范围的哲学问题提供答案的形式理论框架。广义地说,哲学的逻辑建模是建立在逻辑-数学基础上,用于描述和分析哲学概念、哲学论题和哲学推论的形式技术。哲学不仅从逻辑-数学模型获益,而且它本身也提供哲学模型。     

侦查讯问谋略的心理学基础

讯问是侦查人员对犯罪嫌疑人的一种调查活动,是讯问人员与犯罪嫌疑人之间的一种心智的对抗和较量。凡是带有对抗性、竞争性的活动都存在谋略问题。⑴所谓的侦查讯问谋略是指侦查讯问人员为了实现侦查讯问的目的,根据犯罪嫌疑人和案件的具体情况,运用相关谋略的原理和讯问实践经验而制定、采取的指导侦查讯问的各种讯问途径和方法。     

一种基于ArcGIS和AutoCAD的数字地图拼接方法

地图数字化是地理信息系统工作的首要任务之一,针对地理信息系统地图数字化过程中常见的多图幅数字地图逻辑拼接以及数字化后易出现的空间逻辑错误问题,提出一种基于ArcGIS的数字地图逻辑拼接和空间逻辑错误检查方法,实现了真正意义上的多图幅数字地图逻辑拼接,并在河南省航道基础地理信息管理系统中应用,取得了理想效果.     

从主位类型选择看涉外讯问的语言特点

统计分析了5篇涉外案件英语讯问笔录,结果发现英语讯问语篇的主位多以单项主位出现,而单项主位多以疑问词、人称代词和动词充当,其主位推进模式以主位同一型、述位同一型和延续型为主。认为这种主位类型和推进模式选择,有利于保证讯问有效地传递讯问信息,实现讯问目的。     

论侦查阶段的讯问权

沉默权为近年学界和实务界关注的议题 ,我国应否确立沉默权 ,肯定说和否定说各执一辞。在侦查阶段肯定侦查人员讯问权还是赋予犯罪嫌疑人沉默权 ,鉴于我国国情及讯问权本质是权力其行使应受权利制约而非以权利否定权力观点 ,本文认为采用务实而不保守态度来完善讯问制度、禁止非法讯问。讯问应是打击犯罪和正当程序统一体。具体措施可包括落实供述证据排除规则 ,完善侦查阶段律师帮助权 ,建立中国式辩诉交易及完善讯问制度 ,加强自律。     

C程序设计中隐型错误剖析

文中所称隐性错误是指在C语言程序设计中对运算符、分隔符、逻辑表达式以及变量与数据类型的理解及处理不当而产生的错误，属非语法和算法性的错误，文中结合实例就C语言程序设计中出现的一些隐性错误进行了剖析，对C语言的编程实践具有一定的指导意义。     

论侦查阶段的讯问权

沉默权为多年学界和实务界关注的议题,我 国应否确立沉默权,肯定说和否定说各执一辞。在侦查阶段肯定侦查人员讯问权还是赋予犯罪嫌疑人沉默权,鉴于我国国情及讯问权本质是权力其行使应受权利制约而非以权利否定权力观点,本认为采用务实而不保守态度来完善讯问制度、禁止非法讯问。讯问应是打击犯罪和正当程序统一体。具体措施可包括落实供述证据排除规则,完善侦查阶段律师帮助权,建立中国式辨诉交易及完善讯问制度,加强自律。     

早期维特根斯坦对逻辑命题的思考及其意义

现代逻辑的诞生使逻辑摆脱旧有束缚,进而开启了逻辑学发展的新局面。在逻辑获得新生的同时,逻辑的本质问题也日益凸显。维特根斯坦赋予逻辑命题3个重要特征：（1）逻辑命题是重言式;（2）逻辑命题假定对象和世界的存在;（3）逻辑命题不可说但并不神秘。这些特征是对弗雷格、罗素的逻辑哲学的反叛,但也对分析哲学乃至整个西方哲学产生了深远影响。     

物元命题和事元命题

从命题逻辑的角度 ,以可拓论为基础 ,建立了命题表示的一种新方法 ,提出了物元命题、事元命题和事物元命题的概念 ;指出物元命题与关于对象的陈述型命题相对应 ,事元命题和事物元命题与关于行为、事件的行为型命题相对应 ;探讨了命题的可拓性和可拓变换方法 ;给出了基于可拓集合的命题可拓集的概念 .     

普莱尔早期的时态逻辑思想

普莱尔是时态逻辑的创始人,他认为原子命题和带有时态算子的命题都是同样的命题,原子命题只有现在时态,命题的真值随时间的不同而变化。他否定永恒的个体存在,主张充当命题逻辑主语的专名只能指称现存的对象。普莱尔用模态逻辑的方法处理时态命题,比经典逻辑更好地刻画了自然语言表达和日常推理。但是普莱尔的方法也带来了一些问题,比如说它不能命名不再存在的个体似乎有违自然语言的习惯,如何确定时间的单位也成为有争议的话题。尽管如此,时态逻辑仍然发展成内容丰富的逻辑学分支,在许多领域都有着巨大的应用价值。     

实体法与程序法视野中的受贿罪追诉——足球裁判受贿若干法律问题研究

司法是否介入足球裁判受贿事件 ,涉及到刑事实体法和程序法的适用。新刑法实行相对主义罪刑法定 ,给司法留有合理“空间”。中国足协是体育法赋予了一定的行政管理职能的社会团体 ,受足协委托从事公务的足球裁判受贿可以按刑法规定的国家工作人员受贿罪论处 ,这不违反罪刑法定原则。行贿俱乐部主动的揭发 ,受贿裁判的忏悔供认 ,为追诉犯罪提供了重大线索 ,已经符合刑事诉讼法关于立案的条件和标准。法律不要求举报人在立案时提供全部确实充分的定案证据。     

“为他人谋取利益”要件的反思

我国现行刑法中有关受贿罪内容与《联合国反腐公约》相比较有一定差距,而且司法实践中暴露出来的现行有关受贿罪立法的不足直接影响我国对受贿罪的打击力度,为推动我国刑法国际化和反腐斗争的深入开展,我国有关受贿罪立法的完善势在必行。研究了“为他人谋取利益”要件理论争执及其局限性。无论把“为他人谋取利益”作为受贿罪的客观要件还是主观要件,都存在不科学的地方,建议取消“为他人谋取利益”的规定。     

Pascal命题和Brianchon命题在解题中的应用

由Pascal命题及其逆命题和它对偶的Brianchon命题及其逆命题来解决三点共线,三线共点,四点共线,五点共线,六点或六直线在一条二次曲线上的问题,还应用这两个命题解决了求解定点问题与定直线问题以及作图问题.     

用于描述和验证数字电路的一阶间隔时态逻辑

提出一种新的时态逻辑——一阶间隔时态逻辑（ＦＯＩＴＬ）,它是扩充了间隔时间算子的一阶时态逻辑。它能精确地描述数字电路的时间特性,支持连续和离散的时间结构并能对时间信息进行推理。本文给出了ＦＯＩＴＬ的基本框架,并对其进行了验证。     

关于加强和改进基层党委中心组学习的几点思考

党委中心组学习是本级党委组织本级领导班子成员开展以党的理论和路线方针政策为主要内容的有目的、有意识、有创新的学习活动。对新时期、新形势下的基层党委中心组学习的内涵、地位、作用和基本经验做了分析和思考,并对如何改进当前基层党委中心组学习取得实效提出看法和建议。     

伪正交变换的特征值

本文首先指出文献［１］中的二个例题是错的,接着探讨了产生这错误的原因,进而给出并证明了相应的二个正确例题。     

二值命题逻辑中公式的一种概率真度

将经典二值命题逻辑中公式的真度概念推广到势为2的概率空间上,定义了二值逻辑(p,q)测度和其上命题的概率真度;在〔1/3,2/3〕的情形下证明了全体公式的概率真度之集在[0,1]中是稠密的,并给出了公式概率真度的表达通式.