Еще немного об уловке Ансельма
May. 17th, 2010 10:33 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
psilogicВся фишка в доказательстве Ансельма заключена в хитрозавернутой пресуппозиции. Так что добавил в статью про уловку Ансельма параграф о "О пресуппозициях" и пояснил, как оно в данном случае устроено.
Вроде бы любую пресуппозицию можно аккуратно расписать как серию:
A and B and C...
- а ее отрицание по де-Моргану:
not A or not B or not C...
Например:
"Второгодник Вася курит Мальборо" = "Его зовут Вася, и он второгодник, и он курит, и он курит именно Мальборо".
Отрицание:
"Его зовут не Вася, или он не второгодник, или он не курит, или он курит не Мальборо".
В нормальном общении люди пресуппозициями не злоупотребляют, так что лишние "или не" отсекаются законами поглощения. Но, если споришь с софистом, придется бдеть ;)
Вроде бы любую пресуппозицию можно аккуратно расписать как серию:
A and B and C...
- а ее отрицание по де-Моргану:
not A or not B or not C...
Например:
"Второгодник Вася курит Мальборо" = "Его зовут Вася, и он второгодник, и он курит, и он курит именно Мальборо".
Отрицание:
"Его зовут не Вася, или он не второгодник, или он не курит, или он курит не Мальборо".
В нормальном общении люди пресуппозициями не злоупотребляют, так что лишние "или не" отсекаются законами поглощения. Но, если споришь с софистом, придется бдеть ;)
Re: теологика :)
Date: 2010-05-20 04:15 pm (UTC)