Virtual Logic—The Form of Reason