Koncept logického myslenia

Pred úvahami o rozvoji logického myslenia u detí vo veku základnej školy si definujme, čo je myslenie ako psychofyziologický proces ako celok.

Predmety a javy reality majú také vlastnosti a vzťahy, ktoré možno poznať priamo pomocou vnemov a vnemov (farby, zvuky, tvary, umiestnenie a pohyb telies vo viditeľnom priestore), a také vlastnosti a vzťahy, ktoré možno poznať iba nepriamo a prostredníctvom zovšeobecnenia, t.j. cez myslenie. Myslenie sú mentálne procesy odrážania objektívnej reality, ktoré sú najvyššou úrovňou ľudského poznania.

Myslenie je najvyšší kognitívny duševný proces. Podstata tohto procesu spočíva v generovaní nových poznatkov na základe tvorivej reflexie a pretvárania reality človekom.

Myslenie ako zvláštny duševný proces má množstvo špecifických vlastností a znakov. Prvým takýmto znakom je zovšeobecnený odraz reality.

Druhým, nemenej dôležitým, znakom myslenia je nepriame poznanie objektívnej reality.

Ďalšou najdôležitejšou charakteristickou črtou myslenia je, že myslenie je vždy spojené s riešením konkrétneho problému, ktorý vznikol v procese poznávania alebo v praktickej činnosti. Myslenie vždy začína otázkou, ktorej odpoveď je cieľom myslenia. Navyše, odpoveď na túto otázku sa nenachádza okamžite, ale pomocou určitých mentálnych operácií.

Mimoriadne dôležitou črtou myslenia je jeho neoddeliteľné spojenie s rečou. Vždy myslíme slovami, t.j. nemôžeme myslieť bez vyslovenia slova. Myslenie je teda zovšeobecnené reflektované a sprostredkované poznanie reality.

Vo všeobecnosti, pokiaľ ide o pojem „myslenie“, je potrebné poznamenať niekoľko názorov.

Po prvé, keďže výkladový slovník S.I. Ozhegov, myslenie je „schopnosť človeka uvažovať, čo je proces odrážania objektívnej reality v reprezentáciách, úsudkoch, konceptoch“. Poďme si tento pojem rozobrať.

Človek by o okolitom svete vedel veľmi málo, keby sa jeho znalosti obmedzili len na svedectvo jeho analyzátorov. Možnosť hlbokého a širokého poznania sveta otvára ľudské myslenie. Nie je potrebné dokazovať, že obrázok má štyri rohy, pretože ho vidíme pomocou analyzátora (videnia). Ale to, že druhá mocnina prepony sa rovná súčtu štvorcov nôh, nemôžeme ani vidieť, ani počuť, ani cítiť. Tento druh koncepcie je nepriamy.

Podľa E.G. Revina, myslenie je najvyššia úroveň ľudského poznania reality. Zmyslovým základom myslenia sú vnemy, vnemy a predstavy. Prostredníctvom zmyslových orgánov - to sú jediné komunikačné kanály medzi telom a vonkajším svetom - sa informácie dostávajú do mozgu. Obsah informácií spracováva mozog. Najzložitejšou (logickou) formou spracovania informácií je činnosť myslenia. Pri riešení duševných úloh, ktoré život kladie pred človeka, reflektuje, vyvodzuje závery a tým spoznáva podstatu vecí a javov, objavuje zákonitosti ich spojenia a na tomto základe potom pretvára svet. Myslenie je nielen úzko späté s vnemami a vnemami, ale na ich základe sa formuje. Prechod od pocitu k mysleniu je zložitý proces, ktorý spočíva predovšetkým vo výbere a izolácii objektu alebo jeho atribútu, v abstrakcii od konkrétneho, individuálneho a v ustanovení podstatného, ​​spoločného mnohým predmetom.

V dielach V.V. Levitské myslenie pôsobí najmä ako riešenie problémov, otázok, problémov, ktoré pred ľudí neustále kladie život. Riešenie problémov by malo vždy dať človeku niečo nové, nové poznatky. Hľadanie riešení je niekedy veľmi ťažké, takže duševná činnosť je spravidla aktívna činnosť, ktorá si vyžaduje sústredenú pozornosť a trpezlivosť.

Rogov E.I. pod myslením rozumie proces kognitívnej činnosti jednotlivca, charakterizovaný zovšeobecneným a sprostredkovaným odrazom reality. Vychádzajúc z vnemov a vnemov, myslenie, prekračujúce hranice zmyslových údajov, rozširuje hranice nášho poznania na základe svojej povahy, čo umožňuje nepriamo – inferenciou – odhaliť to, čo nie je priamo dané – vnímaním.

A. V. Petrovský definuje myslenie ako spoločensky podmienený duševný proces, nerozlučne spojený s rečou, hľadanie a objavovanie niečoho zásadne nového, proces sprostredkovanej a zovšeobecňovanej reflexie reality v priebehu jej analýzy a syntézy. Myslenie vzniká na základe praktickej činnosti zo zmyslového poznania a ďaleko presahuje jeho hranice.

S.L. Rubinstein interpretuje myslenie ako zovšeobecnené a sprostredkované poznanie objektívnej reality.

V Ruskej pedagogickej encyklopédii sa myslenie chápe ako „proces ľudskej kognitívnej činnosti, ktorý sa vyznačuje zovšeobecneným a nepriamym odrážaním predmetov a javov reality v ich podstatných vlastnostiach, súvislostiach a vzťahoch“.

Tradičné definície v psychologickej vede zvyčajne fixujú dve z jej základných čŕt:

• všeobecnosť a
• sprostredkovanie.

Myslenie je teda najvyšší, najviac zovšeobecňujúci a sprostredkovaný proces odrážania reality v ľudskom vedomí, nadväzovanie spojení a vzťahov medzi poznateľným a predmetmi, odhaľovanie ich vlastností a podstaty.

V procese myslenia, pri interakcii vonkajších a vnútorných podnetov v mozgovej kôre, sa začínajú excitovať a fungovať dočasné nervové spojenia, ktoré sú fyziologickými mechanizmami procesu myslenia. Hlavnou črtou ľudského myslenia je, že je schopné identifikovať nielen náhodné, jednotlivé, ale aj podstatné, nevyhnutné súvislosti založené na skutočných závislostiach, pričom ich oddeľuje od náhodných náhod. Akékoľvek ľudské myslenie sa odohráva v zovšeobecneniach, od jednotlivca k všeobecnému a od všeobecného k jednotlivcovi, poznamenáva L.M. Wecker.

Myslenie ako proces sa najplnšie objavuje vtedy, keď človek rieši akýkoľvek problém. Túto cestu riešenia možno rozdeliť do 4 fáz:

• prvým je vznik ťažkosti, rozporu, otázky, problému;
• druhým je vypracovanie hypotézy, návrhu alebo projektu na riešenie problému;
• tretím je vykonávanie rozhodnutia;
• štvrtým je overenie riešenia praxou a následné vyhodnotenie.

Úspech úlohy závisí od toho, ako sa správne vykonávajú mentálne operácie, ako sa používajú rôzne formy a typy myslenia.

Myslenie je zvláštny druh činnosti, ktorá má svoju štruktúru a typy.

Najčastejšie sa myslenie delí na teoretické a praktické. Zároveň v teoretickom myslení existujú pojmový a obrazový myslenie, ale v praxivizuálno-figuratívne a vizuálne efektívne.

Konceptuálne myslenie je myslenie, v ktorom sa používajú určité pojmy.

Obrazové myslenie je typ myšlienkového procesu, v ktorom sa používajú obrazy. Tieto obrázky sa získavajú priamo z pamäte alebo sú znovu vytvorené predstavivosťou.

Vizuálno-figuratívne myslenie je typ myšlienkového procesu, ktorý sa uskutočňuje priamo s vnímaním okolitej reality a bez nej sa nedá uskutočniť.

Vizuálne efektívne myslenie je špeciálny druh myslenia, ktorého podstata spočíva v praktickej transformačnej činnosti realizovanej so skutočnými predmetmi.

Takže rozmýšľam:

Toto je najvyšší kognitívny proces;

Toto je pohyb myšlienok, odhaľujúci podstatu vecí. Jeho výsledkom nie je obraz, ale nejaká myšlienka, nápad;

Ide o teoretickú a praktickú činnosť, ktorá zahŕňa systém akcií a operácií, ktoré sú v nej zahrnuté, predbežne - výskum; transformačný a kognitívny charakter;

Toto je najvyššia úroveň ľudského poznania. Umožňuje získať poznatky o takých objektoch, vlastnostiach a vzťahoch reálneho sveta, ktoré nie je možné priamo vnímať na citlivej úrovni poznania.

Ak je problém vyriešený pomocou logického uvažovania, potom človek používa logické myslenie.

Artemov A. K. nazýva logické myslenie, ktoré postupuje vo forme uvažovania, je konzistentné, konzistentné, opodstatnené.

Logika študuje logické formy myslenia – pojem, úsudok, záver. Ich ovládanie odráža podstatu logického myslenia.

Pojem je myšlienka, ktorá odráža všeobecné, podstatné a charakteristické (špecifické) znaky predmetov a javov reality. Je zvykom rozlišovať medzi všeobecnými a singulárnymi pojmami.

Všeobecné pojmy sú tie, ktoré pokrývajú celú triedu homogénnych predmetov a javov, ktoré nesú rovnaké meno. Napríklad pojmy "stolička", "budova", "choroba" atď. Všeobecné pojmy odrážajú vlastnosti, ktoré sú charakteristické pre všetky objekty, ktoré spája zodpovedajúci pojem.

Singulárne sa nazývajú pojmy označujúce akýkoľvek jeden objekt. Jednotlivé pojmy sú súhrnom poznatkov o jedinom predmete, no zároveň odrážajú vlastnosti, ktoré možno pokryť iným, všeobecnejším pojmom. Napríklad pojem „Jenisej“ zahŕňa skutočnosť, že ide o rieku, ktorá preteká územím Ruska.

Úsudok je odrazom súvislostí medzi predmetmi a javmi reality alebo medzi ich vlastnosťami a vlastnosťami.

Rozsudky sú:

generál;

Súkromné;

Slobodný.

Vo všeobecných úsudkoch sa niečo potvrdzuje (alebo popiera) s ohľadom na všetky objekty danej skupiny, danej triedy, napríklad: „Všetky ryby dýchajú žiabrami“. V súkromných úsudkoch sa potvrdenie alebo negácia už nevzťahuje na všetky, ale len na niektoré predmety, napríklad: „Niektorí študenti sú vynikajúci študenti“; v jednotlivých úsudkoch - len k jednému, napr.: "Tento študent sa dobre nenaučil."

Myslenie je proces vytvárania záverov s logickými operáciami na nich (Vekker M.L.).

záver - spôsob myslenia umožňujúci človeku vyvodiť nový záver zo série úsudkov. Inými slovami, na základe analýzy a porovnania existujúcich rozsudkov sa urobí nový rozsudok.

Existujú dva hlavné typy uvažovania – indukcia a dedukcia.

Indukcia - toto je záver od konkrétnych prípadov k všeobecnému stanovisku.

Dedukcia je taký záver, v ktorom je záver od všeobecného rozsudku k jedinému rozsudku alebo od všeobecného stanoviska k určitému prípadu.

Analógia je spôsob uvažovania charakterizovaný skutočnosťou, že z podobnosti dvoch predmetov vo viacerých znakoch a ak jeden z nich má dodatočnú vlastnosť, sa usudzuje, že druhý predmet má rovnakú vlastnosť.

Duševná činnosť ľudí sa uskutočňuje pomocou mentálnych operácií: porovnávanie, analýza a syntéza, abstrakcia, zovšeobecňovanie, konkretizácia. Všetky tieto operácie sú odlišnými aspektmi hlavnej činnosti myslenia – mediácie, t.j. odkrývanie čoraz podstatnejších objektívnych súvislostí a vzťahov medzi predmetmi, javmi, faktami.

Porovnávanie je porovnávanie predmetov a javov s cieľom nájsť medzi nimi podobnosti a rozdiely. KD Ushinsky považoval operáciu porovnávania za základ porozumenia. Napísal: „... porovnávanie je základom každého chápania a každého myslenia. Všetko na svete poznáme iba porovnaním ... “.

Analýza a syntéza sú najdôležitejšie mentálne operácie, ktoré sú neoddeliteľne spojené. V jednote dávajú úplné a komplexné poznanie reality.

Analýza je mentálne rozdelenie objektu alebo javu na jeho jednotlivé časti alebo mentálne oddelenie jednotlivých vlastností, znakov, vlastností v ňom.

Syntéza je mentálna kombinácia jednotlivých častí predmetov alebo mentálna kombinácia ich jednotlivých vlastností.

Abstrakcia je mentálna abstrakcia od akýchkoľvek častí alebo vlastností objektu s cieľom zvýrazniť jeho podstatné črty.

Zovšeobecnenie je mentálne spojenie predmetov a javov podľa ich spoločných a podstatných znakov.

Konkretizácia je mentálna reprezentácia niečoho jediného, ​​čo zodpovedá konkrétnemu konceptu alebo všeobecnej pozícii.

Schopnosť logicky myslieť podľa A.V. Petrovského, zahŕňa niekoľko komponentov: schopnosť sústrediť sa na podstatné črty predmetov a javov, schopnosť riadiť sa zákonmi logiky, budovať svoje činy v súlade s nimi, schopnosť vykonávať logické operácie, vedome ich argumentovať, schopnosť vytvárať hypotézy a vyvodzovať z týchto predpokladov dôsledky atď. .d. Preto pre neho logické myslenie zahŕňa množstvo komponentov: schopnosť určovať zloženie, štruktúru a organizáciu prvkov a častí celku a zamerať sa na podstatné znaky predmetov a javov; schopnosť určiť vzťah objektu a predmetov, vidieť ich zmenu v čase; schopnosť poslúchať zákony logiky, na tomto základe objavovať zákonitosti a vývojové trendy, vytvárať hypotézy a vyvodzovať z týchto premís dôsledky; schopnosť vykonávať logické operácie, vedome ich argumentovať.

Psychológ L.F. Tikhomirova vo svojej štúdii o psychologických a pedagogických základoch školstva správne poznamenáva, že logika myslenia nie je daná človeku od narodenia. Zvláda to v procese života, v tréningu. Zdôrazňujúc dôležitosť matematiky pri výchove logického myslenia, vedec zdôrazňuje všeobecné ustanovenia organizácie takéhoto vzdelávania:

Trvanie procesu výchovy kultúry myslenia, jeho každodenná realizácia;

Neprípustnosť chyby v logike prezentácie a odôvodnenia;

Zapájanie detí do neustálej práce na zlepšovaní ich myslenia, čo by považovali za osobne významnú úlohu;

Zahrnutie do obsahu školenia systému určitých teoretických vedomostí, po prvé, vedomostí o metódach orientácie pri vykonávaní duševných činností.

Rozvoj logického myslenia dieťaťa je procesom prechodu myslenia z empirickej roviny poznania (vizuálne efektívne myslenie) do vedeckej a teoretickej roviny (logické myslenie), po ktorom nasleduje formovanie štruktúry vzájomne prepojených komponentov, kde komponenty sú metódy logického myslenia (logické zručnosti), ktoré poskytujú holistické fungovanie logického myslenia.

Logické myslenie je teda typ myslenia, ktorého podstatou je operovať s pojmami, úsudkami, úsudkami založenými na zákonoch logiky, ich porovnávaním a koreláciou s činmi alebo súborom mentálne logicky spoľahlivých činov alebo operácií myslenia. prepojené vzormi príčin a následkov, ktoré umožňujú harmonizovať dostupné poznatky s cieľom opísať a transformovať objektívnu realitu.

Rozvoj logického myslenia prispieva k zlepšeniu schopnosti človeka dôsledne a dôsledne uvažovať a myslieť. Prečítajte si viac o rozvoji logického myslenia.

Logické myslenie a logika

Logika je veda o formách, metódach a pravidlách mentálnej kognitívnej činnosti.

Logika je potrebná pre ľudí takmer vo všetkých životných situáciách: počnúc jednoduchým rozhovorom s protivníkom, výberom tovaru v obchode a končiac riešením zložitých technických či informačných problémov.

Myslenie prispieva k hľadaniu ospravedlnenia určitých javov. Logika pomáha zmysluplne hodnotiť svet okolo nás a kompetentne budovať reč a úsudky.

5 znakov logického myslenia

Veda o logike študuje metódy dosiahnutia pravdy, s vylúčením zmyslovej skúsenosti, a je založená na procese štúdia a poznávania okolitých vecí na základe vedomostí, ktoré boli získané skôr.

Existujú zaujímavé charakteristické črty a črty rozvoja logického myslenia:

empirické poznatky

Empirické poznatky slúžia ako základ pre logické zákony. Konkrétna osoba sformovala situáciu, stala sa očitým svedkom incidentu, videla ich dôsledky a urobila si vlastné závery a závery. Zákony logiky sa formujú experimentálne.

Získané, nie vrodené

Logika a logické myslenie je nadobudnutá, nie vrodená vlastnosť ľudí. Človek ich študuje a rozvíja počas celej životnej cesty.

Snaha o pohodlie

Ľudia niekedy podvedome nechcú rozvíjať myslenie a robiť kompetentné logické závery, snažiac sa myslieť pohodlnejšie a jednoduchšie.

cynická vypočítavosť

Logické uvažovanie a myslenie sa môže stať nástrojom na páchanie neľudských činov.

Svet, ktorý obklopuje ľudí, má dve opačné strany: dobro a zlo, pozitívnu a negatívnu.

Preto logika, napriek všetkým výhodám, ktoré človeku prináša, môže priniesť veľa zla.

Cynická vypočítavosť a logika dávajú do pozadia také pojmy ako „sebaobetovanie“ a „láska k blížnemu“.

Vedecký

Veda má určité axiómy. Odchýlka od nich je znakom duševnej poruchy.

6 hlavných axióm logiky

Rozvoj a zdokonaľovanie logického myslenia nie je možné bez znalosti logických axióm, ktoré sú základom svetonázoru človeka:

Nezvratnosť času

Od detstva sa ľudia oboznamujú s pojmami „včera“, „zajtra“, „dnes“. To znamená, že si začínajú uvedomovať rozdiel medzi minulosťou a budúcnosťou.

Vyšetrovacie súvislosti, ich postupnosť

Nemožnosť existencie rovnakých skutočností v určitom časovom období: pri pozitívnom teplotnom režime nemôže voda zamrznúť a žena, ktorá čaká dieťa, nemá možnosť otehotnieť.

Odpočet

Deduktívna metóda myslenia je založená na logických zákonitostiach a vedie od všeobecného ku konkrétnemu: prešiel silný lejak, stromy zvlhli. Metóda odpočtu dáva 99,99% pravdivú odpoveď.

Indukcia

Táto metóda inferencie vedie od všeobecného ku konkrétnemu a je založená na podobných vlastnostiach rôznych predmetov a predmetov: stromy, cesty a autá sú mokré - prší. Indukčná metóda má 90% presnosť, pretože stromy a iné predmety môžu zmoknúť nielen dažďom.

Sekvenovanie

Ak osoba vykoná niekoľko po sebe nasledujúcich akcií v etapách, potom dostane očakávaný a uspokojivý výsledok.

Človek je nelogická bytosť

Dedukcie sú veľmi často v rozpore s morálkou a etikou a v niektorých prípadoch aj s legislatívou.

Maniaci a ľudia s narušenou psychikou totiž veria, že keď zabíjajú a vykonávajú násilné činy, konajú logicky.

Neprirodzené formovanie logického myslenia od detstva v podmienkach nepriateľstva a extrémnych situácií následne provokuje ľudí k páchaniu hrozných činov z hľadiska ľudstva.

Veda nie je dokonalá, takže v skutočnom živote môže byť logika nižšia ako pravda. Pozoruhodným príkladom je situácia, keď žena podľa jej názoru urobí logický záver: muž nevolá, správa sa rezervovane, čo znamená, že ma nemá rád.

Ako ukazuje prax, v 85% prípadov je ľahostajnosť opačného pohlavia znakom záujmu o vytváranie a rozvoj vzťahov. A v závere ženy sú na vine chyby induktívnej metódy.

Funkcie logického myslenia

Hlavnou úlohou vedy je získať pravdivé poznatky o predmete reflexie na základe uvažovania a analýzy rôznych aspektov skúmaného javu a situácie.

Logika je hlavným nástrojom používaným v každej dnes známej vede.

1. skúmať výroky a vyvodzovať z nich ďalšie závery;
2. naučiť sa múdro myslieť, čo pomôže pri sebarealizácii a dosahovaní cieľov.

Ako rozvíjať logické myslenie

Ľudia usilujúci sa o vnútornú harmóniu, úspech a pohodu v hlavných oblastiach života si kladú úplne prirodzenú a relevantnú otázku: ako rozvíjať logické myslenie?

Každý človek to má do určitej miery vyvinuté. Ale pre optimálne a najlepšie pochopenie reality a schopnosť používať ju v určitých situáciách je potrebné vedieť rýchlo a kompetentne logicky myslieť. Ako sa to môžeš naučiť?

tréning mozgu

Je potrebné pravidelne trénovať mozog, neleniť a neodkladať na neskôr.

Mnohí sa mylne domnievajú, že ľudia sa rodia s predbežne špecifickým mentálnym potenciálom, a preto sa nemôžu stať múdrejšími, múdrejšími alebo hlúpejšími, ako majú gény a príroda.

Toto tvrdenie nie je pravdivé, pretože každý človek, ktorý pravidelne trénuje svoje myslenie, sa rozvíja až do konca svojej životnej cesty.

Účinnou metódou sebazdokonaľovania je neustále cvičenie mysle.

• Odporúča sa vo voľnom čase vyriešiť akékoľvek logické hádanky vytvorené pre deti aj dospelých. Hádanky treba riešiť. Nezanedbávajte jednoduché hádanky ako „spoznajte rozdiel“.

• Musíte pravidelne absolvovať IQ testy. Výsledok nie je veľmi dôležitý, hlavný je proces, počas ktorého dochádza k rozvoju duševných a duševných schopností.

• S priateľmi alebo známymi by ste mali hrať logické hry: šach, backgammon a iné.

• Odporúča sa venovať sa sebavzdelávaniu a štúdiu vied.

• Je potrebné sa naučiť argumentovať, opierať sa o fakty a argumentovať svojimi závermi.

• Treba si osvojiť návyk čítať dobré detektívky.

• Odborníci tvrdia, že pri rozvoji logiky hrá dôležitú úlohu intuícia. Akokoľvek paradoxne to znie, človek sa jej musí naučiť dôverovať. Koniec koncov, intuícia je výsledkom dedukcií na podvedomej úrovni, keď ľudia nevedome vyvodzujú závery z informácií, ktoré už raz mozog dostal.

3 cvičenia na rozvoj logického myslenia

Kolektívne cvičenia na logické myslenie sú veľmi účinné:

Kódovanie známych fráz, veršov piesní a prísloví

Skupina ľudí je rozdelená do dvoch spoločností. Každý z nich vyzýva svojich súperov, aby vyriešili sémantickú hádanku, ktorá prezrádza obsah textu.

Príklad: Kazateľ cirkvi vlastnil živú bytosť. Napriek veľkým citom k nemu a náklonnosti sa muž dopustil násilných činov na biologických druhoch, ktoré viedli k jeho smrti. Dôvodom tohto správania bolo, že živá bytosť zjedla kus živočíšneho produktu, ktorý jej nebol určený. Algoritmus takýchto akcií je nekonečný.

Odpoveď: "Kňaz mal psa ...".

Argumenty a dôvody

Jedna osoba z tímu začne hľadať dôvody konkrétneho konania niekoho, potom dôvody dôvodov atď., kým sa neobjasnia argumenty správania.

Odstráňte prebytok

Je veľmi užitočné vykonávať cvičenia, kde je potrebné na základe logického myslenia odstrániť prebytok zo súboru slov, čísel alebo obrázkov.

Príklad: stolička, skriňa, taburetka, taburetka.

Odpoveď: skriňa.

Pomocou tohto cvičenia môžete trénovať myslenie sami, uchýliť sa k tematickým hrám na sociálnych sieťach alebo v tíme, kde každý tím samostatne vymýšľa úlohy pre súperov.

Cvičenia na rozvoj logického myslenia pomôžu každému človeku v osobnom raste, sebapotvrdení a riešení kontroverzných životných otázok.

Myslenie je najvyšším stupňom ľudského poznania. Je založená na neustálych zmenách myšlienok a konceptov. Umožňuje získať také poznatky, ktoré nie sú priamou informáciou získanou pomocou prvého signalizačného systému. V klinickej psychológii myslenie označuje najvyššie duševné funkcie – najzložitejšie duševné procesy.

Vlastnosti myslenia sú predmetom rôznych vedeckých sekcií. Takže napríklad psychofyziologické mechanizmy tvoria základ všeobecnej a vývinovej psychológie, fyziológia vyššej nervovej činnosti a formy myslenia a zákonitosti, ktorými proces prebieha, sú predmetom štúdia logiky (aj keď sú ovplyvnené aj v časti psychológie).

koncepcie

Pojem ako forma myslenia umožňuje spoznať podstatu predmetov a javov, nadviazať medzi nimi spojenia, určiť vzťah predmetov vo vzťahu k sebe, zovšeobecniť znaky.

Existuje vo forme slov, ktoré môžu znamenať niečo jedinečné (jeden objekt - „Mars“, „Tichý oceán“), všeobecné („Budova“, „Človek“), špecifické („Stôl“, „Lyžica“), abstraktné ( „Milosrdenstvo“, „večnosť“). Je dôležité pochopiť, že pojem odráža podstatné vlastnosti predmetov, predmetov, javov.

Príklady toho: trojuholník možno odlíšiť od iných geometrických tvarov prítomnosťou troch uhlov (hoci má iné znaky - dĺžku, plochu atď.) a zviera má také znaky, podľa ktorých sa dá odlíšiť od osoby alebo rastliny .

Pojem ako forma myslenia všeobecného charakteru je výsledkom procesu chápania všeobecných vlastností na základe jednotlivých objektov. Je to kvôli získavaniu nových vedomostí. Utváranie pojmov je vždy pohybom k všeobecnému od konkrétneho. Tento proces sa nazýva „zovšeobecnenie“ a je predmetom štúdia na niektorých odboroch psychológie (všeobecná, veková, klinická).

Proces asimilácie pojmov vychádza z praktických skúseností – ak je ich nedostatok, pojmy môžu nadobudnúť skreslenú podobu, zužovať sa alebo rozširovať. Často sa vyskytuje u detí predškolského veku a do určitej miery u detí základných škôl. Napríklad hmyz pre nich nie sú zvieratá a pavúk je len hmyz. Porušenie asimilácie konceptov u dospelých je charakteristickým znakom zníženej inteligencie (mentálna retardácia).

Pojem ako forma myslenia nie je identický s vnímaním a reprezentáciami pamäte: má abstraktný a zovšeobecnený charakter.

Rozsudok

Úsudok ako forma myslenia zahŕňa potvrdenie alebo popretie nejakého faktu, udalosti, vlastnosti, vlastnosti, spojenia. Prejavuje sa to vo frázach, no musíme si uvedomiť, že nie každá fráza je súd. Takže citoslovcia alebo jednoslabičná veta sa na túto formu myslenia nevzťahuje (príklady: „Ach!“, „Ako?“).

Vety majú tendenciu mať naratívnu povahu: "Zem sa točí okolo slnka."

Rozsudok môže byť pravdivý alebo nepravdivý, čo je určené logikou. Prvý zahŕňa prítomnosť jedného subjektu s charakteristikami alebo porovnanie dvoch subjektov.

Pri oddeľovaní jednoduchého úsudku slová prestávajú niesť sémantickú záťaž. Príklad: "Myš je menšia ako mačka." Ak sa táto veta rozdelí na dve, význam sa stratí.

Zložené rozsudky sú rôzne kombinácie, ktoré pozostávajú zo zložitého a jednoduchého rozsudku, dvoch zložitých alebo dvoch jednoduchých rozsudkov. Príklady: "Ak krupobitie prejde, rastliny môžu trpieť." Tu sa „rastliny môžu trpieť“ javí ako obyčajný súd.

Úsudok ako forma myslenia komplexnej povahy je nemožný bez gramatických spojok („ale“, „alebo“, „a“, „ak áno, potom ...“, „kedy ..., potom ...“, atď.).

Je potrebné rozlišovať medzi úsudkom a inými logickými formami myslenia: pojem je vyjadrený slovom a záver je záver.

Táto forma myslenia môže byť aj:

• kladné („Botanika je veda o rastlinách“, „Tiger je predátor“);
• negatívny („Táto veta je postavená nesprávne“, „V ruských mestách medvede nechodia po uliciach“).

Existuje ďalšia klasifikácia. Všeobecný úsudok zahŕňa afirmáciu (negáciu), ktorá odkazuje na javy, subjekty spojené spoločným konceptom („Všetky zdravé mačky majú štyri nohy“). Súkromné ​​zahŕňa časť predmetov, subjektov, javov, ktoré spája pojem („Niektorí básnici sú grafomania“). Vlastnosť jednotlivca je vyjadrená v jednom rozsudku („F.M. Dostojevskij je autorom knihy Zločin a trest“).

V skutočnosti rozsudok odhaľuje obsah pojmu (alebo viacerých) – preto je pre výrok potrebné poznať obsah všetkých použitých pojmov.

záver

Inferencia ako forma myslenia sa formuje pomocou niekoľkých úsudkov. Dostupné informácie teda umožňujú získať nové poznatky.

Táto forma myslenia patrí k tým najvyšším, keďže spája pojmy a úsudky.

Dedukcia môže byť správna alebo nesprávna. Keď hovoria o tejto vlastnosti, majú na mysli teoretickú možnosť verifikácie, keďže správnosť záveru je subjektívny jav, ktorý možno dlhodobo overovať experimentmi a logickým uvažovaním.

Medzi úsudkom a dedukciou je úzka súvislosť, pretože bez prvého je nemožné. Úsudky sú:

• deduktívne, ktoré sú výsledkom procesu mentálneho uvažovania od všeobecného ku konkrétnemu;
• induktívne - zovšeobecňovanie postupuje od konkrétneho k všeobecnému;
• postavená na analógii, ktorá využíva vlastnosť javov a predmetov, ktoré majú podobné črty.

Vzájomne pôsobiaci koncept, úsudok a záver tvoria obraz ľudského vedomia, vnímania a sú základom pre rozvoj inteligencie.

Pozoruhodným príkladom inferencie je dôkaz geometrických viet.

Takže hlavné formy myslenia sú tri zložky, bez ktorých je myšlienkový proces nemožný. Vďaka nim je ľudský mozog schopný analyzovať a syntetizovať, vytvárať logické spojenia, čo vedie k intelektuálnemu rozvoju. Štúdium týchto čŕt myslenia patrí k hlavným úsekom logiky, ako aj k niektorým úsekom psychológie.

Logika je veda, ktorá študuje metódy a metódy správneho myslenia a chápania reálneho sveta. Ide o prirodzené, konzistentné myšlienkové procesy, pomocou ktorých môžete vidieť a určiť kauzálny vzťah, ktorý sa vyskytuje medzi predmetmi a javmi.

Potrebujeme logické myslenie, aby sme mohli včas analyzovať a aplikovať predtým prijaté informácie. Pomáha nám riešiť rôzne problémy (od vypracovania najkratšej cesty do domu až po vypracovanie rozsiahleho podnikateľského plánu). Logické myslenie vám umožňuje oddeliť hlavné od sekundárneho, nájsť vzťahy a plne analyzovať situáciu.

Vďaka logike môžeme zdôvodňovať rôzne javy, vedome pristupovať k riešeniu dôležitých problémov a kompetentne zdieľať svoje myšlienky.

Aké sú typy logického myslenia?

Myslenie je proces spracovania prijatých informácií, ktoré prichádzajú z vonkajšieho sveta. Pri prijímaní akýchkoľvek informácií je človek schopný prezentovať ich vo forme určitého obrazu, prezentovať predmet, keď nie je nablízku.

Existujú tieto hlavné typy logického myslenia:

1. Vizuálne a efektívne- v dôsledku riešenia problému je človek schopný transformovať ho vo svojich myšlienkach na základe predtým získaných skúseností a vedomostí. Najprv človek pozoruje situáciu, potom sa pokúša vyriešiť problém pomocou pokusov a omylov, po ktorých sa vytvorí teoretická aktivita. Tento druh myslenia zahŕňa rovnakú aplikáciu teórie a praxe.
2. Vizuálne-figuratívne- Myslenie sa deje na úkor reprezentácie. Najtypickejšie je to pre deti predškolského veku. Na vyriešenie problému deti často používajú obrázky, ktoré môžu byť v pamäti alebo vytvorené fantáziou. Tento typ myslenia majú aj ľudia, ktorí sú spojení s takým typom činnosti, pri ktorej je potrebné rozhodovať sa na základe pozorovania predmetov alebo ich obrázkov (nákres, diagram).
3. abstraktno-logický- tento typ myslenia sa nezaujíma o jednotlivé detaily, zaujíma ho proces myslenia ako celok. Aby sme sa v budúcnosti vyhli problémom s riešením dôležitých problémov, je dôležité rozvíjať abstraktno-logické myslenie už od raného detstva. Tento druh myslenia sa prejavuje v troch hlavných formách: koncept, úsudok, záver.

Koncept kombinuje jeden alebo viac homogénnych objektov, ktoré ich rozdeľuje podľa podstatných znakov. Túto formu myslenia je potrebné rozvíjať u detí v ranom veku, definovať všetky predmety a vysvetliť ich význam.

Rozsudok môže byť jednoduchý alebo zložitý. Môže to byť potvrdenie nejakého subjektu alebo popretie jeho vzťahu s inými subjektmi. Príkladom jednoduchého úsudku sú jednoduché frázy: „Masha miluje kašu“, „Mama miluje Anyu“, „Mačka mňau“ atď. Takto rozmýšľajú bábätká, keď začínajú spoznávať svet okolo seba.

Inferencia je logická analýza toho, čo sa deje, ktorá je založená na niekoľkých úsudkoch.

Každý človek môže samostatne rozvíjať logický typ myslenia riešením špeciálnych problémov, rébusov, krížoviek, hádaniek.

Logické mentálne operácie

Logické mentálne operácie pozostávajú z:

• prirovnania,
• abstrakcia,
• zovšeobecnenia,
• špecifikácia,
• analýza,
• syntéza.

spôsobom prirovnania dokážeme pochopiť dôvod nášho zlyhania a následne tomuto problému a podmienkam, za ktorých vznikol, venovať náležitú pozornosť.

proces abstrakcie umožňuje odviesť pozornosť jedného predmetu od iných úzko súvisiacich predmetov. Abstrakcia umožňuje vidieť predmet, určiť jeho podstatu a dať mu vlastnú definíciu. Abstrakcia sa týka duševnej činnosti človeka. Umožňuje vám porozumieť javu a ovplyvňuje jeho najvýznamnejšie charakteristické črty. Abstrahovaním od problémov sa človek dozvie pravdu.

Zovšeobecnenie umožňuje kombinovať podobné predmety a javy podľa spoločných znakov. Sumarizácia sa zvyčajne používa na zhrnutie alebo zostavenie pravidiel.

Taký myšlienkový pochod špecifikácia pravý opak zovšeobecňovania. Slúži na správne pochopenie reality, nedovoľuje mysleniu odtrhnúť sa od skutočného vnímania javov. Konkretizácia neumožňuje našim vedomostiam získať abstraktné obrazy, ktoré sa v skutočnosti stávajú zbytočnými.

Náš mozog používa každý deň analýza na podrobné rozdelenie na časti predmetu alebo javu, ktoré je pre nás nevyhnutné. Analýzou javu alebo predmetu dokážeme identifikovať jeho najdôležitejšie prvky, ktoré nám v budúcnosti pomôžu zlepšiť naše zručnosti a znalosti.

Syntéza práve naopak, z malých detailov vám umožní urobiť si veľký obraz o dianí. S jeho pomocou môžete porovnať prebiehajúce udalosti triedením niekoľkých samostatných faktov. Hádanky sú príkladom syntézy. Pri skladaní mozaiky predstavujeme jednu alebo druhú jej časť, pričom odložíme nadbytočné a pridáme potrebné.

Aplikácia logiky

Logické myslenie sa používa takmer v každej oblasti ľudskej činnosti (humanitné vedy, ekonomika, rétorika, tvorivá činnosť atď.). Napríklad v matematických vedách alebo filozofii sa používa striktná a formalizovaná logika. V iných oblastiach logika slúži ako zdroj užitočných vedomostí potrebných na získanie rozumného záveru o celej situácii ako celku.

Človek sa snaží uplatniť logické schopnosti na podvedomej úrovni. Niekomu to ide lepšie, niekomu horšie. Ale v každom prípade pomocou našej logiky musíme vedieť, čo s tým môžeme urobiť:

1. Vyberte vhodnú metódu riešenia problému;
2. Myslite rýchlejšie;
3. Vyjadrite svoje myšlienky kvalitatívne;
4. Vyhnite sa sebaklamu;
5. Nájdite a opravte chyby iných ľudí v ich záveroch;
6. Vyberte potrebné argumenty, aby ste partnera presvedčili o jeho nevine.

Na rozvoj správneho logického myslenia je potrebné sa nielen snažiť, ale aj systematicky študovať hlavné zložky tejto problematiky.

Dá sa naučiť logické myslenie?

Vedci identifikujú niekoľko aspektov, ktoré prispievajú k zvládnutiu základných pojmov logiky:

• Teoretická príprava sú poznatky, ktoré sa poskytujú vo vzdelávacích inštitúciách. Patria sem základné pojmy, zákony a pravidlá logiky.
• Zážitkové učenie – skôr získané poznatky, ktoré je potrebné aplikovať v reálnom živote. Moderné vzdelávanie zároveň zahŕňa absolvovanie špeciálnych testov a riešenie problémov, ktoré môžu odhaliť úroveň intelektuálneho rozvoja človeka, ale bez použitia logiky vo vznikajúcich životných situáciách.

Logické myslenie treba budovať postupne, na základe argumentov a udalostí, ktoré pomáhajú vyvodzovať správne závery a robiť dôležité rozhodnutia. Osoba s dobre vyvinutým logickým myslením nemá problémy s riešením závažných problémov, ktoré si vyžadujú rýchlu reakciu a analytickú činnosť.

Túto schopnosť je potrebné rozvíjať už v detstve, ale dlhým tréningom si zručnosti logického myslenia môžu osvojiť aj dospelí.

V modernej psychológii existuje veľké množstvo cvičení, ktoré môžu u človeka rozvíjať pozorovacie, myslenie a intelektuálne schopnosti. Jedným z účinných cvičení je „Logika“.

Hlavnou myšlienkou cvičenia je správne určenie vzťahu medzi rozsudkami a tým, či je vyvodený záver logický. Napríklad: „Všetky mačky môžu mňaukať. Vaska je mačka, čo znamená, že vie mňaukať“ – toto tvrdenie je logické. „Čerešňa je červená. Paradajka je tiež červená, čo znamená, že ide o ovocie.“ V tomto závere je jasná chyba. Každé cvičenie vám umožňuje vybudovať si logický reťazec, ktorý vám umožní urobiť jediné správne rozhodnutie.

Neskôr, za dynastie Qin, táto línia výskumu v Číne zmizla, odvtedy filozofia legalizmu tvrdo potlačila všetky ostatné filozofické školy. Logika sa opäť objavila v Číne až s prienikom indickej logiky tamojších budhistov a ďalej výrazne zaostávala za vývojom európskej a blízkovýchodnej logiky.

indická logika

Počiatky logiky v Indii možno hľadať v gramatických textoch z 5. storočia pred Kristom. e .. Dve zo šiestich ortodoxných hinduistických (védskych) škôl indickej filozofie – Nyaya a Vaisheshika – sa zaoberali metodológiou poznania a z tejto problematickej oblasti vzišla logika.

Samotný názov školy "nyaya" znamená "logika". Jeho hlavným úspechom bol rozvoj logiky a metodológie, ktoré sa neskôr stali spoločným majetkom (porov. aristotelovská logika v Európe). Hlavným textom školy boli Nyaya Sutry Akshapada Gautama (2. storočie nášho letopočtu). Keďže Nyāyikovia považovali dosiahnutie spoľahlivého poznania za jedinú cestu k oslobodeniu sa od utrpenia, vyvinuli rafinované metódy na rozlíšenie spoľahlivých zdrojov poznania od falošných názorov. Existujú len štyri zdroje vedomostí (štyri pramanas): , inferencia, porovnanie a dôkazy. Prísna päťčlenná schéma uvažovania zahŕňala: počiatočný predpoklad, základ, príklad, aplikáciu a záver.

budhistická filozofia(nie jedna zo šiestich ortodoxných škôl) bol hlavným oponentom Nyāyikov v logike. Nagarjuna, zakladateľ Madhyamiky ("strednej cesty"), vyvinul uvažovanie známe ako "katuskoti" alebo tetralema. Tento štvorstranný argument systematicky testoval a odmietal tvrdenie tvrdenia, jeho negáciu, spojenie tvrdenia a negácie a napokon odmietnutie jeho tvrdenia aj jeho negácie.

S Dignagom a jeho nasledovníkom Dharmakirtim dosiahla budhistická logika svoj vrchol. Ústredným bodom ich analýzy bolo stanovenie (definícia) nevyhnutnej logickej inherencie (zahrnutie do definície), „vyapti“, tiež známeho ako „nemenné nasledovanie“ alebo „viera“. Na tento účel vyvinuli doktrínu „apoha“ alebo rozlišovania, pravidlá pre zahrnutie znakov do definície alebo ich z nej vylúčenie.

Škola navya-nyaya(„nová nyaya“, „nová logika“) založil v 13. storočí Ganéša Upadhyaya z Mityly, autor knihy Tattvachintamami (Poklad myslenia o realite). Opieral sa však o prácu svojich predchodcov z 10. storočia.

európska a blízkovýchodná logika

V dejinách európskej logiky možno rozlíšiť etapy: aristotelovská, alebo tradičná - obdobie dominancie formálnej logiky - trvalo stovky rokov, počas ktorých sa logika rozvíjala veľmi pomaly; scholastická etapa vývoja, ktorá vyvrcholila v 14. storočí; moderná scéna.

Logika staroveku

Staroveký grécky filozof Aristoteles je považovaný za zakladateľa logiky v starovekej gréckej filozofii, keďže sa verí, že odvodil prvú logickú teóriu. Predchodcami Aristotela vo vývoji logickej vedy v starovekom Grécku boli Parmenides, Zenón z Eley a Platón. Aristoteles po prvý raz systematizoval dostupné poznatky o logike, podložil formy a pravidlá logického myslenia. Jeho cyklus spisov „Organon“ pozostáva zo šiestich diel venovaných logike: „Kategórie“, „O interpretácii“, „Topeka“, „Prvá analýza“ a „Druhá analýza“, „Sofistické vyvrátenia“.

Po Aristotelovi v starovekom Grécku logiku rozvíjali aj predstavitelia stoickej školy. K rozvoju tejto vedy výrazne prispeli rečník Cicero a starorímsky teoretik oratória Quintilianus.

Logika v stredoveku

Keď sme sa priblížili k stredoveku, logika sa rozšírila. Začali ho vyvíjať arabsky hovoriaci výskumníci, napríklad Al-Farabi (asi 870-950). Stredoveká logika sa nazýva scholastická a jej rozkvet v 14. storočí sa spája s menami vedcov Williama z Ockhamu, Alberta Saského a Waltera Burleyho.

Logika v renesancii a modernej dobe

Toto historické obdobie v logike je poznačené objavením sa mnohých publikácií, ktoré sú pre vedu mimoriadne významné.

Francis Bacon v roku 1620 publikuje svoj „New Organon“, obsahujúci základy induktívnych metód, vylepšených neskôr Johnom Stuartom Millom a nazvaných metódami stanovovania príčinných vzťahov medzi javmi Bacon-Mill. Podstatou indukcie (zovšeobecnenia) je, že vedomosti musia byť zabudované do princípov. Treba hľadať aj príčinu svojich chýb.

V roku 1662 vyšla v Paríži učebnica „Logic of Port-Royal“, ktorej autormi sú P. Nicole a A. Arno, ktorí vytvorili logickú doktrínu založenú na metodologických princípoch Reného Descarta.

Moderná logika

Koncom XIX - začiatkom XX storočia boli základy tzv. matematická alebo symbolická logika. Jeho podstata spočíva v tom, že pomocou matematických metód možno zistiť pravdivosť výrazov v prirodzenom jazyku. Práve používanie symbolickej logiky odlišuje modernú logickú vedu od tradičnej.

Obrovský príspevok k rozvoju symbolickej logiky mali takí vedci ako J. Boole, O. de Morgan, G. Frege, C. Pierce a i.. V 20. storočí sa matematická logika formovala ako samostatná disciplína v rámci tzv. rámec logickej vedy.

Začiatok 20. storočia sa niesol v znamení formovania myšlienok neklasickej logiky, z ktorých mnohé dôležité ustanovenia anticipovali a/alebo stanovili N. A. Vasiliev a I. E. Orlov.

V polovici 20. storočia viedol rozvoj výpočtovej techniky k vzniku logických prvkov, logických blokov a zariadení výpočtovej techniky, čo súviselo s ďalším rozvojom takých oblastí logiky, ako sú problémy logickej syntézy, logického návrhu a logické modelovanie logických zariadení a výpočtovej techniky.

V 80-tych rokoch XX storočia sa začal výskum v oblasti umelého logického programovania založeného na jazykoch a systémoch. Vytváranie expertných systémov sa začalo využívaním a vývojom automatického dokazovania viet, ako aj metód programovania založeného na dôkazoch na overovanie algoritmov a počítačových programov.

V 80. rokoch sa začali aj zmeny v školstve. Výskyt osobných počítačov na stredných školách viedol k vytvoreniu učebníc informatiky so štúdiom prvkov matematickej logiky na vysvetlenie logických princípov činnosti logických obvodov a počítačových zariadení, ako aj princípov logického programovania pre počítače piatej generácie. a vývoj učebníc informatiky so štúdiom jazyka predikátového počtu na navrhovanie báz znalostí.

Základné pojmy vedy o logike

Tradičná logika

Deduktívne a induktívne uvažovanie v tradičnej logike

• Indukcia
• Odpočet

sylogistický

• Sylogizmus
• Sylogistické teórie

klasická matematická logika

Prístroj matematickej logiky

matematická logika(teoretická logika, symbolická logika) - odvetvie matematiky, ktoré študuje dôkazy a otázky základov matematiky. " Predmet modernej matematickej logiky je rôznorodý.» Podľa definície P. S. Poretského « matematická logika je logika podľa predmetu, matematika podľa metódy". Podľa definície N. I. Kondakova, “ matematická logika - po tradičnej logike druhá etapa vo vývoji formálnej logiky, využívajúca matematické metódy a špeciálny aparát symbolov a skúmanie myslenia pomocou kalkulu (formalizované jazyky)." Táto definícia zodpovedá definícii S. K. Kleene: matematická logika je „ logika vyvinutá pomocou matematických metód A. A. Markov tiež definuje modernú logiku. exaktná veda, ktorá využíva matematické metódy". Všetky tieto definície si neprotirečia, ale navzájom sa dopĺňajú.

Použitie matematických metód v logike je možné, keď sú úsudky formulované v nejakom presnom jazyku. Takéto presné jazyky majú dve stránky: syntax a sémantiku. Syntax je súbor pravidiel na vytváranie jazykových objektov (zvyčajne nazývaných vzorce). Sémantika je súbor konvencií, ktoré popisujú naše chápanie vzorcov (alebo niektorých z nich) a umožňujú nám považovať niektoré vzorce za pravdivé a iné nie.

Dôležitú úlohu v matematickej logike zohrávajú pojmy deduktívna teória a kalkul. Počet je súbor pravidiel odvodzovania, ktoré umožňujú považovať určité vzorce za odvoditeľné. Inferenčné pravidlá sú rozdelené do dvoch tried. Niektoré z nich priamo kvalifikujú určité vzorce ako odvoditeľné. Takéto dedukčné pravidlá sa nazývajú axiómy. Iné nám umožňujú považovať vzorce za odvoditeľné A, syntakticky príbuzný nejakým vopred určeným spôsobom konečným množinám odvoditeľných vzorcov. Široko používané pravidlo druhého typu je pravidlo modus ponens: ak odvoditeľné vzorce A a potom odvodíme vzorec B.

Vzťah kalkulu k sémantike je vyjadrený sémantickou vhodnosťou a sémantickou úplnosťou kalkulu. O kalkulácii AND sa hovorí, že je sémanticky vhodný pre jazyk I, ak niektorý vzorec jazyka I možno odvodiť v AND je pravdivý. Podobne sa počet AND považuje za sémanticky úplný v I, ak je akýkoľvek platný vzorec v I odvoditeľný v I.

Matematická logika študuje logické súvislosti a vzťahy, ktoré sú základom logického (deduktívneho) odvodzovania pomocou jazyka matematiky.

Mnohé z jazykov uvažovaných v matematickej logike majú sémanticky úplné a sémanticky užitočné výpočty. Známy je najmä výsledok K. Gödela, že takzvaný klasický predikátový kalkul je sémanticky úplný a sémanticky vhodný pre jazyk klasickej predikátovej logiky prvého rádu. Na druhej strane existuje veľa jazykov, pre ktoré je vytvorenie sémanticky úplného a sémanticky vhodného kalkulu nemožné. V tejto oblasti je klasickým výsledkom Gödelova veta o neúplnosti, ktorá hovorí o nemožnosti sémanticky úplného a sémanticky použiteľného kalkulu pre jazyk formálnej aritmetiky.

Treba poznamenať, že v praxi sú mnohé elementárne logické operácie povinnou súčasťou inštrukčnej sady všetkých moderných mikroprocesorov, a preto sú zahrnuté v programovacích jazykoch. Ide o jednu z najdôležitejších praktických aplikácií metód matematickej logiky študovaných v moderných učebniciach informatiky.

Výroková logika

• (výroková logika)

Predikátová logika

• Logika kvantifikátorov
• Logika prvého rádu
• Logika druhého rádu

Počet a logické metódy

• riešiteľnosť,
• sémantický strom
• Tabuľky Beta
• axiomatika
• prirodzený záver
• postupnosť (logika)

Booleovská sémantika

• Algebraická sémantika
• Sémantika množín
• Relačná sémantika možných svetov
• Problém zmysluplnosti sémantiky logických systémov
• Kategorická sémantika
• Teória sémantických kategórií

Zákony logiky

• Zákon identity
• Zákon vylúčeného stredu
• Zákon protirečenia
• Zákon dostatočného rozumu
• De Morganove zákony
• Zákony deduktívneho uvažovania
• Claviov zákon
• Zákony o delení

Teória modelov

Odvetvie matematickej logiky, ktoré sa zaoberá štúdiom vzťahu medzi formálnymi jazykmi a ich interpretáciami alebo modelmi. názov teória modelu prvýkrát navrhol Tarski v roku 1954. Hlavný rozvoj teórie modelov bol v prácach Tarského, Maltseva a Robinsona.

dôkazová teória

Toto je časť matematickej logiky, ktorá poskytuje dôkazy vo forme formálnych matematických objektov a analyzuje ich pomocou matematických metód. Dôkazy sú zvyčajne prezentované ako induktívne definované dátové štruktúry, ako sú zoznamy a stromy, konštruované podľa axióm a pravidiel odvodenia formálnych systémov. Takže teória dôkazov je syntaktický, Na rozdiel od sémantický teória modelu. Spolu s teóriou modelov, axiomatickou teóriou množín a teóriou výpočtov je teória dôkazov jedným z takzvaných „štyroch pilierov“ základov matematiky.

Teórie inferencie

• Teória inferencie (teória inferencie)
• Teória nástupníctva (teória nástupníctva)
• Teórie implikácií (teória implikácií)
• materiálna implikácia

Neklasická logika

Logika s neklasickým chápaním následkov

• Relevantná logika
• Parakonzistentná logika
• Nemonotónna logika
  • Dynamická logika

Logika, ktorá ruší zákon vylúčeného stredu

• intuicionistická logika
• konštruktívna logika
• Logika kvantovej mechaniky (kvantová logika)

Logika, ktorá mení pravdivostné tabuľky

• Viachodnotová logika
• Logika dvoch hodnôt
• Logika troch hodnôt

Logika, ktorá rozširuje kompozíciu výroku

• Logika otázok
• Klasická logika
• Logika noriem

modálna logika

• Modalita
• Aletické modality (aletická modalita, aletická modálna logika, aletická modálna logika)
• Deontické modality (deontická modalita, deontická modálna logika, deontická modálna logika)
• Epistemologické modality (epistemologická modalita, epistemologická modálna logika, epistemologická modálna logika)
• Časové modality (časová modalita, temporálna modálna logika, temporálna modálna logika)

• Prísna implikácia
• materiálna implikácia

Nededuktívne logické teórie

• induktívna logika
• Pravdepodobnostná logika
• Logika rozhodovania
• Logika fuzzy pojmov (logika fuzzy množín, fuzzy logika)
• Analógia (inferencia pomocou analógie).

Iné neklasické logiky

• Logika kategórie
• Kombinatorická logika je logika, ktorá nahrádza premenné funkciami s cieľom objasniť intuitívne operácie s premennými, ako je substitúcia. Aritmetický systém, vybudovaný na základe kombinatorickej logiky, obsahuje všetky čiastočne rekurzívne funkcie a vyhýba sa Gödelovej neúplnosti.
• Podmienená logika (podmienená logika). Jeho predmetom je pravdivosť podmienkových viet (najmä konjunktív). Logika protichodných tvrdení.

Aplikácie logiky

Aplikované problémy logiky a logickej sémantiky

• Aplikácie logiky vo filozofii
• Aplikácie logiky v teológii
• Aplikácie logiky v právnych vedách
• Aplikácie logiky v iných disciplínach

Aplikácie logiky pri analýze kognitívnych postupov

Logická analýza foriem a metód poznávania

• Formy myslenia
• Definícia
• Klasifikácia
• Abstrakcia
• Idealizácia
• Axiomatizácia
• Formalizácia
• Logické problémy argumentácie
• Logika dôkazov

Aplikácie logiky v metodológii vedy

• Metodológia vedy
• Logika vedy
• Logika a empirizmus

Aplikácie logiky vo filozofii

• Aplikácie logiky vo filozofii
• Aplikácie logiky v ontológii
• Aplikácie logiky v epistemológii
• Aplikácie logiky v etike
• Logické problémy argumentácie (teória argumentácie)
• Analytická filozofia

Aplikácie logiky v psychológii

• kognitívna veda
• kognitívna psychológia
• Logika objavovania

Keďže logika stanovuje zákony a vzorce myslenia, existuje problém korelácie logiky s , ktorá sa spolieha na intuíciu. Kreativita bez hraníc je idealizácia: je obmedzená psychologickými zákonmi vnímania alebo napríklad zákonmi kompozície vo výtvarnom umení. Kreativita zahŕňa nielen schopnosť predložiť zaujímavý nápad, ale aj schopnosť ho presvedčivo zdôvodniť a uviesť do praxe podľa určitých pravidiel, preto treba dodržiavať určité pravidlá myslenia.

Aplikácie logiky v lingvistike

• Analýza logického jazyka
• Analytická filozofia

Aplikácie logiky v informatike

• Dynamická logika (dynamická logika)
• Programová logika (programová logika)
• Expertná systémová logika (expertná systémová logika)
• Logika v informatike
• Programovanie založené na dôkazoch
• Automatické dokazovanie vety
• Logické programovanie