34 Истина: Пропозиция Факт Ложь: Факт Пропозиция Предположим, что у вас есть пропозиция 'Сократ смертен'. Факт заключается в том, что либо Сократ смертен, либо Сократ не смертен. В одном случае соответствующий способ делает пропозицию истинной, в другом случае - ложной. Это одно отличает пропозицию от имени. Конечно, имеются две пропозиции, соответствующие каждому факту, одна - истинная, другая - ложная. Нет ложных фактов, поэтому нельзя получить один факт для каждой пропозиции, но только для каждой пары пропозиций. Всё это приложимо к атомарным пропозициям. Но если вы возьмёте такую пропозицию, как 'р или q' 'Сократ мёртв или Сократ всё ещё жив', здесь у вас будут два различных факта, связанных с истинностью или ложностью вашей пропозиции 'р или q'. Будет факт, соответствующий р, и будет факт, соответствующий q, и оба эти факта релевантны установлению истинности или ложности 'p' или 'q'. Я не предполагаю, что в мире существует единственный дизъюнктивный факт, соответствующий 'р или q'. То, что в действительном объективном мире существуют факты, которые вы можете описать как 'р или q', не выглядит правдоподобным, но я не делаю слишком большое ударение на правдоподобии: это не то, на что вы в общем можете положиться. Пока я не думаю, что какие-либо затруднения возникнут из предположения, что истинность или ложность пропозиции 'р или q' не зависит от единственного объективного факта, являющегося дизъюнктивным, но зависит от двух фактов, один из которых соответствует р, а другой - q, у р будет свой соответствующий факт, а у q - свой. Другими словами, истинность или ложность пропозиции 'p или q' зависит от двух фактов, а не от одного, как у р и q. Вообще говоря, относительно тех вещей, которые вы создаёте из двух пропозиций, всё, что необходимо для знания их значения, заключается в знании при каких обстоятельствах, заданных истинностью или ложностью р и истинностью или ложностью q, они являются истинными. Это совершенно очевидно. Используя 'ТТ для 'р и q оба истинны', 'ТF для 'р истинно, а q - ложно' и т.д., вы получите для 'р или q' следующую схему: TT TF FT FF T T T F 35 где нижняя строчка устанавливает истинность или ложность 'р или q'. Вы не должны искать в реальном мире объект, который можно назвать 'или', и говорить: 'Итак, взгляни на это. Это - "или"'. Такого предмета не существует, и если вы попытаетесь проанализировать 'р или q' таким способом, то получите затруднения. Но значение дизъюнкции полностью объясняется приведённой выше схемой. — 28 —
|