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

Иными словами, общая вероятность составляет

/

, что легко вывести из предыдущего описания.

Этим экспериментом я подтверждаю, что наступление обоих событий не зависит от обстоятельств, о которых я не имею подробных сведений.

5.155. Минимальная единица вероятностного суждения такова: обстоятельства – о которых я мало что знаю – сулят такую-то и такую-то степень вероятности конкретного события.

5.156. В этом отношении вероятность является обобщением.

Она включает в себя общее описание пропозициональной формы.

Мы используем вероятность за отсутствием достоверности – наше знание не является сколько-нибудь полным, но мы знаем нечто об этой форме.

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

Вероятностное суждение есть своего рода извлечение из других суждений.

5.2. Структуры суждений находятся во внутренних отношениях друг к другу.

5.21. Чтобы показать эти внутренние отношения, мы можем применить следующий способ выражения: мы можем представить суждение как результат действия, которое порождает его из других суждений (оснований действия).

5.22. Действие есть выражение отношения между структурами его результата и его оснований.

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

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

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

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

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

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

Отрицание, логическое сложение, логическое умножение и т.

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

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

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

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

5.242.