Del griego "logiké" en general, y en la actualidad, se considera que la lógica es una ciencia formal que tiene por objeto el estudio de las condiciones en las que un razonamiento puede ser considerado válido, mediante la determinación de las reglas de inferencia válidas.
Aunque se atribuye su origen a Zenón de Elea, el verdadero sistematizador e impulsor de la lógica griega fue Aristóteles, cuyos trabajos, agrupados posteriormente bajo la denominación de "Organon", se consideró durante más de 20 siglos como un compendio completo y definitivo de lógica.
A finales del siglo XX, sin embargo, debido a los trabajos de Boole y Frege, entre otros, la lógica experimentará un cambio sustancial: deja de basarse en la clasificación de las proposiciones y adopta el principio de generación recursiva, lo que permite prescindir totalmente del lenguaje ordinario a favor de un lenguaje puramente formal, compuesto por un pequeño número de signos y de ciertas reglas de combinación para formar enunciados. Desde entonces los estudios de lógica no han dejado de progresar, quedando reducida la lógica aristotélica a una pequeña parte de las cuestiones de las que se ocupa la lógica contemporánea.
Las reglas de inferencia son también llamadas reglas de transformación y su principal caracterÃstica es que nos permiten dar conclusiones muy bien formadas y válidas a partir de otras premisas.
La lógica es la que nos ayuda a resolver muchas situaciones de nuestra vida cotidiana y nos daremos cuenta si observamos detenidamente, por lo que con ella sabremos pensar correctamente para tomar la decisiones que se impongan en nuestro dÃa a dÃa. De hecho, dentro de poco tanto mis compañeros como yo deberemos elegir entre muchas carreras y decidir cual es la que realmente queremos realizar; y creo que la lógica podrÃa ayudarnos tanto en esta como en muchas más decisiones.