Все Х есть М ≠ Все М есть Х ↑
eugzol в посте Metapractice (оригинал в ЖЖ)
Я так и понял, что это именно у вас СОВПАДАЮЩИЕ кружки.
Типа это тождественные кружки, несмотря на разные их цвета. Что означает, что в этих кружках есть еще некие неуказанные свойства, по которым данные кружки различаются.
Но кружки типа совпадают. А они не должны совпадать. Все машины (Х) это транспортные средства (М), но не все транспортные средства (М) это машины (Х).
4 комментария
сначала старые сначала новые
--Поскольку нельзя нарисовать два совпадающих кружка разных цветов, то я использовал для этого исключительного случая знак тождества.
--Я так и понял, что это именно у вас СОВПАДАЮЩИЕ кружки.
Ну, вот.
--Типа это тождественные кружки, несмотря на разные их цвета. Что означает, что в этих кружках есть еще некие неуказанные свойства, по которым данные кружки различаются.
--Но кружки типа совпадают. А они не должны совпадать. Все машины (Х) это транспортные средства (М), но не все транспортные средства (М) это машины (Х).
Все Х есть M и все M есть Х. Какие же тут могут быть несовпадения?
В твоей поправочной фразе: Все машины (Х) это транспортные средства (М), НО НЕ ВСЕ транспортные средства (М) это машины (Х), употреблена конструкция отрицания.
--Я так и понял, что это именно у вас СОВПАДАЮЩИЕ кружки.
Ну, вот.
--Типа это тождественные кружки, несмотря на разные их цвета. Что означает, что в этих кружках есть еще некие неуказанные свойства, по которым данные кружки различаются.
--Но кружки типа совпадают. А они не должны совпадать. Все машины (Х) это транспортные средства (М), но не все транспортные средства (М) это машины (Х).
Все Х есть M и все M есть Х. Какие же тут могут быть несовпадения?
В твоей поправочной фразе: Все машины (Х) это транспортные средства (М), НО НЕ ВСЕ транспортные средства (М) это машины (Х), употреблена конструкция отрицания.
Ну, вот.
К "графике" претензий нет :) Только к сути/содержанию.
Все Х есть M и все M есть Х. Какие же тут могут быть несовпадения?
Так вы ДВА утверждения иллюстрируете? Почему тогда в посте написано ОДНО утверждение первым пунктом — "все Х есть М" — а на вашем слайде иллюстрируются два утверждения — "все Х есть М, ОДНОВРЕМЕННО все М есть Х"?
Все Х есть M и все M есть Х. Какие же тут могут быть несовпадения?
Это не поправочная фраза, это наглядный контр-пример, что из утверждения "все Х есть М" не следует "все М есть Х". Делать такое следствие является логической ошибкой.
К "графике" претензий нет :) Только к сути/содержанию.
Все Х есть M и все M есть Х. Какие же тут могут быть несовпадения?
Так вы ДВА утверждения иллюстрируете? Почему тогда в посте написано ОДНО утверждение первым пунктом — "все Х есть М" — а на вашем слайде иллюстрируются два утверждения — "все Х есть М, ОДНОВРЕМЕННО все М есть Х"?
Все Х есть M и все M есть Х. Какие же тут могут быть несовпадения?
Это не поправочная фраза, это наглядный контр-пример, что из утверждения "все Х есть М" не следует "все М есть Х". Делать такое следствие является логической ошибкой.
--Ну, вот.
--К "графике" претензий нет :) Только к сути/содержанию.
--Все Х есть M и все M есть Х. Какие же тут могут быть несовпадения?
--Так вы ДВА утверждения иллюстрируете?
Да, два.
Почему тогда в посте написано ОДНО утверждение первым пунктом — "все Х есть М" — а на вашем слайде иллюстрируются два утверждения — "все Х есть М, ОДНОВРЕМЕННО все М есть Х"?
Для экономии места на интерфейсе. Каждый мой слайд есть интерфейс.
--Все Х есть M и все M есть Х. Какие же тут могут быть несовпадения?
--Это не поправочная фраза, это наглядный контр-пример, что из утверждения "все Х есть М" не следует "все М есть Х". Делать такое следствие является логической ошибкой.
У меня соединены два утверждения в одном рисунке.
--К "графике" претензий нет :) Только к сути/содержанию.
--Все Х есть M и все M есть Х. Какие же тут могут быть несовпадения?
--Так вы ДВА утверждения иллюстрируете?
Да, два.
Почему тогда в посте написано ОДНО утверждение первым пунктом — "все Х есть М" — а на вашем слайде иллюстрируются два утверждения — "все Х есть М, ОДНОВРЕМЕННО все М есть Х"?
Для экономии места на интерфейсе. Каждый мой слайд есть интерфейс.
--Все Х есть M и все M есть Х. Какие же тут могут быть несовпадения?
--Это не поправочная фраза, это наглядный контр-пример, что из утверждения "все Х есть М" не следует "все М есть Х". Делать такое следствие является логической ошибкой.
У меня соединены два утверждения в одном рисунке.
У меня соединены два утверждения в одном рисунке.
Понял. Тогда, по первой схеме вопросов нет. Осталось разобраться с "некоторые Х есть М".
Понял. Тогда, по первой схеме вопросов нет. Осталось разобраться с "некоторые Х есть М".