Logikę często określa się jako naukę o poprawnym rozumowaniu. Dzieli się ją na semantykę (logiczną teorię języka), logikę formalną (o wynikaniu logicznym) i metodologię nauk (zajmującą się uzasadnianiem twierdzeń). Zadaniem logiki jest m.in. ustalenie ogólnych zasad stosowanych w poprawnej praktyce argumentacyjnej, tj. takiej, która (a) stosuje precyzyjny język, (b) korzysta z rozumowań dedukcyjnych, zawsze prowadzących od prawdziwych przesłanek do prawdziwych wniosków, lub indukcyjnych, które ograniczają możliwość wyprowadzenia fałszywych wniosków z prawdziwych przesłanek, (c) operuje uzasadnionymi zdaniami w toku argumentacji.