El desarrollo de la Informática ha estimulado la creación de lógicas cuyo propósito es más modesto y, al mismo tiempo, más especializado que el de la lógica clásica
En esta sección presentaremos algunas notas en las que consideramos algunos enfoques clássicos y actuales de la lógica.