摘要：
听完颇受推崇号称神曲的《忐忑》，发现果然有过人之处。全曲没有一句完整的歌词，全是哼哼呀呀的象声词，加上歌手（或许称为歌唱家更恰当）演唱时的夸张表情，即使你不喜欢，也不得不赞叹这世上还有这样的歌和这样的唱法。据说王菲听完也蠢蠢欲动，结果尝试翻唱未遂。 这首完全谈不上有美感的歌（这是原唱自己也承认的）竟 阅读全文
posted @ 2011-01-04 00:58 ilogic 阅读(187) 评论(0) 推荐(0) 编辑
摘要：
计算语义学有两种研究思路：一种是框架性研究，例如Montague语法（语义），其目标是给出尽可能广泛的自然语言的形式框架，但由于抽象掉很多具体语言特征，因而对自然语言只能作比较粗糙的刻画。另一种是领域性研究，即针对特定的语言现象或语言片段给出尽可能具体的形式理论，其优点是能够将形式语义学与计算语义学结合起来，对自然语言的特定问题能作比较精细的刻画，缺点是每次只能处理一个问题，应用范围较窄。但这两类... 阅读全文
posted @ 2010-10-02 16:57 ilogic 阅读(885) 评论(0) 推荐(0) 编辑
摘要：
今天无意中发现一篇 1987 年的文章：Why a Diagram is (Sometimes) Worth Ten Thousand Words，发表在 cognitive science 上，google 上显示的引用次数是1776，应该是一篇经典文章。只看了摘要，里面解释为何一张图（有时）胜过千言万语的主要原因有两个：第一，文字信息是线性的（sequential），图形信息则由平面上的方位索... 阅读全文
posted @ 2010-09-25 11:10 ilogic 阅读(247) 评论(0) 推荐(0) 编辑
摘要：
如果把一个图形看作一个结构（模型），那么图形之间的逻辑后承可以很自然的通过反转语句之间的逻辑后承得到定义。 定义 1：$\varphi\vDash\psi$ iff $\forall M\in\mathrm{Mod}(\mathcal{L}):M\models\varphi\Rightarrow M 阅读全文
posted @ 2010-09-24 15:53 ilogic 阅读(416) 评论(0) 推荐(0) 编辑
摘要：
为什么有时候画图能帮助我们理解呢？一幅图所包含的信息是否能完全由文字来表达呢？图形和文字在传递信息上究竟有什么不同呢？今天中午吃饭我想到了一些答案。 设想我们有这样两句话：左右有一条直线；上下有一条直线。当我们看到这两句话时，会自然在脑海里画出下面这幅图： 在这幅图中，除了有两条线以外还有一个交点。 阅读全文
posted @ 2010-09-22 14:08 ilogic 阅读(1511) 评论(0) 推荐(0) 编辑
摘要：
目前的非经典逻辑教材多基于哲学逻辑传统，是从自然语言或哲学问题出发将各种非经典逻辑串起来的（例如Priest的那本）。今天看Gabbay的What is a logical system发现，很多非经典逻辑其实是从计算机领域产生的。应该另外有一条线，即以计算机领域的主要问题将非经典逻辑串起来。这样的教材不说更有价值，至少对原来的教材是一个有益的补充。 阅读全文
posted @ 2010-09-17 10:08 ilogic 阅读(197) 评论(0) 推荐(0) 编辑
摘要：
为了给研究生上《非经典逻辑》，第一堂课准备讲什么是逻辑。于是想起 van Benthem 的一篇早就下载了但一直没看的文章：Where is logic going, and should it? 读 van Benthem 的文章既轻松又费力。轻松的是他的文字通常没那么严肃，笔调轻快，技术细节能省 阅读全文
posted @ 2010-09-16 21:59 ilogic 阅读(365) 评论(0) 推荐(0) 编辑
摘要：
下面是我2003年12月译自网上的一篇文章，现在看来这篇文章仍然有一定价值。原文的链接现在已经失效了，但为了表明出处仍然给出原来的链接：http://writecenter.cgu.edu/students/disstopic.html 翻译得比较生硬，请读者们包涵。 选择一个题目 很多学生在做学位 阅读全文
posted @ 2010-09-16 14:33 ilogic 阅读(215) 评论(0) 推荐(0) 编辑