Formalizálása mint logikai módszer, a koncepció formalizálásnak - logika - konversky ae Library orosz

1. A koncepció formalizációs

Mivel a nyelvi struktúra egy természetes nyelv nem ugyanaz, mint a logikai felépítését formák és gondolkodás törvényeinek, amelyek be vannak építve a nyelv, a logika arra kényszerül, hogy speciális alapok, amelyek mozhlivis, hogy visszavonja a természetes nyelvi forma gondolkodás, logikai tulajdonságait, szignifikáns kapcsolat közöttük, meghatározza a közös logika levonás megkülönböztetésének kritériumai jó és rossz módon mérce fürdők.

Itt meg kell jegyezni, hogy a teremtés logikája egy speciális nyelven, amellett, hogy a meglévő természetes nyelv, van egy speciális folyamat, amely előírja, hogy egy mesterséges jelrendszer egy rögzítésének logikai strukt túrák gondolatok, az egyik kezét, és a segítségével vizsgálja a logikai tulajdonságait és kapcsolatait a gondolat, a a másik az, hogy a logika - ez mindenekelőtt a módszer nem szokás mondani, hogy „mesterséges nyelv logika” és a „ana szertartásossá nyelvi logika” a gyenge kezet a német filozófus, a XVIII IKanta logikai tulajdonított a jelzőt " ormalnaya „az úgynevezett formális logika vált, saját módszer - formalizatsiyamalnoyu a її módszer - formalіzatsієyu.

Formalizálása mint egyfajta emberi tevékenység nem csak a logika a formális találkozunk a különböző tudományok: matematika, kémia, fizika, stb

Formalizálása merült fel a gondolat és a nyelv az első megnyilvánulása volt a formális természettudományos ismeretek szimbólumokkal természetes nyelvi jelek kezdtek hozzá egy speciális karakter (elemet matematikai, kémiai és egyéb szimbólumok).

A logikában formalizáltsága egy speciális karakter az általános értelemben vett F o r m a l és a q és logikai - detektáló logikai szerkezetének gondolataink A logikai felépítése gondolat a kommunikációs forma koncepciók ítéletben formában kapcsolatot ítélet összekapcsolva komplex értékelések kommunikációs forma az ítéletek a készítményben umozaklyucheniyau.

Néha formalizációs (nem csak logika) definíciója a tanulási folyamat tartalmát útján formalizált nyelv Ez vezet a definíció formális nyelv

F O R M A L és körülbelül n o c a M-edik egy második. nyelv, szimbólumok bármilyen gyűjtemény szaknyelvi jelenti szigorúan rögzített képződése szabályok és rendelkezések a különböző kifejezések tulajdonította ezeket a kifejezéseket a meghatározott értékeket

A logika a f o r m egy L és egy n o th nyelv nevű formális rendszer, valamint annak értelmezésére vagy jelöléssel értelmezni ebben a tudomány, a „formalizációs” több jelentése:

1) A módszer a logika, amely alkalmazás a tanulmány a formalizált nyelv objektum logikát;

2) a kódolási folyamat révén az elmélet a formális logika fragmensek tudományos elmélethez;

3) tükrözi a fogalmak szempontjából logikai szemantikáját logikai szintaxist (például, szemantikai kapcsolatban a logikai következtetés fejezzük az arány a szintaktikai - vividnist)

Formális nyelv (karakter) hatékony eszköz minden olyan kutatási előrelépés a modern tudomány, különösen a logika felhasználásával kapcsolatos formalizált nyelv

Ennek használata során a kutatás és a gyakorlat számos előnnyel

Először is, ez lehetővé teszi, hogy egy rövid, rövidített rögzítése és továbbítása egy másik kapcsolat a vizsgált objektumok

Például ahelyett, hogy leírja a négyzet összegének két szám révén természetes nyelv ( „tér az összeg két szám egyenlő a négyzet, az első szám és a kettős terméke az első szám a második, valamint a második számot Blocks Rat”), akkor írj egy rövid formulyї képlet:

Ha a logika szükséges rögzíteni a szerkezetet, például az általános negatív ítéletek helyett nehézkes mondatok természetes nyelvi

„Az ítélet zagalnozaperechuvalnomu semmilyen tárgyat a multi-

Másodszor, a nyelv a szimbólumok segít értékelni a természet közötti kapcsolat objektumok, amelyek rögzítve egy bizonyos képlet

Egyértelmű, hogy ez feltétlenül szükséges, hogy ismerjük a jelentését a használt szimbólumok a képlet Ha bármilyen kifejezés a természetes nyelv, mint például a „My tanár - az azonos korú, mint az apám,” írunk még néhány nyelven (angiyskoyu, francia, stb), típusa és kombinációja karakterek (betűk ) ezekben mondat nem mond semmit arról, az alanyok és. hozzáállásuk leírt ezek a javaslatok Csak akkor tudjuk, hogy ezek a javaslatok Hozzászólás nyelvi jelek, ezek típusa eltér, és a véleményt rögzítik ugyanez egészen más dolog, mikor használjuk hivatalos nyelv maga is egyfajta képletek H 2 O (mint a ) 2 = a2 2 AB B2, „nincs S nem a lényege a P” azt jelzi, a jellege és típusa közötti kapcsolat objektumok, amelyek rögzített, a megfelelő szimbólumok Ez az ellentmondás kifejeződése között természetes nyelvi és kifejezése (képlet) formalizált MO akkor annak a ténynek köszönhető, hogy a természetes nyelven írott jel jelentése hang (betű) vagy a kettő kombinációja hangok (szó), és formalizált nyelven - tárgyak, tulajdonságaik és kapcsolatok, valamint a műveleteket egy Nieman operatsії felettük.

Így szempontjából a H2 O betűk H és O - a nevét az érintett tárgyak, és azok mennyiségi jellemző 2 és 1 azt jelzi, hogy ez az a kombináció ad egy adott anyag a képlet „Sem S nem P” jel S - név logikai th tárgyát, és a szimbólum P - a név a logikai skazuemogogo prisudka.

Harmadszor, köszönhetően a hivatalos nyelv, amely egyedileg azonosítja a logikai felépítése a gondolat, hogy megkülönböztessék a logikai szintaxis a nyelvi

A szempontból a nyelvi szintaxis, de ezek az érvek tekintve azonos a természet logikai kapcsolatok, hogy meghatározza ezeket a különböző megfontolások

Hogy mi a különbség a nyelvi szintaktikai és logikai szintaxis a beszédszegmenseknél, szükséges, hogy rögzítsék az érvelés útján formalizált nyelv

Az első érv az a következtetés, kifejezi az igazság tekintetében a második, mi is a megfontolások nem mondom ezt, mert az első érv, az „én matematika tanár” a neve egy adott személy a második érv, a „valaki” és „valaki ez „azt jelzi, hogy a valószínűsége, hogy létezik olyan objektum x ez azt jelenti, hogy nincs garancia arra, hogy az első és a második adó a második érv, az” létezik olyan x „lehet vidnesinim ugyanazon egyén th ugyanezen іndivі duális objektum.

Következésképpen, a hivatalos nyelv minden területén az emberi tevékenység ad optimalizálási (rövid) szükséges információkat, lehetővé teszi a külső jeleket (karakter forma) becsült SEAP jellegű összefüggéseinek vizsgálata, és hatékonyan elfog a logikai felépítését nyelvi kifejezések (beszélünk, vagy természetes nyelve a tudomány nyelve.