A lógica é empírica?

A física costuma usar a lógica para explicar a natureza. Mas as leis da lógica são verdades por si só, ou deveriam ser testadas? Por exemplo, se A implica B, e B implica C, a afirmação A implica C é uma verdade irrefutável ou deveríamos fazer experimentos para checar sua validez?