Визнаючи, що серед одиниць термінологічної лексики можуть бути представлені дієслово, прикметник, прислівник, ми, однак, будемо надалі розглядати тільки терміни-іменники й субстантивовані термінологічні словосполучення як найбільш характерні для наукової прози, у тому числі й для підмови математичної логіки.
Термінологія в певному змісті являє собою мову науки. У мові науки є своя морфологія, словотвір, синтаксис і стиль (або стилі), а також свої явища, підводимі тепер під поняття лінгвістики тексту, нарешті, своя синхронія й діахронія, свої типології, порівняльні ареальні явища, своя зовнішня й внутрішня лінгвістика. Детальний порівняльний аналіз терміносистем двох мов з різних точок зору дозволить підвести базу під порівняльно-типологічне вивчення термінів як в області лексичної й синтаксичної семантики, так і в області властиво структурної. [21, с.73]
У роботах у цьому напрямку не спостерігається ще єдності в предметах, цілях, методиці дослідження. Принципи порівняльного й порівняльно-типологічного аналізу підмов науки і їхніх термінологічних систем майже не розроблені.
Все-таки результати існуючих робіт, інтерпретуємі в термінах порівняльного термінознавства, можуть дати деяке подання про існування системи подібностей і розбіжностей на різних рівнях підсистем, що зіставляють. Певний досвід тут уже накопичений, але, на жаль, спрямований тільки на рішення окремих приватних завдань порівняльного термінознавства.
Таким чином, назріла необхідність узагальнити досягнуті результати, перебороти розрізненість, різноаспектність, фрагментарність окремих досліджень, систематизувати існуючі методики, виявити найбільш характерні тенденції розвитку складного нового підходу до вивчення терміносистем, уточнити його предмет, намітити перспективи розвитку даного напрямку.
Важливе завдання порівняльного вивчення семантичних систем різномовних мов стосовно до їхніх різних рівнів і ділянок залишаються невирішеної. У наукових текстах на перший план виступає інформаційна, референтна функція одиниць [4; с. 96]. Оскільки ж термінологія будь-якої підмови науки є найбільше семантично завантаженою частиною вокабуляру, дослідження семантичних подібностей і розходжень необхідно не тільки в теоретичної, але й прикладній лінгвістиці.
Міжмовні семантичні кореляції термінів і терміносистем іноземної мови (ІМ), що відповідають їм термінів і терміносистем переведеної мови (ПМ) можуть вивчатися з різних сторін. Нашим конкретним завданням є розгляд семантичного словотвору в ІМ й ПМ.
Між словником загальної національної літературної мови й термінологічних сфер різних областей знання відбувається глибока й складна взаємодія по двох напрямках: лексичному й структурному. Термінологізація й детермінологізація є видами цієї взаємодії. Термінологізація загальнонародних лексичних одиниць і лексичних одиниць інших підмов - продуктивний спосіб термінотворення, результат семантичної деривації в рамках готового язикового знака, заснований на звуженні значення слова або на переносі значень, обумовлених певним оточенням [6; с.80].
Дослідники підмов науки й техніки відзначають тенденцію до систематичного відбору слів із загальнонародної мови, причому термінологізуються звичайно самі «звичайні» слова. Семантичний спосіб утворення термінів із загальнонародних слів заснований найчастіше на звуженні або метафоричних переносах, тобто по подібності функції, форми, призначення, процесу, кількісної ознаки, виникнення, зовнішнього вигляду, взаємозв'язку компонентів, суміжності понять, часто в сполученні цих ознак. Такі терміни математичної логіки: move - хід, крок; chain - ланцюг; memory - пам'ять; gap - проміжок; tree - дерево; shuttle - човник; branch - галузь; depth - глибина; command - команда; height - висота; cut - перетин і ін.
Поряд з термінологізацією побутових слів зустрічається переосмислення одиниць спеціальної лексики з інших галузей науки. Так, у математичній логіці стали вживатися такі лінгвістичні терміни, як verb - дієслово, sentence - речення, predicate - предикат, syntax - синтаксис.
Характерною рисою термінологізації є наявність якої-небудь загальної риси між об'єктом термінування й предметом, чия назва використається як термін. Э. Ф. Скороходько вважає, що перенос назви можливий лише у випадку наявності точки дотику [7; с. 19], тому семантичний спосіб найчастіше використається для називання предметів, - адже поняття про конкретні предмети завжди мають більше точок дотику. Однак результати наших досліджень свідчать про іншому. Математична логіка, як ми вже відзначали, оперує сугубо абстрактними поняттями, термінологія її не називає предмети, і в той же час у досліджуваній термінології значна кількість термінів утворена саме семантичним способом.
Часто процес термінологізації проходить в ІМ й ПМ паралельно, тобто в 66,46% випадків має місце дзеркальне відбиття термінів зі збереженням їхньої внутрішньої форми, або, як ми будемо називати це явище, паралельна термінологізація. Незначна кількість терминологизированных в ІМ одиниць (2,77%) конфронтуються в ПМ нетермінологізованими одиницями, причому переклад цих термінів ІМ здійснюється:
- шляхом транслітерації: term - терм; consequent - консеквент; clause - клауза;
- за допомогою більше «математичного» еквівалента: meet - множення, section - перетин, word problem - проблема еквівалентності.
Тут так називана внутрішня форма термінів змінюється при перекладі. У ряді робіт із семантики внутрішня форма висувається як доказ істотної відмінності мов і неперекладності. Ми розуміємо внутрішню форму як спосіб семантичної мотивації значення. Саме терміни математичної логіки переконують нас у тім, що аргумент не обґрунтований і спростовується комунікативним досвідом: обов'язковий супровід термінів строгими дефініціями в ІМ й ПМ, абсолютна тотожність денотатів при різному оформленні означаючі доводить іррелевантність внутрішньої форми в теоретичних міркуваннях про переклад науково-технічного тексту.
Розглянемо паралельну термінологізацію. Вона стосується як одне- так і двоелементних термінів: tree - дерево, normal form - нормальна форма.
Термінологізовані слова означають, як правило, більше приватні поняття, чим вихідні слова загальнонародної мови. У результаті звуження значення можуть з'явитися додаткові відтінки при буквальному перекладі термінологізованого слова, навіть якщо буквальний переклад правильно відбиває сутність переданого поняття; gap - проміжок, union - об'єднання й т.д. У зв'язку з тим що системи значень загальнонародних слів національні й часто не збігаються, значення буквально переведеного термінологізованого слова в українській мові, наприклад секція, відбиває сукупність зовсім інших ознак, чим англійське section. Тому перекладач обрав не буквальний переклад даного терміна, а більше «математичний» еквівалент - перетин.
Отже, термінологізація є продуктивним способом термінотворення в підмові математичної логіки, особливо серед цілоооформлених термінів. Процес термінологізації проходить більш активно в терміносистемі ІМ, де термінологізованих одиниць налічується 644, тоді як у ПМ їх 407. У результаті терміносистема ІМ більш семантично мотивована, а в деякому змісті й більше точна.
При зіставленні термінів, утворених семантичним способом в ІМ з їхніми еквівалентами в ПМ, виявлено, що більшість (66,46%) термінів ІМ конфронтуються в ПМ також термінологізованими лексичними одиницями. Це явище, назване паралельною термінологізацією, може бути обумовлене як одночасним термінуванням нових понять в ІМ й ПМ, так і буквальним перекладом терміна. При буквальному перекладі такого терміна, що має більше складну, чим інші, контекстну формулу, перекладач повинен бути особливо уважним: термінологізовані слова означають більше приватні поняття, чим вихідні слова загальнонародної мови, і внаслідок звуження значення можуть з'явитися додаткові відтінки значення при буквальному перекладі.
Багато термінів утворюється за допомогою суфіксів та префіксів.Найбільш продуктивними в галузі науково-технічної термінології являються:
а) суфікси:
-ium латинський суфікс, широко використовується вхімічній термінології
deuterium - дейтерій, важкий водень
curium - кюрій (хім.)
-osis - суфікс, запозичений із грецької мови і вживаєтьсядля утворення іменників, які позначають різні хвороби
aeronerosis- загальна нервозність у льотчиків віднапруження нервової системи під час польотів
silicosis- сілікоз, хвороба легенів
-ite
pentolite- нова вибухова речовина
sylvanite - сильваніт
-іzе
andize - анодувати
syntinize- настроювати
-ee
consignee- вантажоодержувач
рауее - одержувач грошей по чеку
-ism
synchronism - синхронізм
ferromagnetism - феромагнетизм
-еr
streamliner - автобус (літак, поїзд) обтічної форми
pusher - викидач, скидач
-аnt -латинський суфікс
injurant - речовина, яка завдає шкоду
coolant - охолоджуюча рідина
-іng - суфікс для утворення іменників, пов'язаних з дією
handling - обслуговування, догляд
locking - закривання, блокування
б) префікси:
rе- значення "знову"
recount - повторний підрахунок
reactivation - регенерація
оvеr - значення "надмірний", "над", "вище", "понад"
overheat - перегрівати(ся)
overrate - переоцінювати
de - придає слову протилежне значення
derange - доводити до безладдя
decolour - знебарвлювати
еn - означає включення всередину чигось або надання певного стану
encircle - оточувати
encrust - покриватися кіркою
іnter - значення "між", "взаємно"