A logika az, hogy az ilyen logika meghatározása

Gr. logike) - a tudomány a bizonyítás módszere és cáfolat; egy sor tudományos elméletek, melyek mindegyike tekinthető bizonyos módon a bizonyítékok és ellenérveit. Arisztotelész tartják az alapító a logika. Különbséget tenni az induktív és deduktív logikát, és az utolsó - klasszikus, intuitionistic, szerkezeti, modális, stb Mindezen elméletek egyaránt elkötelezettek a katalogizálás ilyen módszerek az érvelés, amely az igaz ítéletet, feltevések vezetnek valódi bírói következményei ;. katalogizálás történik, mint általában, a logikai kalkulus. Egy különleges szerepet gyorsuló tudományos és technológiai fejlődés játék alkalmazási logikát számítástechnika, automaták elmélete, a nyelvészet, a számítástechnika és a többiek. Lásd. Mivel a matematikai logika.

↑ Kiváló felbontású

Hiányos meghatározás ↓

↑ Kiváló felbontású

Hiányos meghatározás ↓

Gr. logike, honnan logikos konstrukciójú szóló érvelés) fegyelem, hogy a tanulmányok formái és törvényei helyes, azaz a szolgálhat, hogy bővítse a tudás a mentális konstrukciók. L. meg kell különböztetni, mint tudomány L. kommunikációs és dinamika logikailag helyes gondolkodás (gondolkodás L.). Hatálya tudományos. LA magában foglalja a fejlődés és a kutatás ikonikus struktúrák (kalkulus formális rendszerek), figyelembe véve az egyes töredékek reality (modellek), az általános tulajdonságokat, amelyek megjelennek logikus gondolkodás és elfoglalták az ikonikus struktúrák.

Kezdve a 2. emeleten. 5. BC. e. L. (dialektika) tanított a görög szofisták. A természet ezt „Art Society” látható a Platón, Ch. karakter a ryh van tanára Szókratész. Be a párbeszédek „sokratich. módszer „egyértelműen mutatja, hogy filozófia. a gondolat, hogy időben erősen lefoglalt logikai készség. meghatározások és besorolások, valamint bizonyítékot módszerével csökkenteni az abszurditás (rcductio ad absurdum). Képzési végezte L. Ch. arr. példák-mintákat. A követelés az építőiparban a vita tartalmazza a témaválasztás és a képesség, hogy kapcsolja be egy bizonyos módon, mint ahogy a sofistich. 5. A tankönyv. BC. e. „kettős beszéd” azt bizonyítják, hogy a lehetőséget, és elutasításának indoklása az azonos dolgozat. Dialektikája az egy raj végül lett „a tudomány igazolja,” Arisztotelész egy nappali-CIÓ követelés kezelő viták, beszélgetések, megtanította neki gyakorolni, mint egy jármű.

Arisztotelész után L. megkapta a további fejlesztése az iskolában az ő tanítványai (Theophrastus Eudemus), valamint a filozófia. Sztoikus iskola (3-2 kb. Ie. E.), Kidolgozta a feltételes szillogisztikus és elválasztás (azaz a parcellákat tartalmazó alternatívák) érvelés. Iskola Sztoikusok felismerte az egyik L. Ch. rész filozófia, amely egyesíti a tényleges logikus. problémák kérdéseket ismeretelmélet és szerkezete a nyelv és a beszéd.

Késői görög. Filozófia hagyomány. Az oktatás értelmezésén alapul Arisztotelész szövegeket. Mivel a középkori. Zap. Európa elérkezett uralni a telepítés létrehozása tankönyvek az arány hét bölcsész. L. (mint tájnyelvi) együtt grammatika és retorika lépett Trivium - alacsonyabb szintű tanfolyam és akár 19 címen. Ez is része volt a klasszikus oktatás. Döntő befolyást a kialakulását a hagyomány a tanulmány L. volna fordította latinra. lang. „Organon” által készített Boethiusz.

Angliában is elterjedt alapú Bacon induktivista irányba to-Roe a 19. században. Ez testesül munkaerő J. S. Mill „rendszer és a logika szillogisztikus induktív” (1843). Azonban az angol nyelvű tankönyvek L. egyaránt kifejtett elmélet levonása és indukciós (t. H. hipotézis és az analógia).

A Ser. 19. Úgy kezdődött mathematicization L. hoztak létre logikus. fogkő, élvezve jellegét. jelentkezzen eszköz (logikus. szimbolizmus). 1847-ben a munkálatok matematikusok Angliába George. Boole „Mat. Elemzése Logic „és A. de Morgan” formális logika „a to-ryh megtalálta az első tényleges végrehajtása Leibniz vetette fel a logikus. formalizációs: levonása és valószínűsíthető (valószínűségi) érvek már korábban elhangzottak formájában bizonyos algebrai. rendszereket. Ped. szempont az új megközelítés LA tükröződik a munka az USA-Jae wonsam aki épített mechanikus. logikus. gép, amely arra szolgált, hogy bizonyítani a legegyszerűbb érvelés és képzésből a munka a logikus. formalizmus. Az ott dolgozik. logikája Frege (késő 19 -... elején a 20. században) hozta létre az új, eltérő az algebrai, formális logikai. nyelv, amely jelentősen gazdagítja a L. (L. létrehozása predikátumok, azaz a. e. L. tulajdonságok és kapcsolatok). Jelentése Mat. (Szimbolikus). L., mint egy új fejlődési szakaszában az ősi tudomány teljes mértékben megvalósítani, miután a vajúdás Angliában, A. N. Uaytheda és B. Russell «Principia Mathematica» (1910-1913), valamint a munka Hilbert kiadású 1900-1920 -x években. (Németország).

Mivel a formáció Mat. LA bejutott december ismeretek területén: a technológia, jellemek. és a humán. Ez a folyamat összefüggésbe hozták a bővítés a kör vnelogich. értelmezések (modellek) és logikai alkalmazásokhoz. becslések, valamint a felfedezés egy szoros kapcsolat az ötletek Math. LA és a algoritmusok elmélete. Matem.-logikus. azt jelenti, hatásosnak találtuk az elemzés a természet. és építésekor formális nyelvi séma nyelv és beszéd jelenségek; használták őket algoritmikus. leírása információfeldolgozás folyamatok gondolkodási és tanulási folyamatokban.

A közepén. 20. Mat. Az LG a tételek között szükséges a magasabb. Mat. oktatás. A fejlesztés a kibernetika és Informatikai L. lett lényeges eleme a készítmény széles körű szakemberek, nyitott több lehetőségeit annak alkalmazása az ped. gyakorlatban (lásd. algoritmikus, számítógépes oktatás).

A 17-18 században. L. tanított Ch. arr. részeként a retorika ( „Retorika” M. V. Lomonosova) vagy a filozófia. Tehát, filozófia. Georgiya Konisskogo természetesen tanított a Kijev-Mohyla Acad. a 18. században. megnyitott szakasz L.

By con. 19 - korán. 20. században. L. tanított Sze világi (nyelvtan) és a lelki fiókot. intézmények, mind a humanitárius ip perces un-ing. Egy sor eredeti Hazafias. kutatást arról, hogyan L. filozófia. (MI kariai, L. V. Rutkovsky) és Math. orientáció (PS Poretsky, EL Bunitsky, IV Sleshinsky, S. O. Shatunovsky), minden olyan megközelítés, amely egyesíti a hagyományos filozófia. telepítés a vágy, hogy vegye figyelembe a megvalósítását Math. L. (SI Povarnin, N. A. Vasilev).

1917 után L. tanítása Sze és magasabb. iskola szüntetni; formális L. tekinteni, mint egy „osztály idegen” tudomány. Mat. kutatás területén L. (II Zhegalkin, V. I. Glivenko, A. N. Kolmogorov) zártak részeként matematika. AL független. tudományos. fegyelem gyakorlatilag megszűnt.

A fejlesztés a kibernetika és az informatika vezetett, hogy jelentős változás a tartalommal, mint a filos.-logikai és logikai-matem .. kutatás. A 70-80-es években. Hazafias. logika filozófusok kezdték alkalmazni a technikát építési és elemzése logikus. fogkő és logikai-matematikai lép munkája filozófia. és kibernetich. kérdések. Megjelent könyvek és számla. előnyök L. kombinálni filozófia. és Math. orientáció. A mai. L. (filozófia. És Math.) Aktívan kigondolni ped. szempontokat. Mivel számla. Ez lett a tárgya L. Kötelező: komponenseként képzési szakemberek december profilok, a Vol. h. a ped. oktatás. A con. 80s-90s. Ross. Federation kapcsolatban orientáció bizonyos típusú Sze Jaj. intézmények a klasszikus. oktatás (tornatermek, líceumok) L. reenters a kör az általános oktatás. tudományág.

↑ Kiváló felbontású