Čo je to logika:
Logika Jedná sa o formálnu vedu, ktorá študuje štruktúru alebo formy ľudského myslenia (ako sú návrhy, koncepty a úvahy) s cieľom ustanoviť platné zákony a princípy na získanie kritérií pravdy.
Ako prídavné meno „logický“ alebo „logický“ znamená, že niečo dodržiava pravidlá logiky a rozumu. Označuje tiež očakávaný prirodzený alebo normálny následok.
Používa sa tiež na označenie takzvaného „zdravého rozumu“. Pochádza z latinčiny logika, a zas z gréckeho λογική (logike, “majúci rozum, „intelektuál“, „dialektický“, „argumentačný“), ktorý je zase odvodený od slova λόγος (logá, „slovo“, „myšlienka“, „dôvod“, „nápad“, „argument“).
Výroková, matematická alebo symbolická logika
Propozičná logika je odvetvie logiky, ktoré študuje výrokové premenné, logické spojky (
). Niektorí autori ju tiež identifikujú s matematickou logikou alebo symbolickou logikou, pretože používa sériu špeciálnych symbolov, ktoré ju približujú matematickému jazyku. Tvrdenia môžu byť pravdivé alebo nepravdivé.
Filozofická logika
Logika sa zvyčajne považuje za súčasť filozofie, aj keď sa logika ako taká uplatňuje v rôznych oblastiach a činnostiach človeka.
Filozofická logika využíva štyri základné princípy, ktoré ustanovujú správne myšlienkové pochody. Ide o zásadu totožnosti, zásadu nerozporuplnosti, zásadu vylúčenej tretej strany a zásadu dostatočného dôvodu.
Formálna logika a neformálna logika
Formálna logika je taká, ktorej predmetom štúdia sú technické závery pomocou deduktívnych systémov a formálnych jazykov a sémantiky. Neformálna logika zasa študuje systémy prirodzeného uvažovania a argumentácie prostredníctvom jazyka a každodenného myslenia.
Aristotelovská logika
Je to logika, ktorá vychádza zo štúdií Aristotela, gréckeho filozofa 4. storočia pred naším letopočtom. Aristotelovská logika využíva takzvané sylogizmy, čo je dedukcia alebo forma uvažovania, pri ktorej sa vytvárajú premisy, z ktorých sa vyvodzuje záver.
Ide teda o koncept podobný deduktívne platným argumentom. Klasickým príkladom aristotelovskej logiky je: „Všetci muži sú smrteľní. Všetci Gréci sú muži. Preto sú všetci Gréci smrteľní. ““ Prvé dve vety by boli premisy a tretie záver.
Difúzna logika
Koncepcia difúzna logika pochádza z angličtiny („fuzzy logic“). Je to typ logiky, ktorá používa náhodné hodnoty, ale kontextuálne a navzájom súvisia, čím sa stanoví relatívna hodnota toho, čo sa pozoruje ako rozdielna poloha. Fuzzy logika sa uplatňuje v rôznych oblastiach, ako je informatika a priemysel.
