No es tan simple dar con una definición de lógica, es casi un concepto primitivo. A veces se considera parte de la filosofía y otras, de la matemática. Lo cierto es que la lógica es una ciencia formal que tiene por objeto básicamente el estudio de razonamiento humano.
¿Por qué decimos que es "casi" un concepto primitivo? Aquí van algunos de los dichos que sustentan esta afirmación:
Aunque todo es mentira, no deja de tener lógica lo que dice.
Es lógico que el anciano reaccione de la siguiente manera si le robaste las manzanas.
Los ingenieros hidráulicos participantes en el proyecto propusieron soluciones lógicas al problema.
La decisión fue tomada, como es lógico, después de un detenido análisis.
...
La lógica como ciencia formal, estudia las estructuras o formas de pensamiento humano y las leyes y principios válidos que dan sustento a ese pensamiento. Como sucede en casi todas la ciencias, se clasifican en varias categorías teniendo como criterio para hacerlo, elementos básicos y el lenguaje formal que lo sustenta.