Inclusio unius est exclusio alterius — включение одного есть исключение другого. Принцип логического толкования: если нормативный акт перечисляет конкретные случаи — подразумевается, что все остальные исключены. Expressio unius — явное упоминание одного — exclusio alterius.
Это принцип точности: если говоришь «А» — подразумевается «не Б, не В». Нельзя одновременно включать и А, и Б, если А и Б несовместимы.
Хрисипп разрабатывал логику именно через строгое различение включения и исключения. «Если А, то Б» не означает «если Б, то А». Inclusio unius в одном направлении не создаёт inclusio в обратном.
Стоики применяли это к определению добродетели. Virtus — это одно, а не другое. Если добродетель — это recta ratio, то она исключает ошибочное суждение. Inclusio recti — exclusio vitiosi.
Это и принцип честности суждений. Называть вещи своими именами — inclusio unius, которая автоматически является exclusio alterius. Назвать поступок несправедливым — значит исключить его из категории справедливого. Нельзя одновременно называть и тем, и другим.