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

[psilogic]

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

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

A and B and C...

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

not A or not B or not C...

Например:

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

Отрицание:

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

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

Comments

[bsivko.livejournal.com]

>Теперь давайте действовать аккуратнее. Что утверждается во фразе: "самый совершенный объект - ненаблюдаемый"? Во-первых, что рассматриваемый объект - самый совершенный, во-вторых, что он ненаблюдаемый.

Тут ещё есть пресуппозиция: "самый совершенный объект существует"

[psilogic.livejournal.com]

Точно.

"Даже безумец в сердце своем может представить себе самое большое натуральное число..." :)

[alexey-rom.livejournal.com]

Да, это самая важная часть (по-моему).

[trueblacker.livejournal.com]

зависит от того, как определять существование