"*обращается ли к деталям определения наш мозг на практике?*" - на это, несомненно, ответ "да". Например, в физике определение плотности - это не только определение, но и формула, по которой ее можно рассчитать (или подставить в выражение для доказательства теоремы). Аналогично, в программировании определение абстрактного класса, это не просто определение, но и правило для компилятора или исполняющей среды, в каком случае запуск конструктора запрещен или когда можно пропустить реализацию метода.