[userpic]

Re: Варианты ответов 

eugzol в посте Metapractice (оригинал в ЖЖ)

Все шутки для того и придуманы, чтобы смешить людей.
Ни один парламентский акт не шутка.
Рассуждение:
1) Средние термины одинаковые. Нет частной посылка. Инверсия двух терминов (Х и Y причем Х примет начальный знак, как в первой посылке, так как стоит вторым терминов в Общей посылке)
2) Вывод частный
Вывод: Некоторые не парламентские акты смешат людей

Тут, как говорится, "разрешите докопаться" :)
Строго формально, не указано, что существует хоть одна шутка. Указано — ЕСЛИ существует шутка, ТО она придумана для того чтобы смешить людей (т.е. квантор "для всех" в формальных науках не пресуппозирует квантора существования).
Слово же "некоторые" как раз пресуппозирует существование объекта (равносильно слову "ЕСТЬ").
Поэтому вывод, например, "ни один праламентский акт не смешит людей" железобетонно верный.
А вот вывод «некоторые Х (родовое понятие для классов "шутка", "парламентский акт"), если Х не парламентский акт, смешат людей» = «СУЩЕСТВУЕТ Х, который а) не паламентский акт, б) смешит людей» он, строго говоря, ошибочен — нельзя доказать существование такого Х из исходных посылок.

4 комментария

сначала старые сначала новые