منطقی نوعیت