| 语义 semantic meaning 形式系统中符号公式的解释、所指和意义。数理逻辑中构造形式系统是旨在把逻辑形式化。尽管研究这些公式时不考虑它们的意义，但是它们毕竟是有意义的，它们需要得到解释。因此对于符号的意义和公式的真假必须有所说明。例如说，“→”表示真值蕴涵，或者说，“(p∧p)”是常真的。其中“真值蕴涵”，“常真”等就是对符号和公式所作的解释，亦即语义。语义的逻辑理论，在19世纪末才以一门独立的学科的面貌出现，到20世纪40年代前后，经过塔尔斯基和卡尔纳普等人的研究，有很大进展。 |