之前的文章我有发表过关於logic版归属的问题 目前logic板则位於科学学术研究院的分类底下 (当时logic版是位於法律财经的分类下) 以现在的状况来看 这群组比较像是杂绘... 除了明显是关於科学的讨论板外 还有一些不知道该怎麽分类 但又似乎自成一说的板 也就是 科学学术研究院下的板有两类 目前也只有这两类的板才位於科学学术研究院的分类下 1.其板的讨论主题公认为一门科学 2.其板的讨论主题非科学 但似乎自成一说 如果个人对於科学学术研究院的描述是恰当的话 那麽 逻辑板不应位於科学学术研究院的分类内 因为 甲.逻辑并非一门科学 按照Popper的论点 逻辑和数学必须归类为非科学 因为这两门理论没有否证的问题 因而不是科学 而逻辑实证论者也认为逻辑并非科学 而是科学最好能符合逻辑上涵盖律模式 她们认为逻辑是科学的矫正器 我敢说 活在地球表面上的逻辑学家都不认为逻辑属於一门科学 乙.逻辑非科学 但逻辑不是一自成一说的理论 甚至说来 逻辑和数学一样 是一门严谨有系统可被评估优劣的学问 在逻辑内有众多非常严格的系统 严格到不能犯任何的疏失 任何事都必须交代清楚 任何东西都必须说明 有自己的符号 有自己的公设 有自己的推论法则 有自己的语意等等... 跟古文明研究,军武,造船(没有贬低的意思)这类型的学问 在本质上有重大差异 所以 逻辑一来不是科学 二来也不是自成一说的非科学学问 因此归类在科学学术研究院的分类下不恰当 ------------------------------------------------------- 再者 以前的讨论串中我说明过为何logic板归类於语言研究院下比较合适 个人的立场是 因为所有的逻辑系统都是一种精心制造的人造语言 它和一般语言雷同 但又避免自然语言的重大缺点 使得逻辑语言的使用者可以进行清楚的沟通 而不陷入鸡同鸭讲的状况 一个逻辑上的公设系统 它有指称个别物体,关系,运算元的符号等 它有自己的语意语法 它有自己的推论法则等等 相应於自然语言 自然语言也有这样的特性 因此就这个面向而言 把logic板分类在语言研究院下比较合适 当然在逻辑中可以讨论一个公设系统 在应用上的不足之处 这是一般自然语言无法进行的讨论 也是逻辑这门学问中不类似於自然语言的部分 但若忽略此不谈 逻辑的主要目的之一就是告诉人类什麽是一个好的论证 而论证的建构 不可能脱离语言 无论是人造或自然语言 ------------------------------------------------------ 简单的讲 结论就是 logic板分类在科学学术研究院不恰当 而logic板按照目前分类的选择和个人的立场 归类在语言研究院底下较为合适 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 61.216.45.55