Comenzó siendo una modelización de los razonamientos, propuesta por los filósofos griegos, y posteriormente ha evolucionado hacia diversos sistemas formales, relacionados con la teoría.