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

и его оснований.

      5.23. Действие – то, что нужно сделать с одним суждением, чтобы получить из него другое.

      5.231. Это, разумеется, зависит от их формальных свойств, от внутреннего сходства форм.

      5.232. Внутреннее отношение, упорядочивающее последовательности, эквивалентно действию, которое порождает один член последовательности из другого.

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

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

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

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

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

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

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

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

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

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

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