Еще немного об уловке Ансельма

[psilogic]

Вся фишка в доказательстве Ансельма заключена в хитрозавернутой пресуппозиции. Так что добавил в статью про уловку Ансельма параграф о "О пресуппозициях" и пояснил, как оно в данном случае устроено.

Вроде бы любую пресуппозицию можно аккуратно расписать как серию:

A and B and C...

- а ее отрицание по де-Моргану:

not A or not B or not C...

Например:

"Второгодник Вася курит Мальборо" = "Его зовут Вася, и он второгодник, и он курит, и он курит именно Мальборо".

Отрицание:

"Его зовут не Вася, или он не второгодник, или он не курит, или он курит не Мальборо".

В нормальном общении люди пресуппозициями не злоупотребляют, так что лишние "или не" отсекаются законами поглощения. Но, если споришь с софистом, придется бдеть ;)

Comments

[ritovita.livejournal.com]

Я не нуждаюсь в количественном, чтобы составить представление о качественном. Не говоря уже о том, что для того, чтобы представить обычный, а не несовершенный круг, мне также нет необходимости знать количестве точек.