睿翼讲堂丨马库斯·罗斯伯格：自由逻辑

当一个名称没有指称对象时，包含它的语句应如何解释，相关推理又是否有效？本讲以空名与存在预设为起点，介绍自由逻辑的问题意识及其基本分析方法。

围绕名称、量词和存在断言之间的关系，比较不同前提下的推理要求，说明为什么从关于某个名称的陈述推出“有某个对象”需要额外审查。通过虚构人物或假设对象等例子，区分表达式能够被使用与其确有指称对象这两件事，并讨论如何明确标示存在条件，为第二讲进一步研究自由逻辑的语义与推理规则奠定基础。

在第一讲澄清空名与存在预设的基础上，第二讲将进一步讨论自由逻辑如何协调语义解释与形式推理。重点考察含空名的原子语句可以怎样赋值，以及不同处理方式对否定、同一性和量词规则带来的影响。

结合具体推理案例，分析何时需要补充存在前提，何时应限制代入或量化步骤，并比较这些选择在表达能力与推理有效性之间的取舍。讨论还将联系虚构话语和对不存在对象的谈论，考察自由逻辑如何帮助区分语法上可构造的句子、语义上可解释的陈述与逻辑上成立的推论。

马库斯·罗斯伯格，美国康涅狄格大学哲学教授，康大逻辑研究中心主任，圣安德鲁斯大学博士。兼任《Erkenntnis》编委，曾任《分析哲学史杂志》主编。主要研究逻辑哲学、数学哲学、新弗雷格主义、证明论与分体论，深耕弗雷格、卡尔纳普、古德曼与蒯因等早期分析哲学家。

他是弗雷格《算术基本规律》权威英译本的联合编译者，著作收录于牛津大学出版社，成果发表于多份顶尖哲学期刊，频繁在国际逻辑与分析哲学会议作报告，在数理逻辑、数学本体论领域具有重要学术影响力。