语义信息
书籍:逻辑百科辞典
归纳逻辑理论中一重要概念。R.卡尔纳普1952年提出此概念。他是使信息论进入语义研究的第一个人,同时也将语义信息引入归纳逻辑的研究。芬兰学派进一步研究了归纳逻辑的语义信息问题。他们把归纳解释为一种提供信息的推理,它并不导致从前提中得出结论,而是前提给出某些相关于结论的信息。他们认为证据在归纳逻辑中的作用在于对科学假说的评价,因而科学家所感兴趣的是证据e所包含的有关假说h的信息Q(e,h)。例如R·希尔庇宁通过对Q(e,h)的性质的直觉上合理的要求得出其测度为:
Q(e,h)=(1-P(e,h))/(1一P(h))
其中P是概率函数。因此就有Q(e∧i,h)≥Q(e,h),这就证明了全证据原则的正当性。