Formální logika a jeho základní zákony

Logika - věda o metodách, právních a správních forem myšlení. Formální logika byl vyvinut již staří Řekové, dlouho před naším letopočtem. Jednalo se o první Řekové vybudovat demokratickou společnost, kde rozhodnutí a zákony přijaté na veřejném zasedání. Vytvořili primitivní vědu vodivých zkoušek. Oblíbenou kratochvílí šlechtického mládí měl jednání s filozofy. Proto je univerzální láska k rozvoji teoretické vědy. Řekové prostě musel učení o tom, jak být vědecký důkaz.

První kurz základů logiky vyvinuté Aristotela. Upozornil na to, že všechny argumenty jsou založeny na obecných právních předpisů, jehož porušení vede k chybným závěrům. Formální logika Aristotelés byl založen na těchto zákonů:

1. V případě, že soud je kladně, co si o nich závěr nemůže být záporná.
2. Jestliže jeden z příkazů je negativní, a obecný závěr je vždy negativní.

Z tohoto důvodu se zdá, že formální logiku - je znalost principů a zákonů efektivně, správné konstrukce uvažování s ohledem na tvar svých stavebních (způsoby připojení jednotlivých částí obecných úvah).

Všechny jevy a objekty mají vztah. Spojení může být objektivní nebo subjektivní, všeobecný nebo soukromé, které jsou nezbytné nebo nahodilé. Nejvýznamnější z těchto dluhopisů se nazývají zákony. všichni odrážejí tutéž realitu, a proto nemůže být nikdy ve vzájemném rozporu. Všechny zákony lidského myšlení spojené s přírodními zákony.

Zákony myšlení jsou stabilní vnitřní spojení mezi myšlenkami. Pokud se člověk nemůže svázat své myšlenky, nepřišel ke správnému závěru a nebude moci přivést ji k ostatním.

Základní zákony formální logiky - zákony konzistence, identita, vyloučeného středa a právem dostatečného důvodu. Vývoj první tři patří do Aristotela a Platóna, poslední - Leibniz. Porušení těchto zákonů (zejména první tři) vede k rozporům, takže je nemožné rozlišit pravdu od lži. Poslední zákon méně regulací a další omezené použití.

Non-core zákony logiky - to jsou pravidla provozních výroků a konceptů, získání skutečnou závěr v úsudku, čímž se zvyšuje pravděpodobnost, že induktivní uvažování a závěry traduktivnogo charakter.

Zákon konzistence znamená, že myšlení by nemělo být kontroverzní, ale měla by odrážet kvalitu určitých věcí.

Vyloučené střední zákon předepisuje, že se nebude snažit mezi dvěma rozporuplné, ale pravdivé tvrzení je o třetinu, a uznat pravdu, pouze jeden z nich. Jedna ze složek rozporů - jistě pravda.

Zákon totožnosti formální logiky interpretuje jako požadavek přesné myšlení, tedy za žádných termínu musíte přesně pochopit její definici a význam. Podstatou konceptů a rozsudků nemůže narušit libosti.

Zákon dostatečným důvodem je, že každá pravda myšlení nezbytné k ospravedlnění toho druhého skutečné myšlenky a falešné představy nemůže být odůvodněno. Při vývoji soudních rozhodnutí by měl odrážet kauzální vztah. Pouze v tomto případě to může být prokázal svou spolehlivost.

Logická forma myšlení a metod stanovení formy všech myšlenek vyjádřených logických výrazů, které obsahují slovo „a“, „nebo“, „jestliže ... pak ...“ popření „Není pravda, že“ ( „no“) slovo „někteří“, „all“ ( „ne“), což je banda „podstatu“ (ve smyslu „je“), etc. Identifikovat logickou formu rozsudku může být rozptylován z významu z hlediska nelogické, které jsou zahrnuty v slovním vyjádřením tohoto rozsudku. Jinými slovy, formální logika vyjadřuje strukturu myšlení. Logická forma je vždy informativní a smysluplný.

V závislosti na jejich formy myšlení se dělí do tříd: pojmů, logické myšlení a úsudek. Concept - představa, že zobecňuje objekty na základě jejich základních charakteristik. Rozsudek - představa, tvrdí přítomnost (nepřítomnost) situace. Závěr - myslel, odrážející získávání znalostí, vyjádřené v rozsudcích jiných znalostí.