„To be is to be the value of a bound variable.“

[furia_krucha]

Эту знаменитую фразу из On What There Is Куайна, обычно понимаемую как утверждение о том, что онтология определяется тем, какие высказывания считаются допустимыми, можно понять и по другому, более буквально: „бытие непредикативно“. Напомним, что непредикативными называются определения, в которых определяемое является значением связанной переменной, входящей в определение. Непредикативные конструкции, как известно приводят к парадоксам, вроде логических антиномий теории Фреге.

Шутка.