Понятие уточнения комплексное, сочетает в себе смысловой и коммуникативный аспекты, то есть касается как передачи соотношения понятий, так и интонационного выделения (акцентирования) каких-либо слов и сочетаний, выражающих эти понятия. Различие между вторым и третьим примерами состоит в том, что в одном из них вначале названо более широкое понятие (словоформой в университете), затем более узкое (словоформой в библиотеке), в другом — наоборот. Это влечет за собой различия в функциях второй словоформы: если во втором примере перед нами классический случай сужения понятия и вторая словоформа служит уточняющим обстоятельством, то в третьем примере словоформа в университете играет роль несогласованного определения к существительному библиотека.
Первый и четвертый примеры различаются тем, какие сочетания в них интонационно выделены, — в зависимости от этого меняются смысловые отношения между сочетаниями. Имеет значение также позиция обстоятельств в предложении. В первом примере конечная позиция сочетания в библиотеке при университете (к слову, это сочетание существительного с несогласованным определением) говорит скорее о том, что это сочетание несет на себе логическое ударение и содержит важную, а не дополнительную, попутную информацию. Такое может происходить, например, если место работы не единственное, сравним: Она была на работе в библиотеке при университете, а не в лаборатории. Если же общий контекст диктует автору поставить логическое ударение на словоформу на работе, а сочетание в библиотеке при университете представить как уточнение, ему ничто не мешает это сделать: Она была на работе, в библиотеке при университете. В четвертом примере словоформа в офисе находится в позиции уточняющего обстоятельства. Однако в более широком контексте, например при сопоставлении, это может оказаться не так, сравним: На работе в офисе он постоянно дремал, а на работе в университете иногда бывал энергичным — здесь в офисе невозможно счесть словоформой, несущей попутную информацию, и выделить запятыми.
Как видим, при решении, является ли какое-либо слово (сочетание) уточняющим по отношению к другому слову (сочетанию), нужно учитывать и смысловые отношения между этими сочетаниями, и общий контекст предложения.
Запятая нужна.
Из Вашего очень длинного и эмоционального письма, кажется, можно сделать такой вывод: Вы считаете, что лингвисты, вместо того чтобы установить простые и понятные правила, намеренно усложняют их, подстраивая под капризы классиков, из-за чего в нашем языке плодятся десятки и сотни исключений, правильно? Попробуем прокомментировать эту точку зрения.
Во-первых, русский язык действительно живой – а как без этого тезиса? Если бы мы создавали язык как искусственную конструкцию, у нас были бы единые правила произношения и написания, мы бы аккуратно распределили слова по грамматическим категориям без всяких исключений и отклонений... Но русский язык не искусственная модель, и многие странные на первый взгляд правила, многие исключения обусловлены его многовековой историей. Почему, например, мы пишем жи и ши с буквой и? Потому что когда-то звуки ж и ш были мягкими. Они давно отвердели, а написание осталось. Написание, которое можно объяснить только традицией. И такие традиционные написания характерны не только для русского, но и для других мировых языков. Недаром про тот же английский язык (который «не подстраивают под каждый пук Фицджеральда или Брэдбери») есть шутка: «пишется Манчестер, а читается Ливерпуль».
Во-вторых, нормы русского письма (особенно нормы пунктуации) как раз и складывались под пером писателей-классиков, ведь первый (и единственный) общеобязательный свод правил русского правописания появился у нас только в 1956 году. Поэтому справочники по правописанию, конечно, основываются на примерах из русской классической литературы и литературы XX века. Но с Вашим тезисом «все справочники по языку – это не своды правил, а своды наблюдений» сложно согласиться. Русская лингвистическая традиция как раз в большей степени прескриптивна, чем дескриптивна (т. е. предписывает, а не просто описывает): она обращается к понятиям «правильно» и «неправильно» гораздо чаще, чем, например, западная лингвистика.
В-третьих, лингвисты не занимаются усложнением правил – как раз наоборот. Кодификаторская работа языковедов на протяжении всего XX века была направлена на унификацию, устранение вариантов, именно благодаря ей мы сейчас имеем гораздо меньше вариантов, чем было 100 лет назад. Именно лингвисты, как правило, являются наиболее активными сторонниками внесения изменений в правила правописания и устранения неоправданных исключений – не ради упрощения правил, а ради того, чтобы наше правописание стало еще более системным и логичным. А вот общество, как правило, активно препятствует любым попыткам изменить нормы и правила.
Нет, это не то же самое.
Во-первых: в этом предложении сущ. труд входит в состав количественно-именного словосочетания сколько труда, только этим объясняется форма Р. п.; количественно-именные словосочетания практически всегда являются одним членом предложения. Поэтому, следуя вашей логике, сказуемым нужно было бы признать вложили сколько труда.
Во-вторых: замена, которую вы предлагаете, не является эквивалентной (в отличие от примеров эквивалентных замен, которые вы приводите). Вложить труд, вложить много труда отнюдь не равнозначно глаголу трудиться — в особенности если учесть, что и вид другой: в первом случае совершенный, во втором — несовершенный. В примерах одержать победу, принять участие собственно глагол выступает в выхолощенном значении, практически утратившем связь с прямыми номинативными значениями тех же глаголов (причем глагол одержать в своем исходном прямом значении в современном русском языке вообще не употребляется, он утрачен), а в выражениях вложить душу, вложить труд связь значения глагола с его основным значением, как и образный перенос, очевидна.
В-третьих: можно вложить много труда, можно вложить много сил, можно вложить душу — какими глаголами можно заменить два последних сочетания? Никакими. И в том числе потому, что глагол вложить в этих выражениях имеет хоть и особое, но отнюдь не выхолощенное лексическое значение. И кстати, существительное в сочетаниях, которые иногда называют аналитическими глаголами, должно быть отглагольным именем действия (что и наблюдается в ваших примерах), но труд таковым не является: не оно образовано от глагола трудиться, а наоборот.
Дело здесь в том, что глагол вложить (как и его видовая пара вкладывать) в таких выражениях используется не в одном из своих основных значений (посмотрите в словарях — например, в МАСе), а в особом, фразеологически связанном и конструктивно обусловленном значении, поэтому образец вложить душу подается в словарных статьях отдельно, после основных значений, и толкуется тоже отдельно. Вы ощущаете, что вложить много труда и вложить письмо в конверт — конструкции, существенно различные по степени спаянности компонентов, поэтому вам кажется, что сколько труда нельзя отрывать от вложили. Тем не менее, несмотря на эти различия, глагол в этом предложении остается сказуемым, а сколько труда является дополнением. По той простой причине, что фразеологизмом это выражение не является (наличие фразеологически связанного значения не равносильно наличию фразеологизма!), аналитическим глаголом типа одержать победу — тоже.
Запятая ставится в обоих случаях, при любом порядке следования главной и придаточной части.
В таких случаях помогает анализ семантической (смысловой) связи. Когда кричат, возникает крик, но нельзя сказать, что голос возникает, когда голосят: голос — это совокупность звуков, которые возникают в результате колебания голосовых связок; с помощью голоса можно голосить, говорить, петь и т. д. То есть смысл слова крик можно объяснить с помощью слова кричать, а значение слова голос не объясняется значением глагола голосить.
Подлежащее отнюдь не обязано обозначать кого-то или что-то, кто (или что) выполняет действие. Точно так же, как сказуемое не обязано обозначать именно действие. В предложении Математика — интересная наука ни подлежащее, ни сказуемое не обозначают ни действия, ни того, кто его выполняет, но ведь это не означает, что в этом предложении нет подлежащего и сказуемого. В предложениях тождества (а к ним относятся оба примера: и про учительницу, и про математику) речи о действиях вообще не идет.
Вы правы, однако, в том, что предложения с подлежащим это стоят особняком и отличаются даже от предложений типа Математика — интересная наука. Обычное свойство стандартного подлежащего — контроль согласовательной формы сказуемого. Это значит, что глагол-сказуемое или вспомогательный глагол-связка в составе сказуемого должен принять форму того же рода, что и существительное-подлежащее. Например: Наша учительница была педагог с огромным стажем. Связка была принимает форму ж. р., потому что в подлежащем — сущ. ж. р. Если речь идет, наоборот, о мужчине, увидим иную картину: Наш директор был хитрая лиса. Ни в первом, ни во втором случаях род существительного — именного компонента сказуемого не оказывает влияния на форму рода связки.
Но как только позицию подлежащего занимает местоимение это (и то), оно уступает контроль согласовательной формы сказуемого именному компоненту этого сказуемого — что и наблюдается в вашем примере. Ср. также: Ах, витязь, то была Наина! (Пушкин).
Есть еще одна особенность: при обычном подлежащем форма И. п. в сказуемом может чередоваться с формой Т. п. (Наша учительница была опытным педагогом; Наш директор был хитрой лисой), а при подлежащем это такое чередование невозможно.
Но на этом особенности предложений с подлежащим это заканчиваются. В вашем примере — предложение, суть которого заключается в отождествлении двух сущностей. Разница с примерами про директора и подобными им только в том, что обычное подлежащее называет предмет или лицо, идентифицируемое с кем-то или чем-то, а в данном случае подлежащее только указывает на него.
Можно еще добавить, что функция идентификации в предложениях тождества часто совмещается с функцией характеризации, а иногда и вытесняется ею: это особенно хорошо видно в примере про директора — хитрую лису.
И еще одно: на самом деле, когда нам нужно сообщить о приходе кого-либо, мы используем соответствующий глагол (например, пришла). Употребить в этом смысле была невозможно: нас просто неверно поймут. Глагол-связка не обозначает ни действия, ни состояния, он лишь выражает необходимые грамматические значения, которые именным частям речи недоступны.
У приставки сверх- в современном русском языке имеется несколько значений, как регулярных и продуктивных (например, с ее помощью образуются прилагательные со значением признака, который характеризуется высшей степенью проявления качества: сверхмощный, сверхобычный), так и нерегулярных (например, она выделяется в словах сверхъестественный, сверхчеловеческий, имеющих значение признака, который характеризуется превышением предела или меры, а также осуществлением вне пределов того, что названо мотивирующим именем существительным). Можем осторожно предположить, что термин сверхъестественное появился в русском языке в результате калькирования латинского Supranaturalismus (от лат. supra — «сверх», и naturalis — «природный», «естественный»).