El uso de los silogismos aristotélicos y medievales ha dejado paso en los dos últimos siglos al desarrollo de la lógica simbólica actual, especialmente a partir de la obra de Gottlob Frege, matemático, lógico y filósofo alemán de finales del siglo XIX y principios del siglo XX.
La lógica simbólica actual es un lenguaje formal que intenta recoger la diversidad del lenguaje natural. Cuando traducimos del lenguaje cotidiano natural al lenguaje formal de la lógica (fórmulas lógicas), decimos Sigue leyendo