小说 青春文学 中国散文 外国散文 悬疑推理 文学理论 文集 世界名著
外国小说| 中国当代小说| 中国古典小说| 中国近现代小说| 悬疑推理| 科幻小说 世界名著 四大名著| 作品集| 更多
外国诗歌| 中国古诗词| 中国现当代诗歌| 外国散文| 中国现当代散文| 中国古代散文 文学理论| 文集| 戏剧| 更多
玄幻/科幻| 悬疑/惊悚| 叛逆/成长| 爆笑/无厘头| 校园| 港台青春文学| 外国青春文学 更多
历史 哲学/宗教 社会科学 政治军事 传记 文化 古籍 管理 经济 成功励志 法律 语言文字
中国史| 世界史| 地方史志| 历史知识读物| 史料典籍| 史学理论| 考古文物 民族史志
政治| 军事| 中国政治| 国际政治| 外交/国际关系 哲学| 宗教| 美学 哲学知识读物| 中国古代哲学
历代帝王| 历史人物| 科学家| 体育明星| 文学家| 学者| 艺术家| 文娱明星 政治人物| 自传| 更多
世界文化| 中国文化| 中国民俗| 地域文化| 文化理论| 文化评述| 神秘现象
心理学| 人类学| 教育| 社会学| 新闻传播出版| 语言文字| 更多
古籍整理| 经部| 史类| 子部| 集部
经济理论| 中国经济| 国际经济| 经济通俗读物| 保险| 会计| 金融投资 市场营销| 管理学| 电子商务
成功激励| 口才演讲| 名人励志| 人际交往| 人生哲学| 心灵修养| 性格习惯 更多
法的理论| 法律法规| 国际法| 经济法| 更多
中国儿童文学 外国儿童文学 科普读物 绘本 动漫/卡通 幼儿启蒙
中国儿童文学| 外国儿童文学| 童话| 小说| 寓言传说|
动漫/卡通
科普| 百科| 历史读物| 生活常识| 益智游戏| 传统文化
幼儿启蒙| 少儿英语| 励志/成长| 艺术课堂
0-2岁| 3-6岁| 7岁及以上
绘画 书法篆刻 艺术理论 摄影 音乐
绘画理论| 国画| 油画| 素描速写| 水粉水彩
碑帖| 技法教程| 书法理论| 硬笔书法| 字帖| 篆刻
设计| 摄影后期| 摄影教程| 摄影理论| 摄影器材| 数码摄影| 作品集
影视理论| 影视赏析| 影视制作| 舞台/戏曲艺术
钢琴| 吉它| 理论/欣赏| 声乐| 通俗音乐| 外国音乐| 中国民族音乐| 作曲/指挥
宝石| 雕品| 古代家具| 钱币| 收藏百科| 收藏随笔| 书画| 陶瓷| 玉器
艺术理论| 雕塑| 工艺美术| 建筑艺术| 民间艺术| 人体艺术| 艺术类考试
美食 保健/心理健康 旅游 家庭教育 家居休闲
饮食文化| 保健食谱| 家常食谱| 八大菜系| 餐饮指南| 世界美食| 更多
健康百科| 健身| 心理健康| 中老年| 中医保健 常见病| 更多
旅游随笔| 旅游攻略| 旅游画册| 城市自助游| 国内自助游| 国外自助游| 地图地理 更多
孕产百科| 育儿百科| 更多
美丽妆扮| 两性关系| 家居休闲| 个人理财
中小学教辅 外语 教材 医学 计算机 自然科学
语文阅读| 拓展读物| 高考| 初中通用| 高中通用| 工具书 教师用书| 更多
英语读物| 职业英语| 英语考试| 大学英语| 少儿英语 更多
研究生/本科/专科教材 | 职业技术培训| 中小学教材|
操作系统/系统开发| 数据库| 信息安全 程序设计| 电脑杂志| 计算机教材| 计算机考试认证 计算机理论| 计算机体系结构| 家庭与办公室用书| 企业软件开发与实施| 人工智能 软件工程/开发项目管理|
考试| 家庭教育| 自然科学| 科普读物| 医学| 农林业| 工业技术| 建筑
笔记本 布艺品 书签/藏书票
笔记本| 布艺品| 书签/藏书票| 明信片| 笺纸| 胶带| 其它
“范畴”一词的本义产生于西方文化中,它由希腊文“katego-ria”逐渐演变而来,原意包含种类、类别、等级等多种意思。汉译取自《尚书·洪范》“九畴”,具有种类、方法、范围等含义。在西方逻辑史上,古希腊的亚里士多德最早对范畴作了系统的研究,他对客观对象的不同属性进行了全面分析和归类概括,提出了十种最普遍的范畴,即著名的“十范畴说”。近代康德提出了知性范畴的体系,包括四类十二个范畴,他认为范畴不是来源于经验,而是属于先天知性的原则
范畴类型逻辑是当代自然语言逻辑中的一个重要分支,其使用逻辑学中的方法,甚至数学中的方法为自然语言问题的解决提供一条形式化的解决路径。当下范畴类型逻辑中主要有传统的范畴类型逻辑、多模态的范畴类型逻辑、对称范畴语法三个分支,其中传统的范畴类型逻辑是在不结合的兰贝克演算的基础上通过添加算子或者结构假设的方式而获得的一个范畴类型逻辑分支;本书将从汉语反身代词回指照应问题出发,以具体的语言学问题为基础,通过构造三类不同范畴类型逻辑对这一问题的解
本书主要对法、人格、自由的内在逻辑结构从本体论、认识论和实践论上进行法哲学意义上的研究。本书核心命题的立论根基主要是康德和黑格尔的理性的自由观和法哲学。核心论点立基于人格的定义上,即人格是指以自我规定性的能力为基质的同一性表象。而人格这一定义的根基在于自由。自由从本源上讲是一种自我规定的能力。本体论上的法作为一种自由意志的存在,承担着高贵的历史使命:命令人成为真正的人,并尊重他人为人,即法哲学必须承担起使人现实地拥有人的尊严和自由、享
本书包含三编:第Ⅰ编:为用图的方法为刻画非良基集合论系统ZFC/ AFA(或者SAFA、FAFA以及反基础公理家族AFA~)建立了三种模型,从而证明各种反基础公理与ZFC?(=ZFC-FA)的相对协调性。第Ⅱ编:基于线性方程组和它的解之间的关系,修正、完善和丰富了巴威斯(J.Barwise)等人用代数方法——方程组刻画的反基础公理--解引理理论。第Ⅲ编:包括两个附录。附录1----给出了结构之间的互摸拟理论。附录2----给出了项目研
本书将基于社会选择理论进行“跨文化互动的逻辑机制研究”,针对社会选择理论中的防策略投票问题探讨逻辑语言的表达力,建立相关的逻辑系统,以求理论瓶颈的突破。进而,给出下一步的研究方向,即用精确的形式语言来刻画防策略投票问题,并生成为计算机可识别的程序代码,从而实现计算机对防策略投票问题的模拟和解决,以期实现对现实问题解决的自动性和高效性...
本书遵循马克思提出的“人体解剖对于猴体解剖是一把钥匙”的历史研究方法,从现代逻辑观点全面系统地研究了亚里士多德的九大逻辑理论;澄清了长期以来国内外学术界对亚里士多德逻辑理论的诸多误解,深刻地揭示出亚里士多德逻辑理论对现代逻辑发展的重大意义。在此基础上,本书进行了“推陈出新”的研究,用现代逻辑的工具,重新构造了亚里士多德的直言三段论系统、必然模态三段论系统和偶然模态三段论系统,并且构造了形式排斥系统,构造了这些系统的语义模型,证明了这些
[美]艾玛·克莱因 著,韩冬 译
缪哲 著
林奕含
老王子
[英]蕾秋·乔伊斯 著,焦晓菊 译
宋瑞祥 著
京ICP备09013606号-3京信市监发[2002]122号海淀公安分局备案编号:1101083394
营业执照出版物经营许可证 京出发京批字第直110071