Logika je neempirická vědní disciplína na pomezí matematiky, filosofie a informatiky.

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.

reserve: Tereza Talířová