唐纳德·佩利斯 逻辑中的元。 （英语） Zbl 0658.03037号 元级架构和反射。工作坊，阿尔盖罗/意大利，1986年，37-49（1988年）。 [有关整个系列，请参阅Zbl 0635.00014号.]设T是语言L中的理论，P表示L的公式。此外，设M是一些元语言，包括L公式的名称（表示为“P”）和形式推理的一些重要概念，例如哥德尔谓词Thm（“P”。最有趣和有用的情况发生在（L=M），因此涉及到反思、自我处理和自省。回顾的论文说明了它是如何产生的以及涉及到哪些问题。第二节和第三节讨论了所谓的“积极的反思问题”和“消极的反思问题”，即决定逻辑后果的半可决定性和半不可决定性。讨论了True（“P”）（Tarski、Feferman、Perlis）、Bel（“P”）（Montague、Thomason、Moore）的几种方法。第四节专门讨论“情境逻辑”。从更一般的角度来看逻辑和元层次，包括操作形式主义的环境（或引擎）。Kowalski提出的“算法\（=\）逻辑\（+\）控制”方案就是一个例子。最后，在第五节中，情境逻辑被应用于意义问题，在形式表示的意义上，可以说是关于情境逻辑本身的东西。审核人：J.Šindelář 引用于1文件 MSC公司： 03F99型 证明理论与构造数学 03A05号 逻辑和基础的哲学和批判性方面 03B45号 模态逻辑（包括规范逻辑） 关键词：元数学;模态逻辑;自我参考;信仰;悖论;反射;情境逻辑 引文：Zbl 0635.00014号 PDF格式BibTeX公司 XML格式