Dai presocratici ai nostri giorni, la logica resta una tra le parti imprescindibili della filosofia (e non solo). “Logica” deriva dal greco “logos”, termine complesso da tradurre, che potremmo intendere, in questo contesto, come “ragionamento”, “argomentazione”. La logica si occupa dello studio delle inferenze, ossia della loro derivazione da alcune premesse, e quindi anche della loro validità. La logica può essere distinta in “formale” e “informale” a seconda dei meccanismi messi in atto. La logica formale godrà di grande fortuna nel XIX secolo.