ФОРМАЛИЗИРАН ЕЗИК

ФОРМАЛИЗИРАН ЕЗИК - изкуствена знакова система, предназначена да представя някаква теория. Един формализиран език се различава от естествените (национални) езици на човешкото общуване и мислене, от изкуствените езици като есперанто, от "техническите" езици на науката, които съчетават средствата на определена част от естествения език с съответните научни символи (езикът на химията, езикът на обикновената математика и др.), от алгоритмичен език като общо програмиране и т.н. на първо място, фактът, че неговата задача е да служи като средство за фиксиране (формализиране) на определено логическо съдържание, което дава възможност да се въведе връзката между логическото следствие и понятието за доказуемост (или техните аналози). В исторически план първият формализиран език е бил силогистика Аристотел, изпълнен с помощта на стандартизиран парче естествен (гръцки) език. Общата идея за формализиран език е формулирана от Лайбниц (characteristica universalis), който предвижда разширяването й до „смятането на изводи“ - смятане на коефициента. В съвремието са разработени различни варианти на формализирани езици въз основа на аналогията между логиката и алгебрата. Важен етап тук беше работата Моргана, Boule и техните последователи, особено Шрьодер и Порецки. Съвременните формализирани езици - в техните най-често срещани форми - се връщат към работата си Фреге "Begriffsschrift" - "Писане в концепции" (1879 г.), от което протича основната линия на развитие на езика на логиката на предложенията и (обхващаща го) логиката на (многоместните) предикати, както и прилагането на тези логически езикови средства за проблеми на основаването на математиката.

Характерната структура на такива формализирани езици е: присвояване на азбуката на началните знаци, индуктивно определяне на (правилно изградената) езикова формула, т.нар. определяне на правилата за възпитание, определяне на правилата за извод, т.нар. правила за трансформация, които запазват разграничената логическа характеристика на формулите (истина, доказуемост и др.). Добавянето на правила за трансформация превръща формализирания език в логическо смятане. Има много видове формализирани езици: това са, на първо място, езици на дедуктивно-аксиоматични конструкции, системи от естествено ("естествено") извеждане и последователни конструкции, аналитични таблици, системи на "логика на спора" и много други.

Формализираните езици се различават по своята логическа сила, започвайки от „класическите“ езици (в които аристотеловите закони на идентичността, противоречието и изключения трети, както и принципът на логическата неяснота, са в пълна сила) и завършвайки с многобройните езици на некласическата логика, които правят възможно отслабването на определени принципи, въвеждат неяснота при оценката на формулите или тяхната модалност. Разработени са езици, при които логическите средства са сведени до минимум в един или друг смисъл. Такива са езиците на минималната и положителната логика или езикът на логиката на предложенията, използващ например една логическа операция. Инсулт на Шефер (см. Логически съединители).