logika - veda metód, zákonov a formy myslenia.Formálne logika bola vyvinutá starovekými Grékmi dávno pred naším letopočtom.To bol prvý Gréci vybudovať demokratickú spoločnosť, kde zákony a rozhodnutia prijaté v Národnom zhromaždení.Majú vytvorili primitívne vedu súdneho sporu.Obľúbená zábava aristokratickej mladosti mal rokovania s filozofmi.Preto je univerzálny láska k rozvoju teoretickej vedy.Gréci jednoducho musel doktrínu, ako byť vedecký dôkaz.
Prvý kurz základy logiky vyvinuté Aristotela.Upozornil na to, že všetky argumenty sú založené na zvykovom práve, ktorého porušenie vedie k chybným záverom.Formálne logika Aristotela bola založená na týchto zákonov:
- Ak úsudky sú kladné, čo si o nich záver nemôže byť záporná.
- Ak jeden z príkazov je negatívny, a všeobecný záver bude vždy negatívny.
Zdá sa, že formálne logika - znalosť zásad a zákonov účinne, riadnej výstavby odôvodnenie s ohľadom na tvaru ich konštrukcie (spôsoby pripojenia časti všeobecné úvahy).
Všetky javy a objekty majú vzťah.Odkazy môžu byť objektívne alebo subjektívne, zdieľané alebo súkromné, ktoré sú nevyhnutné alebo náhodné.Najvýznamnejšie z týchto dlhopisov sa nazývajú zákony.Všetci odrážajú rovnakú realitu, a preto môže byť v rozpore sa navzájom.Všetky zákony ľudského myslenia sú spojené s prírodnými zákonmi.
zákony myslenia sú stabilné vnútorné spojenie medzi myšlienkami.Ak sa človek nemôže viazať jeho myšlienky, neprišiel k správnemu záveru, a nebudú môcť, aby to ostatným.
základné zákony z oblasti formálnej logiky - zákony konzistencie, totožnosť, vylúčeného streda a zákon dostatočného dôvodu.Vývoj prvé tri patrí do Aristotela a Platóna, posledný - Leibniz.Porušenie týchto zákonov (obzvlášť prvé tri) vedie k rozporom, takže je nemožné rozlíšiť pravdu od lži.Trvať menej predpisov a zákon platí obmedzenejšie.
Non-core zákony logiky - sú pravidlá prevádzkových konceptov a rozsudkov, dosiahnutie pravého záver v úsudku, čím sa zvyšuje pravdepodobnosť induktívny uvažovania a závery traduktivnogo charakter.
Zákonkonzistencie znamená, že myslenie by nemalo byť kontroverzné, a mali by odrážať kvalitu určité veci.
právo vylúčeného streda vyžaduje nevyzerajú medzi dvoma konfliktnými ale ozajstného oznámenia tretej vec, a uznať pravdu iba jeden z nich.Jedna zo zložiek konfliktu - určite pravda.
zákon formálnej logiky zaobchádza identitu ako požiadavku presného myslenia, teda od akéhokoľvek termínu musíte presne pochopiť, jeho definícia a význam.Podstatou pojmov a rozsudkov nemôže narušiť ľubovôle.
zákon dostatočným dôvodom je, že každý platí myšlienka nevyhnutné na ospravedlnenie skutočné myšlienky druhých, a falošné myšlienky nemôže byť odôvodnené.Pri vývoji súdnych rozhodnutí by mal odrážať kauzálny vzťah.Iba v tomto prípade je možné preukázať spoľahlivosť.
logická forma myslenia a spôsoby, ako definovať akúkoľvek formu myšlienok vyjadrených logických výrazov, ktoré obsahujú slovo "a", "alebo", "ak ... potom ..." popretie "Nie je pravda, že"(" nie "), sa slovo" niektorí "," all "(" nie "), banda" podstatu "(v zmysle" je "), atď.Určiť logická forma úsudku je možné rozptýliť z významu podmienok, ktoré sú nelogické, slovné vyjadrenie tohto rozsudku.Inými slovami, formálne logika vyjadruje štruktúru myslenia.Logická forma je vždy informatívny a zmysluplné.
závislosti na ich formy myslenia sa delia do tried: pojmy, uvažovanie a úsudku.Koncepcia - nápad zovšeobecňuje objekty na základe ich základných charakteristík.Rozsudok - nápad, tvrdí prítomnosť (neprítomnosť) situácie.Záver - myslel, odrážajúce získavanie vedomostí ako je vyjadrený v rozsudkoch iných vedomostí.
