09 2010 档案

再谈图形信息：来自认知科学的观点

摘要：今天无意中发现一篇 1987 年的文章：Why a Diagram is (Sometimes) Worth Ten Thousand Words，发表在 cognitive science 上，google 上显示的引用次数是1776，应该是一篇经典文章。只看了摘要，里面解释为何一张图（有时）胜过千言万语的主要原因有两个：第一，文字信息是线性的（sequential），图形信息则由平面上的方位索... 阅读全文

posted @ 2010-09-25 11:10 ilogic 阅读(274) 评论(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 阅读(439) 评论(0) 推荐(0)

图形信息与文字信息的区别

摘要：为什么有时候画图能帮助我们理解呢？一幅图所包含的信息是否能完全由文字来表达呢？图形和文字在传递信息上究竟有什么不同呢？今天中午吃饭我想到了一些答案。 设想我们有这样两句话：左右有一条直线；上下有一条直线。当我们看到这两句话时，会自然在脑海里画出下面这幅图： 在这幅图中，除了有两条线以外还有一个交点。 阅读全文

posted @ 2010-09-22 14:08 ilogic 阅读(1609) 评论(0) 推荐(0)

面向计算机科学的非经典逻辑

摘要：目前的非经典逻辑教材多基于哲学逻辑传统，是从自然语言或哲学问题出发将各种非经典逻辑串起来的（例如Priest的那本）。今天看Gabbay的What is a logical system发现，很多非经典逻辑其实是从计算机领域产生的。应该另外有一条线，即以计算机领域的主要问题将非经典逻辑串起来。这样的教材不说更有价值，至少对原来的教材是一个有益的补充。 阅读全文

posted @ 2010-09-17 10:08 ilogic 阅读(214) 评论(0) 推荐(0)

逻辑学何去何从？

摘要：为了给研究生上《非经典逻辑》，第一堂课准备讲什么是逻辑。于是想起 van Benthem 的一篇早就下载了但一直没看的文章：Where is logic going, and should it? 读 van Benthem 的文章既轻松又费力。轻松的是他的文字通常没那么严肃，笔调轻快，技术细节能省 阅读全文

posted @ 2010-09-16 21:59 ilogic 阅读(399) 评论(0) 推荐(0)

如何选题？（译稿）

摘要：下面是我2003年12月译自网上的一篇文章，现在看来这篇文章仍然有一定价值。原文的链接现在已经失效了，但为了表明出处仍然给出原来的链接：http://writecenter.cgu.edu/students/disstopic.html 翻译得比较生硬，请读者们包涵。 选择一个题目 很多学生在做学位 阅读全文

posted @ 2010-09-16 14:33 ilogic 阅读(245) 评论(0) 推荐(0)