New Encyclopedia of Philosophy

formálissá tétel

- Megjeleníti értelmes tudás formalizált elmélet (számolás). Formalizált tudás kell valahogy rögzített együttes nyilatkozatok. Mert határozottsá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 beszerezhető keretében helyes érvelés Gárda is tartozik a lehetőségek az elmélet T. T formalizációs elmélet megépítésével a megfelelő számítás (formalizált elmélet) FG, valamint a kapcsolat a G és PG, ha egy ilyen lehetőség lehet bizonyos módja annak, hogy végre, a körülményektől függően. Jellemzően, a fő lehetőségét formalizáló értelmes elmélet G van társítva, hogyan ez az elmélet G készítünk elő a műtéthez. Arról van szó, a fejlődés, kellően eksplitsirovannosti fogalmi apparátus. Az a lehetőség, hivatalossá jelentősen megnő, ha a fizetőképességi elmélet t. E. Ha van egy eljárás mindazon javaslatokat illetően nyelvén megfogalmazott elmélet megoldani, hogy elméletéhez tartozik-e vagy sem. Mindez azért fontos, de még fontosabb, ez megnyitja a lehetőségét, alapvető hivatalossá érdemi T elmélet - az expresszív lehetőségeit a szimbolikus nyelv, a segítségével, amelyek állítólag megjelenítéséhez T.

Általánosságban elmondható, hogy az állítmány fogkő nyelv lehetővé teszi, hogy rögzítsék a szimbolikus 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 az állítmány a mondat, és talán még az úgynevezett funkcionális állandók, mint az egyszerűség kedvéért nem tud beszélni. Ahhoz azonban, hogy képes elvégezni egy szimbolikus rekord bármely javaslat Gotnyud elmélet nem jelenti azt, hogy hivatalossá. A felismerés, hogy FGformalizuet T igények legalább az alábbi három feltételt: (1) L nyelv használt számítási formalizálásának lehetővé kell tennie kifejezni bármilyen licit Egy elmélet T keresztül valamilyen képlet FT, hogy amikor a tartalom értelmezése ez létrehoz egy ajánlatot, ami elfogadható lehet értelmezni, mint ugyanaz a gondolat, mint egy

(2) Az alapvető posztulátumok (axiómák) FGpri kézhezvételét ezeket az elméleteket 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 kell bizonyítékok alapján, és így a gyakorlatban confirmability. P.

(3) között az osztály a tételek FTC osztály értelmes igaz állítások F elméletileg bizonyos meghatározott arányban. FT lehetővé téve formalizációs tekinthető D (erről többet alább).

§ (2) bekezdése lényegében megkülönbözteti FGot G. C 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. Gsoderzhitsya egy nyilatkozatában, hogy az esemény történt az esemény előtt állunk szükséges megalapozottan tulajdonítani igaz állítás Gtakzhe elmélet és mi történt később, és. 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 „”, illetve a FGdolzhna tartalmaz olyan szabályt, amely lehetővé teszi az átmenetet (). Nyilvánvaló, hogy az FT is rámutatni ezek tranzitív kapcsolatok. Röviden, FGpridetsya kijelző logikai adatok összefüggései leírásához szükséges a tárgy mezőt. Így ez a logika önmagában függhet, például a. e tekinteni folytonos vagy diszkrét időben, és természetesen korlátlanul osztható, ha Mr. ezeket a kérdéseket nem tárgyaljuk. Így. formalizációs nem pusztán a másolatot Védi a szimbolikus nyelv, hanem, hogy azonosítsák és kijelző ugyanaz a logika, amely kielégíti ezeket az állításokat a megjelenő kifejezések T. A megoldás ennek a problémának a szakmai feladat a logika általában, és lehet tanult függetlenül egyes külön figyelembe tartalom elméletek és problémák társítva formalizációs. Így például. a logika formalizált elmélet alogikus, ismeretelméleti, deontic, időbeli és egyéb módozatait, komplett képest néhány tartalom szemantika. Az a lehetőség, hivatalossá Hestia elmélet tehát nem csak az a kérdés a rendelkezésre álló Ennek az eljárásnak az a része, G, hanem arról is, hogy kellő mértékben van erre a célra kialakított, a meglévő logikai és matematikai apparátus.

Ami a (3) bekezdésben kell venni, hogy az SCF kifejezetten tartalmazza az összes szükséges hivatalossá Glogiku elmélet és a matematika és a megfelelő szabályok az osztály, vagy lényegileg értelmezni tételek, például. szembeállítása következményei: .. () -> (*), és úgy, hogy gyakorlatilag nincs levelezés T. Sőt, T általában nem határozza meg minden logikai kapcsolat nyilatkozatokat tartalmazó használt