研究推理、论证方法及逻辑体系，为哲学、数学及计算科学提供理论支持。
找到 5040 条结果， 耗时 0.069 秒
现象学美学史
作者 郭勇健著
出版社 社会科学文献出版社|2018.10页数 534
ISBN 9787520133494/7520133494
丛书名 无
主题词 现象学·美学史
简介 本书是撰写现象学美学史的初次尝试，评述胡塞尔以来的现象学家的美学思想。现象学美学史可分为三个阶段。第一阶段“现象学美学”（盖格尔、英加登、杜夫海纳），它关注美学本身的问题，且较为注重美学系统性建构。第二阶段“存在主义美学”（海德格尔、萨特、…
转向中的现象学运动
作者 方向红编译
出版社 中山大学出版社|2021.07页数 236
ISBN 9787306071996/7306071998
丛书名 思想摆渡系列
主题词 现象学·文集
简介 本书是中山大学哲学系方向红教授学习哲学以来部分译稿的汇编。本书主题是“转向中的现象学运动”，目的是想通过几个板块展现现象学运动中的几次重要转向：胡塞尔现象学自身的转向、从胡塞尔到海德格尔的转向、从德国到法国和美国的转向。由于过去的翻译带有一…
总体与无限 论外在性
作者 （法）伊曼努尔·列维纳斯著；朱刚译
出版社 北京大学出版社|2016.08页数 320
ISBN 9787301272497/7301272499
丛书名 同文馆?哲学
主题词 现象学·研究
简介 本书中，列维纳斯展开了对存在的现象学描述，带出了他的两大关键词：超越性和正义，并由此建构了他的伦理现象学，完成了他对胡塞尔的超越，即‘以他者的存在为条件和出发点’，以‘作为第一哲学的伦理学’为基础而展开的现象学的无限超越的思维创造活动。
推理与证明 现代逻辑的技巧
作者 （日）内井惣七著；陈祖军，王学等译
出版社 中国人民大学出版社|1988.10页数 177
ISBN 9787300004082/7300004083
丛书名 无
主题词 推理·数理逻辑·数学逻辑·证明
简介 本书突出符号逻辑的主要内容,深入浅出地介绍符号逻辑各种有效推理与证明方法。
IQ推理训练
作者 （美）葛登能著
出版社 陕西旅游出版社|2000.08页数 307
ISBN 9787541814761/7541814768
丛书名 IQ丛书
主题词 智力测验
简介 这是一本向读者的推理思考能力和直觉观察挑战的书，作者随处捻来的日常生活事例，不但揭示了这些推理奥秘的美妙，更开拓了一种观看世界视野的智慧。
基于抽象论辩理论的稳定匹配问题研究
作者 雷丽赟著
出版社 浙江工商大学出版社|2022.04页数 148
ISBN 9787517848882/7517848887
丛书名 无
主题词 辩证逻辑·推理·研究
简介 稳定匹配问题一直是数学、运筹学、经济学和社会学等领域研究的热点问题。稳定匹配问题通常以矩阵形式出现，因此多以组合数学的方法进行计算，比较依赖数组的顺序特性，适合求解性别优先的单个稳定匹配结果。图论也是求解稳定匹配较常用的理论之一，主要从稳定…
动态信息的信念修正逻辑研究
作者 董英东著
出版社 山东大学出版社|2021.11页数 335
ISBN 9787560771953/7560771955
丛书名 无
主题词 逻辑学·研究
简介 本书共15章，首先，研究了动态觉知逻辑，采用不同的行动修正了该逻辑框架的初始概念、觉知、隐性信息和显性信息，并将其扩充为多主体的情况。其次，开展了对传统的信念逻辑的研究。构建了经典的信念逻辑系统，并将其扩充为动态的信念修正逻辑系统。第三，信…
面向人工智能的命题动态逻辑及其扩展研究
作者 张晓君，周正，王琪瑶著
出版社 浙江大学出版社|2022.01页数 410
ISBN 9787308215138/730821513X
丛书名 无
主题词 动态逻辑·研究
简介 动态逻辑又称为关于程序的模态逻辑，是进行程序逻辑性质研究、程序正确性验证强而有力的数学工具。动态逻辑是一种与自然语言的语义分析和人工智能都有密切联系的新思想，为现代逻辑理论的发展提供了新题材和新思路。本书以外新近相关文献为基础，从人工智能的…
多值逻辑博弈语义研究
作者 陈招万著；赵希顺主编
出版社 科学出版社|2018.06页数 172
ISBN 9787030535092/703053509X
丛书名 社会博弈逻辑研究丛书/赵希顺
主题词 多值逻辑·语义·研究
简介 多值逻辑在人们的现实生活中获得广泛的应用，但一直未能寻找到一个让人们满意的、符合人们直觉的语义解释。特征函数语义、代数语义、可能世界语义从多值逻辑的数学性质构建多值逻辑语义模型，这些模型预设了语义解释，却忽视了人们把握和理解多值逻辑语言的过…
基于一阶动态逻辑的Agent行为推理及其哲学反思
作者 郝一江著
出版社 科学出版社|2023.05页数 297
ISBN 9787030734150/7030734157
丛书名 无
主题词 动态逻辑·研究
简介 本书从人工智能的视角，研究了“基于一阶动态逻辑及其扩展系统的Agent行为推理”，并对相关问题进行了哲学反思。具体内容包括：作为一阶动态逻辑的基础系统的命题动态逻辑、一阶动态逻辑系统及其复杂性与表达力、基于类型命题动态逻辑的行动类型与Age…
逻辑学漫画故事 大侦探柯基 逻辑怎么就错了? 下
作者 歪歪兔童书馆
出版社 海豚出版社|2024页数 80
ISBN 9787511068729/7511068723
丛书名 无
主题词 无
简介 无
逻辑学漫画故事 大侦探柯基 逻辑怎么就错了? 上
作者 歪歪兔童书馆
出版社 海豚出版社|2024页数 85
ISBN 9787511068729/7511068723
丛书名 无
主题词 无
简介 无