Logika je ženské podstatné meno z gréckeho výrazu logo, súvisiaci s logá, dôvod, slovo alebo reč, čo znamená veda uvažovania.
V prenesenom význame slovo logika súvisí s a konkrétny spôsob uvažovania, oprávnene. Napríklad: Toto nikdy nebude fungovať! Váš plán nemá logiku!
Vy problémy alebo logické hry sú činnosti, pri ktorých musí jednotlivec používať a logické uvažovanie na vyriešenie problému.
Aristotelovská logika
Podľa Aristotela má logika za cieľ študovať pomyslel si, ako aj zákonmi a pravidlami, ktoré ich riadia, aby bola táto myšlienka správna. Pre gréckeho filozofa sú podstatnými prvkami logiky koncepcia, rozsudok a zdôvodnenie. Zákony logiky zodpovedajú spojeniam a vzťahom, ktoré existujú medzi týmito prvkami.
Niektorí nástupcovia Aristotela boli zodpovední za základy stredovekej logiky, ktorá pretrvala až do trinásteho storočia. Stredovekí myslitelia ako Galen, Porphyry a Alexander z Afrodisie klasifikovali logiku ako vedu o správnom posudzovaní, ktorá umožňuje dospieť k správnemu a formálne platnému uvažovaniu.
Logika programovania
Logika programovania je jazyk používaný na vytvorenie počítačového programu. Logika programovania je nevyhnutná pre vývoj počítačových programov a systémov, pretože definuje logický reťazec pre tento vývoj. Kroky tohto vývoja sú známe ako algoritmus, ktorý pozostáva z logického sledu pokynov na vykonanie funkcie.
Logika argumentácie
Logika argumentácie umožňuje kontrolu platnosti alebo toho, či je tvrdenie pravdivé alebo nie. Nie je to urobené na základe relatívnych alebo subjektívnych konceptov. Sú to hmatateľné tvrdenia, ktorých platnosť je možné overiť. V takom prípade je cieľom logiky vyhodnotiť formu propozícií, a nie obsah. Sylogizmy (zložené z dvoch premís a záveru) sú príkladom logiky argumentácie. Napríklad:
Kukuričná múka je pes.
Všetci psi sú cicavce.
Preto je kukuričná múka cicavec.
Matematická logika
Matematická logika (alebo formálna logika) študuje logiku podľa jej štruktúry alebo formy. Matematická logika sa skladá z a deduktívny systém vyhlásení, ktorých cieľom je vytvoriť skupinu zákonov a pravidiel na určenie platnosti odôvodnení. Úvaha sa teda považuje za platnú, ak je možné dospieť k skutočnému záveru zo skutočných premís.
Matematická logika sa tiež používa na vytvorenie platného uvažovania prostredníctvom iných argumentov. Úvahy môžu byť deduktívny (záver je povinne získaný z pravdivosti predpokladov) a indukčné (pravdepodobnostné).
Formálnu logiku môžeme rozdeliť do dvoch skupín: výroková logika a predikátová logika.
Leibniz je mnohými považovaný za myseľ, ktorá iniciovala koncepciu formálnej logiky alebo matematiky, ktorá sa zameriava na základné problémy matematiky. Až po roku 1890, v prípade Peana, sa však začalo spochybňovanie konzistencie axiómov. Niektoré dôležité princípy formálnej logiky možno nájsť v Matematickej analýze logiky od Georga Boola (autor Booleovej logiky alebo algebry).
výroková logika
Propozičná logika je oblasť logiky, ktorá skúma uvažovanie podľa vzťahov medzi vetami (propozíciami), minimálnymi jednotkami diskurzu, ktoré môžu byť pravdivé alebo nepravdivé.