Светлов В.А. Современная логика. Учебное пособие. - СПб.: Питер, 2006. - С.172-173.
"Итак предположим, что все тела уничтожены. То, что остается, называют абсолютным пространством; при этом все отношения, следующие из расположения тел и расстояний между телами, исчезли вместе с телами. Кроме того, такое пространство является бесконечным, неподвижным, неделимым, не воспринимаемым чувствами, лишенным связей и различий. Другими словами, все его атрибуты отрицательны, или негативны. Таким образом, оказывается, что это есть просто ничто. Единственное несущественное затруднение состоит в том, что оно протяженно, а протяженность - положительное качество. Но что это за протяженность, я спрашиваю, которая не может быть ни разделена, ни измерена, любая часть которой недоступна ни чувственному восприятию, ни воображению?.. Чистый интеллект также ничего не знает об абсолютном пространстве. Эта способность находится в соотношении только с духовными непротяженными вещами, такими как наши мысли, их модусы, страсти, добродетели и т.п. Уберите из абсолютного пространства само название, и от него ничего не останется ни в чувстве, ни в воображении, ни в интеллекте" [Беркли Дж. Сочинения. М., 1978. С.379].
В приведенном рассуждении опровергается введенное И.Ньютоном понятие абсолютного пространства. Здесь U = "вещи и их отношения друг к другу", А = "существующие", В = "наблюдаемые, измеримые, познаваемые", С = "образующие абсолютное пространство". Тезисом выступает суждение "Абсолютное пространство существует", β = "Некоторые С есть А". Первый аргумент - суждение "Все существующие вещи есть вещи, наблюдаемые, измеряемые, познаваемые", α1 = "Все А есть В". Второй аргумент - суждение "Абсолютное пространство есть вещь, но непознаваемая, неизмеряемая, ненаблюдаемая", α 2 = "все С есть ¬B". Опровержение строится как доказательство несовместимости тезиса с истинными аргументами. Для проверки построим следующий сложный силлогизм: