Logic a tudomány definíciója logika

Logic egyik legrégebbi tudomány, az első gyakorlat, amelyben a formák és módszerek érvelés alakult ki az ősi civilizációk a Kelet (Kína, India). A nyugati kultúra, az elveket és módszereket logikai jött elsősorban erőfeszítései révén az ókori görögök.

Logic - a tudomány általánosan érvényes formái és eszközei gondolat kezeléséhez szükséges ismeretekkel bármely területén az ismeretek. By egyetemesen érvényes gondolkozásformákat fogalmak, ítéletek, következtetések. de az egyetemesen érvényes eszközei gondolatok - a meghatározások, szabályok (elvek) kialakulásának fogalmak, ítéletek és következtetések, az átmeneti szabályok egyik ítélet vagy érvelés másik következtében az első (szabályai érvelés), a gondolkodás törvényeinek, hogy igazolja az ilyen szabályok, a szabályok a kommunikáció a gondolkodás törvényeinek és érvelés a rendszerek, eljárások, formalizálása ilyen rendszerek, stb

A logika lehet meghatározni, mint a tudomány racionális módszerek érvelés vonatkozik az elemzés a levezetés szabályait (következtetések levonása helyiségek), valamint a tanulmány a valószínűsége vagy foka visszaigazolást kézenfekvő következtetéseket (hipotézisek, általánosítások, feltevések, stb.)

Hagyományos logika alakult alapján a logika Arisztotelész tanításait. Aztán módszerekkel kiegészítve az induktív logika. Ez az a logika sokáig tanítják az iskolákban és az egyetemeken néven formális logika.

Előfordulása matematikai logika gyökeresen megváltozott aránya nededuktivnoy és deduktív logikát, ami létezett a hagyományos logika. Ez a változás történt támogatja a levonás. Mivel a szimbolizációt és alkalmazása matematikai módszerek deduktív logika szerezte szigorúan formális.

Logikai nyelv tanulmányozására

A „Filozófiai Encyclopedic szótár” nyelv „olyan jelrendszer, eszközként szolgál az emberi kommunikáció, a gondolkodás és kifejezés.” Megállapítja, hogy „a nyelv segítségével a tudás, hogy a világ, a nyelv tárgyiasult öntudat.” A nyelv segítségével tárolására és továbbítására tájékoztatási és ellenőrzési emberi viselkedés.

Filozófiai problémák a nyelv és a logika - dinamikus kutatási terület. Különösen érdekes, hogy ez most már össze nemcsak az állandó vágy, hogy tisztázza az általános mechanizmusok és gondolkodási módok, hanem megérteni, hogy mennyire jól a személy képes feldolgozni, átalakítani és átalakítani hatalmas tudás tömbök nagyon korlátozott ideig. Jelentett problémák nem csak az elméleti érdeklődés - a siker a megoldás nagyban függ előrelépés az új számítógépes rendszerek, a hatékony szoftver. Mindez természetesen erősíti a gyakorlati jelentősége és a kutatás területén a logika és a filozófia a nyelv - egy olyan területen, egészen a közelmúltig tartották tisztán spekulatív.

Logikus elemzés érvek természetes nyelven

Levezethető lehetővé teszi, hogy végezzen egy logikus elemzés sokkal érvek kifejezett természetes nyelv mint ítéletlogika. Az új számítás, lehetséges, hogy vezessenek be mennyiségi jellemzőit szimbolikus érvelés. Ez erre a célra bemutatjuk az egyetemes és egzisztenciális kvantorokkal, kifejező univerzális (általános) véleményeket és saját ítéletét. De a legfontosabb előnye, hogy a predikátum kalkulus a ítéletlogika, hogy megadja a lehetőséget, hogy szimbolikusan bemutatni a belső logikai felépítését javaslatokat. Ezt a szerkezetet expresszálható vagy az alany-állítmány kapcsolatok a téma (alany) és annak tulajdonságot vagy jellegzetességet (predikátum) vagy n-személyes kapcsolatok különböző tárgyakat.

Alkalmi és számos tudományos érvelés általában valamely természetes nyelven. De az ilyen nyelv alakult ki az érdekeit a kommunikáció megkönnyítésére, ötletek megosztására rovására pontosság és egyértelműség. Logikai kalkulus kialakítani annak érdekében, hogy biztosítsák a szükséges pontosságot az érvelésünk, fordított ebből adódó hibát, és kijavítani azokat. A legegyszerűbb esetben egy ilyen elemzést el lehet végezni a segítségével a ítéletlogika, amelyben elvont logikai szerkezete az ítélet és látni őket, mint valami egésze, továbbá nem csökkenthető atomjai érvelés. De a bevétel e számítás nem elég, ha van, hogy elemezze sok a leggyakoribb érvek nemcsak a tudomány, hanem a mindennapi gondolkodás. Arisztotelész szillogisztikus borító mérhetetlenül nagyobb osztály vita, de hagyja figyelmen kívül azokat az érveket, amelyek magukban foglalják a különböző típusú kapcsolatokat. Pontos elemzés pontosan ilyen kapcsolatok fontos szerepet játszik a tudományos ismeretek, különösen a matematika és alkalmazásai az egzakt tudományok. Ezért a megjelenése a logikai kapcsolatok jelentősen bővült a határait alkalmazhatóságának logikai elemzés. Másrészt, a használata a szimbolikus nyelv és pontos matematikai módszerek egy új szimbolikus logika, a logika a gazdag kapcsolatok, jelentősen javult a hatékonyság, a szigor és a pontosság az elemzés.

Translation érvek természetes nyelvet ítéletlogika nyelven fut súlyos nehézségekkel, mert a súlyos torzulása az aktuális folyamat érvelés, amelyben az érdekelt nem csak a különböző kapcsolatokat ítéletek egymással, hanem a szerkezet ítéletek magukat. Levezethető lehetővé teszi, hogy pontosabban jelenítse érvelés, ami a természetes nyelv.

A levezethető, elsősorban létrehozott univerzum diskurzus vagy domain tárgyak kérdéses. Előre telepített, ahonnan tárgyak a világegyetem diskurzus nem szükséges. Azt feltételezni, hogy ebben az univerzumban létezik. Ezután válassza ki a predikátumok (vagy propozicionális funkciók), amellyel a logikai változók közti összefüggéseket megfogalmazni. Mind a kiválasztott kimutatás válik predikátumok, ha az összes változót figyelembe minden értéket a világegyetem a diskurzus, azaz amikor a változók célpontjaivá váltak (elemek) az univerzum a diskurzus. Az így kapott állítás igaz vagy hamis, de a kettőt egyszerre. Ezután válasszuk ki a megfelelő szimbolizmus a végső átadása természetes érvelés a levezethető nyelvet. Tehát szükség van arra, hogy bizonyos egyszerűsítések, mivel a logika célja, hogy tanulmányozzák a kommunikáció gondolatokat érvelés, megállapításait az egyik ítélet másoknak.

elemzés a nyelv és a fejlesztési logikán

Logika és nyelvészet - két területen az ismeretek, amelyek a közös gyökerek és szoros összefonódása a történelem fejlődését. Logic mindig az volt a fő célja, hogy felmérje és osztályozza a különböző módon az érvelés, forma következtetéseket, amelyeket egy személy használja a tudomány és az élet. Míg a hagyományos logika kellett küzdenie a gondolkodás törvényeinek és kommunikációs szabályokat, hogy kifejezett sredstavmi nyelvet, mint az azonnali valóság gondolat nyelvet.

A logika fontos általános logikai gondolkodás törvényeinek megvalósított bizonyos nyelvi struktúrákat. Logikai alkatrészek - fontos tényező a kialakulását a beszéd és szervezése a szövegben.

Frege elsőként javasolta a rekonstrukció következtetés alapján egy mesterséges nyelv (kalkulus), amely a teljes azonosítása az összes elemi lépéseit érvelés. A szimbolizmus logikai nyelv mennyiségi műveletek kerültek bevezetésre. Axiomatikus építése levezethető logikai predikátumok közé axióma és kimeneti szabályok átalakítására kvantorával formula és igazolják a következtetést. Így a logikája a tárgya tanulmány véglegesen eltolódott a gondolkodás törvényeinek és szabályainak kapcsolatuk a jeleket, mesterséges formális nyelvek.

A logika az érveket a megfelelő módon az egyik, amely soha nem vezetnek igaz hamis következtetésekre előfeltételei. Ez a követelmény lép érintkezésbe logika mint elmélet kiadási szemantika. A következtetés tekinthető érvényesnek, ha csak ha az igazság feltételei annak előfeltétele egy részhalmaza feltételeit az igazság az ő következtetéseket.

Ezzel szemben a szokásos szemantikai megközelítés indokolja kimenet kontextusban túl a klasszikus matematikai elméletek, ez a kihívás. Mivel hagyományos példákat érvelés, melyek elégtelen források szokásos szemantika vezethet kontextusban tartalmazó propozicionális beállítást ( „tudja, hogy ...”, „Hiszem, hogy ...”) és logikai modalitás ( „must”, „lehet”).

Ezért azt a következtetést, hogy a szükséges felülvizsgálatát az eljárás szemantikai vizsgálat következtetés, hogy annak alkalmazási köre.

Ennek része az általános megközelítés a szemantikai elemzése természetes nyelvi kifejezések már a bázis egy modell-elméleti szemantika. A megjelenése a matematikai elmélet modell járt az Advent a modern logika két egyenlő megközelítések - szintaktikai (elméleti bizonyítékok) és szemantikai (modell-elméleti). Az utóbbi jellemző az, hogy meghatározza a logikai értelmezése a hivatalos nyelv tekintetében, mint a formális intézmények, amelyek algebrai és a modell a nyelvet. A megjelenése és fejlődése ezen második megközelítés nem volt sem páratlan hatással van a további fejlesztési logika.

A fő eszköze minden változata a modell-elméleti szemantika egy rekurzív definíció az igazság.

Ez elég nyilvánvaló, hogy a logikai modalitás „szükséges”, „lehet” kifejezés azt az érvet, hogy olvassa el a különböző jellegét állítás igaz. Például tekintetében javaslatokat lehetne érvelni, hogy ők bizonyos feltételek mellett igazak, míg mások úgy vannak kialakítva, hogy mindig igaz és semmilyen körülmények között nem lehet hibásnak bizonyul. Továbbá, ha vesszük a szempontból, hogy a különbségek természete igazság miatt a különbség a természetben a kérdéses tárgyak egy igaz állítás, a tárgykörben a logikai modell egyaránt tartalmaznia kell valós tárgyak és tárgyak az összes lehetséges világok. De ez a különbség nem jelenti a standard szemantikája. Ezért a koncepció szemantika lehetséges világok javasolták már a felbontása nehézségek számszerűsíteni modális kontextusban, nagyrészt informális.

Az egyik legfontosabb probléma a logikai elemzés természetes nyelv - a probléma egyetlen logikai szerkezete mondatokat. Relevanciája elsősorban annak a ténynek köszönhető, hogy egyrészt, a berendezés a klasszikus elsőrendű logika általában értelmezik, tárgyiasult kijelentések, mint például „A hó fehér”, „A Föld kering a Nap körül”, stb Másrészt, van egy nagy számú javaslatot viszonylagossá a hangszóró, a logikai struktúra, amely nem teljesen egyértelmű, és úgy tűnik első pillantásra, hogy nem ért egyet a szabványos formában logikai szerkezetét. Ilyen például a következőket kínálja: „A hó fehér”, „Van eső?” „Sajnos, a Föld kering a Nap körül”, „Ígérem, hogy jöjjön”, stb Más szóval, van egy probléma illő viszonylagossá és tárgyiasult javaslatok belül néhány közös elképzelések általános logikai szerkezetének természetes nyelvi mondatok.

Az utóbbi évtizedekben, azt egyértelműen felismerték a külföldi analitikus filozófia, hogy a teljes nyelvi modell már nem korlátozódhat csupán a szemantikai megközelítés. Szükséges, hogy tartalmazza az általános nyelvi modell, a pragmatikus vonatkozásait annak működését. Ezért a kijelölt feladat -, hogy összekapcsolják egyetlen elmélet szemantikai és pragmatikai „oldalán” a nyelvet.

Különösen az várható, hogy bármely természetes nyelvi kifejezés kell venni az összefüggésben egy adott beszédaktus, mert a kapcsolat a igazságfeltételei mondatok és a természet a beszéd aktus elkövetett beadványában elengedhetetlen értékének meghatározásához. Ennek megfelelően, az elmélet értékét kell két részből áll - hivatkozások elmélet és az elmélet a nyelvhasználat. Ezért a fő probléma az elmélet értelmében, hogy azonosítsa kapcsolatokat ezek között „blokkok”, azaz az igazság feltételeit mondat és a tényleges gyakorlati felhasználásuk a nyelvet.

Kimutatására kapcsolat a két „egység” azt javasolta, hogy fontolja elmélet értékek ismerete igazság feltételek a képessége bizonyos empirikus azonosítása. Mivel ez a módszer a döntés az igazság érték mind a gyakorlati képesség, szükséges, hogy egy kapcsolat a tudás és a nyelvhasználat.

Így, a megértés érték társítás arra utal, nyelvi és nyelven kívüli ismeretek, egyértelmű és háttér-információkat. De ez így nehezen hivatalossá révén a modern matematikai logika. Mindazonáltal sok kutató jelenleg úgy tűnik, csak a megfelelő.

Összefoglalás és következtetések

Így egyértelmű, hogy mind a logika és a filozófia a nyelv tapasztalata az elmúlt évtizedben, az erős befolyását a nyelvészet. Kétségtelen hatásait logika nyelvészeti tanulmányok. Van azonban egy erős tendencia ellentétes - a különbség a különböző oldalán a két irányban. Például, kérdések a nyelvi pragmatika, ebből a szempontból messze a problémák modális logika.

Loss létre egység, bár úgy lehet tekinteni elkerülhetetlen következménye a specializáció, mégis természetes jelenség, amelynek meg kell majd egy új szakasz a konvergencia, a logika és a nyelvészet. Ez annál is inkább valós, hogy a keretet az ilyen konvergencia - a gyakorlati problémák megoldása - ott. Ez azért lehetséges, mert a folyamatos átalakulás a nyelvfilozófia a elmefilozófia. Ez az átalakulás az elmúlt évtizedekben jelentősen hozzájárult frissíteni a hagyományos tantárgyak, a szorosabb integráció a filozófia, a pszichológia, a logika és az elmélet a nyelvet. Ő minden bizonnyal jelentős hatással a döntést néhány gyakorlati probléma a modern élet.

Petrov VV A nyelvfilozófia a elmefilozófia. Proc. Filozófia. Logic. Nyelv. M. "Progress", 1987, pp 3-17.

Petrov VV Nyelv és logikai elmélet. Proc. Új külföldi nyelvészet. Vol. XVIII «logikus elemzés természetes nyelv.” M. "Progress", 1986. S.5-23.