Logikai gondolkodás - a logika fejlesztése. Logikai gondolkodásformák

Egy adott logikával összhangban.

A következő logikai műveletek megkülönböztethetők a gondolkodás szerkezetében:

• összehasonlítás;
• elemzés;
• szintézis;
• absztrakció;
• Általánosítás.

Összehasonlítás - mentális művelet alapul

Elemzés - a komplex objektum feldarabolásának mentális működése a rész összetevőibe vagy a jellemzők, amelyeket összehasonlításuk követ.

Szintézis - Üzemeltetés, inverz elemzés, amely lehetővé teszi az elemzés és a szintézis lehetővé teszi együttesen együtt, hozzájárulva a valóság mélyebb megismeréséhez.

Absztrakció - Az objektum és a figyelemelterelés alapvető tulajdonságainak és kötvényeinek elosztása másoktól, jelentéktelen.

Általánosítás - Az objektumok és jelenségek mentális egyesülete közös és lényeges jellemzőikben.

Formák logikus gondolkodás

A logikus gondolkodás fő formái:

• fogalmak;
• ítéletek;
• következtetés.

Koncepció

Fogalom - Gondolkodó forma tükrözi Röviden Specifikus és absztrakt.

Ítélet

Ítélet - Gondolkodó forma tükrözi Kommunikáció jóváhagyási forma vagy tagadás.

Felülvizsgálat

Felülvizsgálat - Kimenet.

Szétszerelt következtetések:

• induktív;
• deduktív;
• hasonlóképpen.

Indukció - logikai következtetés a magán gondolkodás folyamatában a tábornokig.

Levonás - logikai következtetés a gondolkodás folyamatában a magánszemélyre.

Analógia - logikai kimenet a gondolkodás folyamatában privát magánszemély

Az érzelmek nemcsak torzítani, hanem ösztönözni is a gondolkodást is. Ismeretes, hogy az érzés a gondolkodás, az élesség, az elkötelezettség és a kitartás. Mivel a pszichológia jóváhagyja, emelt érzés nélkül a termelékeny gondolat olyan lehetetlen, mint logika, tudás, készségek, készségek nélkül.

Logika és érzelmek a gondolkodás folyamatában

A más folyamatokkal ellentétben az adott logikával összhangban gondolkodunk. A gondolkodás szerkezetében a következő logikai műveletek megkülönböztethetők: összehasonlítás, elemzés, szintézis. Absztrakció és általánosítás.

Összehasonlítás - Gondolkodó művelet alapul Hasonlóság és különbségek megteremtése Tárgyak között. Az összehasonlítás eredménye olyan besorolás lehet, amely az elméleti ismeretek elsődleges formájaként működik.

Elemzés a mentális működését feldarabolása egy összetett objektum elemei annak egy részét vagy jellemzői azok későbbi összehasonlítás.

Szintézis - Működés, fordított elemzés Mentálisan újjáépíteni az analitikusan meghatározott részek egészét. Az elemzés és a szintézis általában együtt történik, hozzájárulva a valóság mélyebb megismeréséhez.

Absztrakció - Gondolkodó művelet alapul Ön megosztja a téma és a figyelemelterelés alapvető tulajdonságait és kötvényeit másoktól, jelentéktelen. Ezek a kiválasztott jellemzők független elemekként nem léteznek. Az absztrakció hozzájárul az alaposabb tanulmányhoz. Az absztrakció eredménye a fogalmak kialakulása.

A generalizáció az objektumok és jelenségek mentális szövetsége a közös és alapvető jellemzőik számára.

A logikai gondolkodás alapvető formái Fogalmak, ítéletek és következtetések.

Fogalom - Gondolkodó forma tükrözi Jelentős tulajdonságok, kommunikáció és kapcsolatok Témák és jelenségek kifejezve Röviden vagy szavak csoportja. Fogalmak lehetnek Specifikus és absztrakt.

Ítélet - Gondolkodó forma tükrözi Kommunikáció tárgyak és jelenségek között jóváhagyási forma vagy tagadás. Az ítéletek igaz vagy hamis lehetnek.

Felülvizsgálat - A gondolkodás formája, amelyen több ítélet alapján történik Kimenet.Induktív, levonási következtetések különböznek egymástól.

Az indukció logikus következtetés a magán gondolkodás folyamatában az általános. A levonás logikus következtetés a magánszemélyre gyakorolt \u200b\u200bgondolkodás folyamatában.

Analógia - Logikai kimenet a gondolkodás folyamatában privát magánszemély A hasonlóságok bizonyos elemei alapján.

Bár a gondolkodást logikai műveletek alapján végzik, nem mindig olyan folyamat, amelyben csak a logika és az elme érvényes. A gondolkodás folyamatában nagyon gyakran zavarja, megváltoztatja az érzelmeket. Érzelmek alárendelt az érzés érzése, arra kényszerítve az érveket, amelyek előnyben részesülnek a kívánt határozat javára.

Az érzelmek nemcsak torzítani, hanem ösztönözni is a gondolkodást is. Ismeretes, hogy az érzés a gondolkodó feszültségeket, élességet, elkötelezettséget és kitartást ad. Mivel a pszichológia jóváhagyja, emelt érzés nélkül a termelékeny gondolat olyan lehetetlen, mint logika, tudás, készségek, készségek nélkül.

Az absztrakt (logikai) gondolkodás fő formái a koncepció, az ítélet, a következtetés.

A nevezett logikai formák mindegyike a következő szakaszokban történik. Most röviden megfontoljuk őket annak érdekében, hogy lefedjék a logikai forma fogalmát.

Külön tárgyakat vagy aggregátumát tükrözi a saját tartalmukban eltérő fogalmak gondolkodásunk. Például egy "tankönyv" és "bűnözés" - fogalmak, amelyek teljesen különböző gondolati tárgyakat tükröznek. A tankönyv a tudomány alapjainak nyomtatott ismerete, és a jövő szakembereinek képzésére szolgál. A bűncselekmény társadalmilag veszélyes, jogellenes, bűnös és büntetendő cselekmény. Ahogy láthatja, ezek különböző témák ugyanolyan módon gondolkodik - hogyan bizonyos kombináció Általános, alapvető tulajdonságok és jelek vannak.

Miután kiemelve egy tétel jellegzetes jeleit, vagy egy bizonyos tárgyak megismétlődését és általános jeleit, létrehozzuk az "A" téma fogalmát, mivel az "A", "B", "C" alapvető jelei egyes kombinációja.

Így a különböző tételek tükröződnek az emberi gondolkodásban, mint egy bizonyos kapcsolat az alapvető jelek között, azaz Koncepció formájában.

Az ítélet formája tükrözi az objektumok közötti kapcsolatot és azok tulajdonságait. Ezeket a kapcsolatokat jóváhagyják vagy megtagadják. Például: "A vádlottnak van joga a védelemhez", és "a Volga nem esik a Fekete-tengerbe".

Ezek az ítéletek eltérőek a tartalmukban, de a tartalom komponenseinek kommunikációs módja megegyezik - ez a kapcsolat jóváhagyás vagy megtagadás formájában fejeződik ki. A logikai szimbólumokban elfogadott, az S (Latin-tól - az ítélet fogalmán alapuló alapul szolgáló) fogalmak kijelölése) - így jelzi az ítélet tárgyának fogalmát - és P (predikátum - Latin - mondta, jele, aláírja a téma) - A téma jelének fogalma, olyan rendszert kapunk, amely az ilyen típusú ítélet bármely megítéléséhez közös: "S - P", ahol S és P-fogalmak, amelyek Az ítéletben és a "-" jel -: a kapcsolatuk közötti kapcsolatot. Az S és P alatt meg fogja érteni minden elemet és tulajdonságait, a "-" - kommunikáció (és pozitív és negatív) aláírása alatt.

Így az ítélet bizonyos módja annak, hogy tükrözzék a valóságelemek kapcsolatát, amelyet jóváhagyás formájában vagy megtagadás formájában fejeznek ki.

Figyelembe véve azt a következtetést, hogy egy vagy több ítéletből új ítélet jelenik meg, lehetőség van arra, hogy az egyik típus következtetéseiben a kimenet ugyanúgy történik.

Például:

Minden filológus logikát tanul

A diákok filológusok vagyunk

Tanuljuk a logikát.

A kimenet ("A logika tanulmányozása") az előfeltételektől el kell távolítani, hogy a "filológusok" általános koncepciójához kapcsolódnak.

Ugyanígy, akkor a feltételezések szemantikai kapcsolódásának köszönhetően lehetőség van arra, hogy bármely más ítélet-tartalma következtetést kapjon.

Tehát kiemeljük a következtetések tartalmában közös valamit: a határozatok közötti kommunikációs módszer.

Miután figyelembe véve a gondolkodás alapvető formáit - a koncepciót, az ítéletet és a következtetést, találtunk valamit bennük, ami nem függ a gondolatok tárgyától, nevezetesen: a gondolat elemeinek kommunikációs módszere - jelek a koncepcióban , az ítélet és az ítélet fogalmai a következtetésben. Az ilyen kapcsolatok által okozott gondolatok tartalma önmagában nem létezik, de bizonyos logikai formákban: fogalmak, ítéletek, következtetések.

A logikai forma vagy gondolkodásmód a gondolkodás elemeinek kommunikációs módja, annak szerkezete, amelynek köszönhetően a tartalom létezik és tükrözi a valóságot.

A valódi gondolkodás folyamatában a gondolkodás tartalma és formája elválaszthatatlan egységben létezik. Nincs olyan értelme, hogy az űrlapot megfosztották, mivel nincs ilyen forma, ami értelmetlen lenne. De a speciális elemzés érdekében elvont a gondolatok tárgyát képezünk, és a formájuk tanulmányozására összpontosítunk. A tudomány logikájának legfontosabb feladata a legfontosabb feladat a logikai formák.

ilyen. Általános koncepció logikai forma.

A logikai gondolkodás fejlesztése hozzájárul ahhoz, hogy javítsa az embernek az oka, és következetesen és következetesen gondolkodjon. Olvassa el a logikai gondolkodás fejlődését.

Logikai gondolkodás és logika

A logika a mentális kognitív tevékenység formáinak, módszereinek és szabályainak tudománya.

Logika szükséges ahhoz, hogy az emberek szinte minden élethelyzetben: egy egyszerű beszélgetéssel kezdve egy ellenfélrel, választani az árut a boltban, és véget vet a komplex technikai vagy információs feladatok megoldásával.

A gondolkodás hozzájárul az egyes jelenségek indoklásainak megtalálásához. A logika elősegíti a világot a világ körül és a beszéd és az ítéletek építésének értékelésében.

5 Logikai gondolkodás jellemzői

A tudomány logikája az igazság elérésének módszereit tanulmányozza, kivéve az érzéki élményt, de a korábban kapott tudás során a környező dolgok tanulmányozására és ismeretén alapul.

Érdekes megkülönböztető tulajdonságok és a logikai gondolkodás fejlesztésének jellemzői:

Empirikus tudás

A logikai törvények alapja az empirikus tudás. Egy adott személy alakította a helyzetet, lett az incidens szemtanúja, látta következményeit, és következtetéseit és következtetéseit. A logika törvényei kísérletileg vannak kialakítva.

Megszerzett és nem veleszületett

A logika és a logikai gondolkodás megszerzése, és nem veleszületett emberek. Egy ember tanulmányozza és fejleszti őket az egész életúton.

A kényelem iránti vágy

Az emberek néha öntudatlanul nem akarnak gondolkodni és az illetékes logikai következtetések kidolgozására, próbálnak arra gondolni, hogy kényelmesebb és könnyebbé válik.

Cinikus számítás

Logikus következtetést, és gondolkodás eszközévé vált készítésére antihumán intézkedéseket.

A világ, amely körülveszi az embereket, két ellentétes oldala van: jó és gonosz, pozitív és negatív.

Ezért a logika, annak ellenére, hogy az összes előny, amelyet egy személyhez hozhat, sok kárt okozhat.

A cinikus számítás és a logika az utolsó tervre vonatkozik, mint az "önfeláldozás" és "szeretet a közelben".

Kutatás

A tudománynak van néhány axiómusa. Az ezek eltérése a mentális rendellenesség jele.

6 A logika fő axiómái

A logikai gondolkodás fejlesztése és javítása lehetetlen a logikai axiómák ismerete nélkül, amelyek az emberi világnézet alapja:

Visszafordíthatatlan idő

A gyermekkor óta az emberek megismerkednek a "tegnap" fogalmaival, "holnap", "ma." Ez az, hogy felismerik a múlt és a jövő közötti különbséget.

Vizsgálati kapcsolatok, sorrendjük

Az azonos tények létezésének lehetetlensége bizonyos ideig: az előnyével hőmérsékleti üzemmód A víz nem fagyasztható, és egy nő várja a gyermeket, nem rendelkezik lehetőséget arra, hogy terhes legyen.

Levonás

A deduktív gondolkodásmód logikai törvényeken alapul, és a magánszemélyek közösségéből származik: egy erős zuhany telt el, a fák nedvesek lettek. A levonási módszer 99,99% -ot ad igazi válaszra.

Indukció

Ez a következtetések módszere különösen különös és hasonló tulajdonságokra vonatkozik. különböző tárgyak És tárgyak: fák, út és autók nedvesek - van egy zuhany. Az induktív módszer az igazság 90% -a, mivel a fák és más elemek nemcsak az eső miatt nedvesek lehetnek.

Szekvenálás

Ha egy személy kissé teszik a stádiumokat egymást követő intézkedések, megkapja a várt és kielégítő eredményt.

Ember - egy illogikus teremtmény

A következtetések gyakran az erkölcs és az etika, és bizonyos esetekben jogszabályokkal rendelkeznek.

Végtére is, a mániákok és az emberek zavart psziché úgy vélik, hogy az erőszakos cselekedetek megölése és végrehajtása logikus.

A gyermekkori logikai gondolkodás természetellenes kialakulása az ellenségeskedések és a szélsőséges helyzetek körülmények között az embereket az emberiség szempontjából szörnyű cselekményeket követ el.

A tudomány nem tökéletes, így való élet A logika feladhatja az igazságot. Az élénk példa a helyzet, amikor egy nő logikusvá teszi a logikát, véleményében, a következtetés: Egy ember nem hívja, elidegenül, ez azt jelenti, hogy nem tetszik nekem.

A gyakorlatban az esetek 85% -ában az ellenkező nemű közömbösség a kapcsolatok kialakulásának és fejlesztésének érdeklődésének jele. És egy nő visszavonása során hibáztatja az induktív módszer hibáját.

A logikai gondolkodás funkciói

A tudomány fő feladata az, hogy valódi ismereteket szerezzen a gondolkodás témájáról, az érvelésen alapuló és a vizsgált jelenség és a helyzet különböző aspektusainak elemzése alapján.

A logika az egyes tudományokban ismert fő eszköz.

1. megvizsgálja a jóváhagyásokat és visszavonja az egyéb következtetéseket;
2. ismerje meg a kompetensen gondolkodni, ami segít az önmegvalósításban és a célok elérésében.

Hogyan kell logikai gondolkodást fejleszteni

Emberek keresnek belső harmónia, a siker és a jólét a létfontosságú tevékenység fő területén, meglehetősen természetes és tényleges kérdés: Hogyan kell logikai gondolkodást fejleszteni?

Minden személyt bizonyos mértékig fejlesztették ki. De a valóság optimális és legjobb megértése érdekében, és megkapja a képességét, hogy ezt bizonyos helyzetekben használják, gyorsan és kompetensen gondolkodni kell. Hogyan tanulhatom meg ezt?

Agyi képzés

Szükséges rendszeresen edzeni az agyat, nem a lynching, és nem elhalasztja később.

Sokan tévesen feltételezzük, hogy az emberek úgy tűnik, hogy az előzetes specifikus mentális potenciállal rendelkeznek, így nem válhatnak intelligensebbé, bölcsebbé vagy hülyebbé, mint a gének és a természet.

Ez az állítás helytelen, mivel bárki rendszeresen képezi gondolkodását, az életút végéig fejlődik.

Az önfejlesztés hatékony módszere az az állandó töltés az elme számára.

• Ajánlott B. szabadidő Só a gyermekek és a felnőttek számára létrehozott logikai feladatok. Meg kell oldani a rebusokat. Ne hagyja figyelmen kívül a különbségek típusának egyszerű rejtélyeit.

• Rendszeresen meg kell adnia a teszteket az IQ-on. Az eredmény nem nagyon fontos, a legfontosabb dolog, a folyamat, amely során a mentális és szellemi képességek fejlődése következik be.

• Játssz B. logikai Játékok Barátaival vagy ismerősekkel: sakk, backgammon és más fajok.

• Javasoljuk, hogy részt vegyen az önkifejlesztés és a tanulási tudományok.

• Meg kell tanulni, hogy vitatkozzanak a tények alapján, és megállapítják következtetéseiket.

• Meg kell szoknia a jó detektívek olvasását.

• A szakemberek azzal érvelnek, hogy az intuíció nagy szerepet játszik a logika fejlesztésében. Mivel nem paradox módon, hangzik, de egy személynek meg kell tanulnia, hogy bízzon benne. Végtére is, az intuíció a tudatalatti szinten végzett következtetések eredménye, amikor az emberek öntudatlanul felhívnak következtetéseket az agy által már megszerzett információkból.

3 Gyakorlatok a logikai gondolkodás fejlesztéséhez

A logikai gondolkodás kollektív gyakorlatok nagyon hatékonyak:

A híres mondatok, dalszerzők és közmondások kódolása

Egy embercsoport két vállalatra oszlik. Mindegyikük riválisokat kínál egy szemantikai rejtély megoldására, amely megakadályozza a szöveg tartalmát.

Példa: Az ingatlan egyházának minisztere élő lény volt. Annak ellenére, hogy a nagy érzelmek és a szeretet, a férfi erőszakos cselekedeteket okozott biológiai fajokMi vezetett az utóbbi halálos kimeneteléhez. Az ilyen viselkedés oka az volt az a tény, hogy egy élő állati termék egy darab, amelyet nem szándékoztak. Az ilyen tevékenységek algoritmusa végtelen.

Válasz: "A segg kutya volt ...".

Argumentumok és okok

A csapat egyik személye megkezdi a senkinek konkrét cselekedetének okait, majd az okok okait, és így tovább, amíg a viselkedés érvei tisztáznak.

Távolítsa el többet

Nagyon hasznos a gyakorlatok elvégzésére, ahol a szavak, számok vagy képek sorozata a logikus gondolkodás alapján kell eltávolítani.

Példa: Szék, szekrény, széklet, pouf.

Válasz: kabinet.

Ön ezt a gyakorlatot gondolkodhatsz magaddal, és tematikus játékokat igényel közösségi hálózatok, vagy a csapatban, ahol minden csapat önállóan feláll az ellenfelek feladatait.

A logikus gondolkodás fejlődésének gyakorlása segít a személyes növekedésben, az önkihatóság és a vitatott létfontosságú kérdések megoldásában.

Később, a Qin dinasztiájával ez a kutatási vonal eltűnt Kínában, mert akkor a legiafilozófia súlyosan elnyomta az összes többi filozófiai iskolát. Ismét a logika Kínában csak a buddhisták indiai logikájának behatolásával jelent meg, és tovább volt az európai és a közel-keleti logika fejlődésének mögött.

Indiai logika

A logika eredetei Indiában nyomon követhetők a VI. Századi BC nyelvtani szövegében. E .. A hat ortodox-hindu (vedy) shkolindian filozófia - a Nyaya és a Vaishechik - a tudás módszertana, logika a probléma mezőből.

Iskola neve "Nyaya" Így "logika". Fő megvalósítása és a logika és módszerek fejlesztése, amelyek később közös tulajdonvá válnak (CP. Arisztotelészi logika Európában). Az iskola fő szövege Nyaya-Sutra Akchapada Gautama (II. Század, pl.). Mivel a Nyaiki az egyetlen módja a szenvedés alóli mentességének megbízható tudásFinom módszereket fejlesztettek ki a hamis véleményekből származó megbízható tudásforrások kivételével. Csak négy tudásforrás van (négy bámulatos) következtetés, összehasonlítás és bizonyítékok. Szigorú öt tagú következtetési rendszer: a kezdeti csomag, az alap, például az alkalmazás és a kimenet.

Buddhista filozófia (amely nem része volt hat ortodox iskola) a Nyaikov fő ellenfele a logikában. Nagarjuna, Foundermadhyamiki ("középső út") kifejlesztett egy érvelés, amelyet "Katuskoth" vagy tetralme néven ismert. Ez a négyoldalú érv szisztematikusan ellenőrizte és elutasította a nyilatkozat jóváhagyását, annak megtagadását, a jóváhagyás és a megtagadás összetételét, és végül az eltérést és jóváhagyást, valamint annak megtagadását.

Dignagi és a Dharmakirti buddhista logika követője elérte a csúcsot. A központi kérdés az elemzések létrehozása volt (definíció) a szükséges logikai képesség (felvétel meghatározása), „vyapti”, más néven „állandó következő” vagy az „ítélet”. Ebből a célból kidolgozták az "Apha" vagy a megkülönböztetést, a jelek felvételének szabályait, hogy azonosítsák vagy megszüntessék őket.

Iskola navina Nyaya. ( "New Nyaya", "New Logic") alakult a XIII Ganesheya a XIII származó Mitıl, a szerző "Tatvavintami" ( "kincs gondolat valóság"). Ugyanakkor támaszkodott az XIIIIIIII. Elődeinek munkájára.

Európai és Közel-Kelet-logika

Az európai logika történetében lehetőség van a lépések elosztására: arisztotelészi, vagy hagyományos - a formális logika dominanciája - több száz éve folytatódott, amely alatt a logika nagyon lassan fejlődött ki; Scholastic Fejlessze, amelynek csúcsa a XIV. Századra esik; Modern színpad.

Az ókor logikája

Az ókori görög filozófiai logika alapítója ősi görög filozófus Arisztotelésznek tekinthető, mivel úgy vélik, hogy az első logikai elméletet hozta. Az arisztotelész elődei a logikai tudomány fejlődésében Ókori Görögország Volt parmenidek, Zeno Elayky, Ilaton. Arisztotelész először a logikai, megalapozott formák és logikai gondolkodás szabályainak megfizethető ismerete. Az "Organon" kompozíció ciklusa a logikában hat műalkotásból áll: "Kategóriák", "értelmezés", "Téma", "első elemzés" és "második elemzés", "Sophistical Taileal".

Arisztotelész után az ókori Görögországban a logikát a Stoik Iskola képviselői is fejlesztették ki. A tudomány fejlődéséhez nagy hozzájárulást tett a Cicero oratóriuma és a Quintilian művészetének ókori római teorejéért.

Logika középkorban

Ahogy közeledik a középfestékhez, a logika többet kapott széles használat. Elkezdte fejlődni arab tanulmányokat, például Al-Farabi (kb. 870-950). A középkori logikát scholasztikusnak nevezik, és a XIV. Században virágzik az Okkam tudósok, Albert Saxon és Walter Burley nevéhez.

Logika a reneszánsz korszakban és egy új alkalommal

Ez történelmi időszak A logikában a kiadványok tudományának sok rendkívül jelentős megjelenését megjegyezzük.

Francis Bacon 1620-ban közzéteszi az „új Organon”, amely tartalmazza az alapjait induktív módszerek javult Ledjone Stewart Millem és kapta a nevét megállapításának módszerei causals közötti jelenségei Bacon Mill. Az indukció (általánosítások) lényege az, hogy a tudást el kell alapozni. Meg kell keresnie a hibáinak okát is.

1662-ben Párizsban megjelent egy bemutató "logikai pórus-zongora" bemutató, amelyek szerzői P. Nicole és A. Arno, amely logikus tanítást hozott létre Ren Decartet módszertani elvei alapján.

Modern logika

A XIX - korai XX-évszázadok végén a T. N. alapjait matematikai, vagy szimbolikus, logika. Ez az, hogy a matematikai módszerek alkalmazhatók a természetes nyelv kifejezések igazságértékének kimutatására. Ez a szimbolikus logika használata, amely megkülönbözteti a modern logikai tudományt a hagyományos.

Hatalmas hozzájárulást nyújtottak a szimbolikus logikának fejlődéséhez olyan tudósok, mint J. Boulev, O. De Morgan, Frege, Ch. Logikai tudomány.

A XX. Század elejét a nem klasszikus logika elképzeléseinek kialakulása jelezte, amelyek számos fontos rendelkezése várható, és / vagy N. A. Vasilyev és I. E. Orlov.

A közepén a 20. század, a fejlesztés a számítástechnikai berendezések vezetett a megjelenése a logikai elemek, logikai blokkok és eszközök számítástechnikai berendezések, amely kapcsolatban állt azzal a további fejlesztés egy ilyen logikai területek, mint a problémát a logikai szintézis, logikai tervezés és logikai eszközök és számítástechnikai berendezések logikai modellezése.

A 20. század 80-ban a kutatás a mesterséges nyelvek és a logikai programozási rendszerek területén kezdődött. Létrehozása szakértői rendszerek használata és fejlesztése automata bizonyítási tételek, valamint a bizonyítási eljárások programozás ellenőrzéséhez algoritmusok és számítógépes programok.

A 80-as években a változások az oktatásban kezdődtek. A középiskolák személyi számítógépeinek megjelenése Számítástechnikai tankönyvek létrehozásához vezetett a matematikai logika elemeinek tanulmányozásával, hogy megmagyarázzák a számítástechnikai eszközök logikai elveit, valamint a számítógépek logikai programozásának elveit Az ötödik generáció és a számítástechnikai tankönyvek kidolgozása a predikátum tanulmányozásával a tudás alapján.

A tudományos logika alapvető koncepciói

Hagyományos logika

Donuktív és induktív érvelés a hagyományos logikában

• Indukció
• Levonás

Szilogisztika

• Szillogizmus
• Sillektromos elméletek

Klasszikus matematikai logika

Matematikai logika készülékei

Matematikai logika (Elméleti logika, szimbolikus logika) - A matematika szakasza megtanulja a matematika alapjainak bizonyítékát és kérdéseit. " A modern matematikai logika témája változatos."A P. S. Poretsky meghatározása szerint" matematikai logika Logika van a téma, a matematika a módszerrel" N. I. Kondakov meghatározása szerint " matematikai logika - a második, a hagyományos logika után, a formális logika kialakulásában, matematikai módszerek alkalmazásával és a szimbólumok speciális karakterével és a kalkulus segítségével (formalizált nyelvek). " Ez a meghatározás megfelel az S. K. Klini: a matematikai logika meghatározásának. a matematikai módszerek által kifejlesztett logika". A. A. Markov meghatározza a modern logikát" pontos tudomány matematikai módszerek alkalmazása" Mindezek a definíciók nem ellentmondanak, de kiegészítik egymást.

Alkalmazás a matematikai módszerek logikájában, amikor az ítéletek bizonyos pontos nyelven vannak kialakítva. Az ilyen pontos nyelvnek két oldala van: szintaxis és szemantika. A szintaxist a nyelvi objektumok (általánosan nevezett formulák) létrehozására vonatkozó szabályoknak nevezik. A szemantikát olyan megállapodásoknak nevezik, amelyek leírják a képletek megértését (vagy néhányat), és lehetővé teszik, hogy néhány képlet igaz, és mások - nem.

Fontos szerepet játszanak a matematikai logikában a deduktív elmélet és a kalkulus fogalmai. Mivel a kalkulusnak egy sor kimeneti szabályoknak nevezik, amelyek lehetővé teszik néhány képlet megfontolását. A kimeneti szabályok két osztályra vannak osztva. Némelyikük közvetlenül minősül néhány képletet. Az ilyen kimeneti szabályokat axiomáknak nevezik. Mások lehetővé teszik, hogy fontolja meg a letétbe helyezett képleteket A.Szintaktikailag egy előre meghatározott módszerrel van összekötve véges kimeneti képletekkel. A második típus széles körben használt szabálya a Modus Ponens szabály: Ha a képletek megjelennek A. És aztán eltávolítjuk és képletet B..

A számítás és a szemantika közötti arányt a számkulus szemantikai alkalmasságának és szemantikai teljességének fogalma fejezi ki. Calculus, és úgynevezett szemantikailag alkalmas az i nyelvre, ha bármelyik nyelv, és a nyelvi formula helyes. Hasonlóképpen, a kalkulus, és szemantikailag teljesnek nevezik az I nyelvben, ha az i-ben letétbe helyezett hű nyelvű formula.

Matematikai logikai tanulmányok logikai kapcsolatok és kapcsolatok logikai (deduktív) Következtetés alapjául szolgáló matematikai nyelv segítségével.

A matematikai logikában vizsgált nyelvek közül sok szemantikailag teljes és szemantikailag alkalmas kalkulus van. Különösen a K. Gödel eredménye ismert, hogy az úgynevezett klasszikus klasszikus predikátumok szemantikailag teljesek és szemantikailag alkalmasak az elsőrendű predikátumok klasszikus logikájának nyelvére. Másrészről van egy kevés nyelv, amelyre a szemantikailag teljes és szemantikailag megfelelő kalkulus kialakítása lehetetlen. Ezen a területen a klasszikus eredmény a hedel tétel a hiányos, jóváhagyva a szemantikailag teljes és szemantikailag megfelelő kalkulus lehetetlenségét a formális aritmetika nyelvén.

Érdemes megjegyezni, hogy a gyakorlatban számos elemi logikai művelet kötelező része az összes modern mikroprocesszornak az utasítások sorának kötelező része, és ennek megfelelően a programozási nyelvek szerepel. Ez a matematikai logika módszereinek egyik legfontosabb gyakorlati alkalmazása a modern számítástechnikai tankönyvekben.

Javaslat logika

• (Projekti logika)

Logikai predicatov

• A mennyiségek logikája
• Első rendelés logika
• Logika második sorrend

Számítások és logikai módszerek

• Megoldhatóság
• Szemantikai fa
• Beta asztalok
• AxioMatika
• Természetes kimenet
• Szekvencia (logika)

Logikai szemantika

• Algebrai szemantika
• Multivalikus elméleti szemantika
• A lehetséges világok relációs szemantikája
• Tartalom problémás szemantikai logikai rendszerek
• Katagorn szemantika
• A szemantikai kategóriák elmélete

Törvények logika

• Személyazonossági törvény
• A kizárt harmadik törvénye
• Ellentmondás törvénye
• Elegendő alapítvány törvénye
• Törvények de Morgana
• A deduktív következtetések törvényei
• Törvénykönyv
• A felosztás törvényei

A modellek elmélete

A matematikai logika szakasza, amely a formális nyelvek és értelmezéseik, vagy modelljeik közötti kommunikáció tanulmányozásával foglalkozik. Név a modellek elmélete Először 1954-ben ajánlott Tarsky-nek. A modellek elméletének fő fejlődését a műhelyben, Maltsevben és Robinsonban kaptuk.

Bizonyítékelmélet

A matematikai logika ezen része, amely a formális matematikai tárgyak formájában bizonyítékot képvisel, elemzést végeznek matematikai módszerekkel. A bizonyítékokat általában induktív adatstruktúrák formájában nyújtják be, például az axiómákkal összhangban létrehozott listák és fák, valamint a formális rendszerek kibocsátására vonatkozó szabályok. Így a bizonyítékelmélet szintaktikai, Nem úgy mint szemantikus Modellelmélet. Együtt az elmélet a modellek, axiomatikus halmazelmélet és az elmélet a számítástechnikai, az elmélet a bizonyítékok egyike az úgynevezett „négy pillére” a matematika alapjait.

A logikai kimenet elméletei

• Logikai kimenet elméletei (logikai kimenet elmélete)
• Nyomon követési elmélet (nyomon követési elmélet)
• A következmények elméletei (a következmények elmélete)
• Anyagi implikáció

Nem osztályú logika

Logika a következők nem klasszikus megértésével

• Releváns logika
• PAREEN RESISTANT LOGIC
• Non-soundon logika
  • Dinamikus logika

Logika, amely megszünteti a kizárt harmadik törvényét

• Intuitionista logika
• Konstruktív logika
• Logika kvantummechanika (Kvantum logika)

Logika az igazság táblázatok megváltoztatása

• Multivissal logika
• Kétjegyű logika
• Háromjegyű logika

Logika, a nyilatkozat összetételének bővítése

• Logikai kérdések
• Logikai becslések
• Logikai norma

Modális logika

• Modalitás
• Illetymodalitások (albélymodalitás, albélyalmális logika, albélymodális logika)
• Deautic Modality, DEAUTIC MODAL LOGIC, DEAUTIC MODAL LOGIC)
• Episztemológiai módok (episztemológiai modalitás, episztemológiai modális logika, episztemológiai modális logika)
• Ideiglenes módozatok (ideiglenes modalitás, ideiglenes modális logika, ideiglenes modális logika)

• Szigorú implikáció
• Anyagi implikáció

Nem célzott logikai elméletek

• Induktív logika
• Probabilisztikus logika
• Logikai megoldások
• A fuzzy fogalmak logikája (a fuzzy-készletek logikája, fuzzy logika)
• Analógia (analógia következtetés).

Egyéb nem klasszikus logika

• Kategorikus logika
• A kombinatorikus logika a logika, amely helyettesíti változó funkciók Annak érdekében, hogy tisztázzuk az ilyen intuitív műveleteket a változók helyettesítésével. A kombinatorikus logika alapján az aritmetikai rendszer minden részlegesen rekurzív funkciót tartalmaz, és elkerüli a Gödel hiányosságát.
• Feltételes logika (hagyományos logika). A témája - igazság feltételes mondatok (különösen a szubjektív hajlam). A megsértő állítások logikája.

Alkalmazások logika

A logika és a logikai szemantika problémái

• Alkalmazások logika filozófia
• Alkalmazások logika a teológiában
• Logikai alkalmazások jogi tudományokban
• Alkalmazások logika más tudományágakban

A logika alkalmazása a kognitív eljárások elemzésében

A formák logikai elemzése és a tudás technikái

• Gondolkodási formák
• Meghatározás
• Osztályozás
• Absztrakció
• Eszményítés
• Axiomáció
• Formalizáció
• Az érvelés logikai problémái
• Logikai bizonyíték

Logikai alkalmazások a tudományos módszertanban

• A tudomány módszertana
• Logikai tudomány
• Logika és empirizmus

Alkalmazások logika filozófia

• Alkalmazások logika filozófia
• Logikai alkalmazások az ontológiában
• A logika alkalmazása az episztemológiában
• Alkalmazások logika az etikában
• Az érvelés logikai problémái (az érvelem elmélete)
• Analitikai filozófia

A pszichológia logikai alkalmazásai

• Kognitív tudomány
• Kognitív pszichológia
• Nyitó logika

Mivel a logika meghatározza a törvényeket és a gondolkodásmódot, problémát jelent a logikai C, amely a nintációra támaszkodik. A korlátozások nélküli kreativitás idealizáció: az észlelés pszichológiai törvényei korlátozzák, vagy például a készítmény törvényei a vizuális művészetben. A kreativitás nemcsak az előterjesztés képességét jelenti Érdekes ötletDe a képesség, hogy meggyőzően igazolja azt és végrehajtja azt egy bizonyos szabályok, ezért követnie kell valamilyen gondolkodási szabályokat.

Alkalmazások logika nyelvészetben

• A nyelv logikai elemzése
• Analitikai filozófia

Logikai alkalmazások a számítógépes tudományokban

• Dinamikus logika (dinamikus logika)
• Program logika (program logika)
• A szakértői rendszerek logikája (szakértői rendszerek logikája)
• Logika a számítógép-tudományban
• Bizonyíték programozás
• Automatikus bizonyíték tétel
• Logikai programozás

Az emberi képesség szívében három összetevő gondolkodni, az úgynevezett gondolkodásmód. Ennek az az oka, hogy az emberi agynak olyan magassága van, és képes az elemzés és a szintézis legösszetettebb folyamatára. Az első gyakorlatok ezen a területen az ősi világban merültek fel.

De a modern elmélet alapítója Arisztotelésznek tekinthető. Ő volt, aki elosztotta a gondolkodás fő formáit.

• koncepció;
• ítélet;
• felülvizsgálat.

A gondolkodás mindig létezik néhány formában, és kölcsönhatásba lépnek, képet alkotnak az intellektus és a világképesség emberi tudatáról.

Ennek a folyamatnak az alapja a koncepció.

Koncepció

A koncepció olyan mentális folyamat, amely megkülönbözteti a különféle objektumokat és jelenségeket általánosságú megkülönböztető és alapvető jeleket.

Az ilyen jelek jelentősek lehetnek (közös) és jelentéktelen (egyetlen). Például egy négyszögből beszélve mindannyian különböző számokat fognak bevezetni. Valaki ez egy négyzet, valaki trapezing, és valaki bemutathat egy alakot különböző oldalakkal. De mindezen ellenére egy közös - 4 sarkuk van, ami pontosan ez lesz a közös vagy alapvető jellemző, amely egyesíti a négyszög fogalmát. De a felek egyenlősége és a szögek nagyságának mutatói elszigeteltek, vagy irreleváns jelek, amelyek szerint ezek a számok feloszthatók, téglalapok, parallelogramok stb.

A koncepció csak alapvető, általánosító jeleket tükröz. Például egy sportoló fogalma olyan embereket jelent, akik egy vagy egy másik sportban részt vesznek, és nem számít, hogy mi az, a korcsolyázás vagy a kosárlabda.

Bemutatás a témában: "Gondolkodó dolgok. A logika alapjai"

A konkrét és absztrakt fogalmakat is megkülönböztetik:

• Egy konkrét koncepció az, amit egyértelműen megfogalmazott jellemzők, és tükrözi a környező világ eseményeit, tárgyait és jelenségeit, például: "Game", "Water", "Snow".
• Az absztrakt koncepció jellemzi az absztrakt ötleteket, amelyeket nehéz elképzelni és osztályozni, például: "jó", "gonosz", "szerelem".

Lehetetlen elképzelni az életünket anélkül, hogy a fogalmakat használná a fogalmak használatának lehetőségét, ebben az esetben a bolygó minden egyes tárgyát szó szerint nevezzük, és az erdőről beszélnünk kell, hogy fel kell sorolnom a "neveket" Minden fák.

A fogalmak az egész emberi mentális tevékenységet alapozzák. Önkevertük őket egymás között, tudunk kommunikálni egymással, vonjanak levonásokat és felfedezhetjük. A második gondolkodásmód részt vesz ebben a tevékenységben.

Ítélet

Az ítélet olyan gondolkodási folyamat, amely meghatározza a jelenségek és tárgyak fogalmai közötti kapcsolatot az eljárás során, hogy a nézet a korábban kapott információk alapján alakul ki.

Közös, magán- és egyedi ítéletek kiosztása. Például az általános a "víz minden tengeren sózott", magán - "egyes tengerek belsőek", és egyetlen egy - a fekete tenger sós 14 ‰.

Szintén megkülönbözteti a formális és empirikus. Ha hivatalosan az objektumok közötti kapcsolat tényeit jóváhagyják, az igazságuk jóváhagyása nélkül ("fűzöld", a "macska négy mancsával rendelkezik"). A, empirikus ítélet - jellemzi a két objektum közötti kapcsolat tényét a megfigyelés alapján, amelynek eredményeképpen ellenőrizhető a hitelességük ("lásd, hogy a fű zöld legyen").

Az ítéletek a több koncepció közötti közvetlen észlelt kapcsolat kifejezésével vannak kialakítva.

Például, ha 3 ilyen fogalmat észlelünk "ember", "kutya", "póráz", megítélhetjük, hogy egy személy sétál egy kutyával. Több bonyolult módon Ez az ítéletek kialakulása, függetlenül a fogalmak jelenlététől. Például: "Az én szomszédom minden nap egykor egy kutyával sétál, de ma nem, azt jelenti, hogy elmentek a faluba." Ennek alapján a háttérben „A hiánya az udvarban a szomszéd kutyával” össze a korábban kapott információkat. Az ilyen következtetés a gondolkodás harmadik formája - a következtetéssel.

Felülvizsgálat

A következtetés a legmagasabb gondolkodásmód, amelyben a gondolat a szintézis eredményeképpen alakul ki, és több ítéletet és fogalmat feldolgoz.

Az ilyen következtetéseket logikus módon állítják elő. Például ismert, hogy "az ábra korcsolyázó egy sportoló, aki a korcsolyázáshoz kapcsolódik". Azt is ismert, hogy "Ivanov, aki a korcsolyázáshoz kapcsolódik". Ezek alapján Ivanov korcsolyázó.

Leginkább egy személy kétféle következtetést használ - ez egy indukció és levonás. De tartalmaznak analógiát és feltételezést is.

A levonás egy gyakori érvelés, és az indukció az egyetlen fogalmak összefoglalása.

• Levonás. A levonás használatával ismerhetjük meg az egyéni jelenségek és tények jelentését Általános törvények. Például, tudva, hogy a víz befagyasztása során bővül, és a csomagolás megsérül, feltételezhető, hogy az ilyen termékek tárolása és szállítása pozitív hőmérsékleten kell végrehajtani.
• Indukció. Indukcióval vezetjük, elkezdjük a tudás felhalmozódását arról, hogyan több Hasonló tulajdonságokkal rendelkező tárgyak. Ugyanakkor minden, ami csökkenti a másodlagos és nem jelentős. Ennek eredményeként meg tudod csinálni általános következtetés A vizsgált koncepció tulajdonságai vagy szerkezete. Például, ha a "mérgező állatok" fogalmát a leckében elemezzük, először úgy határozzák meg, hogy mérgezőnek tekinthetők. Ezután arra a következtetésre jut, hogy a mérgező, sok pókot és a mérgező és még néhány halat és kétéltű rovarokat kígyóznak. És ennek alapján általános következtetés a halálos állatok létezésén alapul, amelyeket tudnia kell, és képesnek kell lennie megkülönböztetni.
• Az analógia egyszerűbb módja a következtetésnek. Ezt a gondolkodási formát leggyakrabban pszichológiai minták felépítésére használják. Ebben az esetben a következtetés a legjelentősebb jellemzők hasonlóságán alapul. Vagyis, ha a csoportból 30 embertől 6 nyugodt és lassú, akkor arra lehet következtetni, hogy a legvalószínűbb, hogy a flegmatikus jellegű emberekhez kapcsolódnak.
• A feltételezés nem tekinthető megbízható következtetéssel, mivel ez megtörtént, anélkül, hogy nincs bizonyítéka. Az emberiség történelmének leghíresebb feltételezése volt N. Copernicus nyilatkozata a bolygónk formájában és mozgásában. E következtetésre jutott a megfigyelések alapján. Értesítési ciklusok a nap és az évszakok megváltoztatásában, azt javasolta, hogy a föld a tengelye körül és a nap körül forogjon. De a következtetéseinek bizonyítéka csak több száz év.

A gondolkodás minden emberi tevékenységen alapul. Ez az előrehaladás motorja, az emberi lényeg alapja, a tudat tudatának és az elme tudatának alapja.

Egyes állatoknak külön és primitív gondolkodásmódja van, de csak az emberi elme több ezer változáson ment keresztül fejlődésük folyamatában, kijött a "háború" győztese.

A koncepciókkal való együttműködésnek köszönhetően, hogy megítélje az ítéleteket és szintetizálja a következtetést, az emberiség a fejlődési ponton van, amelyben most vagyunk. A tér fejlesztése, a csúcstechnológiai gépek építése, az orvostudományi eredmények, mindezek kötelesek vagyunk arra, hogy bármilyen felfedezés kiindulópontjaként gondolkodjunk.