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

Logika je věda metod, zákonů a forem myšlení. Formální logika byla vytvořena starými Řeky dlouho BC. Řekové nejprve vybudovali demokratickou společnost, kde byla přijímána rozhodnutí a zákony u lidových shromáždění. Vytvořili referenční vědu na primitivní úrovni soudní spory. 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 stát vědecké důkazy.

První směr základů logiky byl vyvinut Aristotelem. Upozornil na skutečnost, že jakákoli argumentace 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:

1. Pokud jsou rozsudky kladné, závěr z nich nemůže být negativní.
2. Je-li jedno z tvrzení záporné, pak bude obecný závěr vždy negativní.

Z toho vyplývá, že formální logika - tyto znalosti o principech a zákonech 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 soudržnosti, identity, vyloučení třetího a práva dostačujícího důvodu. 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.

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 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, aby neprohledal mezi dvěma navzájem protichůdnými, ale pravé výroky něco třetí, ale rozpoznat pravdu jen jednoho z nich. Jedna ze složek rozporu je nutně pravda.

Zákon totožné formální logiky je považován za požadavek od myšlení přesnosti, tj. Za jakéhokoli pojmu je nutné přesně porozumět jeho definici a významu. Podstata pojmů a soudy nemůže být vůbec zkreslena.

Zákon dostatečného základu spočívá v tom, že každé pravé myšlení musí být zakotveno 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 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“) , slova "někteří", "všichni" ("žá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ů.