text: 【作者简介】许涤非，中国人民大学哲学学院。经典数学理论的逻辑完全是一阶逻辑还是也需要二阶逻辑？逻辑学家对此一直有争议。这种争议大约开始于20世纪20年代，但是似乎直到现在还未尘埃落定。在普遍接受反基础主义的前提下，数学基础的研究任务不再是为数学的各个分支寻找最大程度上免于理性怀疑的基础，而是在重构数学分支的过程中给出各个数学分支间的关系，描绘出数学的大图景。在这样的背景下，数学基础的研究不可避免地需要二阶逻辑。一阶逻辑与二阶逻辑的主张者都承认经典数学，这就使得他们与直觉主义的主张有明显的不同。一阶逻辑的主张者认为只有一阶逻辑才是经典数学的逻辑，本文则提出一种比较温和的二阶逻辑的主张
  【作者简介】朱建平(1956-)，男，山东济南人，苏州大学政治与公共管理学院教授，博士（江苏苏州215123）。【内容提要】弗雷格认为逻辑是一门科学。逻辑原理不是模式的，而是被充分解释的真正真理。这标志着弗雷格的逻辑概念与当代流行的概念有重大的差异，也与他最重要的先驱康德和最重要的继承者维特根斯坦的概念有重大的不同。二者均不认为逻辑构成一门知识体系。逻辑只是辅助于科学而不是科学本身。维特根斯坦认为逻辑的“真”是空洞的，康德则认为逻辑只是一种形式的限制，符合逻辑只是达到真理的一个必要条件。弗雷格还认为逻辑形式化处理的目的并不是满足一种元逻辑研究的需要，而在20世纪这被看作是逻辑形式化的主要的目的之一。
  【作者简介】张力锋，江苏警官学院管理系副教授，南京大学现代逻辑与逻辑应用研究所研究员（江苏南京210012）。【内容提要】李晨阳教授认为自然种类词不是严格指示词，给自然种类命名具有不确定性，用以命名的样本可以代表不同层面的多个自然种类，由此自然种类词的指称是不确定的，相关个体是否为某自然种类实例应由主体后天决定，因而表达自然种类本质的后天必然命题是不存在的。但指称不可测知论题是有条件的，蒯因是用它来反驳绝对指称观，进而论证本体论的相对性；相对一个拥有既定翻译手册的语言共同体，语词都有确定的指称。作为一类特殊的语词，自然种类词相对于语言共同体也是指称确定的；确定其指称的意义是一类社会性建制
  【作者简介】桂起权，武汉大学哲学学院教授；湖北武汉430072。【内容提要】以1950-1960年代的研究作为参照系，我国辩证逻辑思辨性的、使用日常语言的研究方式至今仍然保持青春活力，它为形式化研究提供原型并且富有启发性；更可喜的是，1990年代辩证逻辑形式化研究取得突破性进展。争论焦点已经从“能不能形式化”转移到“什么样的形式化更好”，这是新阶段的主要标志。2000年之后，从事计算机人工智能研究的学者开始热情关注并积极投入到辩证逻辑形式化的研究中。本文的基本定位是把辩证逻辑看成一种富有哲理性的非经典逻辑。【关键词】辩证逻辑研究/思辨方式/形式化方式中国逻辑学会辩证逻辑研究会（1991年改称“专业