1 Понятието формализация

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

Тук трябва да се отбележи, че създаването на логиката на специален език, в допълнение към съществуващия естествен език, има специален процес, който предвижда, че система за изкуствен знак е средство за определяне логично strukt пътешествия мисли, от една страна, както и средствата за изследване на логическите свойства и отношения на мисълта, с другата е, ние сме логиката - това е преди всичко неговата метод не е прието да се каже "изкуствен език на логиката" и "Ана официалният език на логиката" с лека ръка на немския философ от XVIII век IKanta логика дължи на прилагателното " ormalnaya "така наречената формална логика превръща в своя метод - formalizatsiyamalnoyu в метод її - formalіzatsієyu.

Формализация като един вид човешка дейност се използва не само в логиката на формализирането срещаме в различни науки: математика, химия, физика и т.н.

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

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

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

F O R M A L и за п о в а м от секундата на. език или символи, е да започне събирането на специализиран език означава строго фиксиран с правила и норми от различни изражения приписват тези изрази определени стойности за учредяване

Логиката на F о р м а л и в п о-ти език, наречен официална система, заедно с неговото тълкуване или нотация тълкува в тази наука, терминът "формализирането" има няколко значения:

1) метод за логика, която е приложение на изучаването на формализирана език обект логика;

2) процеса на кодиране чрез теорията на формалната логика фрагменти научна теория или теории;

3) отражение на концепции по отношение на логически семантиката логически синтаксис (например, семантична отношение на логически извод се изразява като съотношението на синтактични - vividnist)

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

Използването му в хода на изследванията и практиката има редица предимства

Първо, тя дава възможност за кратко, съкращение за улавяне и предаване на друга връзка между изследваните обекти

Например, вместо да се опише квадрата на сумата на две числа, с помощта на естествен език ( "квадратен от сумата на две числа е равно на квадрата на първото число плюс двойна продукта от първото число от втория плюс плъх втория брой блокове"), ще напиши кратко formulyї формула:

Ако логиката е необходимо да се определи структурата, например, общо отрицателни решения, вместо тромави фрази на естествен език

"Решението zagalnozaperechuvalnomu всеки въпрос в мулти-

На второ място, на езика на символите помага да се направи оценка на характера на взаимоотношенията между обектите, които са фиксирани към определена формула

Ясно е, че това непременно трябва да се знае смисъла на символите, използвани във формулата Ако някой израз на естествен език, като например "Моят учител - на същата възраст като баща ми", пишем още няколко езика (angiyskoyu, френски, и т.н.), вид и комбинация от символи (букви ) в тези изречения не ни кажете нещо за темите и. отношението им е описано в тези предложения Ние само ще знаят, че в тези предложения Публикации езикови знаци, техния вид е различен, и смята, че тя уреди същата е съвсем друго нещо, когато ние използваме самата официална език е вид формули H 2 O (както в ) 2 = а2 2 AB В2, "не S не е същността на Р" показва характера и типа на връзката между обектите, които са фиксирани от съответните символи Това несъответствие между експресията на естествен език и експресия (формула) формализирани п ли се дължи на факта, че в естествен език писмен знак представлява звук (буква) или комбинация от звуци (думи), и по формален език - обекти, техните свойства и отношения, както и операции, от една Нийман operatsії над тях.

Така че от гледна точка на Н2 О букви Н и О - имената на съответните обекти и тяхното количествено характеристика 2 и 1 показва, че тя е тази комбинация даде специално вещество във формулата "Нито S не е P" знак S - име логично-ти въпрос, и символът P - името на логическата skazuemogogo prisudka.

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

От гледна точка на езика синтаксис на, но тези аргументи са еднакви по отношение на естеството на логически връзки, които те определят тези различни съображения

За да се каже разликата между езикова синтаксис и логично синтаксис на говорни сегменти, е необходимо да се записва това разсъждение с помощта на формализиран език

В първия аргумент, сключване изразява истината по отношение на втория, ние също може да съображения не казват това, защото в първия аргумент, фразата "моя учител по математика" в името на даден човек Във втория аргумент, думата "някой" и "някой тя "показва, че вероятността за съществуването на даден обект х това означава, че ние нямаме гаранция, че първото и второто изпращане на втория аргумент, изразът" съществува х "може да бъде vidnesinim за същия индивид то число на същия іndivі двоен обект.

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