Formálissá humanitárius enciklopédia
Formalizálása - egy sor kognitív műveletek, amely a figyelemelterelés értékek és fogalmak jelentésének a formalizált elmélet vizsgálata érdekében a logikus funkciók, deduktív és kifejező lehetőségeit. A szimbolikus logika és a matematika, ahol a formális legfejlettebb, alatta megérti rekonstrukciója tartalmának tudományos elmélet, mint a hivatalos nyelv - a mesterséges jelrendszer hivatott képviselni egy tudományos elmélet (lásd a hivatalos nyelv.).
Formalizálása azt jelenti, hogy formalizált tudás kell valahogy fix készlet nyilatkozatok, és a kapcsolat között rendelkezései az elmélet végzett [gyakran] az axiomatikus módszer. Ez azt sugallja, hogy az azonosított és egyértelműen a logikát, hogy használják a levezetése a feltételezések az elmélet az egyéb követelések. Ha együtt a axiomatizálása és pontos létrehozását logikai eszközök, fogalmak és kifejezések egy tudományos elmélet helyébe valamilyen szimbolikus jelölés, kiderül egy formális rendszer.
Formalizált elmélet lehet tekinteni, mint egy bizonyos fajta rendszer tárgyak (karakter), amely lehet kezelni, mint egy konkrét fizikai tárgyak, valamint a telepítési és az elmélet csökkentett hogy manipulálják ezeket a tárgyakat szerint egy sor szabályt figyelembe véve csak a típusát és sorrendjét a karakterek. Ez lehetővé teszi, hogy elvont kognitív tartalom, amely kifejezett egy tudományos elmélet kitéve formalizációs. Kétféle formális elméletek teljesen hivatalossá. hogy teljes mértékben hajtsák végre ezeket a követelményeket, részben formalizált. ha a logikai használt eszközök telepítésekor az elmélet nem kifejezetten rögzítésre.
Bizonyosságot kell beszélni a formális értelmes elmélet T. Az elmélet ebben az esetben utal a viszonylag zárt minden logikus következményei egy sor állítás kapcsolatos adott tárgykörben. Ez azt jelenti, hogy minden következményét, amely a következő címen szerezhetők T keretében helyes érvelés, szintén tartozik a lehetőségek az elmélet T. T formalizációs elmélet építése miatt az érintett becslés (formalizált elmélet) FT. és a kapcsolat a T és a TF. ha ilyen lehetőség valamilyen módon sikerül megvalósítani, a körülményektől függően. Jellemzően, a fő lehetőségét formalizálásához tartalmát a T elmélet van társítva, hogyan ez az elmélet a T készítünk ehhez a művelethez. Beszélünk a fejlesztési, kellően eksplitsirovannosti fogalmi apparátus. Az a lehetőség, hivatalossá jelentősen megnő, ha a fizetőképességi elmélet, vagyis az, hogy létezik egy eljárás mindazon javaslatokat illetően nyelvén megfogalmazott elmélet megoldani, hogy elméletéhez tartozik-e vagy sem.
A legfontosabb eszköz, amely megnyitja az alapvető lehetőségét hivatalossá tartalmának T. szolgálják kifejező lehetőségeit a szimbolikus nyelv, a segítségével, amelyek állítólag megjelenítéséhez T. Meg kell jegyezni, hogy a nyelv a predikátum kalkulus rögzítését teszi lehetővé egy jelképes formában bármilyen hagyományos vagy tudományos javaslat. Ez elég ahhoz, hogy kiegészítse a nyelvi szimbólumok (állandók) használt állítmány mondatot, és talán több úgynevezett funkcionális állandók, mi az egyszerűség kedvéért nem tud beszélni. Ahhoz azonban, hogy képes elvégezni egy szimbolikus rekord bármely javaslat nem jelenti a T elmélet intézményesíteni azt. A felismerés, hogy formalizálja T. FT van szükség, legalább az alábbi három feltétel:
- Nyelv L alkalmazott számítási formalizálásának kell tennie kifejezni bármilyen elmélet licit A T keresztül valamilyen képlet FT. amely a maga értelmezése a tartalom létrehoz egy javaslatot, amely elfogadható értelmezni, mint ugyanaz a gondolat, mint a A.
- Alapvető posztulátumok (axiómák) FT előkészítése ezen elméletek kell tekinteni, mint egy értelmetlen karaktersorozatot, amelyből a rögzített következtetési szabályok kapott új karaktersorozatot (tétel). Más szóval, a folyamat, mely során tételek nem tényeken alapul, ellenőrizhetőség gyakorlat és így tovább.
- Között az osztály és az osztály tételek CFT értelmes állítások igazak T elmélet kell egy bizonyos arányban a megállapodás, amely lehetővé teszi hivatalossá CFT feltételezett T (erről bővebben később).
§ (2) alapvetően eltér FT T. Τ nem feltétlenül fix következtetési szabályok, valamint az új követelések alapja lehet érdemi kifejezések jelentésének és a meglévő kontextusban. Ha például a T tartalmaz egy nyilatkozatot, hogy az esemény történt az esemény előtt α β. mi köti anyagi okok kapcsolódnak a kijelentések a T elmélet is, hogy mi történt később β α. Azonban nem kell megjavítani. Ellenkező esetben az FT. Itt a logikai kapcsolat a korábbi és a későbbi kapcsolatok jól láthatóan kell. És ha ezek az arányok nevezik „és”, illetve az FT tartalmaznia kell egy szabályt, amely lehetővé teszi, hogy mozogni (αα). Nyilvánvaló, hogy az FT szintén rámutatni ezek tranzitív kapcsolatok. Röviden összefoglalva, az FT Meg kell mutatnunk a logikát az adatok összefüggések leírásához szükséges a tárgy mezőt. Ugyanakkor ez a logikája is függ, például, figyelembe kell venni a folytonos vagy diszkrét időben, és természetesen korlátlanul osztható, akkor is, ha a T ezeket a kérdéseket nem tárgyaljuk. Így formálissá nem csupán, hogy egy másolatot a T szimbolikus nyelvet, de azonosítani, és látható ugyanaz a logika, amely kielégíti ezeket az állításokat a megjelenő kifejezések T. A megoldás erre a problémára egy szakmai feladat logika általában, és lehet tanulmányozni, függetlenül ezek vagy más külön figyelembe tartalom elméletek és problémák társítva formalizációs. Például a logika formalizált elmélet alethic, ismeretelméleti, deontic, időbeli és egyéb módozatait, komplett képest néhány tartalom szemantika. Az a lehetőség, formalizálásához T elmélet tehát nem csak az a kérdés a rendelkezésre álló Ennek az eljárásnak a TV, hanem arról, hogy kellő mértékben van erre a célra kialakított, a meglévő logikai és matematikai apparátus.
A probléma formalizálásának tartalmát a T elmélet FT tekinthető megoldható, ha a meta ITF felszabadítással azt mutatják, hogy minden igaz elfogadott értelmezés a javaslat a T megfelel egy vitatható állítás FT (teljességi tétel), és fordítva (tétel megfelelőségét). Különböző okok miatt, ez a helyzet nem mindig lehet elérni. Ezt bizonyítja, különösen a jól ismert tétel Gödel (1931) a hiányos aritmetikai következetes formalizált. Az a tény, hogy néhány formalizable T elmélet tartalmazhat olyan gazdag kifejező lehetőségeit nyelv építhető belül az igények a rendszer szertartásossá annak FT, és ezért jelenik meg a végleges. Van egy úgynevezett áramkör nyelv és metanyelv. Bármilyen következetes formai kialakítása elmélet Τ alapvetően hiányos, mivel semmiféle változást az FT létrehoz egy új osztályát tartalom igaz az ITF, és a legtöbb T ajánlatokat. Ez az a fajta elmélet bizonyult értelmes számtani. Az objektum nyelv szertartásossá számtani elmélet FT építhet állítását ez az elmélet, hogy ha értelmes értelmezés igaz állítás az elmélet T. FT játszik, különösen valamilyen formában a paradoxon a hazug, mint mindig a képlet, hogy azt állítja, a saját bizonyítás sikertelensége az FT . Egy ilyen formula igaz értelmes éppen azért, mert nem bizonyítható a FT. Her igazság T, és így nem bizonyítható a FT mondja, nem hiánytalan az utóbbi. Ugyanakkor, Gödel nem-teljességi tétele nem zárja ki annak lehetőségét, hogy egy teljes hivatalossá matematika szűkebb töredékek. Gödel-tétel és néhány más (például a tétel a Tarski hivatalos, az igazság fogalma az ilyen elméletek) feltárták a korlátozásokat a deduktív és az expresszív lehetőségeit formalizmus. Minden esetben, amikor állunk szemben meglehetősen kidolgozott tudományos elméletek, hivatalossá a folyamat nem fejeződik. Formalizálása nem merítik ki az összes rengeteg tartalom az ilyen elméletek. A tudományos ismeretek fejlődése, különösen a leginkább vysokoteoretizirovannyh elért szintet az interakció jelentős kutatási és formális módszerek, amikor az első meghatározó szerepet.
Összességében, annak ellenére, bizonyos korlátozások formálissá hatékony eszköz azonosítása és tisztázza a tartalmat egy tudományos elmélet. Összessége kognitív technikák és eszközök mögöttes hivatalossá, összpontosít, hogy biztosítsa a szükséges összhang tartalma között a tudományos elmélet, van kitéve formai kialakítása és formális rendszer eredő formalizációs: class kiadási formalizált elmélet képleteket kell egyeznie az osztály soderzhatelno- valódi állapotát kitéve hivatalossá az elmélet (de az ellenkezője általában igaz). Ebben az értelemben azt lehet mondani, hogy a jelentős tudományos elmélet egyfajta „standard”, a megfelelési szintje amely nagymértékben méltóság formalizált elmélet. Ami az építkezés egy formális rendszer használata (bár nagyon korlátozott mértékben) a természetes nyelv, mind a nyelvet, hogy vizsgálja meg annak szerkezetét írja le, logikai funkciók a formalizmus (konzisztencia, fizetőképességi), az azt jelenti, hogy a formális jár értelmes gondolkodás, valamint egy eszközt építés és kutatás saját deduktív és kifejező lehetőségeit. Formalizálása fontos szerepet játszik a rendszerezése összegének ismerete felhalmozódott jelentős elmélet, ez lehetővé teszi, hogy elkülönítse és tisztázza a logikai szerkezetét az elmélet, hogy egységesítsék a használt nyelv és a fogalmi apparátust, hogy megszüntesse a nem lényeges korlátozást fokú általánosság az elmélet, számának csökkentése az elmélet, figyelembe kezdeti. Ugyanakkor a formális nem csak ad pontos nyelv, hanem egy bizonyos módszer a gondolkodás vezet, az új eredményeket. A matematika története, a logika, a nyelvészet, és számos más tudomány azt mutatja, hogy a formális serkenti mozgását tudás az új eredményeket, megnyitja a lehetőséget a kialakításában és jelentő új problémák, megoldást találni, és így tovább.