Language, Truth and Logic – pierwsza praca Alfreda Julesa Ayera opublikowana w 1936 roku (Ayer miał wówczas 26 lat).
Jest ona, w dużej mierze, prezentacją w języku angielskim głównych myśli Koła Wiedeńskiego i neopozytywizmu, dostępną do tego czasu przede wszystkim w języku niemieckim. Składa się z ośmiu rozdziałów. Ayer definiuje, wyjaśnia i broni w niej zasady weryfikacji. Rozwija także pogląd o bezsensowności poznawczej sądów metafizycznych. Podobne wnioski formułuje w stosunku do sądów etycznych, co przynosi mu miano prekursora emotywizmu.
Zasada weryfikacji Według Ayera zdanie ma znaczenie (meaning) tylko wtedy, gdy jest analityczne (wtedy jest koniecznie prawdziwe), lub w przypadku gdy jest możliwe do zweryfikowania. Zdania typu pierwszego to te, które są formułowane w matematyce i logice. Zdaniem Ayera są one tylko „zapisem naszych sposobów używania symboli w pewien sposób”.
Zdania typu drugiego to te, których zadaniem jest mówienie czegoś o świecie i zdawaniem relacji z pewnych faktów. Ayer czyni dwa rozróżnienia weryfikacji: na teoretyczną i praktyczną oraz silną i mocną.