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

[psilogic]

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

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

A and B and C...

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

not A or not B or not C...

Например:

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

Отрицание:

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

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

Comments

[ritovita.livejournal.com]

В данный момент что такое совершенный круг знаете только вы.

Вообще-то этому ещё в школе учат.

[bsivko.livejournal.com]

Вы считаете, что на доске - это тот самый совершенный круг?

[ritovita.livejournal.com]

Я считаю, что наш разговор достиг той тупиковой точки, на которой разумнее закруглиться :).

[bsivko.livejournal.com]

Ясно.
А я считаю, что вы выдумали понятие совершенного круга и при всем этом не в состоянии объяснить что это такое.

[ritovita.livejournal.com]

Понятно, но по любому Вы меня развеселили, за что особая благодарность.

[bsivko.livejournal.com]

Whatever.