Философия логического атомизма

Страница: 1 ... 2324252627282930313233 ... 91

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 —
Страница: 1 ... 2324252627282930313233 ... 91