Логико-философский трактат. Философские исследования - стр. 20

5.233. Действия не проявляют себя до того, пока одно суждение не возникнет из другого логически значимым путем: до того, пока не начнется логическое конструирование суждений.

5.234. Функции истинности элементарных суждений суть результаты действий над элементарными суждениями. (Я называю эти действия истинностными действиями.)

5.2341. Смысл функции истинности p есть функция смысла p.

Отрицание, логическое сложение, логическое умножение и т. п. являются действиями. (Отрицание меняет смысл суждения на противоположный.)

5.24. Действие проявляет себя в переменной; оно показывает, как можно получить одну пропозициональную форму из другой.

Оно выражает различие между формами.

(То, что основания действия и его результаты имеют общего, есть лишь сами основания.)

5.241. Действие – не характеристика формы, а только различие между формами.

5.242. Действие, создающее «q» из «p», также создает «r» из «q», и так далее. Есть лишь один способ выразить это: «p», «q», «r» и пр. должны быть переменными, позволяющими выразить некие общие формальные отношения.

5.25. Наличие действия не характеризует смысл суждения.

Ведь действие ничего не сообщает; говорит лишь результат, который зависит от оснований действия.