[userpic]

Это вы выдумали логические пресуппозиции ↑

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

--Если быть придирчиво-формально-точным, то тогда надо говорить так: некоторые M есть некоторые Х.
--Нет, так нельзя говорить в той логике предикатов, о которой рассказывает Кэррол. И которыми оперирует формальная логика.
Я так и не говорил. Это ты меня довел до крайности. :)
--Все M на моей схеме никак не могут быть всеми Х, потому, что множество всех Х больше чем множество всех M.
--Ну в посте же процитировано ровно три формы высказываний, с которыми допустимо работать:
— Все А есть Б
— Ни один А не есть Б
— Некоторые А есть Б
Ну, и никаких проблем. На все эти три варианта я тебе/себе забабашу замечательные наглядные интерфейсы/слайды.
Вторых кванторов там никаких нет.
Но, ты, в своих логических пресуппозициях, фактически, ими пользуешься!
Я могу примерно догадаться, что ваше "Все Х есть все М" равносильно СИСТЕМЕ высказываний: «Все Х есть М», И ОДНОВРЕМЕННО «Все М есть Х» Но разве мы не занимаемся тем, что специально ограничиваем ФОРМАТ ВЫСКАЗЫВАНИЙ, чтобы с ними можно было просто и технично управляться?
да, мы должны построит лаконичную систему.
Тогда почему вы какие-то навороты предлагаете, которых изначально нет у Кэррола — как будто то что у него есть уже само по себе не достаточно заморочено? :)
Навороты предлагаете вы :)

1 комментарий