Aunque la lógica proposicional (que es intercambiable con el cálculo proposicional) había sido insinuada por los filósofos anteriores, fue desarrollada en una lógica formal por Chrysippus en el siglo III AC y ampliada por su sucesor Stoics.