逻辑中的形式语言
Formal languages in logic
Catarina Dutilh Novaes · 初版 2012 年
1人推荐
2位读者提及
2次提及
“逻辑学中的形式语言 形式语言被广泛视为首要的数学对象，并因而在逻辑学探究中催生出更高水平的精确性与技术复杂性。然而，仅仅以此种方式定义形式语言，对于其使用（以及形式体系在其他领域的更广泛运用）所产生的实际影响，只能提供部分且局限的解释。在本书中，Catarina Dutilh Novaes对形式语言采取了宽泛得多的理解，从而更广泛地探究当理论家使用这些工具时，究竟发生了什么
Hacker News 上怎么说
正在加载完整评论……
试试卡塔琳娜·杜蒂尔·诺瓦埃斯的《逻辑中的形式语言：哲学与认知分析》（Formal Languages in Logic: A Philosophical and Cognitive Analysis）。这可能是我读过该领域最棒的著作了，GitHub 列表里的书我基本都看过了。我那本的 md5sum 是 6d62f3c0a63242a318ddd691d3974cd2，……
Try "Formal Languages in Logic: A Philosophical and Cognitive Analysis" by Catarina Dutilh Novaes. It's maybe the best work I've read in this field, and I've read most of what's on the github list. My copy has md5sum 6d62f3c0a63242a318ddd691d3974cd2,…
我知道 md5sum 能帮你确认拿到了同一份拷贝。但为什么不直接分享他的资源呢？而且，要是有人拿到的是内容相同但 md5sum 不同的《逻辑中的形式语言：哲学与认知分析》（比如格式或版本不同）怎么办？在这种情况下感觉有点多此一举了。
I understand that md5sums help you know you got the same copy. Why not share his resource directly instead? Also, what if someone gets the same resource "Formal Languages in Logic: A Philosophical and Cognitive Analysis" under a different md5sum (for example, the format or edition is different)? It seemed somewhat useless in this case.