в порядке бреда
Вопрос о том, тождественно ли высказывание "Всё фигня, кроме пчёл. И пчёлы тоже фигня." высказыванию "Всё фигня", зависит от того, считать пчёл объектом или предикатом.
Если пчёлы - определённый объект, то в двух утверждениях "Всё фигня, кроме пчёл. И пчёлы тоже фигня" содержится больше информации, чем в утверждении "Всё фигня", потому что в первом случае мы как минимум знаем о существовании во вселенной одного конкретного объекта - пчёл; в то время как утветрждение "всё фигня" верно и в совершенно пустой вселенной, в которой нет ни одного объекта, тривиальным образом.
Если же пчёлы суть предикат, т.е. каждый объект может обладать или не обладать свойством бытия-пчёлами, то пара утверждений с пчёлами формализуется следующим образом: "если X не-пчела, то X фигня" и "если X пчела, то X фигня", и тогда эта пара по сути дела [мне здесь не хватает перевода слова essentially] эквивалентна утверждению "всё фигня".
Если пчёлы - определённый объект, то в двух утверждениях "Всё фигня, кроме пчёл. И пчёлы тоже фигня" содержится больше информации, чем в утверждении "Всё фигня", потому что в первом случае мы как минимум знаем о существовании во вселенной одного конкретного объекта - пчёл; в то время как утветрждение "всё фигня" верно и в совершенно пустой вселенной, в которой нет ни одного объекта, тривиальным образом.
Если же пчёлы суть предикат, т.е. каждый объект может обладать или не обладать свойством бытия-пчёлами, то пара утверждений с пчёлами формализуется следующим образом: "если X не-пчела, то X фигня" и "если X пчела, то X фигня", и тогда эта пара по сути дела [мне здесь не хватает перевода слова essentially] эквивалентна утверждению "всё фигня".