Határozza meg a formalizálás módját - a tudományos kutatás módszereit, ifreestore
Az alapja formalizálásnak kerül bemutatásra, és úgy ítélte jelentős területe a tudás (tudományos elmélet megfontolások és mások.) A formális rendszer, ami egy általános megjelölés modell bizonyos domain, amely lehetővé teszi, hogy észleli a szerkezetét és mintázatát lezajló folyamatok által műveletek jelei.
Az formalizációs utal speciális megközelítést a tudományos ismeretek, amelyek a különleges szimbólumokat, így menekülni a vizsgálat valós tárgyak, amelyek leírják a tartalmát az elméleti pozíciókat, és ehelyett úgy működnek, egy sor jel (betűk).
Formális rendszer kialakításához szükséges:
a) ábécé kijelölése, azaz bizonyos jelek készítése;
b) meghatározza azokat a szabályokat, amelyekkel "szavakat", "képleteket" lehet szerezni az ábéc kezdeti jeleitől;
c) olyan szabályok meghatározása, amelyekkel az adott rendszer szavak és képletei átvihetők más szavakra és képletekre (az úgynevezett következtetési szabályok).
Ennek eredményeképpen formális jelrendszert hoz létre egy bizonyos mesterséges nyelv formájában. Ennek a rendszernek az egyik legfontosabb előnye annak a lehetősége, hogy keretén belül egy objektumot pusztán formális módon (jelekkel működő) vizsgáljunk, anélkül, hogy közvetlenül foglalkoznánk ezzel az objektummal.
A formalizálás másik előnye, hogy biztosítja a tudományos információk rögzítésének tömörségét és egyértelműségét, ami nagy lehetőségeket nyit meg annak működtetéséhez
A különböző objektumok és folyamatok matematikai leírása a formalizálás élénk példája. Ebben az esetben a felhasznált matematikai szimbólumok nem csak segít megszilárdítani a már meglévő ismeretek a vizsgált tárgyak, jelenségek, hanem működik, mint egy fajta eszköz továbbvite- tudásukat.
De a formalizáció elméleti megismerés módszerének egyre szélesebb körű alkalmazása nem csak a matematika fejlődésével jár együtt. A kémia esetében például a megfelelő kémiai szimbolizmus, a működési szabályokkal együtt egy formalizált mesterséges nyelv egyik változata volt. A formalizálás módszere egyre inkább fontos szerepet kapott a logika fejlődésében. A Leibniz munkái megalapozták a logikai kalkulus módszerének létrehozását. Ez utóbbi a XIX. Század közepére vezetett. matematikai logika, amely a második felében a század játszott fontos szerepet a fejlesztés a kibernetika, a megjelenése az elektronikus számítógépek, foglalkozó ipari automatizálási feladatok, és így tovább. d.
A modern tudomány nyelvétől jelentősen eltér a természetes emberi nyelv. Számos speciális kifejezést, kifejezést tartalmaz, széles körben alkalmazza a formalizálás eszközeit, amelyek között a központi hely a matematikai formalizációhoz tartozik. A tudomány igényeinek megfelelően különböző mesterséges nyelvek jönnek létre, amelyek bizonyos feladatok megoldására szolgálnak.
A formalizált mesterséges nyelvek nem rendelkeznek a természetes nyelv rugalmasságával és gazdagságával. De a bennük nem létezik a természettudományokban rejlő kifejezések (polysemy) poliszemije. Jellemzőjük -pontosságú szintaxis (amely szabályokat állapít meg a kapcsolat a karakterek között, függetlenül attól, hogy azok tartalmát), és egyértelmű szemantikai (szemantikai szabályok hivatalos nyelv egyértelműen meghatározza az összefüggés a jelrendszer egy bizonyos tárgykörben). Így a formalizált nyelv a monosemicitás tulajdonsága. A létrehozott és létrehozott mesterséges formalizált nyelvek mindegyike belép a tudomány nyelvébe, amely a tudományos ismeretek hatékony eszköze.
A tudomány egyetlen formalizált nyelvének létrehozása nem lehetséges. Még elég gazdag formalizált nyelvek nem tesz eleget az teljesség t. E. egy bizonyos helyesen megfogalmazott mondat egy ilyen nyelv (beleértve igaz) nem lehet levezetni pusztán formai ezen a nyelven. Ez a rendelkezés az osztrák logikus és a matematikus Kurt Gödel által a XX. Század elején elért eredményekből következik.
A formalizált nyelvek nem lehetnek a modern tudomány nyelvének egyetlen formája, mivel a maximális megfelelőség iránti igény megköveteli az informatizálatlan rendszerek használatát. De mivel a megfelelőség pontatlanság nélkül elképzelhetetlen, az objektív és progresszív nyelvek egyre inkább megszilárdulása a nyelvek minden nyelvének, különösen a természettudományok számára.