逻辑客
逻辑 + 理性 = 自由
2010年8月30日
两本意义理论的书
发现两本关于意义理论的书。一本是 Barbara Abbott 的
Reference
,从哲学方面介绍意义理论。一本是 Nick Riemer 的
Introducing Semantics
,从语言学角度介绍意义理论。两本书可作为语言逻辑方向的预备教材。
没有评论:
发表评论
较新的博文
较早的博文
主页
订阅:
博文评论 (Atom)
推荐一个自动抽取pdf高亮笔记的web应用
逻辑的应用领域与分支
从 Journal of Applied Logic 的编委会名单可以大致了解逻辑的应用领域和分支有哪些。这大概是我见过最长的编委会名单了,也是我见过的分类最细的编委会名单。大概也只有 Gabbay 这样的大牛才能聚齐这么多人。从这个名单来看,逻辑仿佛成了一个相当宏伟的领域和事业...
利用 MathJax 在博客中写数学公式
终于找到了比较完美的在博客中支持 LaTeX 的方案。wordpress.com 虽然也支持 LaTeX,但是有 2 个缺点: wordpress.com 是利用 wordpress 的wp latex 插件支持 latex 的,必须使用 \$latex \$ 这样的格式,而...
二难推理的反例
与黄繁讨论,他给出了一个用两个开关控制一盏灯的电路图,这种电路经常用于楼梯设计,可以实现如下效果:上楼时按开关 A,灯亮,上完楼按开关 B,灯灭。第二个人再上楼按开关 A,灯亮,上完楼按开关 B,灯灭。下楼也一样。受经典电路图局限,我认为如果只用两个开关,或每个开关只有两个状态,...
没有评论:
发表评论