States of Logic