From formal logic to informational logic