Posts in logic