Формализация като метод за теоретични знания

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

За да се изгради някакво формално система е изключително важна:

а) работа alfavita͵ ᴛ.ᴇ. ?? ennogo определен набор от символи;

б) правила за присвояване съгласно коя от изходните символи на тази азбука са obtained''slova '', '' formuly '';

в) прехвърлянето на правила, чрез които някои от думите, системата на формули, можете да преминете към други думи и формули (т.нар дедуктивно).

Резултатът е официална система за вход, както е определено ?? ennogo изкуствен език. Важно предимство на тази система е възможността за извършване на тяхната част от проучването на даден обект чисто формален начин (работа с марки) без пряка връзка с обекта.

Друго предимство на формализация е да се осигури краткост и яснота на запис научна информация, която предлага чудесна възможност да се справя.

Математически описания на различни предмети, процеси са илюстративни за формализация. В този случай, се използва математически символи не само помага да консолидира съществуващите знания за изследваните обекти, явления, но и действа като един вид инструмент за по-нататъшното им знания. Но нарастващото използване на формализация като метод за теоретични знания, свързани не само за развитието на математиката. В химията, например, подходящи химически символи, заедно с правилата за нейната експлоатация е един от вариантите за официална изкуствен език. Една все по-важно място заемат формализация метод в логиката на нейното развитие. Лайбниц производство инициира създаването на метода на логическата камъни. Последното води до образуването в средата на ?? Е XIX век. математическата логика, която през втората половина на този век ?? д е изиграла важна роля в развитието на кибернетиката, в появата на компютрите при решаване на производствени задачи за автоматизация и т.н.

Езикът на съвременната наука е по същество се различава от естествения човешки език. Той съдържа много специални термини, изрази, той е широко използван формализация инструменти, сред които централно място принадлежи на математическата формализация. Въз основа на нуждите на науката, изкуствени езици са различни, предназначени за справяне с тези или други проблеми.

Формализираните изкуствени езици не разполагат с гъвкавостта и богатството на естествен език. Но те нямат Пояснения (многозначност), присъщи на естествените езици. Οʜᴎ точно характеризирани построена синтаксис (с нормативната уредба за комуникация между героите, независимо от съдържанието им) и недвусмислени семантиката (семантика на формализирана език да бъде еднозначно решен корелация система определя знак ?? ennoy предмет зона). Τᴀᴋᴎᴍ ᴏϬᴩᴀᴈᴏᴍ, формализиран език има свойството Monos ?? emichnosti. Всички различни създаден и продуциран от изкуствени формализирани езици, включени в езика на науката, формиращи мощен инструмент за научни знания.

Създаване на един-единствен официален език на науката не е възможно. Дори достатъчно богати формализирани езици не отговарят на изискването за пълнота, ᴛ.ᴇ. neĸᴏᴛᴏᴩᴏᴇ много правилно формулирани предложения на езика (включително вярно) не трябва да се заключи, чисто формален начин на езика. Тази разпоредба се основава на резултатите, получени в началото на 30-те години на ХХ век, австрийският логик и математик Курт Гьодел това ??.

Официални езици не са единствената форма на езика на съвременната наука, за преследване на максимална адекватност и изисква използването на формализирана система. Но до такава степен, че е немислимо без адекватна прецизност, тенденцията към увеличаване на формализация езици Sun ?? Е, и по-специално на природните науки е целта и прогресивно.