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í empirická věda o myšlení. Studuje objektivní podmínky správnosti, jinak řečeno je to disciplína studující relaci „vyplývání“, tedy hledá požadavky k tomu, aby něco bylo možno korektně odvodit z premis. Cílem logiky je určit množinu korektních argumentů.[1] Logika 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. Logika byla posléze užívána i v matematice, čímž se z logiky odštěpila matematická logika, která však již není logikou v širším slova smyslu.
Logika má též důležité aplikace v informatice.