论形式逻辑思维规律对思维形式和证明的应用

认知社会语言学视角下与性别相关的会话举止研究 中德电视剧中的夫妻会话分析 中文、德文

本书源于当今社会对男女性别差异进行深入分析和探究的需求，大众传媒在人们生活中的重要影响，以及将语言、认知与文化相结合的新型研究角度。鉴于目前有关语言和性别的研究仅从语言形式上剖析男女性别的言语差...

电子商务领域事件语义形式化描写研究

本专著共分六章，第一章为绪论部分，主要讲述我国电子商务的发展现状、电子商务系统的技术发展趋势；第二章为事件语义学研究概述，重点介绍事件的定义、语言学中的事件研究、面向自然语言处理的事件研究；第三章为事...

真理与真诚 谱系论

本书是作者撰写的一部具有思想史意义的重要专著，作者在书中试图通过把哲学的、历史的是文学的资源整合起来，对人类生活中的两个基本美德——真理与真实性，诚实与确实性作出一种谱系学的诠释和捍卫，揭示它们对人...

启蒙面面观 社会理论与真理伦理学

本书对社会理论中的主要论争进行了仔细的考察，展示了为什么现代主义和后现代主义、科学主义和相对主义等这些矛盾立体并不成立。作者雄辩地指出，应当将启蒙当作一种伦理状态，而且应当把知识分子视为特殊批判精...

数字集成电路设计验证 量化评估、激励生成、形式化验证

本书重点介绍过去五年内取得的相关研究成果，兼顾对国内外近期相关工作的扼要介绍。本书涉及数字集成电路模拟验证的覆盖量化评估和测试激励生成、形式化方法。主体内容包括量化评估、测试激励生成、形式验证...

实在论与真理

在这本富于挑衅性而又知识广博的论著中，戴维特教授不仅为有关常识和物理世界的彻底的实在论做出了辩护，而且也为真理的符合概念做出了辩护。与学界流行的公认意见不同，戴维特认为实在论的形而上学问题不仅不同...

真理的思考 任继愈传

任继愈是我国哲学宗教学的一代宗师，他在佛教方面的研究成就被毛泽东誉为“凤毛麟角”。他精于学问，不攀龙附凤，不趋炎附势，始终保持实事求是正直谦虚的节操。他一辈子以国家社会需要为己任，无论在治学、教学，还.....

刘少奇 为真理而战斗

本丛书的主角均是以毛泽东为代表的新中国的开创者。通过对大量珍贵资料和图片的整理，用通俗易懂的语言编写成青少年喜爱的故事，客观、真实、生动、形象地再现了领袖青少年时代的成长经历和参加革命的传奇故事...

追求真理 江苏高校领导干部学习“三个代表”重要思想论文集

本书为江苏省高校领导干部学习“三个代表”重要思想的论文汇集。