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

1. Она должна быть истинной по крайней мере для одного х. 2. Она должна быть истинной самое большое для одного х. Если бы никто не написал Веверлея, автор не мог бы существовать, а если бы его написали два человека, не мог бы существовать определённый автор, на которого указывает артикль. Так что вам требуются эти два свойства: одно, что она является истинной по крайней мере для одного х, а другое, что она является истинной самое большое для одного х; и то и другое требуется для существования. Свойство быть истинным по крайней мере для одного х - это свойство, которое мы рассматривали в прошлый раз; это то, что я выражал, говоря, что пропозициональная функция является возможной. Поэтому мы переходим ко второму условию, что она является истинной самое большое для одного х, а это вы можете выразить следующим образом: 'Если х и у написали Веверлея, тогда х тождествен у, чем бы ни бьши х и у\ Последнее говорит, что его написал самое большое один человек. Оно не говорит, что кто-то вообще написал Веверлея, поскольку если бы никто его не написал, это высказывание всё ещё оставалось бы истинным. Оно говорит только то, что его написал самое большое один человек. Первое из приведённых условий существования нарушается в случае определённого единорога, второе - в случае определённого жителя Лондона. Можно объединить эти два условия и получить сложносокращённое выражение, включающее значение обоих. Вы можете их оба редуцировать к тому, что: '("х написал Веверлея" тождественно с "х есть с", чем бы ни был х) возможно относительно с'. Я думаю, что это просто настолько, насколько вы способны высказать утверждение.