小说 青春文学 中国散文 外国散文 悬疑推理 文学理论 文集 世界名著
外国小说| 中国当代小说| 中国古典小说| 中国近现代小说| 悬疑推理| 科幻小说 世界名著 四大名著| 作品集| 更多
外国诗歌| 中国古诗词| 中国现当代诗歌| 外国散文| 中国现当代散文| 中国古代散文 文学理论| 文集| 戏剧| 更多
玄幻/科幻| 悬疑/惊悚| 叛逆/成长| 爆笑/无厘头| 校园| 港台青春文学| 外国青春文学 更多
历史 哲学/宗教 社会科学 政治军事 传记 文化 古籍 管理 经济 成功励志 法律 语言文字
中国史| 世界史| 地方史志| 历史知识读物| 史料典籍| 史学理论| 考古文物 民族史志
政治| 军事| 中国政治| 国际政治| 外交/国际关系 哲学| 宗教| 美学 哲学知识读物| 中国古代哲学
历代帝王| 历史人物| 科学家| 体育明星| 文学家| 学者| 艺术家| 文娱明星 政治人物| 自传| 更多
世界文化| 中国文化| 中国民俗| 地域文化| 文化理论| 文化评述| 神秘现象
心理学| 人类学| 教育| 社会学| 新闻传播出版| 语言文字| 更多
古籍整理| 经部| 史类| 子部| 集部
经济理论| 中国经济| 国际经济| 经济通俗读物| 保险| 会计| 金融投资 市场营销| 管理学| 电子商务
成功激励| 口才演讲| 名人励志| 人际交往| 人生哲学| 心灵修养| 性格习惯 更多
法的理论| 法律法规| 国际法| 经济法| 更多
中国儿童文学 外国儿童文学 科普读物 绘本 动漫/卡通 幼儿启蒙
中国儿童文学| 外国儿童文学| 童话| 小说| 寓言传说|
动漫/卡通
科普| 百科| 历史读物| 生活常识| 益智游戏| 传统文化
幼儿启蒙| 少儿英语| 励志/成长| 艺术课堂
0-2岁| 3-6岁| 7岁及以上
绘画 书法篆刻 艺术理论 摄影 音乐
绘画理论| 国画| 油画| 素描速写| 水粉水彩
碑帖| 技法教程| 书法理论| 硬笔书法| 字帖| 篆刻
设计| 摄影后期| 摄影教程| 摄影理论| 摄影器材| 数码摄影| 作品集
影视理论| 影视赏析| 影视制作| 舞台/戏曲艺术
钢琴| 吉它| 理论/欣赏| 声乐| 通俗音乐| 外国音乐| 中国民族音乐| 作曲/指挥
宝石| 雕品| 古代家具| 钱币| 收藏百科| 收藏随笔| 书画| 陶瓷| 玉器
艺术理论| 雕塑| 工艺美术| 建筑艺术| 民间艺术| 人体艺术| 艺术类考试
美食 保健/心理健康 旅游 家庭教育 家居休闲
饮食文化| 保健食谱| 家常食谱| 八大菜系| 餐饮指南| 世界美食| 更多
健康百科| 健身| 心理健康| 中老年| 中医保健 常见病| 更多
旅游随笔| 旅游攻略| 旅游画册| 城市自助游| 国内自助游| 国外自助游| 地图地理 更多
孕产百科| 育儿百科| 更多
美丽妆扮| 两性关系| 家居休闲| 个人理财
中小学教辅 外语 教材 医学 计算机 自然科学
语文阅读| 拓展读物| 高考| 初中通用| 高中通用| 工具书 教师用书| 更多
英语读物| 职业英语| 英语考试| 大学英语| 少儿英语 更多
研究生/本科/专科教材 | 职业技术培训| 中小学教材|
操作系统/系统开发| 数据库| 信息安全 程序设计| 电脑杂志| 计算机教材| 计算机考试认证 计算机理论| 计算机体系结构| 家庭与办公室用书| 企业软件开发与实施| 人工智能 软件工程/开发项目管理|
考试| 家庭教育| 自然科学| 科普读物| 医学| 农林业| 工业技术| 建筑
笔记本 布艺品 书签/藏书票
笔记本| 布艺品| 书签/藏书票| 明信片| 笺纸| 胶带| 其它
本著作是国家社科基地西南大学逻辑与智能研究中心教育部重大课题攻关项目“现代归纳逻辑的创新功能与应用以及认知基础”（05JZD0008）的研究成果之一。本书把经典逻辑的这些结果推广到分次模态逻辑，所展现的主要技术性结论都是新成果。该书可能需要的对象：高等院校哲学系或数学系逻辑教学和研究单位，全国社会科学和自然科学研究机构中逻辑分支机构，全国高等院校和研究机构的图书馆。读者面向研究和学习模态逻辑的专家学者和研究生...
本书适合逻辑学、逻辑哲学、分析哲学、科学哲学、认知哲学、语言哲学及相关专业的学者和学生阅读。...
2006年至2011年，清华大学刘奋荣教授主持并组织了范本特姆教授的著名论文和著作的翻译工作，以"逻辑之门"为题，分四卷由科学出版社出版。参加这一项目的国内老中青逻辑学者共有30多人。每一卷译著出版之后，著译者们都举办一次学术交流活动，然后以书面形式安排一次学术访谈。这些访谈广泛涉及了范本特姆教授在数理逻辑、哲学逻辑、逻辑思想史、逻辑应用、逻辑哲学、逻辑与哲学等逻辑学领域各个方面的主要贡献和观点，发表在国内几份重要刊物上，在国内学界产
联合演算是希尔伯特和阿克曼为从现代逻辑的演算观把传统逻辑推理理论系统化而特构的一种新的逻辑工具,但联合演算在解释传统逻辑和亚里士多德逻辑中存在根本缺陷。nbsp;nbsp; nbsp;nbsp; 马雷所著的《论联合演算》系统研究和发展了联合演算的理论与方法,废弃了联合演算的原初判定标准,提出解决判定问题的结构判定法和范式判定法;并在此基础上提出联合演算对传统逻辑和亚氏逻辑的等价翻译方案,构建了形式化的传统直言推论系统和三段论化归系统,
本书主要运用“文化学的方法”、比较方法、“时段理论”等方法，以中国现代文化视野中的逻辑思潮为研究对象，探讨西方逻辑东渐与中国文化的互动关系。本书认为，逻辑成为中国现代文化视野中的思潮，表现在：其一，逻辑东渐是中国现代社会文化变革需要的产物；其二，逻辑是中国现代文化论争的焦点；其三，逻辑被视为中国现代学术建立的工具。在此基础上，本书分析了产生中国现代文化逻辑思潮的思维基础，提出中西融通式思维的形成是逻辑在中国未来发展的基础。通过分析中国
本书对“最佳说明的推理”进行了系统的探讨，具体阐述了科学说明的内涵、科学说明的理论模型、寻求最佳科学说明时推理的可能性、最佳说明的推理的内涵与特性、最佳说明的选择与确定、最佳说明的推理与溯因推理、归纳推理以及贝叶斯主义的理论证实之间的关系、对最佳说明的推理的合理性的质疑与辩护、最佳说明的推理的效用等基础性问题。 《最佳说明的推理模式研究/认知哲学丛书》指出，最佳说明的推理是一种在多个实践内都会使用或涉及的推理形式。就本质而言，它
哲学逻辑既是哲学同时又是逻辑。哲学逻辑不是一种特殊的逻辑，逻辑主要是研究后承关系、有效推理的理论。尽管现代形式逻辑或者符号逻辑采用数学的方法来表达**富有成效，但是逻辑仍然可以用多种方式进行研究和表达。逻辑支持了哲学，哲学为逻辑提供了发展的养料，二者结合在一起就是哲学逻辑。同时哲学逻辑在其它领域也发挥着重要的作用，如知识表示、系统认证或人工智能方面，都是计算机科学发展中必不可少的一部分。哲学逻辑研究在认知科学、信息科学、博弈论、决策论
本书旨在为所有愿意认真理性思考的青年学者系统性地解释确保思维和表达正确性的逻辑学.可以说逻辑学是每一位愿意认真理性思考者的推荐工具.它的雏形是古希腊哲学家亚里士多德所锻造的形式逻辑.它是经过自十七世纪以来数百年演化以及融合了莱布尼茨、布尔、弗雷格、康托、哥德尔、塔尔斯基等人杰出贡献的智慧产物.本书将向读者解释这门系统工具由什么组成、具有怎样的功能以及可以怎样应用.这包括关于“数”和“计算”的概念分析和理论解释、形式逻辑以及逻辑电路实现
本书是全面阐释公理化真理论发展脉络及其最新研究成果的专著。对于逻辑哲学, 特别是形式化真理论研究具有重要的参考价值。传统对真之讨论的中心在于真如何被定义。近期研究中, 尤其是随着对真展开紧缩论的思考, 倾向于将真视为一个由公理支配的、未经定义的初始概念, 而说谎者导论及类似悖论提出了关于真之某些看似自然的公理问题。在本书中, 贺柏和教授考察了最重要的真之公理, 探究它们的性质, 表明逻辑结果如何影响与真相关的哲学主题...
《应用逻辑中的数学问题》围绕“逻辑学中最重要、最突出、最紧迫的问题是什么”这一个主题展开，内容分上、下两篇，共13 章。上篇内容涉及描述逻辑中的非标准推理、可证逻辑中的问题与逻辑动态中的开放问题、可计算性理论、逻辑学的发展、逻辑与认知科学、中世纪的阿拉伯语义、应用逻辑与其他学科发展之间的关系等。下篇内容涉及可证逻辑与证明逻辑、可计算性理论的研究动机与发展方向、可计算模型、相对论的一阶逻辑基础、数理逻辑的未来、区域空间理论等...
本书介绍了哥德尔不接近性定理的各种证明及相关的塔斯基定理，包括纯抽象的不接近性定理，使用真概念的基于加、乘及幂运算的算术公理化的哥德尔不接近性定理及仅基于加与乘运算的哥德尔不接近性定理，哥德尔当初不使用真概念基于ω-一致性的不接近性证明，罗瑟的基于简单一致性的不接近性证明。本书还介绍了谢颇德森表示与分离定理、不动点定理、第二不接近性定理、与不接近性定理相关的一些逻辑谜题以及不接近性定理和模态逻辑的关联...
本书收集了我国著名逻辑学家张家龙研究员 (曾任中国社会科学院哲学研究所逻辑室主任、中国逻辑学会会长) 从1978年开始发表的部分著名社会性论文和专业性论文15篇, 分上、下两部分。第一部分主要涉及我国逻辑教学和研究的现代化问题, 是我国逻辑学教学和研究发展进程中的重要历史文献, 产生过极其重要的影响, 在今天国内逻辑教学和研究中依然具有相当重要的理论和实践意义。第二部分是张家龙研究员在逻辑哲学和逻辑史领域中的重要研究成果, 对于普及和
本书分六章, 信息哲学的基本问题、语言信息与意义理论、会话隐含理论、复杂认知信息、动态认知逻辑、科学发现的逻辑。内容包括: 哲学中的信息转向 ; 推理的信息论解释 ; 信息逻辑学 ; 信息哲学的新框架等...
本书定位于以自然科学研究为主、兼顾社会科学与人文科学等学科研究中的思维方法及其合理性原则, 以科学问题为起点, 以问题求解为主线, 以理论创建为目标, 系统探讨发散求异思维、逻辑解析思维、哲理思辨思维以及理论构建思维中的各种具体思维方法...
本书主要讨论与塔斯基说明的充分性有关的种种直觉的或概念的考虑, 解释了塔斯基说明令人信服的各种混淆和误解。首先, 讨论了表征语义学并与塔斯基说明进行了对比, 详细展示了塔斯基原来的定义, 以及它与标准的模型论说明之间的关系。其次, 从规约原则、实质概括、逻辑常项、元理论的逻辑方面分析了逻辑后承的标准的语义学说明是错误的...
本书研究了英、美、法、德、新、日、韩等国家及我国大陆、香港地区、台湾地区实施生命教育的背景、内容和经验。尤其是考察了相关各国和地区生命教育体现出的民族性、阶段性、全面性、独特性，并突出了对各国生命教育的反思和批判。不同国家的民族文化传统是生命教育的思想基础，譬如美国，以民主、自由、平等、法制、人权等价值观为核心的道德价值观体系，而日本，其文化传统对家庭观念、团体意识、民族心理等集体潜意识的强化根深蒂固。这样，生命教育表现出对文化传统的
本书在介绍逻辑学三段论、推理的非形式化内容、归纳推理等传统知识框架的基础上，展示了部分前沿成果，如道义和祈使逻辑、信念逻辑、元逻辑、异常逻辑等。本书对现代逻辑学中部分冗长、复杂的技术细节进行了简化，在证明体系中依次介绍若干入好逻辑系统，使各类读者能够较为直接地了解和掌握相关知识点。另外，在每章或每节后面列了一些习题，以便读者加深对前面所学内容的理解。 本书适用于哲学、计算机等专业的高校师生阅读，也适合对逻辑学感兴趣的读者阅读.
林奕含
刘争争
（美）雷夫 艾斯
[英]蕾秋·乔伊斯 著,焦晓菊 译
[美]艾玛·克莱因 著,韩冬 译
[日]熊田千佳慕 著,张勇 译
京ICP备09013606号-3京信市监发[2002]122号海淀公安分局备案编号：1101083394
营业执照出版物经营许可证 京出发京批字第直110071