Argdown 是一个专用于表达argument的markdown方言，它提供了语法来表达statement和argument，并且可以根据文档的内容生成可视化的argument map。之前一个帖子讨论了epistemology idealized，于是试试用argdown把它写出来并且可视化，看看效果如何。
Pasnau的支持epistemology idealized的论证（argdown源码）：
我的反驳论证（argdown源码）：
个人感觉argument map的可视化对于理解的帮助并不是太大，但是能够要求人把argument写成一个个点的话，会倾向于让人变得更明确和严谨。argdown的语法还是比较奇怪的，例如每个argument和statement必须给一个名字感觉很不方便，不知道大家的感觉如何。
不知道是不是因为平时看的东西都是按照
(1)…
(2)…
Therefore,
(3)…
这样的结构来梳理论证的原因，感觉源码比生成的map更好读 
；而且感觉对于比较复杂的论证（比如Pasnau的论证），箭头太多而且互相交织的话反倒不太易读了。不过可以拿来写一些不那么严谨的流程图或者分类树？
感觉给statement起名倒还好，某种意义上可以帮助检索一个论证里面涉及的各种theses，而且我自己写文章的话也会给每个条目起名，或者至少给一个专门的标号来指代。
对，我也觉得源码感觉挺有帮助的，argument map一直似乎是一个研究热点，在以前有非常多认为用argument map可以教会小孩子critical thinking的软件之类的，但我还是觉得似乎没什么用。。
我想研究一个表达论证的语言/程序语言，然后还可以import export命题（不知道有没有在这个论坛上说过），就像编程的时候可以引入别人写好的模块并在这个基础上扩展。在数学上的话，已经有一些把人类的数学知识写成代码然后可以更方便引用的尝试，别的领域可能也可以
