Принципи на изграждане на формализирани езици на логиката
Формализиран език - изкуствен език на логиката, предназначен да възпроизвежда логическите форми на контекста на естествения език, както и изразяването на логически закони и методи за правилно разсъждение в логическите теории, изградени на този език.
Изграждането на формализиран език започва с неговото уточняване азбука - колекции от оригинални, примитивни символи. Азбуката включва логически символи (знаци на логически операции и връзки, напр. предложения за свързване и квантори), нелогични символи (параметри на описателни компоненти на естествен език) и технически символи (например скоби). Тогава се формулират така наречените правила за образуване на сложни знаци на езика от прости - задават се различни видове правилно изградени изрази. Най-важният тип от тях са формули - аналози на твърдения на естествен език.
Формализираните езици могат да имат различни изразителни възможности. По този начин предложения езиците позволяват да се изучава логическа форма само на нивото на сложни твърдения, без да се взема предвид вътрешната структура на прости твърдения. Силогистичните езици ви позволяват да фиксирате логическите форми на атрибутивни твърдения. Езиците от първи ред възпроизвеждат структурата както на прости (както атрибутивни, така и на релационни) и сложни твърдения, но те позволяват само количествено определяне от индивиди. В по-богатите езици - езици от по-висок порядък - количественото определяне също е разрешено от свойства, отношения и функции.
Принципите на конструиране на формализирани езици могат да се използват и при дефиниране на езиците на нелогични, приложни теории. В този случай вместо абстрактни нелогични символи (параметри) в азбуката на езика се въвеждат имената на конкретни обекти от предметната област на теорията, признаци на определени функции, свойства, отношения и т.н.