搜索

关键词：张清宇 ×

共找到 24 项 “张清宇” 相关结果

出版社：中国社会科学出版社,2010

简介：　　本书介绍数理逻辑的基本内容，如经典一阶逻辑(包括命题逻辑和谓词　　逻辑)的句法、语义、逻辑演算(形式证明)以及刻画句法和语义之间关系的　　完全性定理，初步的模型论内容，集合论初步知识，哥德尔第二不完全性　　定理以及所需的递归论内容，等等。这些内容为我们学习20世纪伟大的数　　学发现——哥德尔定理提供了基础，也为进一步学习和研究数理逻辑的专　　门知识和问题提供了基础。　　

逻辑哲学九章

作者：张清宇主编

出版社：江苏人民出版社,2004

简介：片断：绪论什么是逻辑哲学？逻辑哲学，顾名思义，不仅与逻辑有关，而已与哲学有关。这一点显然不难理解。但是，如果我们问如何有关，能不能说得清楚，大概就不是那样容易的事情。不过，本书既然要围绕这样一个题目进行论述，就无法回避这个问题。因此我们首先就要谈一谈什么是逻辑哲学。在英文中，相应于我们这里所说的逻辑哲学一般有三个表达：一个是哲学逻辑（philosophicallogic），另一个是逻辑哲学（PhilosoPhyoflogic），还有一个是逻辑的哲学（logicalPhilosoPhy）。大概最早出现的是前一个，后两个是后来出现的。从文献来看，使用最多的是前两个。因此这两个术语值得我们认真考虑。关于这两个表达，人们的看法是不一样的。而且，即使是关于其中的某一个表达，比如第一个表达，人们的看法也是不一样的。这些不同的看法，不仅表现出人们对逻辑哲学的不同理解，而且也反映出在以逻辑哲学命名的东西上存在的问题。这里，我们先介绍一下国内外与逻辑哲学这一概念有关的主要观点和态度，然后再明确地阐述我们自己对逻辑哲学的看法。人们一般承认，罗素最早使用了“哲学逻辑”这个概念。但是，这个词以及与它相近的词“逻辑哲学”的频繁出现却是在进人60年代以后。在过去几十年的时间里，不仅以“逻辑哲学”或“哲学逻辑”命名出版了一些专著和文集，而且还出版了几份以它们为题的专业杂志。因此，至少从表面上看，逻辑哲学或哲学逻辑已经堂堂正正地进人人们的研究视野，成为人们研究的对象或领域。但是，如果我们仔细阅读文献就会发现，事情并不是那样简单。首先，人们对哲学逻辑或逻辑哲学存在着不同的理解，而巨至今也没有形成一致的看法。其次，也有人承认哲学逻辑或逻辑哲学的提法有问题，但是为了某种目的和便利，仍然使用它。此外，还有人于脆简单地使用逻辑哲学或哲学逻辑这些术语，但是根本不对它们作任何说明或解释。在这三种情况中，应该说，第一种情况比较清楚，因为只要看一看不同作者的不同观点，就可以明白其差异所在；而后两种情况不太清楚。然而，尽管作者或编者没有明确的说明，但从他们的具体论述或选编的文章，我们仍然可以大致看出或体会到他们的基本意图和想法。因此，为了能够比较清楚地说明什么是逻辑哲学，我们首先进行这两项工作。第一节含糊的用法我们首先来看一些对哲学逻辑没有进行具体说明或说明不太清楚的文献。 1967年11月10日一12日在英国伦敦召开了一个以“哲学逻辑”为题的学术讨论会。两年以后，与会论文结集出版，并且名称不变。值得注意的是，除了会上宣读和讨论的文章外，文集又增加了几篇论文，而所增加的第一篇文章就是戴维森的“真与意义”。这篇文章是语言哲学的重要文献，刚发表不久，影响很大。由于编者没有解释，因此我们无法知道编者对“逻辑哲学”的理解。“真”无疑属于逻辑研究的范围，“意义”是不是属于逻辑研究的范围却值得思考。把这篇文章与文集中诸如欣迪卡的“命题态度的语义”和冯·莱特的“论逻辑的规范和本体论”等论文放在一起，自然是把它划人哲学逻辑的范围。这种做法反映出编者对逻辑哲学采取一种非常宽泛的态度。 1971年，普特南发表一篇论文《逻辑哲学》。文章分八节，没有开场白。第一节“什么是逻辑”，一上来就说：“让我们首先问什么是逻辑，然后试图看一看为什么应该有关于逻辑的哲学问题。”（Putnam，1998，P．404）通过对几条逻辑推理规则或逻辑定律的分析，普特南得出一个结论，逻辑推论规则或定律没有什么太大的变化，逻辑学家对它们的看法也是一致的。这些是逻辑的主要部分，是“逻辑中‘永久的学说”’（同上，P．406）。但是在如何接受它们的问题上，逻辑学家们的解释和态度却是不同的。在这个结论的基础上，他说：“显然有一些与逻辑相联系的哲学问题，而且至少它的一个理由也是清楚的，这就是：关于所有逻辑学家在某种程度上似乎普遍承认的一般原理，很难得到任何普遍接受的陈述。如果我们深究这个困难，那么与逻辑相联系的更深的哲学问题就会变得更加清楚。”（同上）接下来，他讨论了唯名论和实在论之争，逻辑和数学的关系，以及由唯名论所带来的与集合论相关的一些问题。从他的文章可以看出，他所说的逻辑哲学，主要是指在逻辑的基础上，对各种关涉逻辑...

模态对应理论

作者： (荷)约翰·范本特姆著;张清宇，刘新文译

出版社：科学出版社,2010

简介：　　 “逻辑之门”是当代世界著名的逻辑学家约翰·范本特姆经典著作的　　中文翻译。丛书收集了他的经典论文和主要专著,其涵盖的主题有：关于信　　息、进程和智能互动的模态逻辑；自然语言中范畴语法和量词语义的逻辑　　；逻辑与认识论、科学方法论和博弈论之间的相互影响,等等。丛书展现了　　现代逻辑作为数学、哲学、语言学、计算机科学、认知科学等学科之间媒　　介和催化剂的新视角。　　 20世纪70年代,范本特姆研究了模态公理与它们在一阶逻辑、高阶逻辑　　中的可定义性，提出了一个系统的、论述框架类的模态对应理论，主要结　　果包括初等模态公式的刻画、典范可定义模态框架类的刻画以及模态可定　　义性结果向二阶逻辑的推广。这一研究还引出模型之间的互模拟概念,表明　　模态语言是由对互模拟不变的一阶公式所组成；方法论上的主要特点在于　　强调模态观点和经典观点可以同时用于理论和实践的“并行观点”。《模　　态对应理论》收录了《模态逻辑和经典逻辑》以及作者近几年在这方面的　　三篇论文。　　《模态对应理论》适合从事逻辑学、语言学、计算机科学和认知科学　　相关研究人员、教师和学生阅读，也适合其他逻辑相关学科的教师和学生　　参阅。　　

湖北省图书馆百年馆庆系列丛书

作者：贺定安，张清宇主编;湖北省图书馆编

出版社：北京图书馆出版社,2004

简介：湖北省图书馆为纪念百年馆庆，开展了“我与湖北省图书馆”征文活动，本书从征文中精选80篇结集出版。内容包括作者利用图书馆取得的成效、图书馆对自己人生成长的影响和帮助、作者与图书馆工作人员的友谊及交往、作者对图书馆服务的评价等各个方面。

Blackwell guide to philosophical logic

作者： (美)罗·格勃尔(Lou Goble)主编;张清宇，陈慕泽等译

出版社：中国人民大学出版社,2008

简介：　　全国硕士学位研究生英语入学考试试题几度变化，去掉了听力部分，2006年又增补了3种新题型（实际为4种形式），对考生阅读理解能力的考查逐年加强。研究生英语入学考试是考查考生英语能力的考试。英语能力主要体现在阅读理解和写作两部分。在考研试卷中，除了专门用于考查阅读理解能力的4～5篇文章外，完形填空以及新增的语句或语段填空（简称句段填空）、段落重排序、段落配标题、标题配段落等，都是对考生阅读理解能力的考查；英译汉也实则如此。满分为100分的试卷，仅阅读理解部分就占了70分（阅读40分，完形填空10分，新题型句段填空等10分，英译汉10分）。这就不难看出，当前考研的重中之重是阅读理解。考生抓住并解决了这一难点，就抓住了主要矛盾，从而就可以突破考研大关。　　完形填空主要用来测试考生在整个语篇水平基础上的阅读理解能力。这种考试形式最早起源于20世纪50年代美国华盛顿大学的一位法语教师。当时这位教师在一篇文章中每隔七个词去掉一个词，对他的107位学生进行了阅读理解能力的考查。此后有人把一篇文章中每句话的奇数或偶数词去掉，再后来又有人把一句话的头、尾和中间的词去掉．来测试学生的阅读理解能力。这样一直延续到现在，逐步形成了去掉关键词并配四个选择项的完形填空考试形式。这就如同读一篇中文报纸上的文章，而这篇文章中又有些词给删去了，但是我们仍能读懂文章的道理是一样的。因此我们可以说完形填空是一种比阅读一篇文章还要难的考查阅读理解能力的形式。　　新题型1 句段填空在原有完形填空的基础上，不是仅仅从文中去掉几个词，而是通过去掉几句或几段话来考查考生对整个语篇阅读理解的能力，从而进一步考查考生对诸如连贯性、一致性等语段特征及文章结构的理解能力。　　新题型2　段落重排序是给出一篇各自然段排列顺序完全打乱的短文，要求考生阅读后把各自然段重新排序组成一篇逻辑连贯的文章。此题考查考生通过上下文对文章阅读理解的能力，要求考生既理解全文，又能找出各段之间的逻辑关系。　　新题型3　段落配标题或标题配段落要求考生通读有关短文、标题及后面列出的各自然段落，然后将段落与给出的各标题相匹配；或先给出各自然段的标题，短文列于后，要求考生在读懂标题及后面的短文后为每一自然段选出一个最合适的标题作为答案。　　新题型也是一种比单纯阅读一篇文章还要难的考查阅读理解能力的形式。新题型的出现无疑会增加考研阅读理解试题的难度。　英译汉不只是考查考生的翻译技巧，而主要是考查考生在阅读理解整篇文章的基础上对几个重点句的中文表达能力。考生不理解全文，不理解重点句，就不可能有踏实原文的准确的中文表达。可以说，阅读理解是基础，翻译是表达。

环境管理信息系统[电子资源.图书]

作者：张清宇，(加)田伟利，沈旭主编

出版社：化学工业出版社,2005

简介：简介本书主要介绍环境信息系统的基本知识、环境信息系统工程的开发、现代化的信息技术在环境研究和管理中的应用，并通过丰富的案例介绍把信息技术的理论与环境保护研究和管理的实际工作有机地结合起来。通过三个实际工程实例的介绍，使得信息技术的理论有效地与环境保护研究和管理的实际工程结合起来，使初学者在学习时有一个感性认识，同时环境保护研究和管理人员在阅读工程实例时，可以对环境管理信息系统理解得更为深入。目录 1绪论1 11环境1 111环境的概念1 112环境保护概念2 12信息系统3 121信息系统的概念3 122信息系统的组成4 123信息系统的类型4 13环境与信息技术5 131环境信息技术研究的基本问题5 132环境信息系统主要组成部分6 参考文献7 2环境信息系统的纵览8 21国内环境信息系统纵览8 211我国环境信息系统的发展过程8 212我国环境管理信息系统中存在的主要问题12 213我国环境信息系统面临的挑战13 22国外环境信息系统纵览14 221美国的环境信息系统14 222其他国家的环境信息系统16 参考文献17 3环境管理信息系统的组成18 31数据仓库18 311数据仓库的概念18 312数据仓库系统20 313数据仓库系统的构成21 314数据仓库的处理22 315环境数据仓库的设计23 32数据获取24 321录入24 322有线通讯技术25 323二维条码25 324GSM短信技术27 325GPRS无线接入技术28 326遥感技术33 33联机分析35 331联机分析的概念35 332OLAP的多维数据结构36 34数据挖掘37 341数据挖掘的概念37 342数据挖掘研究内容和本质39 343数据挖掘的功能40 344数据挖掘的流程41 345数据挖掘在环保中的应用42 35可视化系统43 351可视化系统的概念及任务43 352地理信息系统的组成44 353地理信息系统关键技术及发展46 354地理信息系统在环境管理中的应用53 36决策支持系统55 361决策支持系统的概念55 362决策支持系统中数据仓库的建立56 363决策信息系统57 364数据模型设计57 365数据整理57 366综合决策支持系统58 参考文献58 4环境管理信息系统的开发60 41系统开发简介60 411系统开发目标与常用模型60 412系统开发的基本策略62 413一些不正确的观念64 414一些有争议的观念65 42系统规划66 421系统启动66 422项目建设规划67 423可行性研究68 43需求分析70 431综述70 432需求开发70 433需求管理75 44系统设计76 441概要设计76 442详细设计77 45用户验收78 451系统配置审核78 452可执行程序的测试79 46案例说明80 461引言80 462业务需求调查81 463应用现状调查82 464业务处理总体流程调查82 465软件运行环境要求86 466系统分析88 467附件90 468功能需求确认书90 5政府环境管理与监理信息系统92 51建设项目管理信息系统92 511业务流程图93 512数据库设计94 513应用系统94 52污染源管理信息系统98 521业务处理总体流程98 522数据库设计99 523系统的功能结构99 53排污收费管理信息系统102 531排污收费业务流程102 532排污收费管理信息系统的数据库设计103 533排污收费管理信息系统功能103 54信访及行政处罚管理信息系统107 541信访管理信息系统107 542行政处罚管理信息系统110 55总量控制决策支持系统112 551业务流程113 552数据库结构的设计113 553软件功能结构的设计113 554总量控制决策支持系统功能113 56“一厂一档”综合管理信息系统117 561数据库结构设计118 562软件功能结构的设计118 57固体废物交易平台系统118 571数据库结构的设计119 572系统结构的设计119 573系统功能的设计119 574交易平台的功能结构121 参考文献123 6企业环境管理信息系统124 61ISO14000管理信息系统126 611环境管理体系126 612环境管理体系信息系统126 62清洁生产管理信息系统130 621清洁生产130 622企业清洁生产管理信息系统131 63企业污染源排放预警及管理系统132 631企业环境管理预警系统的工作原理133 632功能说明133 633杭州合一企业环境管理预警系统的各项指标134 7知识库系统136 71知识库系统136 711知识的类型136 712知识的分级与分层137 713知识原理137 714知识库138 715知识库系统的特点138 716知识库系统实现的三个关键问题139 72知识库系统在环境管理中的应用139 721环境管理知识类库的构建140 722环境管理知识对象的封装140 723环境知识库系统双向功能的实现140 73清洁生产知识库系统141 731清洁生产知识库系统的设计141 732知识库的分析过程142 733知识库的决策过程142 734知识库的扩展142 735实例运行142 8人工智能与专家系统146 81人工智能与专家系统146 811人工智能146 812专家系统147 82人工智能与专家系统在环境管理中的应用148 821开发环境专家系统的必要性148 822开发环境专家系统的步骤149 823专家系统开发工具150 824环境管理专家系统的实现152 825国内外环境管理专家系统的汇总154 83污染治理设施设计的专家系统155 831废水治理工程选型知识特点和专家推理过程156 832知识的框架网络表示方法157 833新知识获取与知识整合158 834推理控制策略158 参考文献159 9环境污染预测模型160 91大气预测模型160 911大气预测模式160 912目前研究的方法164 92水体预测模型166 921水质预测模式166 922水质模型参数估计方法的最新研究169 93模型的不确定性分析171 参考文献172 10环境管理与网络174 101基于B/S结构的环保信息发布系统175 1011浏览器/服务器(B/S)模式175 1012环境信息Web动态信息发布技术的比较176 1013环保信息发布系统178 102环境管理信息网络180 1021网络结构180 1022网络平台181 103网络安全机制及安全防范措施181 1031网络的安全机制181 1032各级环保机构之间的信息交流安全性182 1033网络安全设计和解决方案183 参考文献186 11系统实施与整合187 111系统的实施187 1111项目实施成功的关键187 1112环保部门软件项目实施要素188 112系统成功实施的标准190 1121资源配置190 1122模拟运行190 1123安装与调试191 1124录入数据191 1125系统试运行192 113系统实施的效果192 1131风险评估及应对措施192 1132错误分析与故障排除技术192 1133维护和技术支持193 1134系统验收的标准194 1135项目实施过程文档清单194 1136试运行评估194 114新旧系统的衔接194 1141系统切换的前提条件196 1142系统切换的原则和范围196 1143系统切换的方法196 1144切换策略的比较197 1145切换方案制定197 115数据迁移198 116系统的整合199 1161系统的整合的定义199 1162系统整合的方法200 12环境信息系统的发展与展望201 121环境的发展趋势201 1211污染因子的转变201 1212污染治理的发展208 1213政策、教育及其他209 122从信息技术发展的角度来看环境信息系统的发展211 123我国近期环境信息系统工作的展望213

Study of philosophical logics

作者：张清宇，郭世铭，李小五著

出版社：社会科学文献出版社,2007

简介：　　　　《哲学逻辑研究》是1993年国家社会科学基金项目《哲学逻辑研究》的最后成果，内容包括一阶逻辑，模态逻辑，时态逻辑，条件句逻辑，多值逻辑，相干逻辑，直觉主义逻辑，弗协调逻辑和哥德尔不完全性定理。《哲学逻辑研究》全面、系统、准确地论述了哲学逻辑领域的重要分支，同时也阐述了作者近年取得的一些新的研究成果，构建了若干新的逻辑系统，如不用联结词和量词的一阶逻辑系统，弗协调逻辑的一些系统，这些成果达到了国际逻辑研究水平。它将有助于国内读者对于哲学逻辑基本理论的掌握和加深对新理论、新成果的了解，也将有助于推动我国深入开展现代逻辑基本理论研究。　　

Ecological civilization index system research of western region

作者：张清宇，秦玉才，田伟利著

出版社：浙江大学出版社,2011

简介：生态文明指标体系的建立是社会主义生态文明建设的核心内容。建立科学的西部地区生态文明指标体系，对西部进行定量评价，能够明确掌握西部地区生态文明的发展度、协调度与持续度，发现西部地区生态文明建设中的不足和缺陷，指明西部生态文正明建设进一步努力的方向和重点，为决策者进行科学地决策提供理论依据，减少决策中的盲目性，避免较大的失误和减少浪费。因此，西部地区生态文明指标体系的研究在西部地区生态文明建设中具有重要意义。本书首先采用主观分析和灰色层次分析相结合的方法，按照生态文明的内涵和要求，将西部地区生态文明建设的总体目标划分为生态经济、生态保障、生态承载力、生态环境和生态发展五层模型结构组成的目标集。将每一层的内容进一步分解成更细小的方面，共筛选出70多个初级指标，并对指标进行了多次讨论、修订、增删和测算，最终确定39个具有代表性的指标来反映生态文明的具体要求，构成西部生态文明建设评价指标体系。运用修正的灰色层次分析法（GAHP）确定各指标及准则的权重系数，给出综合评价计算模型及生态文明建设指数（CECI），通过修正的灰色聚类法对西部十二省（区、市）的多个指标值进行分析计算，得到各省（区、市）的关联系数值，由此建立西部地区基准年（2007年）指标及指标值，用来评价现阶段西部各地区（以四川和贵州为例）生态文明建设的现状。以2007年为基准年，通过设定模型中的驱动因素，预测了未来13年内（2008-2020）西部地区社会经济状况和不同的社会经济发展条件下，资源能源利用、污染物排放的变化情况。设定高、中、低三种经济发展模式，分析不同经济发展模式下西部地区水、能源等资源供需矛盾、污染物产排系数和总量控制目标实现情况等，最后确定一个最佳的经济发展方案，从而构成包含有35个指标的生态文明考核指标体系。此生态文明建设考核指标体系依照分步实施和分段监测的原则，将生态文明建设战略目标分三个阶段（2010年、2015年、2020年）来实施，按每个阶段完成目标情况进行监测。通过评价西部地区生态文明建设指标现状值与目标值的差距，可制定相应的措施和发展规划来促进西部地区生态文明水平的改善。

Realism Decidability and the Past

作者： (法)法布里·帕陶特(Fabrice Pataut)著;张清宇译

出版社：华夏出版社,2001

简介：　　《实在论可判定性和过去》内容简介：社会的发展，科学的冒明，思想的进步，永远需要某种有着丰富养料的环境。这种环境在所有有理智而又不乏灵气的人们心中，首先便是丰富的思想材料的累积。近代中国，自十九世界中期以降，许多学者为此倾力于西文典籍的传译，成绩斐然，功不可没。然而随着时代的发展，西方学者研究现代社会诸多问题的新作迭出，这些新作对于当今中国广大读者，显然具有重大的启示和借鉴意义。因此，翻译出版现代西文思想名著，尚有许多工作可做。如同读者所知，现代西文思想不仅源流学派异彩纷呈，而且显示出深层转变而日益走向综合发展的趋势；同时，这一令人捉摸难定的趋势，又显示出深远的历史渊源、文化背景以及学理的传承相继。“现代西文思想文库”的创设，恰好立意在接续先贤传译西文思想经典的伟业，为我们的思想界、学术界理解和借鉴现代西文思想的精华，提供基本的养料或食粮，以期看到我们思想界、学术界在荆棘与鲜花并见的求索的道路上更进一步。“现代西方思想文库”既是一项恢宏繁复工作，也是一份至为艰巨且任重道远的事业。在这项工作进行的过程中，在此项事业发展的旅途上，我们道德应当由衷地感谢那些关注这一文库的读者们。　　