# Logika

**Logika** (z gr. slova λόγος *logos*) je veda zaoberajúca sa vyplývaním. Skúma, aké formy môžu mať úsudky, ktoré sú bezosporné a snaží sa budovať formálny systém, ktorý najlepšie zachytí inferenčnú štruktúru prirodzeného jazyka. Logika sa zaoberá najmä analýzou formálnej stavby úsudkov ako základných jednotiek usudzovania. Ich forma má bezprostredný vzťah k jazyku, v ktorom sú formulované. Logika sa sústreďuje na tie stránky jazyka, ktoré majú dopad na správnosť usudzovania.

Od čias Platóna a Aristotela je logika jednou zo základných disciplín filozofie, ktorá predchádza ostatným disciplínam, pretože skúma čisto formálne základné zákony a základné formy všetkého pojmovo-vedeckého myslenia.

Ako spoločenská veda, logika skúma a zatrieďuje štruktúru tvrdení a argumentov cez štúdium spoločenského systému dôsledku a cez štúdium argumentov v prírodnom jazyku. Oblasť logiky zahŕňa základné témy ako štúdium omylov a paradoxov a špeciálne analýzy vysvetľujúce použitie pravdepodobnosti a argumentov obsahujúcich príčinu. Logika je dnes často používaná v dôkazovej teórii. Je súčasťou filozofie, jednou časťou klasického trojcestia (trívia), ktorá obsahuje gramatiku, logiku a rétoriku. Od polovice 19. storočia sa spoločenská logika študuje v súvislosti so základmi matematiky, kde bola často nazývaná ako symbolová logika. Vývoj spoločenskej logiky a jej implementácií do počítačov je základom informatiky.

Logika je teória logického vyplývania. V rámci teórie logického vyplývania sa vybudovalo množstvo klasických aj neklasických logických kalkulov.

Základné členenie logiky je nasledovné:

* formálna logika
* mentálna logika

## Názory na logiku

* Podľa Alberta Veľkého je logika veda myšlienkového hĺbania (*scientia contemplativa*), ktorá učí, ako a akým spôsobom prostredníctvom toho, čo je známe, možno dosiahnuť poznanie toho, čo je neznáme. Logika sa delí na logiku nezloženú, čiže vedu o pojmoch a definíciách, zloženú, ktorá sa zaoberá súdmi a usudzovaním. Nezložená logika sa spája s metafyzikou, pretože sa týka predovšetkým bytia ako takého v súvislosti s jeho prvými a najdôležitejšími predikátmi: jednotou, pravdou a dobrom. Táto problematika súvisí s problémom prvej príčiny vesmíru a jeho prvým hýbateľom čiže s Bohom.

* Logika podľa Aristotela je nástroj (orgánon) vedeckého poznania. Logika sama nie je veda, lež nástroj rozvíjania ostatných vied. Vzhľadom na oblasť vedenia teda zaujíma osobitné postavenie. Logika je umenie a nástroj správneho pestovania filozofie. Logika sa zaoberá formálnou stránkou pojmov, súdov, spôsobov usudzovania a druhov dokazovania. Logika je metodológia. *Aristoteles chápal logiku (analytikon) ako nástroj (organon) každej vedy; logika bola pre neho vedou o „čistom rozume“, ktorý „uchopí myslené a myslí“ Aristoteles ešte nestotožňoval logiku s jej špeciálnovedným, formálnologickým aspektom.* Kľúčom k pochopeniu Aristotelovej logiky je jeho sústava kategórií, rozvinutá najmä v jeho *Metafyzike*, *Fyzike* a v práci *O duši*. Dominantnú úlohu v nej má kategória „podstaty“ (veci), kvality a vzťahu podobnosti (byť obsiahnutý v). Na tomto základe sa rozvíjalo Aristotelovo chápanie metód vedeckého poznania (rudimentárna indukcia a dedukcia), ako aj subjektovo-predikátová logika (jeho sylogizmus ako teória odvodzovania a dôkazu). Aristotelova subjektovo-predikátová logika je vlastne len formálno-logickým usústavnením aristotelovského kvalitativizmu.

* Gottlob Frege chápal logiku ako logiku kvality (na rozdiel od aritmetiky ako logiky kvantity). Frege prvý rozvinul logiku, v ktorej by sa táto teória (sc. aritmetika) dala posúdiť a dokázať. V práci *Zápis v pojmoch* (1879) ako prvý axiomaticky vybudoval výrokovú a predikátovú logiku a položil základy teórie matematického dôkazu.

* Logika je podľa Hegela prvá z troch hlavných súčastí systému filozofie. Logika zahrnuje náuku o bytí, náuku o podstate a náuku o pojme. Prvé dve súčasti logiky tvoria objektívnu logiku, náuka o pojme je subjektívna logika.

* Podľa Jána Letza je logika súčasťou filozofie ľudského subjektu.

* Logika v psychologizme je časť teórie poznania.

* Logika je v stoicizme náuka o jazyku, ktorá zahrnuje etymológiu (učenie o vzniku slov) a učenie o význame slov, vymedzujúce základné vzťahy medzi jazykovým výrazom, jeho významom a označovanou vecou.

* Logika podľa Wittgensteina pojednáva o možnosti vecných stavov. Ukazuje, ktoré vecné stavy sú možné a ktoré nie. Udáva túto možnosť čisto formálne. Logika je úplne nezávislá od skúsenosti. Vety logiky sú tautologické, t. j. nehovoria.

## Zdroje

* FILIT – zdroj, z ktorého pôvodne čerpal tento článok.

## Iné projekty

WikicitátyCommons* Wikicitáty ponúkajú citáty od alebo o **Logika Commons ponúka multimediálne súbory na tému **Logika**