Logika - věda metod, zákonů a foremmyšlení. Formální logika byla vytvořena dávnými Řeky dlouho před naší dobou. Řekové nejprve vybudovali demokratickou společnost, kde byla přijímána rozhodnutí a zákony u lidových shromáždění. Na primitivní úrovni vytvořili vědu vedení soudních sporů. A oblíbeným zaměstnáním aristokratické mládeže byla diskuse s filozofy. Z tohoto důvodu univerzální láska k rozvoji teoretických věd. Řekové jednoduše potřebovali výuku o tom, jak věděli o vědeckých důkazech.
První směr základů logiky byl vyvinut Aristotelem. Upozorňoval na skutečnost, že nějaká úvaha je založena na obecných zákonech, jejichž porušení vede k chybným závěrům. Formální logika Aristotle byla založena na takových zákoních:
Z toho vyplývá, že formální logika jeznalost principů a zákonů efektivní, správné konstrukce uvažování s přihlédnutím k formě jejich konstrukce (způsoby propojení jednotlivých částí obecného uvažování).
Všechny jevy a objekty jsou vzájemně propojeny. Odkazy mohou být objektivní nebo subjektivní, všeobecné nebo soukromé, nezbytné nebo náhodné. Nejdůležitější z těchto odkazů jsou zákony. Všichni odrážejí stejnou skutečnost, nemohou tedy v žádném případě odporovat. Všechny zákony lidského myšlení jsou spojeny se zákony vývoje přírody.
Zákony myšlení představují stabilní vnitřní spojení mezi myšlenkami. Pokud člověk nemůže spojit své myšlenky, nedorazí správně a nebude schopen to předat ostatním.
Základní zákony formální logiky - to jsou zákony konzistence, identity,vyloučení třetího a zákona dostatečné důvody. Vývoj prvních tří patří Aristotelovi a Platovi, druhému Leibnizovi. Porušení těchto zákonů (zejména prvních tří) vede k rozporům, což znemožňuje odlišit pravdu od lží. Tento zákon je méně normativní a je uplatňován restriktivněji.
Nezákladní zákony logiky jsou pravidlaoperační úsudky a pojmy, získání skutečného závěru ve syllogismu, zvýšení pravděpodobnosti závěrečných závěrů induktivní a transduktivní povahy.
Zákon o konzistenci znamená, že myšlení by nemělo být protichůdné, ale musí odrážet kvalitativní jistotu věcí.
Zákon vyloučené třetí předepisuje nehledat mezi dvěma protichůdnými, ale pravdivými výroky něco třetí a rozpoznat pravdu jen jednoho z nich. Jedna ze složek rozporu je nutně pravda.
Zákon formální logiky identity zachází jakopožadavek přesnosti myšlení, tj. pod jakýmkoli termínem musíte přesně porozumět jeho definici a významu. Podstata pojmů a soudy nemůže být vůbec zkreslena.
Zákon správného důvodu je,že každá pravá myšlenka musí být ospravedlněna jinými pravými myšlenkami a není možné ospravedlnit falešné myšlenky. Rozvoj soudních rozhodnutí by měl odrážet příčinný vztah. Pouze v tomto případě může být potvrzena její platnost.
Logická forma myšlení a způsoby určování foremvšechny myšlenky jsou vyjádřeny pomocí logických pojmů, na které odbory "a", "nebo", "pokud ..., pak ..." popírají "není pravda, že" ("ne" všechny "(" žádné "), banda" esence "(ve smyslu" je ") atd. Identifikovat logickou podobu úsudku lze odrazit od významu pojmů nelogického, které vstupují do slovního vyjádření tohoto úsudku. Jinými slovy, formální logika vyjadřuje strukturu myšlení. Logická forma je vždy informativní a informativní.
V závislosti na jejich formách jsou myšlenky rozděleny do tříd: pojmy, závěry a soudy. Koncept je myšlenka, která zobecňuje objekty na základě jejich základních vlastností. Rozsudek je myšlenka, která potvrzuje existenci (absence) stavu věcí. Odvození je myšlenka, která odráží získávání poznatků vyjádřených v úsudcích z jiných poznatků.
