资源描述：
《逻辑必然,物理必然,伦理学和量词.pdf》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。
1、,,逻辑必然物理必然伦理学和量词〔美〕.R蒙太格.1导言,。本文意在对逻辑必然物理必然和应该的解释问题作一些论述以下所给出的解释由这。;些短语和全称量词之间的某种逻辑类似所蕴含这些解释将用一种外延的元语言方式给出特别指出的是,这一元语言并不包含短语本身当中的任何一个。而且解释允许短语与量词的合取应用。仅在满足上述最后一条要求时,我的解释可以称为具有独创性。它们基于下述已经成熟。。,。」中;的考虑设是一个语句则协是逻辑必然的为真当且仅当是一个逻辑定理吻是,,」中;J物理必然的为真当且仅当是从某类事先认定的物理法则中推出的喻是应该的
2、为真。当且仅当中是从某类事先认定的伦理法则中推出的→,。,在这些例子中中假定为是一个语句然而有趣的例子则是那些公式中不是语句的情,,,,。;中xx形即是当含有自由变元的时候例如对于某而言与昏星相同一是逻辑必然的。这个例子是由奎因在匡6〕中最先提出来以支持他对模态算子和量词联合使用的怀疑该例子,“”;似乎是从下述真语句中推出的昏星与昏星是同一的这是逻辑必然的然而这个例子本身。,x似乎或者是假的或者是无意义的必然与昏星同一的是什么呢?是昏星还是晨星?似乎,,,。都不是因为晨星与昏星的同一这仅仅只是一个经验的事实不是一个逻辑必然的问题
3、,。对于逻辑必然这一短语卡纳普在匡1习中曾经给出一个允许引入量词的解释我将简略地指出他的解释和我的解释之间的关系。,,在本文的第3节可以看到我对论文题目所提及的4个概念的解释它们置于某种综合;,;性的解释框架之内进一步该框架的有效语句可以被某种模态逻辑系统加以公理化的刻划迄今为止,这种模态逻辑系统在文献中还未被考虑过。.;2一个墓本的模态语言解释。S;;我希望考虑一个语言它含有个体变元若干未限定数目的个体常元若干未限定数目,,。nno;n的元谓词)所有的语句联结词和另一个符号NS的一个原子公式是书写一个元。;谓词加上一个个体符号
4、(个体变元或个体常元)的结果所有的原子公式都是公式公式的;中,;任何真值函项的复合也是公式如果是一个公式则N中也是公式除了上述规则所要求,。,。以外没有其他的公式特别指出的是S的公式不含量词“”,,:N的含义理解为逻辑必然既然如此直观上就能够使我们确信下述事实。。:,→最早载于《探求》4259一269(1960)允许免费重印本文于1955年5月加利福尼亚洛杉矶大学哲学春季年会前。。;,,,因此我早先并未计划发表虽并不完全等同的观念近来由康格在江23刀完成未含任何重大技术成果但某些相当类似。。,,4〕中提出依据这一事实也为了激发进
5、一步研究的可能克里普克在匹发表我的早期文稿似乎并非全然不合宜。,我在奎因数理逻辑的意义上使用角标在这一点上给出的解释是高度相近的并且仅当一无限论域在考虑之内时可以。逐字采用51,。(1a)若中是重言式(通过真值表测试)则中成立,。(1b)若。是重言式则下。」成立,。(2a)囚(小~平)~(N中~N平)J成立对任意公式中和平。。J(Zb)闪(N沁~平)~(N~N重))成立。a中」(3)囚三NN中成立。」(3b)啊(N中三NN中)成立。aF中」(4)~N币三N一N成立。(4b)啊(~N中二N~N中)J成立所有上述提及到的公式都可以在
6、路易斯系统55中得到证明(由路易斯提出的经典模态逻,。,a;辑系统之一参见匡5〕)←在(3)一(4b)中直观性有些不够事实上重置模态在普通,。语言中几乎不起作用约束它们的规则是难判定的但是模态逻辑借助原则(3a)一(4b)就。,。相当简化了因此很希望认真的读者先姑且承认这些原则,“”。,,现在让我们把N理解为物理必然我们发现原则(1a)一(4b)继续成立(至。“。”a少没有明显地失败)让我们把N理解为应该(或有义务)(l)一(4b)还是似乎不那。,,Nxx么完全不可置信令人惊奇的是当把理解为在变元上的全称量词对于所有而言的,。,
7、;时候(la)一(4b)依然是成立的此外有可能通过定义引入一个对于N的重置运算子,。,事实上中」表示民N~中」对于我为N给出的每一种理解都相应地有一个对于<>的协。“”,“”,““”。”x理解因此令可以相应理解为逻辑可能物理可能允许或者对于某而言·,。(在冯赖特所著《模态逻辑随笔》一书中他已经指出类似说法)在明显不相关的短语之间这种奇怪的类似的根源何在?这种类似可以利用来生成对于这,,些短语的解释吗?在寻找解释的时候让我们根据塔斯基的方法开始着手先考虑S的一个:可能公式xax(WVNH),,。,xa(其中W和H是谓词是一个变元是
8、一个体常元)为了使这个公式或者为真或者为假我们必须,,(1)指定一个论域即公式变元指派的范围,(2)对每一个描述常元(即谓词或者个体常元)指派外延那就是对每一个体常元指派论域,nn,中的一个元素作为指派值对每一个元谓词指派论域中的若干元素的元类并且,,。(3)对
