Logical medicine