问题和哲学的发展逻辑

模态概念的逻辑语义

在这方面,逻辑学家的前景增强一个语义理论的发展模态逻辑在模态逻辑的狭义,就是局限于逻辑的必然性和逻辑的可能性,在更广泛的意义上,所有的概念,表现出类似的逻辑行为包括在内。这样发展下去,在1957年至1959年之间主要由发起瑞典和斯蒂格康扫罗Kripke美国的,has opened the door to applications in the logical analysis of many philosophically central concepts, such as knowledge, belief, perception, and obligation. Attempts have been made to analyze from the viewpoint of logical语义感觉材料理论等哲学话题、知识熟人,悖论说的和怀疑的英国哲学家提出的ge摩尔,和传统的语句之间的区别德"(“说”)和语句德再保险(“的东西”)。这些发展也提供了一个框架,其中许多意义关系可以将超越一阶逻辑,甚至也许承受建议他们的经验内容可能是什么。

内涵的逻辑

特别是在蒙塔古的手中,模态的逻辑语义概念已经发展到内涵的逻辑的一般理论;也就是说,等概念的理论命题,个人的概念,和一般的实体通常认为是作为语言表达式的意义。(命题是句子的含义,个人概念是单数,等等。)了至关重要的作用在这里扮演的可能世界的概念,这可能被认为是一个变种的逻辑学家的旧概念的模型,现在构想作为一个严重的现实替代世界上实际事件的经过。在这个分析,例如,命题函数关联可能的世界真实值。这种关系可能被认为是老拼写出来的想法知道一个句子的意思是知道在什么情况下(世界)是正确的。

逻辑和信息

即使没有列出的问题似乎影响的利益逻辑语义,其应用程序经常残疾,它的许多基本概念的本质。一个可能会考虑,例如,一个命题的分析作为关联可能世界与真实值函数。一个任意的函数可以被认为(可以在一般函数)是一个无限类的对相关值的一个独立的变量和函数,坐标双(x,y)的图表。尽管命题应该是句子的含义,没有人能够把握这样一个无限类直接当理解一个句子;他只能通过一些特定的算法或配方(好像),计算函数的问题。这种特殊的算法在某些方面更接近实际需要理论的意义比通常的实体意义内涵的逻辑。

这个观察是与这一事实有关,在通常的逻辑语义,不利用语义的讨论比更微妙的差别逻辑等价。因此,从一个句子转换到另一个逻辑上等效为目的忽视意义的概念。这个无视正当如果最著名的论文之一逻辑实证主义者是真的在一个足够强烈,即,逻辑真理是真的吗重言式(如“下雨或者不下雨”)在每一个有趣的客观意义上的。许多哲学家都不满更强形式的文章,但直到最近尝试了阐明逻辑和精确的意义数学真理是有用的,而不是同义反复的。