Pojem v definícii ABC

Logika je formálna veda, to znamená, že ako každá z formálnych vied si vytvára vlastný objekt štúdia a zdôvodnenie a vytváranie myšlienok mysľou je vaše metodológia práce a vedomostí, ale aj logiky, je jedným z najdôležitejších a najpopulárnejších odvetví v rámci EÚ Filozofia, ktorej predmetom štúdia sú zásady demonštrácie a záver platné, čo sú metódy, ktoré nám v konečnom dôsledku umožnia rozlíšiť správne zdôvodnenie od nesprávneho.

Pôvod logiky siaha do zlatého veku klasického Grécka a za jeho tvorcu a otca sa považuje grécky filozof Aristoteles, pretože ako prvý použil túto predstavu a dal jej entitu, ktorú si uchováva dodnes, štúdia argumentov ako prejavov pravdy vo vede.

Táto logika, ktorú sme opísali vyššie a ktorej zakladateľom je Aristoteles, je tiež známa ako formálna logikamedzitým existuje aj neformálna logika ktorá zameria svoju pozornosť na metodické štúdium tých pravdepodobných argumentov z filozofie, rétoriky a oratórium, okrem iných vied, ktoré sa nimi zaoberajú.

Neformálna logika v podstate vynakladá všetko svoje úsilie na identifikáciu omylov a paradoxov a na správne štruktúrovanie diskurzov.

Vo formálnej a neformálnej logike však otázka nie je vyčerpaná, pretože nájdeme aj iné typy logík, ktoré navrhujú úplne odlišné metodiky, ako napríklad prirodzená logika ktorý je ten, ktorý pomyslel si prirodzené, bez toho, aby sa uchýlili k formálnej vede ako podpornej základni.

Potom fuzzy logika alebo sa tiež nazýva fuzzy že berie určité licencie vo vzťahu k ostatným a pripúšťa určité nejednoznačnosť medzi pravdivosťou alebo nepravdivosťou ich tvrdení, v úzkej zhode a vo vzťahu k ľudskému rozumu.

V inom poradí môžeme nájsť Matematická logika ktoré sa vybavujú pomocou a Jazyk umelé a symbolický a robiť abstrakciu obsahu. A nakoniec binárna logika ktorý pracuje s premennými, ktoré pripúšťajú iba dve diskrétne hodnoty.