Логика (гр. -{logike}- = проза, вештина која се односи на речи и њихову употребу у закључивању и доказивању) је грана филозофије која изучава идеалне методе мишљења и испитивања; унутрашње и спољно посматрање, дедукцију и индукцију, образовање хипотеза и експеримент, анализу и синтезу. Дакле, ово је наука o формалним условима, принципима и правилима исправног, коректног мишљења.