formal logic started