теоретични методи знания формализация, аксиоматичната Метод

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

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

За да се изгради някакво формално система е необходимо:

1) определя азбуката (определен набор от символи); 2) определя правилата, по които на изходните символи от азбуката са на разположение ", думата" или "формула"; 3) определя правилата, по които някои от думите (формулите) могат да отидат в други думи (формули).

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

Но всички формални системи съществуват само на базата на естествен език. Формализирането на вътрешни ограничения. Универсален метод за замяна на всяко изчисление аргумент не съществува.

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

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

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

Тя се основава на следната последователност от процедури:

1) формулира система от основни научни термини (например, в Euclidean геометрия - понятието точка, линия, ъгъл, самолет, и т.н.)

2) Тези термини формулирани набор от аксиоми (постулати) - позиции, които не изискват доказателство и е източника, от който са получени всички други изявления на определени правила на теорията.

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

4) прави превръщането на постулати на правилата, давайки възможност на ограничен брой аксиоми за получаване на снимачната площадка на доказуеми разпоредби - теореми.

Аксиоматични метод - метод на строителство е произвела научни знания. Тя има ограничено приложение, тъй като изисква по-високо ниво на развитие axiomatized смислен теория.

Хипотетична-дедуктивен метод - метода на научното познание, същността на която е да се създаде система на дедукцията взаимосвързани хипотези, от които в крайна сметка, получени изявления за емпирични факти.

Този метод се основава на извеждане (приспадане) на констатациите и хипотези други пратки, истинската стойност е неизвестна. TS полученото заключение ще бъде вероятностни.

Цялостната структура на метода:

1) да се запознаят с фактите, което изисква теоретично обяснение е, че опитът да се намери обяснение за използването на съществуващите теории и закони. Ако не може, тогава:

2) разширение на предположенията за причините и моделите на това явление с помощта на логиката;

3) Оценка на здравина и важност предположения и избор от тях най-вероятната;

4) отстраняване на хипотезите (обикновено дедуктивно) последици;

5), получени от експерименталната теста хипотези последици. И най-доброто, на резултатите от тестването на хипотезата става теория.

Хипотетична-дедуктивен метод не е толкова метода на откриването, като начин за изграждане и обосновка на научни знания. / 2. 222 - 225/6