Zharkovich, Так как там что‑то уже есть, пустым он уже точно не может быть по определению. Он либо пустой, либо не пустой. Правильно? Значит и наполовину пуст он не может быть.
Если стакан не пуст, то он наполнен соответсвенно. Наполним его на половину. То есть он не пуст точно и до полного стакана не хватает ровно половина полного стакана. Отсюда наполовину полон.