共查询到20条相似文献,搜索用时 222 毫秒
1.
传统的观点是把直陈条件句看作是真值函项性的,也就是把直陈条件句等价于实质条件句,这就是所谓等价论题。按照等价论题的观点来处理直陈条件句,会出现一些违反人们直觉的怪论。格赖斯与杰克逊分别运用会话隐涵和约定隐涵对等价论题进行了辩护。尽管等价论题在现实生活的逻辑应用中暴露出自己的许多问题,但是等价论题在历史上的出现有着重要的、积极的意义,它在客观上有助于现代逻辑的发展。 相似文献
2.
要进行科学研究,在心理上必须具备“增强信心、善于怀疑和选定目标的认知条件“;在论题的确立上必须掌握“选择论题的诀窍和立意创新的途径“.只有具备了正确的心理认知和掌握了一定的技巧,才能达到自己科研的预定目标. 相似文献
3.
何晓光 《承德石油高等专科学校学报》1997,(2)
在大学数学和其它学科中,逻辑论证是常用的证明方法.它可分为直接论证和间接论证,一些定理、结论和习题的证明,不是采用直接的论证,而常常需要通过证明其它的论题,来确定原论题的真实性,这种方法,称为间接论证.笔者总结数年的教学经验,从逻辑论证的角度出发,对此方法进行研究、归纳,以期在证明中做到有的放矢,灵活运用. 相似文献
4.
朱建平 《重庆理工大学学报(自然科学版)》2014,(9):6-11
哲学的逻辑建模是与我们的直觉和实在经验相符合,能够对一定范围的哲学问题提供答案的形式理论框架。广义地说,哲学的逻辑建模是建立在逻辑-数学基础上,用于描述和分析哲学概念、哲学论题和哲学推论的形式技术。哲学不仅从逻辑-数学模型获益,而且它本身也提供哲学模型。 相似文献
5.
讯问是侦查人员对犯罪嫌疑人的一种调查活动,是讯问人员与犯罪嫌疑人之间的一种心智的对抗和较量。凡是带有对抗性、竞争性的活动都存在谋略问题。⑴所谓的侦查讯问谋略是指侦查讯问人员为了实现侦查讯问的目的,根据犯罪嫌疑人和案件的具体情况,运用相关谋略的原理和讯问实践经验而制定、采取的指导侦查讯问的各种讯问途径和方法。 相似文献
6.
一种基于ArcGIS和AutoCAD的数字地图拼接方法 总被引:4,自引:1,他引:4
地图数字化是地理信息系统工作的首要任务之一,针对地理信息系统地图数字化过程中常见的多图幅数字地图逻辑拼接以及数字化后易出现的空间逻辑错误问题,提出一种基于ArcGIS的数字地图逻辑拼接和空间逻辑错误检查方法,实现了真正意义上的多图幅数字地图逻辑拼接,并在河南省航道基础地理信息管理系统中应用,取得了理想效果. 相似文献
7.
闻兴媛 《重庆科技学院学报(社会科学版)》2012,(7):129-131
统计分析了5篇涉外案件英语讯问笔录,结果发现英语讯问语篇的主位多以单项主位出现,而单项主位多以疑问词、人称代词和动词充当,其主位推进模式以主位同一型、述位同一型和延续型为主。认为这种主位类型和推进模式选择,有利于保证讯问有效地传递讯问信息,实现讯问目的。 相似文献
8.
陈小曼 《安徽电气工程职业技术学院学报》2001,6(4):63-67
沉默权为近年学界和实务界关注的议题 ,我国应否确立沉默权 ,肯定说和否定说各执一辞。在侦查阶段肯定侦查人员讯问权还是赋予犯罪嫌疑人沉默权 ,鉴于我国国情及讯问权本质是权力其行使应受权利制约而非以权利否定权力观点 ,本文认为采用务实而不保守态度来完善讯问制度、禁止非法讯问。讯问应是打击犯罪和正当程序统一体。具体措施可包括落实供述证据排除规则 ,完善侦查阶段律师帮助权 ,建立中国式辩诉交易及完善讯问制度 ,加强自律。 相似文献
9.
文中所称隐性错误是指在C语言程序设计中对运算符、分隔符、逻辑表达式以及变量与数据类型的理解及处理不当而产生的错误,属非语法和算法性的错误,文中结合实例就C语言程序设计中出现的一些隐性错误进行了剖析,对C语言的编程实践具有一定的指导意义。 相似文献
10.
陈小曼 《安徽电力职工大学学报》2001,6(4):63-67
沉默权为多年学界和实务界关注的议题,我 国应否确立沉默权,肯定说和否定说各执一辞。在侦查阶段肯定侦查人员讯问权还是赋予犯罪嫌疑人沉默权,鉴于我国国情及讯问权本质是权力其行使应受权利制约而非以权利否定权力观点,本认为采用务实而不保守态度来完善讯问制度、禁止非法讯问。讯问应是打击犯罪和正当程序统一体。具体措施可包括落实供述证据排除规则,完善侦查阶段律师帮助权,建立中国式辨诉交易及完善讯问制度,加强自律。 相似文献
11.
现代逻辑的诞生使逻辑摆脱旧有束缚,进而开启了逻辑学发展的新局面。在逻辑获得新生的同时,逻辑的本质问题也日益凸显。维特根斯坦赋予逻辑命题3个重要特征:(1)逻辑命题是重言式;(2)逻辑命题假定对象和世界的存在;(3)逻辑命题不可说但并不神秘。这些特征是对弗雷格、罗素的逻辑哲学的反叛,但也对分析哲学乃至整个西方哲学产生了深远影响。 相似文献
12.
13.
霍书全 《重庆理工大学学报(自然科学版)》2014,(7):22-27
普莱尔是时态逻辑的创始人,他认为原子命题和带有时态算子的命题都是同样的命题,原子命题只有现在时态,命题的真值随时间的不同而变化。他否定永恒的个体存在,主张充当命题逻辑主语的专名只能指称现存的对象。普莱尔用模态逻辑的方法处理时态命题,比经典逻辑更好地刻画了自然语言表达和日常推理。但是普莱尔的方法也带来了一些问题,比如说它不能命名不再存在的个体似乎有违自然语言的习惯,如何确定时间的单位也成为有争议的话题。尽管如此,时态逻辑仍然发展成内容丰富的逻辑学分支,在许多领域都有着巨大的应用价值。 相似文献
14.
张旭 《浙江工业大学学报》2002,(3)
司法是否介入足球裁判受贿事件 ,涉及到刑事实体法和程序法的适用。新刑法实行相对主义罪刑法定 ,给司法留有合理“空间”。中国足协是体育法赋予了一定的行政管理职能的社会团体 ,受足协委托从事公务的足球裁判受贿可以按刑法规定的国家工作人员受贿罪论处 ,这不违反罪刑法定原则。行贿俱乐部主动的揭发 ,受贿裁判的忏悔供认 ,为追诉犯罪提供了重大线索 ,已经符合刑事诉讼法关于立案的条件和标准。法律不要求举报人在立案时提供全部确实充分的定案证据。 相似文献
15.
石磊 《重庆理工大学学报(自然科学版)》2006,20(12):154-156
我国现行刑法中有关受贿罪内容与《联合国反腐公约》相比较有一定差距,而且司法实践中暴露出来的现行有关受贿罪立法的不足直接影响我国对受贿罪的打击力度,为推动我国刑法国际化和反腐斗争的深入开展,我国有关受贿罪立法的完善势在必行。研究了“为他人谋取利益”要件理论争执及其局限性。无论把“为他人谋取利益”作为受贿罪的客观要件还是主观要件,都存在不科学的地方,建议取消“为他人谋取利益”的规定。 相似文献
16.
Pascal命题和Brianchon命题在解题中的应用 总被引:3,自引:2,他引:1
宋占奎 《吉林化工学院学报》2005,22(2):75-77
由Pascal命题及其逆命题和它对偶的Brianchon命题及其逆命题来解决三点共线,三线共点,四点共线,五点共线,六点或六直线在一条二次曲线上的问题,还应用这两个命题解决了求解定点问题与定直线问题以及作图问题. 相似文献
17.
提出一种新的时态逻辑——一阶间隔时态逻辑(FOITL),它是扩充了间隔时间算子的一阶时态逻辑。它能精确地描述数字电路的时间特性,支持连续和离散的时间结构并能对时间信息进行推理。本文给出了FOITL的基本框架,并对其进行了验证。 相似文献
18.
潘梅 《安徽冶金科技职业学院学报》2012,33(3):98-99,105
党委中心组学习是本级党委组织本级领导班子成员开展以党的理论和路线方针政策为主要内容的有目的、有意识、有创新的学习活动。对新时期、新形势下的基层党委中心组学习的内涵、地位、作用和基本经验做了分析和思考,并对如何改进当前基层党委中心组学习取得实效提出看法和建议。 相似文献
19.
20.
左卫兵 《华北水利水电学院学报》2007,28(5):99-101
将经典二值命题逻辑中公式的真度概念推广到势为2的概率空间上,定义了二值逻辑(p,q)测度和其上命题的概率真度;在〔1/3,2/3〕的情形下证明了全体公式的概率真度之集在[0,1]中是稠密的,并给出了公式概率真度的表达通式. 相似文献