Calvus comatus — лысый волосатый. Оборот приводился как образец противоречия в определении: признак отрицает то, к чему приставлен.
Логики называют это противоречием в прилагательном; такое понятие не имеет предмета не по обстоятельствам, а по устройству.
Схоласты пользовались подобными примерами постоянно: круглый квадрат, деревянное железо.
Отдельно отмечают, что лысый был для логиков особым предметом. Задача о лысом — сколько волос надо потерять, чтобы стать лысым, — была парной к хрисипповой куче зерна и восходит к той же школе.
То есть одно и то же слово давало и образец противоречия, и образец неопределённости границы.
Хрисипп у кучи умолк, когда знание кончилось.
Стоическая часть касается двух разных затруднений. Противоречие в определении разрешается отказом от понятия; неопределённость границы отказом не разрешается и требует условного решения.
Публилий Сир заметил, что кто слишком много доказывает, ничего не доказывает.
Логики различили эти случаи и назвали их по-разному.
Лысый при этом остался в обоих.
Он оказался самым работящим примером в истории логики.