Making it Explicit

作者: Robert B. Brandom
出版社: Harvard University Press
副标题: Reasoning, Representing, and Discursive Commitment
出版年: 1994-08-26
页数: 768
定价: USD 54.00
装帧: Hardcover
ISBN: 9780674543195

以下豆列推荐  · · · · · ·  ( 全部 )

谁读这本书?

老坚果儿
老坚果儿
昨天 想读


拙棘
拙棘
5月5日 想读


Matmonk
Matmonk
4月20日 想读

“a symbolic logic is a mathematical model of deductive thought”(enderton: a mathematical introduction to logic) 对于特定形式的命题如何能嵌入一个更大的命题或一个推理序列,并具有相应的意义,我们有一种语义的直觉。将这种直觉形式地表达出来,就是“使之清晰”的一种方式。然而我们似乎无法先验地做到这一点,而必须通过对典型案例的考察来测试一个语义学计划有没有反例。通过大量这样的考察,我们可以归纳地建立起某些扩展逻辑或形式语言的公理和推理规则(?)如果布兰顿说的第四阶段无非是这样的工作,那么实际上模态逻辑学家和日常语言学派的成员们已经分别在形式刻画和样本仓库两个层面上做出了发展。

瓦石
瓦石
4月18日 想读


> 10人在读

> 7人读过

> 63人想读

二手市场

订阅关于Making it Explicit的评论:
feed: rss 2.0