Logika - online puzzle

Logika má více významů – v češtině se běžně používá ve smyslu myšlenková cesta, která vedla k daným závěrům. Logika je také formální věda, zkoumající právě onen způsob vyvozování závěrů.

Logika není empirickou vědou o myšlení; studuje objektivní podmínky správnosti, jinak řečeno je to disciplína studující relaci „vyplývání“. Logika také nezkoumá úplně obecně poznání – to je předmětem filosofické disciplíny epistemologie.

Jako mnoho dalších věd vznikla logika coby součást filosofie a částečně takové zařazení stále platí. Logika se výrazně rozvinula i v matematice, a tak je řazena i do matematiky. Některé části logiky mají blíž k filosofii, některé k matematice, proto se někdy rozlišuje matematická logika.

Logika má prakticky důležité aplikace v informatice.

Etymologie

Slovo pochází z řeckého λογική a to od slova λόγος/logos s významem řeč.

Dějiny logiky

Za zakladatele logiky je považován Aristoteles (384–322 př.