Cтраница 4
Попутно заметим, что, по нашим определениям, как противоречивые, так и логически истинные формулы оказываются эротетически релевантными по отношению ко всякому интеррогативу. Эту аналогию следует отнести на счет ортодоксального понятия пропозициональной импликации, которой можно было бы избежать, введя. Во всяком случае, ощущение странности понятия пропозициональной импликации, возможно, в какой-то степени исчезнет, если мы скажем, что, хотя противоречивые и логически истинные формулы эротетически релевантны по отношению ко всякому интеррогативу, первые из них все же глупые, а последние неинформативны ( прим. [46]
Заметим, что в результате преобразования, производимого по правилам исчисления предикатов, из истинной формулы всегда получается формула, также являющаяся истинной. [47]
Куайна) тем, что можно назвать возможностью соотнесения типов, согласно которой в любой истинной формуле в символизме без типов можно так приписать номера символам объектов, что каждый объект получит номер на единицу меньший, чем номер класса, которому он принадлежит. [48]