命题语义学及数理逻辑的思想与方法
形式语言中的符号序列或公式,本身并没有意义.对于形式系统中的符号序列,我们前面的工作都是从语法的角度对其作了种种考察,看它是否为该系统中的一个“语句”(即合式公式),该“语句”是不是本系统中的“定理”(即可证公式)等等.但是,形式系统的另一重要的研究价值在于它以其特有的方式,涉及我们生活的现实世界.因而探求形式系统的含义,解释符号序列的内容也是我们的一项十分重要的任务.总之,我们不仅要研究公式的语
理论教育
2023-11-22