Представим, что какой-то упрямый человек говорит 'Я убеждён, что р, и убеждён, что q, и также убеждён, что противоположное "р и q являются оба истинным" является истинным'. Что мог бы ответить м-р Демос такому человеку? Предположительно, он ответил бы: 'Разве вы не видите, что это невозможной Не может быть такого, чтобы р и q оба были истинным, а также то, чтобы противоположное "р и q являются оба истинным" было истинным'. Но оппонент парировал бы, попросив его установить его отрицание в его собственном языке В этом случае, всё, что мог бы сказать м-р Демос, было бы:

'Дадим имя Р пропозиции "р и q являются оба истинным". Тогда пропозиция, которую утверждаете вы и отрицаю я, была бы "Р является истинным, а также нечто противоположное Р является истинным" Назовём эту пропозицию Q, и если применить моё определение отрицания, я утверждаю, то нечто противоположное Q является истинным' Упрямец это тоже признал бы. Он пошёл бы дальше, всегда принимая противоположности, но отказываясь сделать какое-либо отрицание. На такую установку, насколько я могу видеть, нет ответа, кроме как сменить предмет разговора Фактически необходимо принять, что две противоположности не могут быть обе истинными, и не рассматривать это как высказывание, к которому должно применяться предлагаемое определение отрицания. И причина в том, что мы должны быть в состоянии сказать, что пропозиция не является истинной, не упоминая никакой другой пропозиции.

Дискуссия, приведённая выше, преждевременно ввела пропозиции для того, чтобы следовать аргументации м-ра Демоса. Позднее. определив пропозиции, мы увидим, что все они являются положительными фактами, даже тогда, когда они утверждают отрицательные факты.