3. Оба они правы
Ну и кому нужна такая логика, в которой про одну и ту же картинку можно высказать 2 противоположных утверждения - и каждое будет признано истинным?

Кого вообще заботит, соответствуют мои слова моим сигналам или нет? У других людей - другие сигналы, разве не так?

4. Это будет совсем другая истина, так как относится к совсем другому сигналу. Отрезок на бумаге без линейки и с приложенной линейкой - картинки разные.
Ну да, конечно. Вот Паша смотрит на картинку, но линейку не прикладывает. Истина - "отрезки разные". Вот он приложил линейку - теперь истина "отрезки равные". Вот он снова убрал линейку...

А вот теперь получается совсем фигня. Потому что видит он одно, а помнит-то совершенно другое. И тогда истинными оказываются оба имени. "Отрезки равные" - соответствует сигналу "память о картинке с линейкой". "Отрезки разные" - сигналу "вижу в настоящий момент". И в полном соответствии с данным Вами определением оба этих утверждения должны быть признаны истинными: каждое из них является своим именем для определённого сигнала. Отрезки теперь и равны, и не равны. Диалектика, блин.

Мне надо Вам объяснять, что означает для системы одновременная истинность противоположных утверждений? Противоречивость.