Logika je ženské podstatné jméno z řeckého výrazu logo, související s loga, důvod, slovo nebo mluvený projev, což znamená logická věda.
V přeneseném smyslu slovo logika souvisí s a konkrétní způsob uvažovánísprávně. Například: To nikdy nebude fungovat! Váš plán nemá logiku!
Vy problémy nebo logické hry jsou činnosti, při kterých musí jednotlivec používat a logické uvažování vyřešit problém.
Aristotelská logika
Podle Aristotela má logika za cíl studovat myslel, jakož i zákony a pravidla, která jej řídí, byla tato myšlenka správná. Pro řeckého filozofa jsou základními prvky logiky pojem, rozsudek a uvažování. Zákony logiky odpovídají spojením a vztahům, které mezi těmito prvky existují.
Někteří Aristotelovi nástupci byli zodpovědní za základy středověké logiky, která trvala až do třináctého století. Středověcí myslitelé jako Galen, Porphyry a Alexander z Afrodisie klasifikovali logiku jako vědu správného posuzování, což umožňuje dosáhnout správného a formálně platného uvažování.
Logika programování
Programovací logika je jazyk používaný k vytvoření počítačového programu. Logika programování je nezbytná pro vývoj počítačových programů a systémů, protože definuje logický řetězec pro tento vývoj. Kroky pro tento vývoj se označují jako algoritmus, který se skládá z logické posloupnosti instrukcí pro vykonanou funkci.
Logika argumentace
Logika argumentace umožňuje kontrolovat platnost nebo zda je tvrzení pravdivé či nikoli. Není vyrobeno s relativními nebo subjektivními pojmy. Jsou to hmatatelné návrhy, jejichž platnost lze ověřit. V tomto případě má logika za cíl vyhodnotit formu propozic, nikoli obsah. Sylogismy (složené ze dvou premis a závěru) jsou příkladem logiky argumentace. Například:
Kukuřičná mouka je pes.
Všichni psi jsou savci.
Kukuřičná mouka je tedy savec.
Matematická logika
Matematická logika (nebo formální logika) studuje logiku podle její struktury nebo formy. Matematická logika se skládá z a deduktivní systém prohlášení, jejichž cílem je vytvořit skupinu zákonů a pravidel k určení platnosti úvah. Úvaha je tedy považována za platnou, pokud je možné ze skutečných premís vyvodit skutečný závěr.
Matematická logika se také používá k vytváření platných úvah prostřednictvím jiných úvah. Důvody mohou být deduktivní (závěr je povinně získán z pravdivosti prostor) a induktivní (pravděpodobnostní).
Formální logiku lze rozdělit do dvou skupin: výroková logika a predikátová logika.
Leibniz je mnohými považován za mysl, která iniciovala koncept formální logiky nebo matematiky, který se zabývá základními problémy matematiky. Avšak teprve po roce 1890, s Peanem, začalo pochybování o konzistenci axiomů. Některé důležité principy formální logiky lze nalézt v Matematické analýze logiky George Boole (autor Booleovy logiky nebo algebry).
výroková logika
Propoziční logika je oblast logiky, která zkoumá uvažování podle vztahů mezi klauziemi (výroky), minimálními jednotkami diskurzu, které mohou být pravdivé nebo nepravdivé.