《语言真理与逻辑》是一本1936年由英国哲学家阿尔弗雷德·艾耶尔所著的逻辑实证主义分析哲学书。本书将德语世界的维也纳学派逻辑实证主义思想引入英语世界。艾耶尔在书中定义并阐述检证原则（verificationism，又称意义标准，criterion of meaning），并解释了如何将该原则应用于哲学问题。《语言真理与逻辑》使一些维也纳学派和逻辑实证主义思想得以引起英语世界的关注。该书由上海译文出版社出版发行。

《语言、真理与逻辑》的创作始于艾耶尔1933年夏秋之际的工作，特别是他的《对形而上学不可能性的证明》，后来发表在乔治·摩尔编辑的《心灵》杂志上。书名《语言、真理与逻辑》取自弗里德里希·韦斯曼的《逻辑、语言、哲学》（Logik, Sprache, 哲学）。

阿尔弗雷德·艾耶尔（1910-1989），英国伦敦大学和牛津大学哲学、逻辑学教授。逻辑实证主义的著名人物，曾参与维与纳小组的活动。

《语言、真理与逻辑》自1936年首次出版以来，已经出版了多个版本，包括：

- 1936年，伦敦：维克多·戈兰茨有限公司，LCCN 36-18286，254页

- 1946年，伦敦：维克多·戈兰茨有限公司，LCCN 46-8544，160页

- 1952年，纽约：多佛出版社，LCCN 52-860，160页

- 1971年，哈蒙兹沃斯：企鹅书籍，ISBN 0-14-021200-0，208页

到2002年，这本书已经出版了十二个版本。

阿尔弗雷德·艾耶尔在书中区分了分析性陈述和合成陈述，前者是重言式，即必然成立的陈述，而后者是经验命题，其有效性通过经验可验证性来确定。艾耶尔提出了“强”和“弱”验证的概念，并指出实际验证和理论验证的区别。他还讨论了字面意义与事实意义的区别，以及大卫·休谟关于命题分为涉及“思想关系”和涉及“事实问题”的分类。

艾耶尔认为哲学命题是分析性的，哲学的任务是澄清经验命题的逻辑关系。他拒绝了形而上学命题，认为它们无法经验验证，因此是无意义的。阿尔弗雷德·艾耶尔的激进经验主义与理性主义相对立，他认为关于“事实问题”的命题只有在能够经验验证时才是有意义的。

艾耶尔将真理定义为经验命题被验证的标准，并认为价值判断只有在能够被验证时才具有意义。他认为道德或美学判断是主观的，表达的是感觉而不是命题，因此没有客观的有效性。

艾耶尔的逻辑实证主义对哲学做出了重要贡献，提供了一种方法来结束否则无法解决的哲学争论。他预见了图灵测试的发展，以测试机器展示智能的能力。然而，可验证性原则可能成为任意拒绝任何抽象或超越概念的手段，导致激进的怀疑论。阿尔弗雷德·艾耶尔小心地解释说，验证原则是对意义的定义，而不是一个经验命题。他承认还有其他可能的意义定义，并在虚构的对话“逻辑实证主义：一场讨论”中解决了关于原则本身是否可验证的问题。

艾耶尔在他的著作《语言、真理与逻辑》中确实使逻辑实证主义流行起来，但他本人后来拒绝了他自己的大部分工作。在写这本书50年后，他说：逻辑实证主义很久以前就已经死了。我不认为《语言、真理与逻辑》的大部分内容是真实的。我认为它充满了错误。