Второй взгляд видит в логике теоретическую науку о формальном доказательстве, его строении и видах, понимаемых абстрактно от того, в какой предметной области оно применяется и кем. Такой логика предстает в сочинениях Аристотеля и одного из наиболее влиятельных логиков Альфреда Тарского (1901–1983), с этим взглядом на логику преимущественно связаны ее успехи в XX в. Различие между этими двумя взглядами на логику чем-то напоминает различие между естественным правом и юспозитивизмом по вопросу происхождения права: являются создаваемые логикой формализмы отражением каких-либо форм практических рассуждений или это идеальные формы умозаключений, представляющие образцы для практических рассуждений?
Логические позитивисты уверены, что в логике нет ничего естественного, потому что это формальная наука и повседневные рассуждения людей ее не интересуют. Их оппоненты, к числу которых принадлежат ученые-когнитивисты и сторонники широкого взгляда на логику как на концептуальный дизайн или формальную философию, не оспаривая положения об инвариантности логической формы относительно предметной области, отмечают, что конструирование логических форм связано с тем, каким образом рассуждающий агент определяет тип задачи.
Из перечисленных Е. В. Булыгиным пяти успешных случаев применения логики в праве, по меньшей мере, три, оказавшие непосредственное влияние на отечественных исследователей, отражают успехи логики как практической науки, хотя и нередко понимаются ее успехами как теоретической науки.
Во-первых, это разграничение между дескриптивным и прескриптивным пониманиями норм, на которое первоначально обратили внимание именно правоведы, а не логики. Уже в 1960-х гг. Е. В. Булыгин опирается на него в своей дискуссии с Г. Кельзеном. Логика позволяет иначе посмотреть на такие центральные для юридической догматики вопросы как, например, различие между нормой права и статьей закона. Для изучения этого старого доктринального различия Е. В. Булыгин, уже с опорой на логические идеи Г. Х. фон Вригта, предлагает гораздо более точное и понятное деление между нормами и нормативными предложениями, уточняя при этом соответствующие классификации, предложенные Г. Кельзеном, О. Вайнбергером и другими представителями юридического позитивизма.
Под влиянием важности этого разграничения сначала его соавтор К. Э. Альчуррон создает специальную деонтическую логику без истинностных значений в 1969 г., затем они в соавторстве модифицируют дедуктивную модель правоприменения в «Нормативных