Formálne logika a jeho základné zákony

Logika - veda o metódach, zákonoch, foriem myslenia. Formálne logika bol vyvinutý už starí Gréci, dlho pred naším letopočtom. Jednalo sa o prvý Gréci vybudovať demokratickú spoločnosť, kde rozhodnutia a zákony prijaté na verejnom zasadnutí. Vytvorili primitívne vedu vodivých skúšok. Obľúbenou kratochvíľou šľachtického mladosti mal rokovania s filozofmi. Preto je univerzálny láska k rozvoju teoretickej vedy. Gréci jednoducho musel učenie o tom, ako byť vedecký dôkaz.

Prvý kurz základov logiky vyvinuté Aristotela. Upozornil na to, že všetky argumenty sú založené na všeobecných právnych predpisov, ktorého porušenie vedie k chybným záverom. Formálne logika Aristoteles bol založený na týchto zákonov:

1. V prípade, že súd je kladne, čo si o nich záver nemôže byť záporná.
2. Ak jeden z príkazov je negatívny, a všeobecný záver je vždy negatívny.

Z tohto dôvodu sa zdá, že formálne logiku - je znalosť princípov a zákonov efektívne, správne konštrukcia uvažovanie s ohľadom na tvar svojich stavebných (spôsoby pripojenia jednotlivých častí všeobecných úvah).

Všetky javy a objekty majú vzťah. Spojenie môže byť objektívne alebo subjektívne, všeobecný 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 nemôže byť nikdy vo vzájomnom rozpore. Všetky zákony ľudského myslenia spojené s prírodnými zákonmi.

Zákony myslenia sú stabilné vnútorné spojenie medzi myšlienkami. Ak sa človek nemôže zviazať svoje myšlienky, neprišiel k správnemu záveru a nebude môcť priviesť ju k ostatným.

Základné zákony formálnej logiky - zákony konzistencia, identita, vylúčeného streda a právom dostatočného dôvodu. Vývoj prvé tri patrí do Aristotela a Platóna, posledný - Leibniz. Porušenie týchto zákonov (najmä prvé tri) vedie k rozporom, takže je nemožné rozlíšiť pravdu od lži. Posledný zákon menej reguláciou a ďalšie obmedzené použitie.

Non-core zákony logiky - to sú pravidlá prevádzkových výrokov a konceptov, získanie skutočnú záver v úsudku, čím sa zvyšuje pravdepodobnosť, že induktívne uvažovanie a závery traduktivnogo charakter.

Zákon konzistencie znamená, že myslenie by nemalo byť kontroverzné, ale mala by odrážať kvalitu určitých vecí.

Vylúčené strednej zákon predpisuje, že sa nebude snažiť medzi dvoma rozporuplné, ale pravdivé tvrdenie je o tretinu, a uznať pravdu, iba jeden z nich. Jedna zo zložiek rozporov - iste pravda.

Zákon totožnosti formálnej logiky interpretuje ako požiadavku presné myslenie, teda za žiadnych termínu musíte presne pochopiť jej definíciu a význam. Podstatou konceptov a rozsudkov nemôže narušiť ľubovôle.

Zákon dostatočným dôvodom je, že každá pravda myslenie potrebné na ospravedlnenie toho druhého skutočné myšlienky a falošné predstavy nemôže byť odôvodnené. Pri vývoji súdnych rozhodnutí by mal odrážať kauzálny vzťah. Len v tomto prípade to môže byť preukázal svoju spoľahlivosť.

Logická forma myslenia a metód stanovenia formy všetkých myšlienok vyjadrených logických výrazov, ktoré obsahujú slovo "a", "alebo", "ak ... potom ..." popretie "Nie je pravda, že" ( "no") slovo "niektorí", "all" ( "nie"), čo je banda "podstatu" (v zmysle "je"), etc. Identifikovať logickú formu rozsudku môže byť rozptyľovaný z významu z hľadiska nelogické, ktoré sú zahrnuté v slovným vyjadrením tohto rozsudku. Inými slovami, formálne logika vyjadruje štruktúru myslenia. Logická forma je vždy informatívne a zmysluplný.

V závislosti na ich formy myslenia sa delia do tried: pojmov, logické myslenie a úsudok. Concept - predstava, že zovšeobecňuje objekty na základe ich základných charakteristík. Rozsudok - predstava, tvrdí prítomnosť (neprítomnosť) situácie. Záver - myslel, odrážajúce získavanie vedomostí, vyjadrené v rozsudkoch iných vedomostí.