数学证明中的推理问题

演绎推理和非演绎推理经常被运用到数学证明中。二者的共同之处在于:都是从前提推出结论、从已知达于未知;非演绎推理除归纳法之外,与演绎推理一样,只要前提都真,结论必真。不同之处在于:演绎推理从前提到结论之间的推理是逻辑推理,而非演绎推理的推理过程则是根据具体问题进行具体分析;演绎推理的前提与结论之间的关系必然能被数理逻辑的逻辑演算中的形式定理所反映,非演绎推理的前提与结论间的关系则不能;演绎推理对应着一个演绎推理规则,非演绎推理则无对应的推理规则。     

发展用户驻地网与打破本地固话垄断

本文提出了一个发展用户驻地网的思路,着重论述了发展用户驻地网可有效地打破本地固话垄断,兼述了发展驻地网对电信管制的影响及发展驻地网所需解决的问题。     

本土诗歌经验对于戴望舒象征主义接受的影响

对外来文学的接受 ,是中国文学进入现代之后产生的一个极为重要的话题。戴望舒的象征主义接受立足于中国本土已有的诗歌经验 ,既积极调动了诗人主体的旧诗积淀 ,又充分考虑了新诗发展的实际需求。努力使接受成为一种主动的对话而非被动的倾听 ,显示出了鲜明的主观性、主动性和本土性特征。在中国文学进一步世界化的时候 ,他的做法 ,对于中国新诗的建设是一种有益的启示。     

渎职侵权职务犯罪因果关系的认定

渎职侵权犯罪是指刑法分则第四章、第九章规定的由检察机关立案管辖的国家机关工作人员利用职权实施的侵犯公民人身权利、民主权利犯罪和国家机关工作人员的渎职犯罪。对渎职侵权职务行为与危害后果之间因果关系的正确认定是对渎职侵权行为归责的重要前提。直至目前,我国刑法学界对违法行为与危害结果之间因果关系的研究基本上采用的是＂若无A就无B＂的必要条件分析框架,但它因其固有的缺陷确有予以完善的必要。     

逻辑学推理论亟需补充基本规则

逻辑是从形式的角度研究推理前提的真如何传递到结论。这就要求,前提形式不能为永假式,而且结论与前提必须有真值的传递关系,这是推理得以成立的两个基本前提。因而,它应作为推理操作的基本规则。然而,现行逻辑学推理论对此是缺失的,亟需补充。     

"谁不"遍指句

“谁不”由一种反问格式渐而演变为一种以非疑问形式表达肯定意思的遍指句 ,跟“谁都”、“谁也”格式有了相同的句式意义。本文就“不”、“都”、“也”的分布及语义特征入手 ,讨论了形成这一相同句式意义的环境条件。     

《搜神记》《世说新语》中的选择问句

本文考察《搜神记》《世说新语》中选择问句的格式、形式特征及在句意表达上的特点。通过对两书中这类问句的描写,从一侧面揭示出选择问句在中古汉语前期发展变化的一些情况。     

试析生存论分析的“前提的整体”——《存在与时间》学习札记

生存论分析的障碍之一,是缺乏“前提的整体”,本文着重揭示《存在与时间》先行具有“前提的整体”的步骤:通常的存在之领悟不等于一般存在的意义,前提的整体不等于课题的整体,平均日常状态不等于本真状态。     

知识论人类学前提的生存意蕴--海德格尔对康德的批判

康德以人类学为知识论奠基.海德格尔则认为,康德的经验人类学没有实现对人的本真理解,无法胜任为知识论奠基的任务,提出以哲学人类学为知识论奠基.从而为从生存论上探讨知识问题提供基本理论前提.     

债权人对债务人延期其债权能否行使代位权——以三段论法中之小前提为观察点

债权人代位权制度起源于法国的习惯法中,因该制度行使简捷便用,故其存在仍有一定的意义。“怠于行使权利”作为代位权构成要件之一的法理,在于权衡债权人的期待利益与债务人管理自己财产之自由相冲突的结果。对此,从三段论法上,笔者对如何将案例事实归摄于构成要件之特征构成小前提,予以分析,并认为化解实务上和学说上的矛盾,应该运用法学方法论,以避免人治的擅断。