Формалізована мова - це
1) в широкому сенсі - будь-яка сукупність деяким чином спеціалізованих мовних засобів з (більш-менш) точно фіксованими правилами утворення «виразів» (синтаксис Ф. я.) І приписування цим виразам певного сенсу (семантика). У такому вживанні термін «Ф. я. »не припускає, взагалі кажучи, ніяких спеціальних обмежень ні на синтаксичну структуру, ні на семантичні правила, ні на призначення такої мови. Наприклад, вирази «Н2 О», «вода», «eau», «water», «Wasser», «vesi» і т.д. можна, в принципі, в рівній мірі вважати елементами «Ф. я. хімії ».
2) Під Ф. я. в логіці розуміють інтерпретоване Обчислення, т. е. деяку формальну систему разом з її інтерпретацією (Див. Інтерпретація). Використання Ф. я. - характерна особливість математичної логіки (Див. Логіка), яку часто і визначають як «предмет формальної логіки, що вивчається за допомогою побудови формалізованих мов». Слід, утім, зазначити, що такого роду «визначення» аж ніяк не є невід'ємним атрибутом викладі математичної логіки: поняття Ф. я. не тільки не входить (як правило) в предметні логіко-математичні мови, але не є, строго кажучи, і елементом жодного конкретного Мотузки а, будучи швидше зручним робочим терміном для попередніх евристичних пояснень предмету цієї науки.
Літ .: Черч А. Введення в математичну логіку, пер. з англ. т. 1, М. 1960 Введення (§§ 00-09).
Велика Радянська Енциклопедія. - М. Радянська енциклопедія. 1969-1978.
Дивитися що таке "Формалізована мова" в інших словниках:
формалізована мова - формалізована мова штучну мову логіки, призначений для відтворення логічних форм контекстів природної мови, а також вираження логічних законів і способів правильних міркувань в логічних теоріях, що будуються в ... ... Енциклопедія епістемології і філософії науки
Формалізованої мови - 1) У широкому сенсі - будь-яка сукупність недо рим чином спеціалізованих мовних засобів з (більш-менш) точно фиксиров. правилами утворення виразів (з і н т а к с і з Ф. я.) і приписування цим виразам потужність. сенсу (з е м а н т ... Філософська енциклопедія
Формалізована мова - У широкому сенсі будь-яка сукупність деяким чином спеціалізованих мовних засобів з (більш-менш) точно фіксованими правилами утворення «виразів» (синтаксис формалізованої мови) і приписування цим виразам певного ... ... Вікіпедія
Формалізованої мови - штучна мова, для до якого є точне формальне визначення класу виразів мови і досить суворе пояснення значення або сенсу цих виразів. Зазвичай вираження Ф. я. являють собою формальні комбінації вихідних символів, ... ... Математична енциклопедія
МОВУ експлуатаційних ДОКУМЕНТІВ - (ЯзЕД) символьний формалізований мову, призначений для опису діяльності операторів і побудови експлуатаційних функціональних схем. Розроблено Ю. Г. Фокіним в 70 і рр. спочатку як мова опису експлуатаційних дій, а пізніше ... Енциклопедичний словник по психології та педагогіці
мова - і. Історично склалася в суспільстві і розвивається звукова (усне мовлення), а потім і графічна (лист) знакова система, здатна висловити всю сукупність понять і думок людини і призначена насамперед для цілей комунікації ... ... Навчальний словник стилістичних термінів
МОВУ КУЛЬТУРИ - сукупність культурних об'єктів, що володіє внутрішньою структурою (комплексом стійких відносин, інваріантних при будь-яких перетвореннях), явними (формалізованими) або неявними правилами освіти, осмислення і вживання її ... ... Енциклопедія культурології
МОВУ-Об'єкт - МОВУ Об'єкт поняття сучасної логіки, математики, філософії та методології науки, семіотики і теоретичної лінгвістики, що позначає будь-яку мову (природний, штучний, неформалізовані, формалізований), елементи і структура якого ... Філософська енциклопедія
алгоритмічний мову - формалізована мова для однозначної запису алгоритмів. Складається з набору символів (алфавіт), синтаксичних правил і семантичних визначень. Є основою мов програмування. * * * Алгоритмічні мови алгоритмічні мови, ... ... Енциклопедичний словник