В названии содержится сложность, что отсылает к возможному, давнему затруднению, исходящему из синонимии и омонимии терминов: «смысл» и «значение». Кажется, что в формальной логике высказываний, в парадигме формализованного исчисления дело упростилось, коль скоро, содержательный смысл, что связывает с собой и его общий горизонт может быть отчасти элиминирован в пользу выделенных логических значений. Но то, что исключили может воспроизвестись вновь, ибо является тем, кроме прочего, вокруг чего, создается все построение...

В философии логического атомизма Рассел выделяет особый вид пропозиций (высказываний) с двумя и более глаголами, выражающих ментальные состояния (убеждения, сомнения, волеизъявления и т.п.). Например, "Я убежден, что Вася сомневается в том, что 5/7 больше чем 2/3". О философии логического атомизма см. статью: Особенность таких пропозиций состоит в том, что для них нет единой логической формы, потому что убеждения, сомнения и т. п. могут быть выражены по отношению к чему угодно. Поэтому неясно, что с ними делать в логике...