{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,5,4]]，“日期-时间”：“2024-05-04T01:37:28Z”，“时间戳”：1714786648769}，“参考-计数”：8，“出版商”：“剑桥大学出版社（CUP）”，“问题”：“3”，“许可证”：[{“开始”：}“日期-零件”：[[2014,3,12]]，“时间”：“2014-03-12T00:00:00Z”，“时间戳”：1394582400000}，“content-version”：“unspecified”，“delay-in-days”：10784，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”（域）：[]，“crossmark-restriction”（交叉标记限制）：false}，”short-container-title“：[”J.symb.log.“]，”published-print“：{”date-parts“：[[1984,9]]}”，“abstract”（摘要）：“”van Fraassen于1966年左右引入了概念“u201c经典赋值”和“u201s超赋值”，以对当时现存的自由逻辑公理系统进行语义分析。考虑一个原子句子<\/jats:p><\/jats:dispformula>和\u201cpartial\u201d模型无法解释c<\/jats:斜体>。那么（1）在中没有真值，<\/jats:p><\/jats:dispformula>虽然（1）的无价值性在直觉上是可以接受的，但（2）的无值性却不可接受。事实上，（2）和所有其他重言式都是自由逻辑的定理<\/jats:p>范·弗拉森找到了一种兼顾这两种直觉的方法。他像往常一样解释无问题的原子句，而解释像（1）这样的句子时，只需以任意的方式给它们赋值。然后，可以用通常的方式定义每个句子的真值；van Fraassen将结果称为语言的“u201c经典估值”。然后，任何给定经典估值中的任意元素都会通过传递到\u201c超估值\u201d来消除，这与他们之间达成一致的经典估值一致，否则是不确定的。在超评估中，（1）是无价值的，但（2）是正确的（因为在所有经典估价中都是正确的），正如所要求的那样<\/jats:p>在前面的叙述中，有一点过于简单，但至关重要。句子评估<\/jats:p><\/jats:dispformula>需要事先评估开放式公式<\/jats:dispformula>但在这里，仅仅分配真实价值是不够的；一个集合必须被任意指定为扩展。因此，在过渡到超估值过程中涉及到的经典估值的量化涉及到对领域子集的隐式量化：超估价是二级估价<\/jats:p>“，”DOI“：”10.2307\/2274148“，”type“：”journal-article“，”created“：{”date-parts“：[[2006,5,6]]，”date-time“：”2006-05-06T22:09:38Z“，”timestamp“：1146953378000}，”page“：author“：[{”given“：”Peter W.“，”family“：”伍德拉夫“，”sequence“：”first“，”affiliation“：[]}]，”member“：”56“，”published-online“：{”date-parts“：[[2014,3,12]]}，”reference“：[{”key“：”S0022481200043097_ref007“，”doi-asserted-by“：”publisher“，“doi”：“10.1002\/malq.19680141304”}，{“key”：“S0022481 200043097_ ref005”，“doi-assert-by”：“publisher”，”doi“：”10.2307\/2024549“}，{”key“：”S0022481200043097_ref004“，”首页“：”177“，”卷“：”19“，”作者“：”奎因“，”年份“：”1954“，”新闻标题“：”量化和空域“}，{“key”：“S0022481200043097_ref002”，“volume-title”：“模型理论”，“author”：“Chang”，“year”：“1973”}，}“keys”：“SO00224812000 43097_rf001”，“first page”：”384“，“volution”：：“48”，“作者”：“Bencivenga”，“年份”：“1983年”，“新闻标题”：“超值语言“}的紧凑性”，{“key”：“S0022481200043097_ref008”，“first page”：”67“，“volume-title”：“做事的逻辑方式”，“author”：“van Fraassen”，“year”：“1969”}，{”key“：”S0022481 200043097_ ref006“，”doi-asserted-by“：”publisher“，“doi”：“10.1002\/malq.19660120117”}“：”8“，”卷“：”33“，”author“：”Meyer“，”year“：”1968“，”journal-title“：”Universally free logic and standard quantitation theory“}]，”container-title”：[“journal of Symbolic logic”]，“original-tittle”：[]，”language“：”en“，”link“：[{”URL“https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200043097”，“content-type”：“unspecified”，“content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,5,23]]，”date-time“：”2019-05-23T19:49:08Z“，”timestamp“：1558640948000}，”score“：1，”resource“：”{“primary”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200043097\/type\/journal_article“}}”，”副标题“：[]，”短标题“：[[]，”发布“：{“date-parts”：[[1984,9]]}，“references-count”：8，“journal-issue”：{”issue“：”3“，”published-print“：{“date-ports”：[[1984,1984]]}}，”alternative-id“：[”S0022481200043097“]，”URL“：”http://\/dx.doi.org\/10.2307\/2274148“，”relationship“：{}”，“ISSN”：[“0022-4812”，“1943-5886”]，“ISSN-type”：[{“value”：“0022-4812”，“type”:“print”}，{“value”：“1943-5886”，“类型”：“电子版“｝”，“主题”：[]，“已发布”：｛“日期部分”：[[1984,9]]｝｝