1 语言和分析哲学

20世纪分析哲学认为，哲学的根本任务是对语言进行逻辑分析。这种哲学的特征就是越频繁地使用现代逻辑，越关注语言的性质。

1950年以来，分析真理（广义上的逻辑真理）的概念一直受到尖锐的批评，尤其是冯.奥曼.奎因。

他是当代著名哲学家、逻辑学家。是二十世纪美国分析哲学的主要代表人物之一，以创立和倡导“逻辑实用主义”而著名。

其著作《真之追求》是奎因的一部重要著作，也是对奎因整个哲学人生的概括，他就是要沿着维特根斯坦开创的语言哲学的路径寻找到一条求真的哲学道路。

奎因

2 模态逻辑

历史上的众多当代的哲学家无不强调哲学与科学的不同。但在奎因看来，这些都是错误的观点，哲学应当发展成为一门科学，这是以他为代表的分析哲学家长久以来的心声。

20世纪哲学家们主要的反对意见围绕着分析真理的非实际经验特征（仅从意义中产生）以及可以定义它的概念 - 例如同义词，意义和逻辑必然性。

批评者通常不会质疑逻辑学家可以通过从一阶逻辑开始并添加适当的进一步假设来捕获同义词和含义的说法，尽管确定的同一律并不总是能够足以达到这一目的。
关键的批评是，这种进一步的“意义假设”的经验意义尚不清楚。

模态逻辑语义理论的发展增强了逻辑学家的前景，既在狭义的模态逻辑中，它仅限于逻辑必然性和逻辑可能性，在广义上，其中包括所有表现出相似逻辑行为的概念。

这一发展主要由瑞典的斯蒂格·坎格（Stig Kanger）和美国的索尔·克里普克（Saul Kripke）在1957年至1959年间发起，为许多哲学中心概念（如知识，信仰，感知和义务）的逻辑分析打开了大门。

有人试图从逻辑语义学的角度分析诸如感觉基准理论、熟人知识、英国哲学家G.E.摩尔提出的说和不相信的悖论以及陈述（“来自说”）和陈述之间的传统区别等哲学主题（“从事物发掘”）。

这些发展也提供了一个框架，在这个框架中，许多意义关系可以被编纂成超越一阶逻辑的，甚至可能提供关于它们的实际经验内容可能是什么的建议。

3 小结

并非所有有趣的解释问题都能通过可能世界的人类语义语言去解决，正如早期记录的发展有时被称为那样。

然而，系统地使用世界已有可能的概念提出了交叉识别的主题;
即，一个可能世界的成员与另一个世界的成员相同或不相同的原则。

由于如果一个体不能在几种可能的情况下找到个体的概念，那么他就很难说有个体的概念，因此交叉认同问题也是个体化的逻辑和哲学问题的最重要成分之一。

奎因提出的关于模态逻辑和分析性的批评（见上文逻辑的局限性）可以深化为关于交叉识别方法的问题。