(av gr. logike, hörande till [[logos]]), filosofisk disciplin som undersöker tänkandets former och regler ofta med syfte att fastställa den formella giltigheten hos argument, därför kallas den också för [[formallogisk/formell logik|formell logik]].
