埃尔曼诺·本西文加;卡雷尔·兰伯特;范·弗雷森（Bas C.van Fraassen）。 逻辑、二价和外延。2.编辑。 （英语） Zbl 0777.03001号 加利福尼亚州阿塔斯卡德罗：Ridgeview Publishing Co.x，203 p.（1991）。 这是对自由逻辑的简明介绍，为哲学逻辑的多方面研究提供了逻辑背景。从如何将通常写的英语句子形式化开始，作者很自然地引导读者理解自由逻辑的基本概念，如真值差距、非表示性单数术语和超值。这本书包括经典逻辑从命题演算到一阶谓词逻辑的标准发展，以及恒等式和确定性描述。另一方面，自由逻辑与经典逻辑并行引入，讨论了关于二值性和外延等原则的几个哲学问题。发展的自由逻辑版本在每章末尾以星号部分表示，而最后一章专门讨论自由逻辑的一些应用，其中讨论了数学、逻辑必然性、非外延话语、预设和抽象个体。整本书的主要证明机制是贝斯式的画面系统，该系统经过仔细修改，可以明确地进行元论讨论。所有的材料都是在没有假设任何逻辑知识的情况下编写的，这些知识对本科生和非专业逻辑学家来说都是可以理解的。经典逻辑部分作为符号逻辑标准课程的课本很有用，而自由逻辑部分则用于高级课程，特别是对于那些对哲学逻辑、形而上学和语言哲学感兴趣的人。审核人：O.Sonobe（福洛妮卡） 引用于5文件 MSC公司： 03-01 关于数学逻辑和基础的介绍性说明（教科书、教程论文等） 03A05号 逻辑和基础的哲学和批判性方面 03B60号 其他非经典逻辑 03B05号 经典命题逻辑 03B10号机组 经典一阶逻辑 关键词：自由逻辑;哲学逻辑;真实值差距;超估价;经典逻辑;二价;外延;非外延话语;预设;抽象个体;贝斯式画面系统 PDF格式BibTeX公司 XML格式引用 \textit{E.Bencivenga}等人，《逻辑，二价和外延》。2.ed.Atascadero，CA：Ridgeview Publishing Co.（1991；Zbl 0777.03001）